Gopakumar-Vafa invariants of fiber classes on Calabi-Yau 4-folds fibered over curves
Morningside Center of Mathematics, Institute of Mathematics & State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Northeast Normal University（东北师范大学）
Yalong Cao, Feng Qu
备注：
32 pages. Material largely rewritten, we delete the part on Hilbert schemes as the original proof in version 1 contains a gap
发表信息：
Communications in Analysis and Geometry, 33 (2025) no. 10, 2395-2443
We prove a conjectural correspondence of Cao-Maulik-Toda which relates Gopakumar-Vafa invariants of fiber classes on a smooth projective Calabi-Yau 4-fold fibered over a curve to the Gopakumar-Vafa invariants of a smooth fiber under an orientation compatibility assumption on the moduli spaces.
We show that the non-commutative widths for flopping curves on smooth 3-folds introduced by Donovan-Wemyss are described by Katz's genus zero Gopakumar-Vafa invariants.
We prove a conjecture of Jockers-Mayr and Garoufalidis-Scheidegger, relating genus zero quantum $K$-invariants and Gopakumar--Vafa invariants on the quintic threefold.
The main purpose of this article is to discuss a project relating Gopakumar-Vafa invariants to quantum K-invariants on Calabi-Yau threefolds. Results in genus zero, including recent and forthcoming works, are reported.
We prove a closed formula for leading Gopakumar- Vafa BPS invariants of local Calabi-Yau geometries given by the canonical line bundles of toric Fano surfaces. It shares some similar features with Goettsche-Yau-Zaslow formula: Connection with Hilbert schemes, connection with quasimodular forms, and quadratic property after suitable transformation. In Part I of this paper we will present the case of projective plane, more general cases will be presented in Part II.
The Gopakumar-Vafa invariants are numbers defined as certain linear combinations of the Gromov-Witten invariants. We prove that the GV invariants of a toric Calabi-Yau threefold are integers and that the invariants for high genera vanish. The proof of the integrality is based on elementary number theory and that of the vanishing uses the operator formalism and the exponential formula.
We compute Gromov-Witten (GW) and Donaldson-Thomas (DT) invariants (and also descendant invariants) for local CY 4-folds over Fano 3-folds, V_5 and V_22 up to degree 3. We use torus localization for GW invariants computation, and use classical results for Hilbert schemes on V_5 and V_22 for DT invariants computation. From these computations, one can check correspondence between DT and Gopakumar-Vafa (GV) invariants conjectured by Cao-Maulik-Toda in genus 0. Also we can compute genus 1 GV invariants via the conjecture of Cao-Toda, which turned out to be 0. These fit into the fact that there are…
We prove Gopakumar-Vafa conjecture for local toric Calabi-Yau manifolds. It's also proved that the local Gopakumar-Vafa invariants of a given class at large genus vanish.
Gromov-Witten, Gopakumar-Vafa, and Donaldson-Thomas invariants of Calabi-Yau threefolds are compared. In certain situations, the Donaldson-Thomas invariants are very easy to handle, sometimes easier than the other invariants. This point is illustrated in several ways, especially by revisiting computations of Gopakumar-Vafa invariants by Katz, Klemm, and Vafa in a rigorous mathematical framework. This note is based on my talk at the 2004 Snowbird Conference on String Geometry.
As an analogy to Gopakumar-Vafa conjecture on Calabi-Yau 3-folds, Klemm-Pandharipande defined Gopakumar-Vafa type invariants of a Calabi-Yau 4-fold $X$ using Gromov-Witten theory. When $X$ is holomorphic symplectic, Gromov-Witten invariants vanish and one can consider the corresponding reduced theory. In a companion work, we propose a definition of Gopakumar-Vafa type invariants for such a reduced theory. In this paper, we give them a sheaf theoretic interpretation via moduli spaces of stable pairs.
We show that Gopakumar-Vafa invariants can be expressed in terms of the cohomology ring of moduli space of D-branes without reference to the sl_2 \times sl_2 action. We also give a simple construction of this action.
A version of the Donaldson-Thomas invariants of a Calabi-Yau threefold is proposed as a conjectural mathematical definition of the Gopakumar-Vafa invariants. These invariants have a local version, which is verified to satisfy the required properties for contractible curves. This provides a new viewpoint on the computation of the local Gromov-Witten invariants of contractible curves by Bryan, Leung, and the author.
We regard the work of Maulik and Toda, proposing a sheaf-theoretic approach to Gopakumar-Vafa invariants, as defining a BPS structure, that is, a collection of BPS invariants together with a central charge. Assuming their conjectures, we show that a canonical flat section of the flat connection corresponding to this BPS structure, at the level of formal power series, reproduces the Gromov-Witten partition function for all genera, up to some error terms in genus 0 and 1. This generalises a result of Bridgeland and Iwaki for the contribution from genus 0 Gopakumar-Vafa invariants.
The Gopakumar-Vafa conjecture predicts that the Gromov-Witten invariants of a Calabi-Yau 3-fold can be canonically expressed in terms of integer invariants called BPS numbers. Using the methods of symplectic Gromov-Witten theory, we prove that the Gopakumar-Vafa formula holds for any symplectic Calabi-Yau 6-manifold, and hence for Calabi-Yau 3-folds. The results extend to all symplectic 6-manifolds and to the genus zero GW invariants of semipositive manifolds.
The Banana manifold $X_{\text{Ban}}$ is a compact Calabi-Yau threefold constructed as the conifold resolution of the fiber product of a generic rational elliptic surface with itself, first studied by Bryan. We compute Katz's genus 0 Gopakumar-Vafa invariants of fiber curve classes on the Banana manifold $X_{\text{Ban}}\to \mathbf{P}^1$. The weak Jacobi form of weight -2 and index 1 is the associated generating function for these genus 0 Gopakumar-Vafa invariants. The invariants are shown to be an actual count of structure sheaves of certain possibly nonreduced genus 0 curves on the universal c…
In this paper, we generalize a mathematical definition of Gopakumar-Vafa (GV) invariants on Calabi-Yau 3-folds introduced by Maulik and the author, using an analogue of BPS sheaves introduced by Davison-Meinhardt on the coarse moduli spaces of one dimensional twisted semistable sheaves with arbitrary holomorphic Euler characteristics. We show that our generalized GV invariants are independent of twisted stability conditions, and conjecture that they are also independent of holomorphic Euler characteristics, so that they define the same GV invariants. As an application, we will show the flop tr…
Using the interpretation of certain generalised Donaldson-Thomas invariants, including stable pairs curve counts, as the monodromy of a flat connection on a formal principal bundle, we show that the conjectural Gopakumar-Vafa contributions of all genera to the Gromov-Witten partition function appear in the asymptotics of the corresponding flat sections. The Fourier-Laplace integrals used to produce flat sections lead naturally to the GW/DT change of variable -q = e^{i u}.
Two 3-fold flops are exhibited, both of which have precisely one flopping curve. One of the two flops is new, and is distinct from all known algebraic D4-flops. It is shown that the two flops are neither algebraically nor analytically isomorphic, yet their curve-counting Gopakumar-Vafa invariants are the same. We further show that the contraction algebras associated to both are not isomorphic, so the flops are distinguished at this level. This shows that the contraction algebra is a finer invariant than various curve-counting theories, and it also provides more evidence for the proposed analyt…
We propose a new way to compute the genus zero Gopakumar-Vafa invariants for two families of non-toric non-compact Calabi-Yau threefolds that admit simple flops: Reid's Pagodas, and Laufer's examples. We exploit the duality between M-theory on these threefolds, and IIA string theory with D6-branes and O6-planes. From this perspective, the GV invariants are detected as five-dimensional open string zero modes. We propose a definition for genus zero GV invariants for threefolds that do not admit small crepant resolutions. We find that in most cases, non-geometric T-brane data is required in order…
The multi-Banana configuration $\widehat{F}_{mb}$ is a local Calabi-Yau threefold of Schoen type. Namely, $\widehat{F}_{mb}$ is a conifold resolution of $\widehat{I}_v \times_{\bf{D}} \widehat{I}_w$, where $\widehat{I}_v \to {\bf{D}}$ is an elliptic surface over a formal disc ${\bf{D}}$ with an $I_v$ singulararity on the central fiber. We generalize the technique developed in our earlier paper to compute genus 0 Gopakumar-Vafa invariants of certain fiber curve classes. We illustrate the computation explicitly for $v=1$ and $v=w=2$. The resulting partition function can be expressed in terms of …
We prove a formula for certain cubic $\Z_n$-Hodge integrals in terms of loop Schur functions. We use this identity to prove the Gromov-Witten/Donaldson-Thomas correspondence for local $\Z_n$-gerbes over $\proj^1$.
In analogy with the Gopakumar-Vafa (GV) conjecture on Calabi-Yau (CY) 3-folds, Klemm and Pandharipande defined GV type invariants on Calabi-Yau 4-folds using Gromov-Witten theory and conjectured their integrality. In a joint work with Maulik and Toda, the author conjectured their genus zero invariants are $\mathrm{DT_4}$ invariants of one dimensional stable sheaves. In this paper, we study this conjecture on the total space of canonical bundle of a Fano 3-fold $Y$, which reduces to a relation between twisted GW and $\mathrm{DT_3}$ invariants on $Y$. Examples are computed for both compact and n…
In this paper, we propose an ansatz for defining Gopakumar-Vafa invariants of Calabi-Yau threefolds, using perverse sheaves of vanishing cycles. Our proposal is a modification of a recent approach of Kiem-Li, which is itself based on earlier ideas of Hosono-Saito-Takahashi. We conjecture that these invariants are equivalent to other curve-counting theories such as Gromov-Witten theory and Pandharipande-Thomas theory. Our main theorem is that, for local surfaces, our invariants agree with PT invariants for irreducible one-cycles. We also give a counter-example to the Kiem-Li conjectures, where …
The Gopakumar-Vafa type invariants on Calabi-Yau 4-folds (which are non-trivial only for genus zero and one) are defined by Klemm-Pandharipande from Gromov-Witten theory, and their integrality is conjectured. In a previous work of Cao-Maulik-Toda, $\mathrm{DT}_4$ invariants with primary insertions on moduli spaces of one dimensional stable sheaves are used to give a sheaf theoretical interpretation of the genus zero GV type invariants. In this paper, we propose a sheaf theoretical interpretation of the genus one GV type invariants using descendent insertions on the above moduli spaces. The con…
The conifold is a basic example of a noncompact Calabi-Yau threefold that admits a simple flop, and in M-theory, gives rise to a 5d hypermultiplet at low energies, realized by an M2-brane wrapped on the vanishing sphere. We develop a novel gauge-theoretic method to construct new classes of examples that generalize the simple flop to so-called length l=1,...,6. The method allows us to naturally read off the Gopakumar-Vafa invariants. Although they share similar properties to the beloved conifold, these threefolds are expected to admit M2-bound states of higher degree. We demonstrate this throug…
As an analogy to Gopakumar-Vafa conjecture on CY 3-folds, Klemm-Pandharipande defined GV type invariants on CY 4-folds using GW theory and conjectured their integrality. In this paper, we define stable pair type invariants on CY 4-folds and use them to interpret these GV type invariants. Examples are computed for both compact and non-compact CY 4-folds to support our conjectures.
In analogy with the Gopakumar-Vafa conjecture on CY 3-folds, Klemm and Pandharipande defined GV type invariants on Calabi-Yau 4-folds using Gromov-Witten theory and conjectured their integrality. In this paper, we propose a sheaf-theoretic interpretation of their genus zero invariants using Donaldson-Thomas theory on CY 4-folds. More specifically, we conjecture genus zero GV type invariants are $\mathrm{DT_{4}}$ invariants for one-dimensional stable sheaves on CY 4-folds. Some examples are computed for both compact and non-compact CY 4-folds to support our conjectures. We also propose an equiv…
We develop a theory of Gopakumar-Vafa (GV) invariants for a Calabi-Yau threefold (CY3) $X$ which is equipped with an involution $\imath$ preserving the holomorphic volume form. We define integers $n_{g,h}(β) $ which give a virtual count of the number of genus $g$ curves $C$ on $X$, in the class $β\in H_{2}(X)$, which are invariant under $\imath$, and whose quotient $C/\imath$ has genus $h$. We give two definitions of $n_{g,h}(β) $ which we conjecture to be equivalent: one in terms of a version of Pandharipande-Thomas theory and one in terms of a version of Maulik-Toda theory. We compute our in…
We consider aspects of Chern-Simons theory on L(p,q) lens spaces and its relation with matrix models and topological string theory on Calabi-Yau threefolds, searching for possible new large N dualities via geometric transition for non-SU(2) cyclic quotients of the conifold. To this aim we find, on one hand, some novel matrix integral representations of the SU(N) CS partition function in a generic flat background for the whole L(p,q) family and provide a solution for its large N dynamics; on the other, we perform in full detail the construction of a family of would-be dual closed string backgro…
We show that the stringy Kähler moduli space of a generic genus one curve of degree $N$, for $N\le 5$, is the $Γ_1(N)$ modular curve $X_1(N)$. This implies a correspondence between the cusps of the modular curves and certain large volume limits in the stringy Kähler moduli spaces of genus one fibered Calabi-Yau manifolds with $N$-sections. Using Higgs transitions in M-theory and F-theory as well as modular properties of the topological string partition function, we identify these large volume limits with elements of the Tate-Shafarevich group of the genus one fibration. Singular elements appea…
Degenerate contributions to higher genus Gromov-Witten invariants of Calabi-Yau 3-folds are computed via Hodge integrals. The vanishing of contributions of covers of elliptic curves conjectured by Gopakumar and Vafa is proven. A formula for degree 1 covers for all genus pairs is computed in agreement with M-theoretic calculations of Gopakumar and Vafa. Finally, these results lead to a proof of a formula in the tautological ring of the moduli space of curves previously conjectured by Faber.
On leading Gopakumar--Vafa invariants of local $\mathbb{P}^2$ and leading Betti numbers of moduli spaces of one-dimensional sheaves on $\mathbb{P}^2$
School of Mathematics and Statistics, Huazhong University of Science and Technology（华中科技大学数学与统计学院）；Institute for Math and AI, Wuhan University（武汉大学数学与人工智能中心）
The Gopakumar-Vafa conjecture is defined and studied for the local geometry of a curve in a Calabi-Yau 3-fold. The integrality predicted in Gromov-Witten theory by the Gopakumar-Vafa BPS count is verified in a natural series of cases in this local geometry. The method involves Gromov-Witten computations, Mobius inversion, and a combinatorial analysis of the numbers of etale covers of a curve.
We consider certain elliptic threefolds over the projective plane (more generally over certain rational surfaces) with a section in Weierstrass normal form. In particular, over a del Pezzo surface of degree 8, these elliptic threefolds are Calabi-Yau threefolds. We will discuss especially the generating functions of Gromov-Witten and Gopakumar-Vafa invariants.
Let $X$ be a Calabi-Yau 4-fold and $D$ a smooth divisor on it. We consider tautological complex associated with $L=\mathcal{O}_X(D)$ on the moduli space of Le Potier stable pairs and define its counting invariant by integrating the Euler class against the virtual class. We conjecture a formula for their generating series expressed using genus zero Gopakumar-Vafa invariants of $D$ and genus one Gopakumar-Vafa type invariants of $X$, which we verify in several examples. When $X$ is the local resolved conifold, our conjecture reproduces a conjectural formula of Cao-Kool-Monavari in the PT chamber…
We prove a conjectural vanishing result for Gopakumar--Vafa invariants of quintic 3-folds, referred to as Castelnuovo bound in the literature. Furthermore, we calculate Gopakumar--Vafa invariants at Castelnuovo bound $g=\frac{d^2+5d+10}{10}$. As physicists showed, these two properties allow us to compute all Gromov--Witten invariants of quintic 3-folds up to genus $53$, provided that the conifold gap condition holds. We also give a bound for the genus of any one-dimensional closed subscheme in a smooth hypersurface of degree $\leq 5$, which may be of independent interest.
We discuss local mirror symmetry for higher-genus curves. Specifically, we consider the topological string partition function of higher-genus curves contained in a Fano surface within a Calabi-Yau. Our main example is the local P^2 case. The Kodaira-Spencer theory of gravity, tailored to this local geometry, can be solved to compute this partition function. Then, using the results of Gopakumar and Vafa and the local mirror map, the partition function can be rewritten in terms of expansion coefficients, which are found to be integers. We verify, through localization calculations in the A-model,…
The purpose of this paper is twofold: first we give a survey on the recent developments of curve counting invariants on Calabi-Yau 3-folds, e.g. Gromov-Witten theory, Donaldson-Thomas theory and Pandharipande-Thomas theory. Next we focus on the proof of the rationality conjecture of the generating series of PT invariants, and discuss its conjectural Gopakumar-Vafa form.
We make a proposal for calculating refined Gopakumar-Vafa numbers (GVN) on elliptically fibered Calabi-Yau 3-folds based on refined holomorphic anomaly equations. The key examples are smooth elliptic fibrations over (almost) Fano surfaces. We include a detailed review of existing mathematical methods towards defining and calculating the (unrefined) Gopakumar-Vafa invariants (GVI) and the GVNs on compact Calabi-Yau 3-folds using moduli of stable sheaves, in a language that should be accessible to physicists. In particular, we discuss the dependence of the GVNs on the complex structure moduli an…
This paper contains some applications of Bridgeland-Douglas stability conditions on triangulated categories, and Joyce's work on counting invariants of semistable objects, to the study of birational geometry. We introduce the notion of motivic Gopakumar-Vafa invariants as counting invariants of D2-branes, and show that they are invariant under birational transformations between Calabi-Yau 3-folds. The result is similar to the fact that birational Calabi-Yau 3-folds have the same betti numbers or Hodge numbers.
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 strin…
The disk partition function of certain 3d N=2 supersymmetric gauge theories computes a quantum K-theoretic ring for Kahler manifolds X. We study the 3d gauge theory/quantum K-theory correspondence for global and local Calabi-Yau manifolds with several Kahler moduli. We propose a multi-cover formula that relates the 3d BPS world-volume degeneracies computed by quantum K-theory to Gopakumar-Vafa invariants.
In this paper we construct noncommutative resolutions of a certain class of Calabi-Yau threefolds studied by F. Cachazo, S. Katz and C. Vafa. The threefolds under consideration are fibered over a complex plane with the fibers being deformed Kleinian singularities. The construction is in terms of a noncommutative algebra introduced by V. Ginzburg, which we call the "N=1 ADE quiver algebra".
The banana manifold $X_{\text{ban}}$ is a smooth projective Calabi-Yau threefold fibered over $\mathbb{P}^{1}$ by abelian surfaces. Each singular fiber contains a "banana configuration of curves" which generates the rank-three lattice $Γ$ of curve classes supported in the fibers of $X_{\text{ban}}\to\mathbb{P}^{1}$. The Donaldson-Thomas partition function of $X_{\text{ban}}$ in fiber classes was computed by J. Bryan (arXiv:1902.08695) to be the infinite product \[Z_{\text{DT}}(X_{\text{ban}})_Γ= \prod_{d_{1},d_{2},d_{3}\geq0}\prod_{k\in\mathbb{Z}}\big(1-Q_{1}^{d_{1}}Q_{2}^{d_{2}}Q_{3}^{d_{3}}t…
We further the study of the Donaldson-Thomas theory of the banana threefolds which were recently discovered and studied in [Bryan'19]. These are smooth proper Calabi-Yau threefolds which are fibred by Abelian surfaces such that the singular locus of a singular fibre is a non-normal toric curve known as a "banana configuration". In [Bryan'19] the Donaldson-Thomas partition function for the rank 3 sub-lattice generated by the banana configurations is calculated. In this article we provide calculations with a view towards the rank 4 sub-lattice generated by a section and the banana configurations…
