This is an expository paper based on the results in [12] and [16]. The main goal is to prove the following two conjectures for genus up to two.
(1) Witten's conjecture on the relations between higher spin curves and Gelfand-Dickey Hierarchies.
(2) Virasoro conjecture for conformal semisimple Frobenius manifolds.
We use Pixton's relations to prove a reconstruction theorem for genus 2 Gromov-Witten invariants in the style of Kontsevich-Manin (genus 0) and Getzler (genus 1). We also calculate genus 2 (descendant) Gromov-Witten invariants of $\mathbb{P}^2$ blown up at a finite number of points in general position.
We prove that the genus-0 invariants in K-theoretic Gromov--Witten theory are governed by an integrable hierarchy of hydrodynamic type. If the K-theoretic quantum product is semisimple, then we also prove the completeness of the hierarchy.
In this paper, we show that the generating function for linear Hodge integrals over moduli spaces of stable maps to a nonsingular projective variety $X$ can be connected to the generating function for Gromov-Witten invariants of $X$ by a series of differential operators $\{ L_m \mid m \geq 1 \}$ after a suitable change of variables. These operators satisfy the Virasoro bracket relation and can be seen as a generalization of the Virasoro operators appeared in the Virasoro constraints for Kontsevich-Witten tau-function in the point case. This result is an extension of the work in \cite{LW} for t…
We derive explicit universal equations for primary Gromov-Witten invariants by applying Getzler's genus one relation to quantum powers of Euler vector field. As an application, we provide some evidences for the genus-1 Virasoro conjecture.
In this paper, we define genus-zero relative Gromov--Witten invariants with negative contact orders. Using this, we construct relative quantum cohomology rings and Givental formalism. A version of Virasoro constraints also follows from it.
In this paper, we give a new genus-4 topological recursion relation for Gromov-Witten invariants of compact symplectic manifolds via Pixton's relations on the moduli space of curves. As an application, we prove Pixton's relations imply a known topological recursion relation on $\bar{\mathcal{M}}_{g,1}$ for genus $g\leq4$.
We extend the definition of relative Gromov--Witten invariants with negative contact orders to all genera. Then we show that relative Gromov--Witten theory forms a partial CohFT. Some cycle relations on the moduli space of stable maps are also proved.
Given a smooth projective variety $X$ and a smooth divisor $D\subset X$. We study relative Gromov-Witten invariants of $(X,D)$ and the corresponding orbifold Gromov-Witten invariants of the $r$-th root stack $X_{D,r}$. For sufficiently large $r$, we prove that orbifold Gromov-Witten invariants of $X_{D,r}$ are polynomials in $r$. Moreover, higher genus relative Gromov-Witten invariants of $(X,D)$ are exactly the constant terms of the corresponding higher genus orbifold Gromov-Witten invariants of $X_{D,r}$. We also provide a new proof for the equality between genus zero relative and orbifold G…
In this paper, we study the all genus Gromov-Witten theory for any GKM orbifold $X$. We generalize the Givental formula which is studied in the smooth case in \cite{Giv2} \cite{Giv3} \cite{Giv4} to the orbifold case. Specifically, we recover the higher genus Gromov-Witten invariants of a GKM orbifold $X$ by its genus zero data. When $X$ is toric, the genus zero Gromov-Witten invariants of $X$ can be explicitly computed by the mirror theorem studied in \cite{CCIT} and our main theorem gives a closed formula for the all genus Gromov-Witten invariants of $X$. When $X$ is a toric Calabi-Yau 3-orbi…
Given a smooth target curve $X$, we explore the relationship between Gromov-Witten invariants of $X$ relative to a smooth divisor and orbifold Gromov-Witten invariants of the $r$-th root stack along the divisor. We proved that relative invariants are equal to the $r^0$-coefficient of the corresponding orbifold Gromov-Witten invariants of $r$-th root stack for $r$ sufficiently large. Our result provides a precise relation between relative and orbifold invariants of target curves generalizing the result of Abramovich-Cadman-Wise to higher genus invariants of curves. Moreover, when $r$ is suffici…
We study the higher genus equivariant Gromov-Witten theory of the Hilbert scheme of n points of the plane. Since the equivariant quantum cohomology is semisimple, the higher genus theory is determined by an R-matrix via the Givental-Teleman classification of Cohomological Field Theories (CohFTs). We uniquely specify the required R-matrix by explicit data in degree 0. As a consequence, we lift the basic triangle of equivalences relating the equivariant quantum cohomology of the Hilbert scheme and the Gromov-Witten/Donaldson-Thomas correspondence for 3-fold theories of local curves to a triangle…
We study genus 1 Gromov-Witten invariants of Fano complete intersections in the projective spaces. Among other things, we show a reconstruction theorem for genus 1 invariants with only ambient insertions, and compute the genus 1 invariants with 1 marked point. For cubic hypersurfaces of dimension $\neq 4$ and odd dimensional intersections of two quadrics, we obtain a complete reconstruction theorem for genus 1 Gromov-Witten invariants.
Given a normal surface singularity (X,0), its link, M is a closed differentiable three dimensional manifold which carries much analytic information. It is an interesting question to ask whether, under suitable analytic and topological conditions, the geometric genus (or other analytic invariants) can be recovered from the link. The Casson invariant conjecture predicts that p_g can be identified using the Casson invariant in the case when (X,0) is a complete intersection and M has trivial first homology with integral coefficients. The Seiberg-Witten invariant conjecture predicts that the geomet…
An algorithm to determine all the Gromov-Witten invariants of any smooth projective curve was obtained by Okounkov and Pandharipande in 2006. They identified stationary invariants with certain Hurwitz numbers and then presented Virasoro type constraints that allow to determine all the other Gromov-Witten invariants in terms of the stationary ones. In the case of an elliptic curve, we show that these Virasoro type constraints can be explicitly solved leading to a very explicit formula for the full Gromov-Witten potential in terms of the stationary invariants.
In their fundamental work, B. Dubrovin and Y. Zhang, generalizing the Virasoro equations for the genus 0 Gromov-Witten invariants, proved the Virasoro equations for a descendent potential in genus 0 of an arbitrary conformal Frobenius manifold. More recently, a remarkable system of partial differential equations, called the open WDVV equations, appeared in the work of A. Horev and J. P. Solomon. This system controls the genus 0 open Gromov-Witten invariants. In our paper, for an arbitrary solution of the open WDVV equations, satisfying a certain homogeneity condition, we construct a descendent…
Let $X$ be a smooth projective surface and $D$ a smooth rational ample divisor in $X$. We prove an all-genus generalization of the genus $0$ WDVV equation for primary Gromov--Witten invariants of the local 3-fold $\mathcal{O}_X(-D)$. The proof relies on a correspondence between all-genus Gromov--Witten invariants and refined Donaldson--Thomas invariants of acyclic quivers. In particular, the corresponding BPS invariants are expressed in terms of Betti numbers of moduli spaces of quiver representations.
Using degeneration techniques, we prove the correspondence of tropical curve counts and log Gromov-Witten invariants with general incidence and psi-class conditions in toric varieties for genus zero curves and all non-superabundant higher-genus situations. We also relate the log invariants to the ordinary ones, in particular explaining the appearance of negative multiplicities in the descendant correspondence result of Mark Gross.
In our previous work, we provided an algebraic proof of the Zinger's comparison formula between genus one Gromov-Witten invariants and reduced invariants when the target space is a complete intersection of dimension two or three in a projective space. In this paper, we extend the result in any dimensions and for descendant invariants.
The purpose of the article is to give a proof of a conjecture of Maulik and Pandharipande for genus 2 and 3. As a result, it gives a way to determine Gromov-Witten invariants of the quintic threefold for genus 2 and 3.
We construct and study the reduced, relative, genus one Gromov--Witten theory of very ample pairs. These invariants form the principal component contribution to relative Gromov--Witten theory in genus one and are relative versions of Zinger's reduced Gromov--Witten invariants. We relate the relative and absolute theories by degeneration of the tangency conditions, and the resulting formulas generalise a well-known recursive calculation scheme put forward by Gathmann in genus zero. The geometric input is a desingularisation of the principal component of the moduli space of genus one logarithmic…
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.
