5 papers
Experiments with membranes, maps and sheaves
Daniel Holmes, Yannik Schuler
Motivated by the conjectural existence of M-theory, we investigate a web of correspondences between enumerative invariants of a Calabi-Yau fivefold with a torus action. This in…
Membranes and Maps
Alessandro Giacchetto, Rahul Pandharipande, Yannik Schuler
In positive degree, equivariant Gromov-Witten invariants of Calabi-Yau fivefolds are expected to admit an interpretation in terms of M2-branes, while we conjecture that constant ma…
Gromov-Witten invariants and membrane indices of fivefolds via the topological vertex
Yannik Schuler
We conjecture the existence of almost integer invariants governing the all-genus equivariant Gromov-Witten theory of Calabi-Yau fivefolds with a torus action. We prove the conjectu…
IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation
Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck +57
As the mathematical capabilities of large language models (LLMs) improve, it becomes increasingly important to evaluate their performance on research-level tasks at the frontier of…
Refined Gromov-Witten invariants
Andrea Brini, Yannik Schuler
We study the enumerative geometry of stable maps to Calabi-Yau 5-folds with a group action preserving the Calabi-Yau form. In the central case , where…