We give a construction of the moduli space of stable maps to the classifying stack Bμ_r of a cyclic group by a sequence of r-th root constructions on M_{0, n}. We prove a closed formula for the total Chern class of μ_r-eigenspaces of the Hodge bundle, and thus of the obstruction bundle of the genus zero Gromov-Witten theory of stacks of the form [C^N/μ_r].
We deduce linear recursions for all genus-zero Gromov-Witten invariants.
This article is an elaboration of a talk given at an international conference on Operator Theory, Quantum Probability, and Noncommutative Geometry held during December~20--23, 2004, at the Indian Statistical Institute, Kolkata. The lecture was meant for a general audience, and also prospective research students, the idea of the quantum cohomology based on the Gromov--Witten invariants. Of course there are many important aspects that are not discussed here.
The zeroth line bundle cohomology on Calabi-Yau three-folds encodes information about the existence of flop transitions and the genus zero Gromov-Witten invariants. We illustrate this claim by studying several Picard number 2 Calabi-Yau three-folds realised as complete intersections in products of projective spaces. Many of these manifolds exhibit certain symmetries on the Picard lattice which preserve the zeroth cohomology.
For a nonsingular projective variety $X$, the virtual Tevelev degree in Gromov-Witten theory is defined as the virtual degree of the morphism from $M_{g,n}(X,d)$ to the product $M_{g,n} \times X^n$. After proving a simple formula for the virtual Tevelev degree in the (small) quantum cohomology ring of $X$ using the quantum Euler class, we provide several exact calculations for flag varieties and complete intersections. In the cominuscule case (including Grassmannians, Lagrangian Grassmannians, and maximal orthogonal Grassmannians), the virtual Tevelev degrees are calculated in terms of the eig…
We generalize the First Reconstruction Theorem of Kontsevich and Manin in two respects. First, we allow the target space to be a Deligne-Mumford stack. Second, under some convergence assumptions, we show it suffices to check the hypothesis of $H^2$-generation not on the cohomology ring, but on an any quantum ring in the family given by small quantum cohomology.
In this paper, we propose another characterization of the generalized mirror transformation on the quantum cohomology rings of general type projective hypersurfaces. This characterics is useful for explicit determination of the form of the generalized mirror transformation. As applications, we rederive the generalized mirror transformation up to $d=3$ rational Gromov-Witten invariants obtained in our previous article, and determine explicitly the the generalized mirror transformation for the $d=4, 5$ rational Gromov-Witten invariants in the case when the first Chern class of the hypersurface e…
In this paper, we give a simple formula for the generating function of genus-2 Gromov-Witten invariants for manifolds with semisimple quantum cohomology, and use this formula to prove the genus-2 Virasoro conjecture for such manifolds.
This is the second in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology of a smooth polarized complex projective variety with the action of a connected complex reductive group to the orbifold quantum cohomology of its geometric invariant theory quotient, and prove that it intertwines the genus zero gauged Gromov-Witten potential with the genus zero Gromov-Witten graph potential. In this part we construct virtual fundamental classes on the moduli spaces used in the construction of the quantum Kirwan map and the gauged Gromov-W…
We compute the degree of the variety parametrizing rational ruled surfaces of degree d in the projective space by relating the problem to Gromov-Witten invariants and Quantum cohomology.
We present a recursive algorithm computing all the genus-zero Gromov-Witten invariants from a finite number of initial ones, for Fano varieties with generically tame semi-simple quantum (and small quantum) (p, p)- type cohomology, whose first Chern class is a strictly positive combination of effective integral basic divisors.
New relations among the genus-zero Gromov-Witten invariants of a complex projective manifold $X$ are exhibited. When the cohomology of $X$ is generated by divisor classes and classes ``with vanishing one-point invariants,'' the relations determine many-point invariants in terms of one-point invariants.
We produce an equality between the Gromov-Witten invariants of the moduli space M of rank two odd degree stable vector bundles over a Riemann surface $Σ$ and the Donaldson invariants of the algebraic surface $Σ\times P^1$. We discuss on to how extent the Quantum cohomology of M determines its Gromow-Witten invariants. Finally we find the isomorphism between the usual cohomology and the Quantum cohomology for the moduli space M over a Riemann surface of genus g=3.
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.
This is the third in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology of a smooth polarized complex projective variety with the action of a connected complex reductive group to the orbifold quantum cohomology of its geometric invariant theory quotient, and prove that it intertwines the genus zero gauged Gromov-Witten potential with the genus zero Gromov-Witten graph potential. We also give a formula for a solution to the quantum differential equation in terms of a localized gauged potential. These results overlap with those …
The paper is devoted to the mathematical aspects of topological quantum field theory and its applications to enumerative problems of algebraic geometry. In particular, it contains an axiomatic treatment of Gromov-Witten classes, and a discussion of their properties for Fano varieties. Cohomological Field Theories are defined, and it is proved that tree level theories are determined by their correlation functions. Applications to counting rational curves on del Pezzo surfaces and projective spaces are given.
Let V be a vector space with a nondegenerate symmetric form and OG be the orthogonal Grassmannian which parametrizes maximal isotropic subspaces in V. We give a presentation for the (small) quantum cohomology ring QH^*(OG) and show that its product structure is determined by the ring of (P~)-polynomials. A "quantum Schubert calculus" is formulated, which includes quantum Pieri and Giambelli formulas, as well as algorithms for computing Gromov-Witten invariants. As an application, we show that the table of 3-point, genus zero Gromov-Witten invariants for OG coincides with that for a correspondi…
In the Gromov-Witten theory of a target curve we consider descendent integrals against the virtual fundamental class relative to the forgetful morphism to the moduli space of curves. We show that cohomology classes obtained in this way lie in the tautological ring.
We give a proof of Pixton's generalized Faber-Zagier relations in the tautological Chow ring of $\overline M_{g,n}$. The strategy is very similar to the work of Pandharipande-Pixton-Zvonkine, who have given a proof of the same result in cohomology. The main tool is the Givental-Teleman classification of semisimple cohomological field theories, which, while in general only known in cohomology, via virtual localization can be shown to be also valid in Chow for the equivariant Gromov-Witten theory of the projective line. We obtain the relations just from this theory.
We describe the quantum cohomology rings of a class of toric varieties. The description includes, in addition to the (already known) ring presentations, the (new) analogues for toric varieties of the sorts of quantum Giambelli formulas which exist already for Grassmannian varieties, flag varieties, etc.
We explicitly calculate some Gromov--Witten correspondences determined by maps of labeled curves of genus zero to the moduli spaces of labeled curves of genus zero. We consider these calculations as the first step towards studying the self--referential nature of motivic quantum cohomology.
For any smooth complex projective variety X and smooth very ample hypersurface Y in X, we develop the technique of genus zero relative Gromov-Witten invariants of Y in X in algebro-geometric terms. We prove an equality of cycles in the Chow groups of the moduli spaces of relative stable maps that relates these relative invariants to the Gromov-Witten invariants of X and Y. Given the Gromov-Witten invariants of X, we show that these relations are sufficient to compute all relative invariants, as well as all genus zero Gromov-Witten invariants of Y whose homology and cohomology classes are induc…
The local Gromov-Witten theory of curves is solved by localization and degeneration methods. Localization is used for the exact evaluation of basic integrals in the local Gromov-Witten theory of P^1. A TQFT formalism is defined via degeneration to capture higher genus curves. Together, the results provide a compete and effective solution. The local Gromov-Witten theory of curves is equivalent to the local Donaldson-Thomas theory of curves, the quantum cohomology of the Hilbert scheme points of C^2, and the orbifold quantum cohomology the symmetric product of C^2. The results of the paper provi…
Let M be the total space of a negative line bundle over a closed symplectic manifold. We prove that the quotient of quantum cohomology by the kernel of a power of quantum cup product by the first Chern class of the line bundle is isomorphic to symplectic cohomology. We also prove this for negative vector bundles and the top Chern class. We explicitly calculate the symplectic and quantum cohomologies of O(-n) over P^m. For n=1, M is the blow-up of C^{m+1} at the origin and symplectic cohomology has rank m. The symplectic cohomology vanishes if and only if the first Chern class of the line bundl…
We introduce the stack of r-spin maps. These are stable maps into a variety V from n-pointed algebraic curves of genus g, with the additional data of an r-spin structure on the curve. We prove that this stack is a Deligne-Mumford stack, and we define analogs of the Gromov-Witten classes associated to these spaces. We show that these classes yield a cohomological field theory (CohFT) that is the tensor product of the CohFT associated to the usual Gromov-Witten invariants of V and the r-spin CohFT. When r=2, our construction gives the usual Gromov-Witten invariants of V. Restricting to genus zer…
We discuss the GW/DT correspondence for 3-folds in both the absolute and relative cases. Descendents in Gromov-Witten theory are conjectured to be equivalent to Chern characters of the universal sheaf in Donaldson-Thomas theory. Relative constraints in Gromov-Witten theory are conjectured to correspond in Donaldson-Thomas theory to cohomology classes of the Hilbert scheme of points of the relative divisor. Independent of the conjectural framework, we prove degree 0 formulas for the absolute and relative Donaldson-Thomas theories of toric varieties.
We develop general theory of equivariant quantum cohomology for ample Kahler manifolds and prove the mirror conjecture for projective complete intersections.
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 prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, specialized at q=1, is semisimple. This implies that complex conjugation defines an algebra automorphism of the quantum cohomology ring localized at the quantum parameter. We check that this involution coincides with the strange duality defined in a previous paper. We deduce Vafa-Intriligator type formulas for the Gromov-Witten invariants.
We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, once localized at the quantum parameter, has a non trivial involution mapping Schubert classes to multiples of Schubert classes. This can be stated as a strange duality property for the Gromov-Witten invariants, which turn out to be very symmetric.
This is the first in a sequence of papers in which we construct a quantum version of the Kirwan map from the equivariant quantum cohomology $QH_G(X)$ of a smooth complex projective variety X with the action of a connected complex reductive group $G$ to the orbifold quantum cohomology $QH(X//G)$ of its geometric invariant theory quotient $X//G$, and prove that it intertwines the genus zero gauged Gromov-Witten potential of X with the genus zero Gromov-Witten graph potential of $X//G$.
K-theoretic Gromov-Witten invariants of a compact Kahler manifold $X$ are defined as super-dimensions of sheaf cohomology of interesting bundles over moduli spaces of n-pointed holomorphic curves in X. With this article, we begin a series of publications on K-theoretic Gromov-Witten invariants, cognizant of the $S_n$-module structure on the sheaf cohomology, induced by renumbering of the marked points. In the opening paper, we introduce such invariants, explain how the representation-theoretic information with varying $S_n$ is incorporated into generating functions of Gromov-Witten theory, and…
We give a complete solution for the reduced Gromov-Witten theory of resolved surface singularities of type A_n, for any genus, with arbitrary descendent insertions. We also present a partial evaluation of the T-equivariant relative Gromov-Witten theory of the threefold A_n x P^1 which, under a nondegeneracy hypothesis, yields a complete solution for the theory. The results given here allow comparison of this theory with the quantum cohomology of the Hilbert scheme of points on the A_n surfaces. We discuss generalizations to linear Hodge insertions and to surface resolutions of type D,E. As a c…
The goal of this article is to motivate and describe how Gromov-Witten theory can and has provided tools to understand the moduli space of curves. For example, ideas and methods from Gromov-Witten theory have led to both conjectures and theorems showing that the tautological part of the cohomology ring has a remarkable and profound structure. As an illustration, we describe a new approach to Faber's intersection number conjecture via branched covers of the projective line (work with I.P. Goulden and D.M. Jackson, based on work with T. Graber). En route we review the work of a large number of m…
We study Givental's Lagrangian cone for the quantum orbifold cohomology of toric stack bundles and prove that the I-function gives points in the Lagrangian cone, namely we construct an explicit slice of the Lagrangian cone defined by the genus $0$ Gromov-Witten theory of a toric stack bundle.
We compute the small cohomology ring of the Cayley Grassmannian, that parametrizes four-dimensional subalgebras of the complexified octonions. We show that all the Gromov-Witten invariants in the multiplication table of the Schubert classes are non negative and deduce Golyshev's conjecture O holds true for this variety. We also check that the quantum cohomology is semisimple and that there exists, as predicted by Dubrovin's conjecture, an exceptional collection of maximal length in the derived category.
For even dimensional smooth complete intersections, of dimension at least 4, of two quadric hypersurfaces in a projective space, we study the genus zero Gromov-Witten invariants by the monodromy group of its whole family. We compute the invariants of length 4 and show that, besides a special invariant, all genus zero Gromov-Witten invariants can be reconstructed from the invariants of length 4. In dimension 4, we compute the special invariant by solving a curve counting problem. We show that the generating function of genus zero Gromov-Witten invariants has a positive radius of convergence. We…
We study the quantum cohomology of (co)minuscule homogeneous varieties under a unified perspective. We show that three points Gromov-Witten invariants can always be interpreted as classical intersection numbers on auxiliary varieties. Our main combinatorial tools are certain quivers, in terms of which we obtain a quantum Chevalley formula and a higher quantum Poincaré duality. In particular we compute the quantum cohomology of the two exceptional minuscule homogeneous varieties.
We prove that any three-point genus zero Gromov-Witten invariant on a type A Grassmannian is equal to a classical intersection number on a two-step flag variety. We also give symplectic and orthogonal analogues of this result; in these cases the two-step flag variety is replaced by a sub-maximal isotropic Grassmannian. Our theorems are applied, in type A, to formulate a conjectural quantum Littlewood-Richardson rule, and in the other classical Lie types, to obtain new proofs of the main structure theorems for the quantum cohomology of Lagrangian and orthogonal Grassmannians.
In this paper, we compute the open Gromov-Witten invariants for every compact toric surface X which is semi-Fano (i.e. the anticanonical line bundle is nef). Unlike the Fano case, this involves non-trivial obstructions in the corresponding moduli problem. As a consequence, an explicit formula for the Lagrangian Floer superpotential W is obtained, which in turn gives an explicit presentation of the small quantum cohomology ring of X. We also provide a computational verification of the conjectural ring isomorphism between the small quantum cohomology of X and the Jacobian ring of W.
We present a reconstruction theorem for Fano vector bundles on projective space which recovers the small quantum cohomology for the projectivisation of the bundle from a small number of low-degree Gromov--Witten invariants. We provide an extended example in which we calculate the quantum cohomology of a certain Fano 9-fold and deduce from this, using the quantum Lefschetz theorem, the quantum period sequence for a Fano 3-fold of Picard rank 2 and degree 24. This example is new, and is important for the Fanosearch programme.
We establish a genus zero correspondence between the equivariant Gromov-Witten theory of the Deligne-Mumford stack $[\mathbb{C}^N/G]$ and its blowup at the origin. The relationship generalizes the crepant transformation conjecture of Coates-Iritani-Tseng and Coates-Ruan to the discrepant (non-crepant) setting using asymptotic expansion. Using this result together with quantum Serre duality and the MLK correspondence we prove LG/Fano and LG/general type correspondences for hypersurfaces.
In algebraic geometry, Gromov--Witten invariants are enumerative invariants that count the number of complex curves in a smooth projective variety satisfying some incidence conditions. In 2001, A. Givental and Y.P. Lee defined new invariants, called $K$-theoretical Gromov--Witten invariants. These invariants are obtained by replacing cohomological constructions used in the definition of the usual Gromov--Witten invariants by their $K$-theoretical analogues. Then, an essential question is to understand how these two invariants are related. In 2013, Iritani-Givental-Milanov-Tonita show that $K$-…
Let $V$ be a smooth, projective, convex variety. We define tautological $ψ$ and $κ$ classes on the moduli space of stable maps $\M_{0,n}(V)$, give a (graphical) presentation for these classes in terms of boundary strata, derive differential equations for the generating functions of the Gromov-Witten invariants of $V$ twisted by these tautological classes, and prove that these intersection numbers are completely determined by the Gromov-Witten invariants of $V$. This results in families of Frobenius manifold structures on the cohomology ring of $V$ which includes the quantum cohomology as a spe…
Given a submanifold Z inside X, let Y be the blow-up of X along Z. When the normal bundle of Z in X is convex with a minor assumption, we prove that genus-zero GW-invariants of Y with cohomology insertions from X, are identical to GW-invariants of X. Under the same hypothesis, a vanishing theorem is also proved. An example to which these two theorems apply is when the normal bundle is generated by global sections. These two main theorems do not hold for arbitrary blow-ups, and counter-examples are included.
We outline two approaches to the construction of integrable hierarchies associated with the theory of Gromov - Witten invariants of smooth projective varieties. We argue that a comparison of these two approaches yields nontrivial constraints on Chern numbers of varieties with semisimple quantum cohomology.
We describe a construction of Gromov-Witten invariants for flag varieties and use it to give a presentation for the quantum cohomology ring, by extending the ideas used by Bertram in the case of Grassmannians. This provides a proof for the conjecture of Givental and Kim in [GK].
We obtain a formula for the number of genus one curves with a variable complex structure of a given degree on a del-Pezzo surface that pass through an appropriate number of generic points of the surface. This is done using Getzler's relationship among cohomology classes of certain codimension 2 cycles in $\overline{M}_{1,4}$ and recursively computing the genus-one Gromov-Witten invariants of del Pezzo surfaces. Using completely different methods, this problem has been solved earlier by Bertram and Abramovich, Ravi Vakil, Dubrovin and Zhang and more recently using Tropical geometric methods by …
We show that various genus zero Gromov-Witten invariants for flag varieties representing different homology classes are indeed the same. In particular, many of them are classical intersection numbers of Schubert cycles.
Using a finite-dimensional Clifford algebra a new combinatorial product formula for the small quantum cohomology ring of the complex Grassmannian is presented. In particular, Gromov-Witten invariants can be expressed through certain elements in the Clifford algebra, this leads to a q-deformation of the Racah-Speiser algorithm allowing for their computation in terms of Kostka numbers. The second main result is a simple and explicit combinatorial formula for projecting product expansions in the quantum cohomology ring onto the sl(n) Verlinde algebra. This projection is non-trivial and amounts to…
Let A_r be the minimal resolution of the cyclic quotient singularity C^2/Z_{r+1}. We study the equivariant quantum cohomology ring of the n-fold symmetric product stack [Sym^n(A_r)] of A_r. We calculate the operators of quantum multiplication by divisor classes. Under the assumption of the nonderogatory conjecture, these operators completely determine the ring structure, which provides an affirmative answer to the Crepant Resolution Conjecture on [Sym^n(A_r)] and Hilb^n(A_r). More strikingly, this allows us to complete a tetrahedron of equivalences relating the Gromov-Witten theories of [Sym^n…
Given Y a non-compact manifold or orbifold, we define a natural subspace of the cohomology of Y called the narrow cohomology. We show that despite Y being non-compact, there is a well-defined and non-degenerate pairing on this subspace. The narrow cohomology proves useful for the study of genus zero Gromov-Witten theory. When Y is a smooth complex variety or Deligne-Mumford stack, one can define a quantum D-module on the narrow cohomology of Y. This yields a new formulation of quantum Serre duality.
