Let X be a smooth projective variety. Using modified psi classes on the stack of genus zero stable maps to X, a new associative quantum product is constructed on the cohomology space of X. When X is a homogeneous variety, this structure encodes the characteristic numbers of rational curves in X, and specialises to the usual quantum product upon resetting the parameters corresponding to the modified psi classes. For X = P^2, the product is equivalent to that of the contact cohomology of Ernstrom-Kennedy.
We construct an associative ring which is a deformation of the quantum cohomology ring of the projective plane. Just as the quantum cohomology encodes the incidence characteristic numbers of rational plane curves, the contact cohomology encodes the tangency characteristic numbers.
J. Kock has previously defined a tangency quantum product on formal power series with coefficients in the cohomology ring of any smooth projective variety, and thus a ring that generalizes the quantum cohomology ring. We further generalize Kock's construction by defining a dth-order contact product and establishing its associativity.
We prove that under certain conditions, the quantum cohomology of a positively monotone compact symplectic manifold is a deformation of the symplectic cohomology of the complement of a simple crossings symplectic divisor. We also prove rigidity results for the skeleton of the divisor complement.
In this article, we construct an orbifold quantum cohomology twisted by a flat gerbe. Then we compute these invariants in the case of a smooth manifold and a discrete torsion on a global quotient orbifold.
This paper studies symplectic manifolds that admit semi-free circle actions with isolated fixed points. We prove, using results on the Seidel element due to McDuff and Tolman, that the (small) quantum cohomology of a $2n$ dimensional manifold of this type is isomorphic to the (small) quantum cohomology of a product of $n$ copies of $\bb{P}^1$. This generalizes a result due to Tolman and Witsman.
We identify a certain universal Landau-Ginzburg model as a mirror of the big equivariant quantum cohomology of a (not necessarily compact or semipositive) toric manifold. The mirror map and the primitive form are constructed via Seidel elements and shift operators for equivariant quantum cohomology. Primitive forms in non-equivariant theory are identified up to automorphisms of the mirror.
We prove the conjectural relation between the Stokes matrix for the quantum cohomology and an exceptional collection generating the derived category of coherent sheaves in the case of smooth cubic surfaces. The proof is based on a toric degeneration of cubic surfaces, the Givental's mirror theorem for toric manifolds, and the Picard-Lefschetz theory.
This is an expository article on the recent studies of Ruan's crepant resolution/flop conjecture and its possible relations to the K-theory integral structure in quantum cohomology.
Given a singular variety I discuss the relations between quantum cohomology of its resolution and smoothing. In particular, I explain how toric degenerations helps with computing Gromov--Witten invariants, and the role of this story in Fanosearch programme. The challenge is to formulate enumerative symplectic geometry of complex $3$-folds in a way suitable for extracting invariants under blowups, contractions, and transitions.
This article is a revised, short and english version of my PhD thesis. First, we show a mirror theorem : the Frobenius manifold associated to the orbifold quantum cohomology of weighted projective space is isomorphic to the one attached to a specific Laurent polynomial. Secondly, we show a reconstruction theorem, that is, we can reconstruct in an algorithmic way the full genus 0 Gromov-Witten potential from the 3-point invariants.
This paper is devoted to the study of the quantum cohomology of coadjoint varieties of simple algebraic groups across all Dynkin types. We determine the non-semisimple factors of the small quantum cohomology ring and relate them to ADE-singularities. Moreover, we show that the big quantum cohomology of a coadjoint variety is always generically semisimple even though in most cases the small quantum cohomology is not.
For any conical symplectic resolution, we give a conjecture relating the intersection cohomology of the singular cone to the quantum cohomology of its resolution. We prove this conjecture for hypertoric varieties, recovering the ring structure on hypertoric intersection cohomology that was originally constructed by Braden and the second author.
We give sufficient conditions for the semisimplicity of quantum cohomology of Fano varieties of Picard rank 1. We apply these techniques to prove new semisimplicity results for some Fano varieties of Picard rank 1 and large index. We also give examples of Fano varieties having a non semisimple small quantum cohomology but a semisimple big quantum cohomology.
A reconstruction theorem for genus 0 gravitational quantum cohomology and quantum K-theory is proved. A new linear equivalence in the Picard group of the moduli space of genus 0 stable maps relating the pull-backs of line bundles from the target via different markings is used for the reconstruction result. Examples of calculations in quantum cohomology and quantum K-theory are given.
This is an expository lecture, for the Abel bicentennial (Oslo, 2002), describing some recent work on the (small) quantum cohomology ring of Grassmannians and other homogeneous varieties.
The main goal of this paper is to give a unified description for the structure of the small quantum cohomology rings for all homogeneous spaces of SL_n(C).
We describe the quantum cohomology ring of a toric Fano variety $X$ in terms of the usual topological cohomology ring for an auxiliary infinite-dimensional scheme. This scheme is a part of an algebro-geometric model for the universal cover of the space of free loops with values in $X$.
We compute the Small Quantum Cohomology of Hilb^2(P^1xP^1) and determine recursively most of the Big Quantum Cohomology. We prove a relationship between the invariants so obtained and the enumerative geometry of hyperelliptic curves in P^1xP^1. This extends the results obtained by Graber for Hilb^2(P^2) and hyperelliptic curves in P^2.
We give elementary proofs of the main theorems about (small) quantum cohomology of Grassmannians, including the quantum Giambelli and quantum Pieri formulas, the rim-hook algorithm, Siebert and Tian's presentation, and a recent theorem of Fulton and Woodward about the minimal q-power which appears in a product of two Schubert classes.
We give an explicit presentation with generators and relations of the quantum cohomology ring of the blow-up of a projective space along a linear subspace.
For a $\mathbb P^1$-orbifold $\mathscr C$, we prove that its big quantum cohomology is generically semisimple. As a corollary, we verify a conjecture of Dubrovin for orbi-curves. We also show that the small quantum cohomology of $\mathscr C$ is generically semisimple iff $\mathscr C$ is Fano, i.e. it has positive orbifold Euler characteristic.
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 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.
In an earlier paper we conjectured a relation between the quantum $\mathcal D$-modules of a smooth variety $X$ and the projectivisation of a direct sum of line bundles over it. In this paper we prove the conjecture when $X$ is a complete intersection in a toric variety. We also use the conjecture to show that the relations of the small quantum cohomology ring of $X$ that come from differential operators lift to the projective bundle. The basic cohomology relation of the projective bundle deforms to a relation in the small quantum cohomology.
We investigate the (small) quantum cohomology ring of the moduli spaces of stable n-pointed curves of genus 0. In particular, we determine an explicit presentation in the case n=5 and we outline a computational approach to the case n=6.
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.
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 reproduce the quantum cohomology of toric varieties (and of some hypersurfaces in projective spaces) as the cohomology of certain vertex algebras with differential. The deformation technique allows us to compute the cohomology of the chiral de Rham complex over the projective space.
In this paper, we attempt to determine the quantum cohomology of projective bundles over the projective space P^n. In contrast to the previous examples, the relevant moduli spaces in our case frequently do not have expected dimensions. It makes the calculation more difficult. We overcome this difficulty by using excessive intersection theory.
The (small) quantum cohomology ring of a flag manifold F encodes enumerative geometry of rational curves on F. We give a proof of the presentation of the ring and of a quantum Giambelli formula, which is more direct and geometric than the previously known proof. Furthermore, this proof gives a relationship between quantum Schubert polynomials and universal Schubert polynomials, which arise in a degeneracy locus formula of Fulton.
We prove that the equivariant big quantum cohomology QH^*_T(E) of the total space of a toric bundle E \to B converges provided that the big quantum cohomology QH^*(B) converges. The proof is based on Brown's mirror theorem for toric bundles. It has been observed by Coates, Givental and Tseng that the quantum connection of E splits into copies of that of B. Under the assumption that QH^*(B) is convergent, we construct a decomposition of the quantum D-module of E into a direct sum of that of B, which is analytic with respect to parameters of QH^*_T(E). In particular, we obtain an analytic decomp…
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.
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 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.
We formulate a generalization of Givental-Kim's quantum hyperplane principle. This is applied to compute the quantum cohomology of a Calabi-Yau 3-fold defined as the rank 4 locus of a general skew-symmetric 7x7 matrix with coeffisients in P^6. The computation verifies the mirror symmetry predictions of Rødland in math.AG/9801092.
Odd symplectic Grassmannians are a generalization of symplectic Grassmannians to odd-dimensional spaces. Here we compute the classical and quantum cohomology of the odd symplectic Grassmannian of lines. Although these varieties are non homogeneous, we obtain Pieri and Giambelli formulas that are very similar to the symplectic case. We notice that their quantum cohomology is semi-simple, which enables us to check Dubrovin's conjecture for this case.
Let V be a symplectic vector space and LG be the Lagrangian Grassmannian which parametrizes maximal isotropic subspaces in V. We give a presentation for the (small) quantum cohomology ring QH^*(LG) and show that its multiplicative structure is determined by the ring of (Q^~)-polynomials. We formulate a "quantum Schubert calculus" which includes quantum Pieri and Giambelli formulas, as well as algorithms for computing the structure constants appearing in the quantum product of Schubert classes.
In the present paper the small Quantum Cohomology ring of some Fano threefolds which are obtained as one- or two-curve blow-ups from $P^3$ or the quadric $Q^3$ is explicitely computed. Because of systematic usage of the associativity property of quantum product only a very small and enumerative subset of Gromov-Witten invariants is needed. Then, for these threefolds the Dubrovin conjecture on the semisimplicity of Quantum Cohomology is proven by checking the computed Quantum Cohomology rings and by showing that a smooth Fano threefold $X$ with $b_3(X)=0$ admits a complete exceptional set of th…
We present a brief introduction to quantum sheaf cohomology, a generalization of quantum cohomology based on the physics of the (0,2) nonlinear sigma model.
We give elementary geometric proofs of the main theorems about the (small) quantum cohomology of partial flag varieties SL(n)/P, including the quantum Pieri and quantum Giambelli formulas and the presentation.
We give a description of the moment graph for Bott-Samelson varieties in arbitrary Lie type. We use this, along with curve neighborhoods and explicit moduli space computations, to compute a presentation for the small quantum cohomology ring of a particular Bott-Samelson variety in Type $A$. We also show the conjecture $\mathcal{O}$ of Galkin, Golyshev, and Iritani holds for that Bott-Samelson variety.
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 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.
We prove a general formula for the intersection form of two arbitrary monomials in boundary divisors. Furthermore we present a tree basis of the cohomology of $\overline {M}_{0,n}$. With the help of the intersection form we determine the Gram matrix for this basis and give a formula for its inverse. This enables us to calculate the tensor product of the higher order multiplications arising in quantum cohomology and formal Frobenius manifolds. In the context of quantum cohomology this establishes the explicit Künneth formula.
The action of the total cohomology $H^*(M)$ of the almost Kahler manifold $M$ on its Floer cohomology, int roduced originally by Floer, gives a new ring structure on $H^*(M)$. We prove that the total cohomology space $H^* (M)$, provided with this new ring structure, is isomorphic to the quantum cohomology ring. As a special case, we prove the the formula for the Floer cohomology ring of the complex grassmanians conjectured by Vafa and Witten.
We study how relative quantum cohomology, defined by Tseng--You and Fan--Wu--You, varies under birational transformations. For toric complete intersections with simple normal crossings divisors that contain the loci of indeterminacy, we prove that their respective relative $I$-functions can be directly identified. For toric complete intersections with smooth divisors, we prove that their respective relative $I$-functions are related by analytic continuation. We also study some connections with extremal transitions and FJRW theory.
