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 conjectural formula in particular implies nontrivial constraints on genus zero GV type (equivalently GW) invariants of CY 4-folds which can be proved by the WDVV equation.
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 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…
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 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.
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 …
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}.
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…
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 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.
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.
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（东北师范大学）
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.
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.
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.
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…
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 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…
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$.
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 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…
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.
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…
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（武汉大学数学与人工智能中心）
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,…
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 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…
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.
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.
This paper shows that the motivic BPS invariants associated to a noncommutative crepant resolution of a compound Du-Val singularity are controlled by the labelled Dynkin combinatorics appearing in the work of Iyama--Wemyss. In particular, we show that the invariants vanish for dimension vectors which are not a multiple of a restricted root obtained from the affine root system under a natural quotient map. An immediate corollary is a description of the curve classes for which the Gopakumar--Vafa invariants of geometric crepant resolutions vanish, generalising a recent result of Nabijou--Wemyss …
In this paper, we propose a mathematical definition of a new ``numerical invariants" of Calabi--Yau 3-folds from stable sheaves of dimension one, which is motivated by the Gopakumar-Vafa conjecture in M-theory. Moreover, we show that for any projective morphism $f:X -> Y$ of normal projective varieties, there exists a natural $sl_2 \times sl_2$ action on the intersection cohomology group $IH(X, \Q)$ which fits into the perverse Leray spectral sequence.
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.
We define the BPS invariants of Gopakumar-Vafa in the case of irreducible curve classes on Calabi-Yau 3-folds. The main tools are the theory of stable pairs in the derived category and Behrend's constructible function approach to the virtual class. We prove that for irreducible classes the stable pairs generating function satisfies the strong BPS rationality conjectures. We define the contribution of each curve to the BPS invariants. A curve $C$ only contributes to the BPS invariants in genera lying between the geometric genus and arithmetic genus of $C$. Complete formulae are derived for nons…
The focus of these lectures is the Gopakumar-Vafa's insight that ``Large N dualities'' (relating gauge theories and closed strings) are realized, in certain cases, by "transition in geometry". In their pivotal 1998 example, the gauge theory is SU(N) Chern-Simons theory on S^3, for large N, and the transition is the "conifold" transition between two Calabi--Yau varieties. Much progress has been made to support Gopakumar and Vafa's conjecture, including the lift of the transition to a transformation between 7-manifolds with G_2 holonomy. In another direction, this set up brings us to consider th…
Gromov-Witten theory is used to define an enumerative geometry of curves in Calabi-Yau 4-folds. The main technique is to find exact solutions to moving multiple cover integrals. The resulting invariants are analogous to the BPS counts of Gopakumar and Vafa for Calabi-Yau 3-folds. We conjecture the 4-fold invariants to be integers and expect a sheaf theoretic explanation. Several local Calabi-Yau 4-folds are solved exactly. Compact cases, including the sextic Calabi-Yau in CP5, are also studied. A complete solution of the Gromov-Witten theory of the sextic is conjecturally obtained by the holom…
We study integrality of instanton numbers (genus zero Gopakumar - Vafa invariants) for quintic and other Calabi-Yau manifolds. We start with the analysis of the case when the moduli space of complex structures is one-dimensional; later we show that our methods can be used to prove integrality in general case. We give an expression of instanton numbers in terms of Frobenius map on $p$-adic cohomology ; the proof of integrality is based on this expression.
