Curve counting and instanton counting

Jian Zhou

2003-01-01

Abstract:We prove some combinatorial results required for the proof of the following conjecture of Nekrasov: The generating function of closed string invariants in local Calabi-Yau geometries obtained by appropriate fibrations of $A_N$ singularities over $P^1$ reproduce the generating function of equivariant $\hat{A}$-genera of moduli space of instants on $C^2$.

What problem does this paper attempt to address?

The Candelas-de La Ossa-Green-Parkes Formula

BH Lian,KF Liu,ST Yau

DOI: https://doi.org/10.1016/s0920-5632(98)00126-1

1998-01-01

Abstract:In this note we discuss a recent proof of the formula for the worldsheet instanton prepotential predicted by Mirror Symmetry for the quintics in P4. One of the key ingredients in the proof is the equivariant cohomology groups on the so-called linear sigma model moduli spaces. We introduce the notion of admissible data on the equivariant cohomology groups of the linear sigma model. An admissible data may be thought of as a sequence of equivariant classes satisfying certain algebraic conditions. It arises naturally from Kontsevich's stable map compactification of moduli spaces of maps from curves into projective manifolds. The structures of admissible data help reduce many counting problems to checking certain combinatorial structure of a compactification. The mirror transformation of Candelas et al turns out to be a transformation between two admissible data associated respectively to the linear and the non-linear sigma models. As an application, we prove the formula for the worldsheet instanton prepotential in terms of hypergeometric series. At the end we also interprete an infinite dimensional transformation group, called the mirror group, acting on admissible data, as a certain duality group of the linear sigma model.
Universally counting curves in Calabi--Yau threefolds

John Pardon

2024-02-15

Abstract:We show that curve enumeration invariants of complex threefolds with nef anti-canonical bundle are determined by their values on local curves. This statement and its proof are inspired by the proof of the Gopakumar--Vafa integrality conjecture by Ionel and Parker. The conjecture of Maulik, Nekrasov, Okounkov, and Pandharipande relating Gromov--Witten and Donaldson--Pandharipande-Thomas invariants is known for local curves by work of Bryan, Okounkov, and Pandharipande, hence holds for all complex threefolds with nef anti-canonical bundle (in particular, all Calabi--Yau threefolds).

Algebraic Geometry,Symplectic Geometry
Curve counting on abelian surfaces and threefolds

Jim Bryan,Georg Oberdieck,Rahul Pandharipande,Qizheng Yin

DOI: https://doi.org/10.48550/arXiv.1506.00841

2016-12-13

Abstract:We study the enumerative geometry of algebraic curves on abelian surfaces and threefolds. In the abelian surface case, the theory is parallel to the well-developed study of the reduced Gromov-Witten theory of K3 surfaces. We prove complete results in all genera for primitive classes. The generating series are quasimodular forms of pure weight. Conjectures for imprimitive classes are presented. In genus 2, the counts in all classes are proven. Special counts match the Euler characteristic calculations of the moduli spaces of stable pairs on abelian surfaces by Göttsche-Shende. A formula for hyperelliptic curve counting in terms of Jacobi forms is proven (modulo a transversality statement). For abelian threefolds, complete conjectures in terms of Jacobi forms for the generating series of curve counts in primitive classes are presented. The base cases make connections to classical lattice counts of Debarre, Goettsche, and Lange-Sernesi. Further evidence is provided by Donaldson-Thomas partition function computations for abelian threefolds. A multiple cover structure is presented. The abelian threefold conjectures open a new direction in the subject.

Algebraic Geometry,Number Theory
Curve counting on the Enriques surface and the Klemm-Mariño formula

Georg Oberdieck

2024-12-02

Abstract:We determine the Gromov-Witten invariants of the local Enriques surfaces for all genera and curve classes and prove the Klemm-Mariño formula. In particular, we show that the generating series of genus $1$ invariants of the Enriques surface is the Fourier expansion of a certain power of Borcherds automorphic form on the moduli space of Enriques surfaces. We also determine all Vafa-Witten invariants of the Enriques surface. The proof uses the correspondence between Gromov-Witten and Pandharipande-Thomas theory. On the Gromov-Witten side we prove the relative Gromov-Witten potentials of an elliptic Enriques surfaces are quasi-Jacobi forms and satisfy a holomorphic anomaly equation. On the sheaf side, we relate the Pandharipande-Thomas invariants of the Enriques-Calabi-Yau threefold in fiber classes to the $2$-dimensional Donaldson-Thomas invariants by a version of Toda's formula for local K3 surfaces. Altogether, we obtain sufficient modular constraints to determine all invariants from basic geometric computations.

Algebraic Geometry
Castelnuovo bound for curves in projective 3-folds

Zhiyu Liu

2024-07-30

Abstract:The Castelnuovo bound conjecture, which is proposed by physicists, predicts an effective vanishing result for Gopakumar-Vafa invariants of Calabi-Yau 3-folds of Picard number one. Previously, it is only known for a few cases and all the proofs rely on the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda. In this paper, we prove the Castelnuovo bound conjecture for any Calabi-Yau 3-folds of Picard number one, up to a linear term and finitely many degree, without assuming the conjecture of Bayer-Macrì-Toda. Furthermore, we prove an effective vanishing theorem for surface-counting invariants of Calabi-Yau 4-folds of Picard number one. We also apply our techniques to study low-degree curves on some explicit Calabi-Yau 3-folds. Our approach is based on a general iterative method to obtain upper bounds for the genus of one-dimensional closed subschemes in a fixed 3-fold, which is a combination of classical techniques and the wall-crossing of weak stability conditions on derived categories, and works for any projective 3-fold with at worst isolated singularities over any algebraically closed field.

Algebraic Geometry,High Energy Physics - Theory,Mathematical Physics,Symplectic Geometry
Fixed-domain curve counts for blow-ups of projective space

Alessio Cela,Carl Lian

2024-05-31

Abstract:We study the problem of counting pointed curves of fixed complex structure in blow-ups of projective space at general points. The geometric and virtual (Gromov-Witten) counts are found to agree asymptotically in the Fano (and some $(-K)$-nef) examples, but not in general. For toric blow-ups, geometric counts are expressed in terms of integrals on products of Jacobians and symmetric products of the domain curves, and evaluated explicitly in genus 0 and in the case of $\text{Bl}_q(\mathbb{P}^r)$. Virtual counts for $\text{Bl}_q(\mathbb{P}^r)$ are also computed via the quantum cohomology ring.

Algebraic Geometry
Non-Abelian number theory and the structure of curves on surfaces

Moira Chas

DOI: https://doi.org/10.48550/arXiv.1608.02846

2016-08-09

Abstract:In this note we study numerically the combinatorics of curves and geodesics on the torus with one boundary component. A potential computational difficulty is avoided by counting inside specific orbits of the mapping class group up to a certain length, either geometric or combinatorial. Some cases are rigurolosly determined and the Euler totient function emerges. More complicated orbits are computed to suggest an array of formulae continuing to involve the Euler totient function. We formulate six precise conjectures. These include a novel study of an "inverse" function of the Mirzakhani's asymptotics. The geometric part of our study was motivated by the rationality aspect of these asymptotics.

Geometric Topology,Number Theory
Open String Invariants and Mirror Curve of the Resolved Conifold

Jian Zhou

2010-01-01

Abstract:For the resolved conifold with one outer D-brane in arbitrary framing, we present some results for the open string partition functions obtained by some operator manipulations. We prove some conjectures by Aganagic-Vafa and Aganagic-Klemm-Vafa that relates such invariants to the mirror curve of the resolved conifold. This establishes local mirror symmetry for the resolved confolds for holomorphic disc invariants. We also verify an integrality conjecture of such invariants by Ooguri-Vafa in this case and present closed formulas for some Ooguri-Vafa type invariants in genus 0 and arbitrary genera.
Counting sheaves on curves

Chenjing Bu

DOI: https://doi.org/10.1016/j.aim.2023.109334

2023-10-07

Abstract:We compute Joyce's (<a class="link-https" data-arxiv-id="2111.04694" href="https://arxiv.org/abs/2111.04694">arXiv:2111.04694</a>) enumerative invariants $[\mathcal{M}^{\mathrm{ss}}_{(r,d)}]_{\mathrm{inv}}$ for semistable rank $r$ degree $d$ coherent sheaves on a complex projective curve. These invariants are a generalization of the fundamental class of the moduli of semistable sheaves. We express the invariants as a regularized sum, which is a way to assign finite values to divergent series, and we obtain explicit expressions for the invariants. From these invariants, one can extract cohomology pairings on the moduli of semistable sheaves. When $r$ and $d$ are coprime, formulae for such pairings were found by Witten and proved by Jeffrey and Kirwan. Our results provide a new point of view on this classical problem, and can be seen as a generalization of this to the case when $r$ and $d$ are not coprime.

Algebraic Geometry
Chern-Simons functional, singular instantons, and the four-dimensional clasp number

Aliakbar Daemi,Christopher Scaduto

DOI: https://doi.org/10.4171/JEMS/1320

2024-09-06

Abstract:Kronheimer and Mrowka asked whether the difference between the four-dimensional clasp number and the slice genus can be arbitrarily large. This question is answered affirmatively by studying a knot invariant derived from equivariant singular instanton theory, and which is closely related to the Chern--Simons functional. This also answers a conjecture of Livingston about slicing numbers. Also studied is the singular instanton Frøyshov invariant of a knot. If defined with integer coefficients, this gives a lower bound for the unoriented slice genus, and is computed for quasi-alternating and torus knots. In contrast, for certain other coefficient rings, the invariant is identified with a multiple of the knot signature. This result is used to address a conjecture by Poudel and Saveliev about traceless $SU(2)$ representations of torus knots. Further, for a concordance between knots with non-zero signature, it is shown that there is a traceless representation of the concordance complement which restricts to non-trivial representations of the knot groups. Finally, some evidence towards an extension of the slice-ribbon conjecture to torus knots is provided.

Geometric Topology
Curve classes on irreducible holomorphic symplectic varieties

Giovanni Mongardi,John Christian Ottem

DOI: https://doi.org/10.1142/S0219199719500780

2019-11-16

Communications in Contemporary Mathematics

Abstract:We prove that the integral Hodge conjecture holds for 1-cycles on irreducible holomorphic symplectic varieties of K3[n] -type and of generalized Kummer type. As an application, we give a new proof of the integral Hodge conjecture for cubic fourfolds.

mathematics, applied
Cosmic String, Harvey-Moore Conjecture and Family Seiberg-Witten Theory

Ai-Ko Liu

DOI: https://doi.org/10.48550/arXiv.math/0409038

2004-09-02

Algebraic Geometry

Abstract:In this paper, we study the enumeration of virtual numbers of immersed nodal curves along certain Calabi-Yau K3 fibrations. By using the concept of cosmic strings, we verify the modularity conjeture of the generating function of immersed nodal curves from String theory (Harvey-Moore). Based on the theory defining virtual numbers of nodal curves on algebraic surface (applying to a pencil of lattice polarized K3), a mathematical definition of virtual numbers of immersed rational curves (so-called Gopakumar-Vafa numbers) for Calabi-Yau K3 fibrations is given and it is shown to match up with string theory prediction.
Curve Classes on Calabi-Yau Complete Intersections in Toric Varieties

Bjørn Skauli

DOI: https://doi.org/10.48550/arXiv.1911.03146

2022-10-06

Abstract:We prove the Integral Hodge Conjecture for curve classes on smooth varieties of dimension at least three with nef anticanonical divisor constructed as a complete intersection of ample hypersurfaces in a smooth toric variety. In particular, this includes the case of smooth anticanonical hypersurfaces in toric Fano varieties. In fact, using results of Casagrande and the toric MMP, we prove that in each case, $H_2(X,\mathbb{Z})$ is generated by classes of rational curves.

Algebraic Geometry
Curve neighborhoods of Seidel products in quantum cohomology

Mihail Ţarigradschi

2023-09-12

Abstract:A conjecture of Buch-Chaput-Perrin asserts that the two-pointed curve neighborhood corresponding to a quantum product of Seidel type is an explicitly given Schubert variety. We prove this conjecture for flag varieties in type A.

Algebraic Geometry
Counting genus zero real curves in symplectic manifolds

Mohammad Farajzadeh Tehrani,Aleksey Zinger

DOI: https://doi.org/10.2140/gt.2016.20.629

2015-07-10

Abstract:There are two types of $J$-holomorphic spheres in a symplectic manifold invariant under an anti-symplectic involution: those that have a fixed point locus and those that do not. The former are described by moduli spaces of $J$-holomorphic disks, which are well studied in the literature. In this paper, we first study moduli spaces describing the latter and then combine the two types of moduli spaces to get a well-defined theory of counting real curves of genus 0. We use equivariant localization to show that these invariants (unlike the disk invariants) are essentially the same for the two (standard) involutions on $\mathbb{P}^{4n-1}$.

Symplectic Geometry
A Calabi-Yau-to-Curve Correspondence for Feynman Integrals

Hans Jockers,Sören Kotlewski,Pyry Kuusela,Andrew J. McLeod,Sebastian Pögel,Maik Sarve,Xing Wang,Stefan Weinzierl

2024-04-09

Abstract:It has long been known that the maximal cut of the equal-mass four-loop banana integral is a period of a family of Calabi-Yau threefolds that depends on the kinematic variable $z=m^2/p^2$. We show that it can also be interpreted as a period of a family of genus-two curves. We do this by introducing a general Calabi-Yau-to-curve correspondence, which in this case locally relates the original period of the family of Calabi-Yau threefolds to a period of a family of genus-two curves that varies holomorphically with the kinematic variable $z$. In addition to working out the concrete details of this correspondence for the equal-mass four-loop banana integral, we outline when we expect a correspondence of this type to hold.

High Energy Physics - Theory,High Energy Physics - Phenomenology,Algebraic Geometry
On Counting Flat Connections Over -Orbifolds

Langte Ma

DOI: https://doi.org/10.1007/s00220-024-05013-7

IF: 2.361

2024-05-10

Communications in Mathematical Physics

Abstract:We study the moduli space of -instantons on (projectively) flat bundles over torsion-free -orbifolds. We prove that the moduli space is compact and smooth at the irreducible locus after adding small and generic holonomy perturbations. Consequently, we define the -Casson invariant that is invariant under -deformation of torsion-free -structures. We compute this invariant for some orbifolds that arise in Joyce's construction of compact -manifolds.

physics, mathematical
Gopakumar–Vafa Type Invariants of Holomorphic Symplectic 4-Folds

Yalong Cao,Georg Oberdieck,Yukinobu Toda

DOI: https://doi.org/10.1007/s00220-023-04882-8

IF: 2.361

2024-02-01

Communications in Mathematical Physics

Abstract:Using reduced Gromov–Witten theory, we define new invariants which capture the enumerative geometry of curves on holomorphic symplectic 4-folds. The invariants are analogous to the BPS counts of Gopakumar and Vafa for Calabi–Yau 3-folds, Klemm and Pandharipande for Calabi–Yau 4-folds, and Pandharipande and Zinger for Calabi–Yau 5-folds. We conjecture that our invariants are integers and give a sheaf-theoretic interpretation in terms of reduced 4-dimensional Donaldson–Thomas invariants of one-dimensional stable sheaves. We check our conjectures for the product of two K 3 surfaces and for the cotangent bundle of . Modulo the conjectural holomorphic anomaly equation, we compute our invariants also for the Hilbert scheme of two points on a K 3 surface. This yields a conjectural formula for the number of isolated genus 2 curves of minimal degree on a very general hyperkähler 4-fold of -type. The formula may be viewed as a 4-dimensional analogue of the classical Yau–Zaslow formula concerning counts of rational curves on K 3 surfaces. In the course of our computations, we also derive a new closed formula for the Fujiki constants of the Chern classes of tangent bundles of both Hilbert schemes of points on K 3 surfaces and generalized Kummer varieties.

physics, mathematical
A Conjecture on Hodge Integrals

Jian Zhou

2003-01-01

Abstract:We propose a conjectural formula expressing the generating series of some Hodge integrals in terms of representation theory of Kac-Moody algebras. Such generating series appear in calculations of Gromov-Witten invariants by localization techniques. It generalizes a formula conjectured by Mari\~no and Vafa, recently proved in joint work with Chiu-Chu Melissa Liu and Kefeng Liu. Some examples are presented.
Counting Curves in Quintic Calabi–Yau Threefolds and Landau–Ginzburg Models

Jun Li,Chiu-Chu Melissa Liu

DOI: https://doi.org/10.4310/sdg.2019.v24.n1.a5

2019-01-01

Surveys in Differential Geometry

Abstract:. In this note, we survey the developments that led to the invention of Mixed-Spin-P ﬁeld theory (MSP theory) which interpolates Gromov-Witten theory of quintic Calabi-Yau threefolds and Landau-Ginzburg theory of the corresponding quintic polynomials.

Curve counting and instanton counting

The Candelas-de La Ossa-Green-Parkes Formula

Universally counting curves in Calabi--Yau threefolds

Curve counting on abelian surfaces and threefolds

Curve counting on the Enriques surface and the Klemm-Mariño formula

Castelnuovo bound for curves in projective 3-folds

Fixed-domain curve counts for blow-ups of projective space

Non-Abelian number theory and the structure of curves on surfaces

Open String Invariants and Mirror Curve of the Resolved Conifold

Counting sheaves on curves

Chern-Simons functional, singular instantons, and the four-dimensional clasp number

Curve classes on irreducible holomorphic symplectic varieties

Cosmic String, Harvey-Moore Conjecture and Family Seiberg-Witten Theory

Curve Classes on Calabi-Yau Complete Intersections in Toric Varieties

Curve neighborhoods of Seidel products in quantum cohomology

Counting genus zero real curves in symplectic manifolds

A Calabi-Yau-to-Curve Correspondence for Feynman Integrals

On Counting Flat Connections Over -Orbifolds

Gopakumar–Vafa Type Invariants of Holomorphic Symplectic 4-Folds

A Conjecture on Hodge Integrals

Counting Curves in Quintic Calabi–Yau Threefolds and Landau–Ginzburg Models