We give two proofs of a conjecture of Hori and Vafa which expresses the J-function (i.e, the generating function for 1-point descendant Gromov-Witten invariants) of a Grassmannian in terms of the J-function of a product of projective spaces. Similar relations are obtained for two-point descendants, and three-point (primary) Gromov-Witten invariants. As an application we prove Givental's "R-Conjecture" - hence the Virasoro conjecture - for Grassmannians.
We prove a remarkable formula for Hodge integrals conjectured by Marino and Vafa based on large N duality, using functorial virtual localization on certain moduli spaces of relative stable morphisms.
This paper discusses the overlap of the Hori-Vafa formulation of mirror symmetry with some other constructions. We focus on compact Calabi-Yau hypersurfaces \mathcal{M}_G = {G = 0} in weighted complex projective spaces. The Hori-Vafa formalism relates a family {\mathcal{M}_G \in WCP^{m-1}_{Q_1,...,Q_m}[s] | \sum_{i=1}^m Q_i = s} of such hypersurfaces to a single Landau-Ginzburg mirror theory. A technique suggested by Hori and Vafa allows the Picard-Fuchs equations satisfied by the corresponding mirror periods to be determined. Some examples in which the variety \mathcal{M}_G is crepantly resol…
We prove that Hori--Vafa mirror models for smooth Fano complete intersections in weighted projective spaces admit an interpretation as Laurent polynomials.
We study Gauss-Manin systems of non tame Laurent polynomial functions. We focuse on Hori-Vafa models, which are the expected mirror partners of the small quantum cohomology of smooth hypersurfaces in weighted projective spaces.
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…
We present a proof of the full Mariño-Vafa Conjecture that identifies certain open string invariants of the resolved conifold with the Chern-Simons knot invariant of the unknot, i.e. the quantum dimensions.
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.
This is the first part of two papers. In this part, we prove the blowup formulae for virtual Hodge polynomials of Gieseker moduli spaces of rank-2 stable sheaves and Uhlenbeck compactification spaces over algebraic surfaces. In particular, we verify the blowup formulae for the S-duality conjecture of Vafa-Witten, i.e. the blowup formulae for the Euler numbers of instanton moduli spaces over algebraic surfaces.
This is the second part of two papers. In this part, we establish closed formulae for the universal functions in the blowup formulae for virtual Hodge polynomials of Gieseker moduli spaces of rank-2 stable sheaves and Uhlenbeck compactification spaces over algebraic surfaces.
We prove the KKV conjecture expressing Gromov-Witten invariants of K3 surfaces in terms of modular forms. Our results apply in every genus and for every curve class. The proof uses the Gromov-Witten/Pairs correspondence for K3-fibered hypersurfaces of dimension 3 to reduce the KKV conjecture to statements about stable pairs on (thickenings of) K3 surfaces. Using degeneration arguments and new multiple cover results for stable pairs, we reduce the KKV conjecture further to the known primitive cases. Our results yield a new proof of the full Yau-Zaslow formula, establish new Gromov-Witten multip…
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.
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 …
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 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.
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.
We prove a conjecture of Jockers-Mayr and Garoufalidis-Scheidegger, relating genus zero quantum $K$-invariants and Gopakumar--Vafa invariants on the quintic threefold.
Motivated by the S-duality conjecture of Vafa-Witten, Tanaka-Thomas have developed a theory of Vafa-Witten invariants for projective surfaces using the moduli space of Higgs sheaves. Their definition and calculation prove the S-duality prediction of Vafa-Witten in many cases in the side of gauge group $SU(r)$. In this survey paper for ICCM-2019 we review the S-duality conjecture in physics by Vafa-Witten and the definition of Vafa-Witten invariants for smooth projective surfaces and surface Deligne-Mumford stacks. We make a prediction that the Vafa-Witten invariants for Deligne-Mumford surface…
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…
In this note we derive some consequences from the Mariño-Vafa formula and the cut-and-join equation, these include unified simple proofs of the $λ_g$ conjecture and some other Hodge integral identities. We also describe a proof of the ELSV formula relating Hurwitz numbers and Hodge integrals by using the cut-and-join equation, following our proof of the Mariño-Vafa formula.
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…
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 provide a definition of Vafa-Witten invariants for projective surface Deligne-Mumford stacks, generalizing the construction of Tanaka-Thomas on the Vafa-Witten invariants for projective surfaces inspired by the S-duality conjecture. We give calculations for a root stack over a general type quintic surface, and quintic surfaces with ADE singularities. The relationship between the Vafa-Witten invariants of quintic surfaces with ADE singularities and the Vafa-Witten invariants of their crepant resolutions is also discussed.
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…
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…
We propose a definition of Vafa-Witten invariants counting semistable Higgs pairs on a polarised surface. We use virtual localisation applied to Mochizuki/Joyce-Song pairs. For $K_S\le0$ we expect our definition coincides with an alternative definition using weighted Euler characteristics. We prove this for deg $K_S<0$ here, and it is proved for $S$ a K3 surface in \cite{MT}. For K3 surfaces we calculate the invariants in terms of modular forms which generalise and prove conjectures of Vafa and Witten.
We show that \emph{vertical} contributions to (possibly semistable) Tanaka-Thomas-Vafa-Witten invariants are well defined for surfaces with $p_g(S)>0$, partially proving conjectures of \cite{TT2} and \cite{T}. Moreover, we show that such contributions are computed by the same tautological integrals as in the stable case, which we studied in \cite{L}. Using the work of Kiem and Li, we show that stability of universal families of vertical Joyce-Song pairs is controlled by cosections of the obstruction sheaves of such families.
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 study the monopole contribution to the refined Vafa-Witten invariant, recently defined by Maulik and Thomas [13]. We apply results of Gholampour and Thomas [7] to prove a universality result for the generating series of contributions of Higgs pairs with 1-dimensional weight spaces. For prime rank, these account for the entire monopole contribution, by a theorem of Thomas. We use toric computations to determine part of the generating series, and find agreement with the conjectures of Göttsche and Kool [10] for rank 2 and 3.
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 describe the applications of localization methods, in particular the functorial localization formula, in the proofs of several conjectures from string theory. Functorial localization formula pushes the computations on complicated moduli spaces to simple moduli spaces. It is a key technique in the proof of the general mirror formulas, the proof of the Hori-Vafa formulas for explicit expressions of basic hypergeometric series of homogeneous manifolds, the proof of the Mariño-Vafa formula, its generalizations to two partition analogue. We will also discuss our development of the mathematical t…
We provide a definition of Tanaka-Thomas's Vafa-Witten invariants for étale gerbes over smooth projective surfaces using the moduli spaces of $μ_r$-gerbe twisted sheaves and Higgs sheaves. Twisted sheaves and their moduli are naturally used to study the period-index theorem for the corresponding $μ_r$-gerbe in the Brauer group of the surfaces. Deformation and obstruction theory of the twisted sheaves and Higgs sheaves behave like general sheaves and Higgs sheaves. We define virtual fundamental classes on the moduli spaces and define the twisted Vafa-Witten invariants using virtual localization…
We discuss relations of Vafa's quantum cohomology with Floer's homology theory, introduce equivariant quantum cohomology, formulate some conjectures about its general properties and, on the basis of these conjectures, compute quantum cohomology algebras of the flag manifolds. The answer turns out to coincide with the algebra of regular functions on an invariant lagrangian variety of a Toda lattice.
Cecotti and Vafa proposed in 1993 a beautiful idea how to associate spectral numbers $α_1,...,α_n\in{\mathbb R}$ to real upper triangular $n\times n$ matrices $S$ with 1's on the diagonal and eigenvalues of $S^{-1}S^t$ in the unit sphere. Especially, $\exp(-2πiα_j)$ shall be the eigenvalues of $S^{-1}S^t$. We tried to make their idea rigorous, but we succeeded only partially. This paper fixes our results and our conjectures. For certain subfamilies of matrices their idea works marvellously, and there the spectral numbers fit well to natural (split) polarized mixed Hodge structures. We formulat…
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 study a conjectural relationship among Donaldson-Thomas type invariants on Calabi-Yau 3-folds counting torsion sheaves supported on ample divisors, ideal sheaves of curves and Pandharipande-Thomas's stable pairs. The conjecture is a mathematical formulation of Denef-Moore's formula derived in the study of Ooguri-Strominger-Vafa's conjecture relating black hole entropy and topological string. The main result of this paper is to prove our conjecture assuming a conjectural Bogomolov-Gieseker type inequality proposed by Bayer, Macri and the author.
We present a proof of the mirror conjecture of Aganagic-Vafa [arXiv:hep-th/0012041] and Aganagic-Klemm-Vafa [arXiv:hep-th/0105045] on disk enumeration in toric Calabi-Yau 3-folds for all smooth semi-projective toric Calabi-Yau 3-folds. We consider both inner and outer branes, at arbitrary framing. In particular, we recover previous results on the conjecture for (i) an inner brane at zero framing in the total space of the canonical line bundle of the projective plane (Graber-Zaslow [arXiv:hep-th/0109075]), (ii) an outer brane at arbitrary framing in the resolved conifold (Zhou [arXiv:1001.0447]…
We derive a closed formula for the generating function of genus two Gromov-Witten invariants of quintic 3-folds and verify the corresponding mirror symmetry conjecture of Bershadsky, Cecotti, Ooguri and Vafa.
Let $S$ be a K3 surface and let $E$ be an elliptic curve. We solve the reduced Gromov-Witten theory of the Calabi-Yau threefold $S \times E$ for all curve classes which are primitive in the K3 factor. In particular, we deduce the Igusa cusp form conjecture. The proof relies on new results in the Gromov-Witten theory of elliptic curves and K3 surfaces. We show the generating series of Gromov-Witten classes of an elliptic curve are cycle-valued quasimodular forms and satisfy a holomorphic anomaly equation. The quasimodularity generalizes a result by Okounkov and Pandharipande, and the holomorphi…
