arXiv subjects

Yannik Schuler

Publications and source records attributed to Yannik Schuler.

8 recordsLinked to original sources

arXiv2026

Membranes and Maps

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 maps are governed by the corresponding supergravity index. We make the first expectation precise by proposing a modular interpretation of M2-branes supported on several smooth curves meeting at an $n$-fold point. Together, the two pictures yield conjectural formulas for the Gromov-Witten invariants, which we translate into closed formulas for pointed and unpointed quintuple Hodge integrals. We show that these conjectures imply a K-theoretic Gromov-Witten/Pairs correspondence for local curves in degree one and link the generating series of constant maps to Donaldson-Thomas theory of points. We also prove the conjectures in two limits of the equivariant parameters. Along the way, we obtain new closed formulas for certain triple Hodge integrals.

math.AG↗

arXiv2026

Experiments with membranes, maps and sheaves

Motivated by the conjectural existence of M-theory, we investigate a web of correspondences between enumerative invariants of a Calabi-Yau fivefold $Z$ with a torus action. This includes a correspondence between the fivefold Gromov-Witten invariants and K-theoretic Pandharipande-Thomas invariants of a threefold $X \subset Z$, mediated by so-called membrane indices, which generalise Gopakumar-Vafa invariants. We establish the correspondence for strip geometries for restricted torus actions and test it numerically for general torus actions. Further numerical evidence is provided for the closed vertex, local surfaces and local projective spaces. For the latter we present conjectural formulae for their low-degree membrane indices. When the fivefold is the product of the affine plane with a suitable toric variety, we prove geometric engineering and equate the generating series of Pandharipande-Thomas invariants with the corresponding instanton partition function while equality with the Gromov-Witten series is probed numerically.

math.AG↗

arXiv2026

IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation

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 mathematical knowledge. However, existing benchmarks are limited, as they focus solely on final-answer questions or high-school competition problems. To address this gap, we introduce IMProofBench, a private benchmark consisting of 77 peer-reviewed problems developed by expert mathematicians. Each problem requires a detailed proof and is paired with subproblems that have final answers, supporting both an evaluation by human experts and a large-scale quantitative analysis through automated grading. Furthermore, unlike prior benchmarks, the evaluation setup simulates a realistic research environment: models operate in an agentic framework with tools like web search for literature review and mathematical software such as SageMath. Our results show that current LLMs can already solve a significant percentage of research-level questions. IMProofBench will continue to evolve as a dynamic benchmark in collaboration with the mathematical community, ensuring its relevance for evaluating the next generation of LLMs.

cs.CL↗

arXiv2026

Gromov-Witten invariants and membrane indices of fivefolds via the topological vertex

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 conjecture for skeletal, locally anti-diagonal torus actions by establishing a vertex formalism evaluating the Gromov-Witten invariants via the topological vertex of Aganagic, Klemm, Marino and Vafa. We apply the formalism in several examples.

math.AG↗

arXiv2025

Gromov-Witten theory of bicyclic pairs

A bicyclic pair is a smooth surface equipped with a pair of smooth divisors intersecting in two reduced points. Resolutions of self-nodal curves constitute an important special case. We investigate the logarithmic Gromov-Witten theory of bicyclic pairs. We establish correspondences with local Gromov-Witten theory and open Gromov-Witten theory in all genera, a correspondence with orbifold Gromov-Witten theory in genus zero, and correspondences between all-genus refined Gopakumar-Vafa invariants and refined quiver Donaldson-Thomas invariants. For self-nodal curves in $\mathbb{P}(1,1,r)$ we obtain closed formulae for the genus zero invariants and relate these to the invariants of local curves. We also establish a conceptual relationship between invariants relative a self-nodal plane cubic and invariants relative a smooth plane cubic. The technical heart of the paper is a qualitatively new analysis of the degeneration formula for stable logarithmic maps, involving a tight intertwining of tropical and intersection-theoretic vanishing arguments.

math.AG↗

arXiv2025

The log-open correspondence for two-component Looijenga pairs

A two-component Looijenga pair is a rational smooth projective surface with an anticanonical divisor consisting of two transversally intersecting curves. We establish an all-genus correspondence between the logarithmic Gromov-Witten theory of a two-component Looijenga pair and open Gromov-Witten theory of a toric Calabi-Yau threefold geometrically engineered from the surface geometry. This settles a conjecture of Bousseau, Brini and van Garrel in the case of two boundary components. We also explain how the correspondence implies BPS integrality for the logarithmic invariants and provides a new means for computing them via the topological vertex method.

math.AG↗

arXiv2024

Refined Gromov-Witten invariants

We study the enumerative geometry of stable maps to Calabi-Yau 5-folds $Z$ with a group action preserving the Calabi-Yau form. In the central case $Z=X \times \mathbb{C}^2$, where $X$ is a Calabi-Yau 3-fold with a group action scaling the holomorphic volume form non-trivially, we conjecture that the disconnected equivariant Gromov-Witten generating series of $Z$ returns the Nekrasov-Okounkov equivariant K-theoretic PT partition function of $X$ and, under suitable rigidity conditions, its refined BPS index. We show that in the unrefined limit the conjecture reproduces known statements about the higher genus Gromov-Witten theory of $X$; we prove it for $X$ the resolved conifold; and we establish a refined cycle-level local/relative correspondence for local del Pezzo surfaces, implying the Nekrasov-Shatashvili limit of the conjecture when $X$ is the local projective plane. We further establish B-model physics predictions of Huang-Klemm for refined higher genus mirror symmetry for local $\mathbb{P}^2$. In particular, we prove that our refined Gromov-Witten generating series obey extended holomorphic anomaly equations, are quasi-modular functions of $Γ_1(3)$, have leading asymptotics at the conifold point given by the logarithm of the Barnes double-Gamma function, and satisfy a version of the higher genus Crepant Resolution Correspondence with the refined orbifold Gromov-Witten theory of $[\mathbb{C}^3/μ_3]$. This refines results, and partially proves conjectures, of Lho-Pandharipande, Coates-Iritani, and Bousseau-Fan-Guo-Wu.

math.AG↗

arXiv2023

On quasi-tame Looijenga pairs

We prove a conjecture of Bousseau, van Garrel and the first-named author relating, under suitable positivity conditions, the higher genus maximal contact log Gromov-Witten invariants of Looijenga pairs to other curve counting invariants of Gromov-Witten/Gopakumar-Vafa type. The proof consists of a closed-form $q$-hypergeometric resummation of the quantum tropical vertex calculation of the log invariants in presence of infinite scattering. The resulting identity of $q$-series appears to be new and of independent combinatorial interest.

math.AG↗