Searcharxiv⌕ Search

arXiv subjects

Michel van Garrel

Publications and source records attributed to Michel van Garrel.

18 recordsLinked to original sources
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↗
arXiv2025

Intrinsic enumerative mirror symmetry: Takahashi's log mirror symmetry for $(\mathbb{P}^2,E)$ revisited

Let $E$ be a smooth cubic in the projective plane $\mathbb{P}^2$. Nobuyoshi Takahashi formulated a conjecture that expresses counts of rational curves of varying degree in $\mathbb{P}^2\setminus E$ as the Taylor coefficients of a particular period integral of a pencil of affine plane cubics after reparametrizing the pencil using the exponential of a second period integral. The intrinsic mirror construction introduced by Mark Gross and the third author associates to a degeneration of $(\mathbb{P}^2, E)$ a canonical wall structure from which one constructs a family of projective plane cubics that is birational to Takahashi's pencil in its reparametrized form. By computing the period integral of the positive real locus explicitly, we find that it equals the logarithm of the product of all asymptotic wall functions. The coefficients of these asymptotic wall functions are logarithmic Gromov-Witten counts of the central fiber of the degeneration that agree with the algebraic curve counts in $(\mathbb{P}^2,E)$ in question. We conclude that Takahashi's conjecture is a natural consequence of intrinsic mirror symmetry. Our method generalizes to give similar results for log Calabi-Yau varieties of arbitrary dimension.

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↗
arXiv2023

Stable maps to Looijenga pairs built from the plane

Choosing a normal crossings anticanonical divisor of $\mathbb{P}^2$ leads to four log Calabi-Yau surfaces, three of which are Looijenga pairs. In this survey article, I describe how to count rational curves in these that intersect each component of the divisor in one point of maximal tangency.

math.AG↗
arXiv2022

Prelog Chow rings and degenerations

For a simple normal crossing variety $X$, we introduce the concepts of prelog Chow ring, saturated prelog Chow group, as well as their counterparts for numerical equivalence. Thinking of $X$ as the central fibre in a (strictly) semistable degeneration, these objects can intuitively be thought of as consisting of cycle classes on $X$ for which some initial obstruction to arise as specializations of cycle classes on the generic fibre is absent. Cycle classes in the generic fibre specialize to their prelog counterparts in the central fibre, thus extending to Chow rings the method of studying smooth varieties via strictly semistable degenerations. After proving basic properties for prelog Chow rings and groups, we explain how they can be used in an envisaged further development of the degeneration method by Voisin et al. to prove stable irrationality of very general fibres of certain families of varieties; this extension would allow for much more singular degenerations, such as toric degenerations as occur in the Gross-Siebert programme, to be usable. We illustrate that by looking at the example of degenerations of elliptic curves, which, although simple, shows that our notion of prelog decomposition of the diagonal can also be used as an obstruction in cases where all components in a degeneration and their mutual intersections are rational. We also compute the saturated prelog Chow group of degenerations of cubic surfaces.

math.AG↗
arXiv2021

Prelog Chow groups of self-products of degenerations of cubic threefolds

It is unknown whether smooth cubic threefolds have an (integral Chow-theoretic) decomposition of the diagonal, or whether they are stably rational or not in general. As a first step towards making progress on these questions, we compute the (saturated numerical) prelog Chow group of the self-product of a certain degeneration of cubic threefolds.

math.AG↗
arXiv2021

On the log-local principle for the toric boundary

Let $X$ be a smooth projective complex variety and let $D=D_1+\cdots+D_l$ be a reduced normal crossing divisor on $X$ with each component $D_j$ smooth, irreducible, and nef. The log-local principle of van Garrel-Graber-Ruddat conjectures that the genus 0 log Gromov-Witten theory of maximal tangency of $(X,D)$ is equivalent to the genus 0 local Gromov-Witten theory of $X$ twisted by $\bigoplus_{j=1}^l\mathcal{O}(-D_j)$. We prove that an extension of the log-local principle holds for $X$ a (not necessarily smooth) $\mathbb{Q}$-factorial projective toric variety, $D$ the toric boundary, and descendent point insertions.

math.AG↗
arXiv2021

Stable maps to Looijenga pairs: orbifold examples

In arXiv:2011.08830 we established a series of correspondences relating five enumerative theories of log Calabi-Yau surfaces, i.e. pairs $(Y,D)$ with $Y$ a smooth projective complex surface and $D=D_1+\dots +D_l$ an anticanonical divisor on $Y$ with each $D_i$ smooth and nef. In this paper we explore the generalisation to $Y$ being a smooth Deligne-Mumford stack with projective coarse moduli space of dimension 2, and $D_i$ nef $\mathbb{Q}$-Cartier divisors. We consider in particular three infinite families of orbifold log Calabi-Yau surfaces, and for each of them we provide closed form solutions of the maximal contact log Gromov-Witten theory of the pair $(Y,D)$, the local Gromov-Witten theory of the total space of $\bigoplus_i \mathcal{O}_Y(-D_i)$, and the open Gromov-Witten theory of toric orbi-branes in a Calabi-Yau 3-orbifold associated to $(Y,D)$. We also consider new examples of BPS integral structures underlying these invariants, and relate them to the Donaldson-Thomas theory of a symmetric quiver specified by $(Y,D)$, and to a class of open/closed BPS invariants.

math.AG↗
arXiv2021

Stable maps to Looijenga pairs

A log Calabi-Yau surface with maximal boundary, or Looijenga pair, is a pair $(Y,D)$ with $Y$ a smooth rational projective complex surface and $D=D_1+\dots + D_l \in |-K_Y|$ an anticanonical singular nodal curve. Under some positivity conditions on the pair, we propose a series of correspondences relating five different classes of enumerative invariants attached to $(Y,D)$: 1) the log Gromov-Witten theory of the pair $(Y,D)$, 2) the Gromov-Witten theory of the total space of $\bigoplus_i \mathcal{O}_Y(-D_i)$, 3) the open Gromov-Witten theory of special Lagrangians in a Calabi-Yau 3-fold determined by $(Y,D)$, 4) the Donaldson-Thomas theory of a symmetric quiver specified by $(Y,D)$, and 5) a class of BPS invariants considered in different contexts by Klemm-Pandharipande, Ionel-Parker, and Labastida-Marino-Ooguri-Vafa. We furthermore provide a complete closed-form solution to the calculation of all these invariants.

math.AG↗
arXiv2021

Sheaves of maximal intersection and multiplicities of stable log maps

A great number of theoretical results are known about log Gromov-Witten invariants, but few calculations are worked out. In this paper we restrict to surfaces and to genus 0 stable log maps of maximal tangency. We ask how various natural components of the moduli space contribute to the log Gromov-Witten invariants. The first such calculation by Gross-Pandharipande-Siebert deals with multiple covers over rigid curves in the log Calabi-Yau setting. As a natural continuation, in this paper we compute the contributions of non-rigid irreducible curves in the log Calabi-Yau setting and that of the union of two rigid curves in general position. For the former, we construct and study a moduli space of "logarithmic" 1-dimensional sheaves and compare the resulting multiplicity with tropical multiplicity. For the latter, we explicitly describe the components of the moduli space and work out the logarithmic deformation theory in full, which we then compare with the deformation theory of the analogous relative stable maps.

math.AG↗
arXiv2020

Log BPS numbers of log Calabi-Yau surfaces

Let $(S,E)$ be a log Calabi-Yau surface pair with $E$ a smooth divisor. We define new conjecturally integer-valued counts of $\mathbb{A}^1$-curves in $(S,E)$. These log BPS numbers are derived from genus 0 log Gromov-Witten invariants of maximal tangency along $E$ via a formula analogous to the multiple cover formula for disk counts. A conjectural relationship to genus 0 local BPS numbers is described and verified for del Pezzo surfaces and curve classes of arithmetic genus up to 2. We state a number of conjectures and provide computational evidence.

math.AG↗
arXiv2019

Local Gromov-Witten Invariants are Log Invariants

We prove a simple equivalence between the virtual count of rational curves in the total space of an anti-nef line bundle and the virtual count of rational curves maximally tangent to a smooth section of the dual line bundle. We conjecture a generalization to direct sums of line bundles.

math.AG↗
arXiv2018

Local BPS Invariants: Enumerative Aspects and Wall-Crossing

We study the BPS invariants for local del Pezzo surfaces, which can be obtained as the signed Euler characteristic of the moduli spaces of stable one-dimensional sheaves on the surface $S$. We calculate the Poincare polynomials of the moduli spaces for the curve classes $β$ having arithmetic genus at most 2. We formulate a conjecture that these Poincare polynomials are divisible by the Poincare polynomials of $((-K_S).β-1)$-dimensional projective space. This conjecture motivates upcoming work on log BPS numbers.

math.AG↗
arXiv2017

A constructive approach to a conjecture by Voskresenskii

Voskresenskii conjectured that stably rational tori are rational. Klyachko proved this assertion for a wide class of tori by general principles. We re-prove Klyachko's result by providing simple explicit birational isomorphisms, and elaborate on some links to torus-based cryptography.

math.AG↗
arXiv2015

Local and relative BPS state counts for del Pezzo surfaces

Relative BPS state counts for log Calabi-Yau surface pairs were introduced by Gross-Pandharipande-Siebert. We describe how in the case of del Pezzo surfaces they are linearly related to local BPS state counts by means of generalized Donaldson-Thomas invariants of loop quivers.

math.AG↗
arXiv2014

Enumerative aspects of the Gross-Siebert program

We present enumerative aspects of the Gross-Siebert program in this introductory survey. After sketching the program's main themes and goals, we review the basic definitions and results of logarithmic and tropical geometry. We give examples and a proof for counting algebraic curves via tropical curves. To illustrate an application of tropical geometry and the Gross-Siebert program to mirror symmetry, we discuss the mirror symmetry of the projective plane.

math.AG↗
arXiv2014

Integrality of relative BPS state counts of toric Del Pezzo surfaces

Relative BPS state counts for log Calabi-Yau surface pairs were introduced by Gross-Pandharipande-Siebert and conjectured by the authors to be integers. For toric Del Pezzo surfaces, we provide an arithmetic proof of this conjecture, by relating these invariants to the local BPS state counts of the surfaces. The latter were shown to be integers by Peng; and more generally for toric Calabi-Yau threefolds by Konishi.

math.AG↗