We construct a sheaf of Fock spaces over the moduli space of elliptic curves
E_y with Gamma_1(3)-level structure, arising from geometric quantization of
H^1(E_y), and a global section of this Fock sheaf. The global section
coincides, near appropriate limit points, with the Gromov-Witten potentials of
local P^2 and of the orbifold C^3/mu_3. This proves that the Gromov-Witten
potentials of local P^2 are quasi-modular functions for the group Gamma_1(3),
as predicted by Aganagic-Bouchard-Klemm, and proves the Crepant Resolution
Conjecture for [C^3/mu_3] in all genera.
We give a global, intrinsic, and co-ordinate-free quantization formalism for
Gromov-Witten invariants and their B-model counterparts, which simultaneously
generalizes the quantization formalisms described by Witten, Givental, and
Aganagic-Bouchard-Klemm. Descendant potentials live in a Fock sheaf, consisting
of local functions on Givental's Lagrangian cone that satisfy the (3g-2)-jet
condition of Eguchi-Xiong; they also satisfy a certain anomaly equation, which
generalizes the Holomorphic Anomaly Equation of Bershadsky-Cecotti-Ooguri-Vafa.
We interpret Givental's formula for the higher-genus potentials associated to a
semisimple Frobenius manifold in this setting, showing that, in the semisimple
case, there is a canonical global section of the Fock sheaf. This canonical
section automatically has certain modularity properties. When X is a variety
with semisimple quantum cohomology, a theorem of Teleman implies that the
canonical section coincides with the geometric descendant potential defined by
Gromov-Witten invariants of X. We use our formalism to prove a higher-genus
version of Ruan's Crepant Transformation Conjecture for compact toric
orbifolds. When combined with our earlier joint work with Jiang, this shows
that the total descendant potential for compact toric orbifold X is a modular
function for a certain group of autoequivalences of the derived category of X.
We describe a practical and effective method for reconstructing the
deformation class of a Fano manifold X from a Laurent polynomial f that
corresponds to X under Mirror Symmetry. We explore connections to nef
partitions, the smoothing of singular toric varieties, and the construction of
embeddings of one (possibly-singular) toric variety in another. In particular,
we construct degenerations from Fano manifolds to singular toric varieties; in
the toric complete intersection case, these degenerations were constructed
previously by Doran--Harder. We use our method to find models of orbifold del
Pezzo surfaces as complete intersections and degeneracy loci, and to construct
a new four-dimensional Fano manifold.
We prove the following results for toric Deligne-Mumford stacks, under
minimal compactness hypotheses: the Localization Theorem in equivariant
K-theory; the equivariant Hirzebruch-Riemann-Roch theorem; the Fourier--Mukai
transformation associated to a crepant toric wall-crossing gives an equivariant
Using the mirror theorem [CCIT15], we give a Landau-Ginzburg mirror
description for the big equivariant quantum cohomology of toric Deligne-Mumford
stacks. More precisely, we prove that the big equivariant quantum D-module of a
toric Deligne-Mumford stack is isomorphic to the Saito structure associated to
the mirror Landau-Ginzburg potential. We give a GKZ-style presentation of the
quantum D-module, and a combinatorial description of quantum cohomology as a
quantum Stanley-Reisner ring. We establish the convergence of the mirror
isomorphism and of quantum cohomology in the big and equivariant setting.
We show that the Virasoro conjecture in Gromov--Witten theory holds for the
the total space of a toric bundle $E \to B$ if and only if it holds for the
base $B$. The main steps are: (i) we establish a localization formula that
expresses Gromov--Witten invariants of $E$, equivariant with respect to the
fiberwise torus action, in terms of genus-zero invariants of the toric fiber
and all-genus invariants of $B$; and (ii) we pass to the non-equivariant limit
in this formula, using Brown's mirror theorem for toric bundles.
There are well-understood methods, going back to Givental and Hori--Vafa,
that to a Fano toric complete intersection X associate a Laurent polynomial f
that corresponds to X under mirror symmetry. We describe a technique for
inverting this process, constructing the toric complete intersection X directly
from its Laurent polynomial mirror f. We use this technique to construct a new
four-dimensional Fano manifold.
The quantum period of a variety X is a generating function for certain
Gromov-Witten invariants of X which plays an important role in mirror symmetry.
In this paper we compute the quantum periods of all 3-dimensional Fano
manifolds. In particular we show that 3-dimensional Fano manifolds with very
ample anticanonical bundle have mirrors given by a collection of Laurent
polynomials called Minkowski polynomials. This was conjectured in joint work
with Golyshev. It suggests a new approach to the classification of Fano
manifolds: by proving an appropriate mirror theorem and then classifying Fano
Our methods are likely to be of independent interest. We rework the
Mori-Mukai classification of 3-dimensional Fano manifolds, showing that each of
them can be expressed as the zero locus of a section of a homogeneous vector
bundle over a GIT quotient V/G, where G is a product of groups of the form
GL_n(C) and V is a representation of G. When G=GL_1(C)^r, this expresses the
Fano 3-fold as a toric complete intersection; in the remaining cases, it
expresses the Fano 3-fold as a tautological subvariety of a Grassmannian,
partial flag manifold, or projective bundle thereon. We then compute the
quantum periods using the Quantum Lefschetz Hyperplane Theorem of
Coates-Givental and the Abelian/non-Abelian correspondence of
We state a number of conjectures that together allow one to classify a broad
class of del Pezzo surfaces with cyclic quotient singularities using mirror
symmetry. We prove our conjectures in the simplest cases. The conjectures
relate mutation-equivalence classes of Fano polygons with Q-Gorenstein
deformation classes of del Pezzo surfaces.
We find at least 527 new four-dimensional Fano manifolds, each of which is a
complete intersection in a smooth toric Fano manifold.
We collect a list of known four-dimensional Fano manifolds and compute their
quantum periods. This list includes all four-dimensional Fano manifolds of
index greater than one, all four-dimensional toric Fano manifolds, all
four-dimensional products of lower-dimensional Fano manifolds, and certain
complete intersections in projective bundles.
Let X be a smooth projective variety. The Gromov-Witten potentials of X are
generating functions for the Gromov-Witten invariants of X: they are formal
power series, sometimes in infinitely many variables, with Taylor coefficients
given by Gromov-Witten invariants of X. It is natural to ask whether these
formal power series converge. In this paper we describe and analyze various
notions of convergence for Gromov-Witten potentials. Using results of Givental
and Teleman, we show that if the quantum cohomology of X is analytic and
generically semisimple then the genus-g Gromov-Witten potential of X converges
for all g. We deduce convergence results for the all-genus Gromov-Witten
potentials of compact toric varieties, complete flag varieties, and certain
non-compact toric varieties.
Suppose that a complex manifold M is locally embedded into a
higher-dimensional neighbourhood as a submanifold. We show that, if the local
neighbourhood germs are compatible in a suitable sense, then they glue together
to give a global neighbourhood of M. As an application, we prove a global
version of Hertling--Manin's unfolding theorem for germs of TEP structures;
this has applications in the study of quantum cohomology.
We characterise mutations between fake weighted projective spaces, and give
explicit formulas for how the weights and multiplicity change under mutation.
In particular, we prove that multiplicity-preserving mutations between fake
weighted projective spaces are mutations over edges of the corresponding
simplices. As an application, we analyse the canonical and terminal fake
weighted projective spaces of maximal degree.
Let X and Y be K-equivalent toric Deligne-Mumford stacks related by a single
toric wall-crossing. We prove the Crepant Transformation Conjecture in this
case, fully-equivariantly and in genus zero. That is, we show that the
equivariant quantum connections for X and Y become gauge-equivalent after
analytic continuation in quantum parameters. Furthermore we identify the gauge
transformation involved, which can be thought of as a linear symplectomorphism
between the Givental spaces for X and Y, with a Fourier-Mukai transformation
between the K-groups of X and Y, via an equivariant version of the
Gamma-integral structure on quantum cohomology. We prove similar results for
toric complete intersections. We impose only very weak geometric hypotheses on
X and Y: they can be non-compact, for example, and need not be weak Fano or
have Gorenstein coarse moduli space. Our main tools are the Mirror Theorems for
toric Deligne-Mumford stacks and toric complete intersections, and the
Mellin-Barnes method for analytic continuation of hypergeometric functions.
We use the mirror theorem for toric Deligne-Mumford stacks, proved recently
by the authors and by Cheong-Ciocan-Fontanine-Kim, to compute genus-zero
Gromov-Witten invariants of a number of toric orbifolds and gerbes. We prove a
mirror theorem for a class of complete intersections in toric Deligne-Mumford
stacks, and use this to compute genus-zero Gromov-Witten invariants of an
We prove a Givental-style mirror theorem for toric Deligne--Mumford stacks X.
This determines the genus-zero Gromov--Witten invariants of X in terms of an
explicit hypergeometric function, called the I-function, that takes values in
the Chen--Ruan orbifold cohomology of X.
Givental has defined a Lagrangian cone in a symplectic vector space which
encodes all genus-zero Gromov-Witten invariants of a smooth projective variety
X. Let Y be the subvariety in X given by the zero locus of a regular section of
a convex vector bundle. We review arguments of Iritani, Kim-Kresch-Pantev, and
Graber, which give a very simple relationship between the Givental cone for Y
and the Givental cone for Euler-twisted Gromov-Witten invariants of X. When the
convex vector bundle is the direct sum of nef line bundles, this gives a
sharper version of the Quantum Lefschetz Hyperplane Principle.
Given a Laurent polynomial f, one can form the period of f: this is a
function of one complex variable that plays an important role in mirror
symmetry for Fano manifolds. Mutations are a particular class of birational
transformations acting on Laurent polynomials in two variables; they preserve
the period and are closely connected with cluster algebras. We propose a
higher-dimensional analog of mutation acting on Laurent polynomials f in n
variables. In particular we give a combinatorial description of mutation acting
on the Newton polytope P of f, and use this to establish many basic facts about
mutations. Mutations can be understood combinatorially in terms of Minkowski
rearrangements of slices of P, or in terms of piecewise-linear transformations
acting on the dual polytope P^* (much like cluster transformations). Mutations
map Fano polytopes to Fano polytopes, preserve the Ehrhart series of the dual
polytope, and preserve the period of f. Finally we use our results to show that
Minkowski polynomials, which are a family of Laurent polynomials that give
mirror partners to many three-dimensional Fano manifolds, are connected by a
sequence of mutations if and only if they have the same period.
We consider mirror symmetry for Fano manifolds, and describe how one can
recover the classification of 3-dimensional Fano manifolds from the study of
their mirrors. We sketch a program to classify 4-dimensional Fano manifolds
using these ideas.
We show that the Quantum Lefschetz Hyperplane Principle can fail for certain
orbifold hypersurfaces and complete intersections. It can fail even for
orbifold hypersurfaces defined by a section of an ample line bundle.
Let X be a Gorenstein orbifold and let Y be a crepant resolution of X. We
state a conjecture relating the genus-zero Gromov--Witten invariants of X to
those of Y, which differs in general from the Crepant Resolution Conjectures of
Ruan and Bryan--Graber, and prove our conjecture when X = P(1,1,2) and X =
P(1,1,1,3). As a consequence, we see that the original form of the
Bryan--Graber Conjecture holds for P(1,1,2) but is probably false for
P(1,1,1,3). Our methods are based on mirror symmetry for toric orbifolds.
In this paper we analyze four examples of birational transformations between
local Calabi-Yau 3-folds: two crepant resolutions, a crepant partial
resolution, and a flop. We study the effect of these transformations on
genus-zero Gromov-Witten invariants, proving the
Coates-Corti-Iritani-Tseng/Ruan form of the Crepant Resolution Conjecture in
each case. Our results suggest that this form of the Crepant Resolution
Conjecture may also hold for more general crepant birational transformations.
They also suggest that Ruan's original Crepant Resolution Conjecture should be
modified, by including appropriate "quantum corrections", and that there is no
straightforward generalization of either Ruan's original Conjecture or the
Cohomological Crepant Resolution Conjecture to the case of crepant partial
resolutions. Our methods are based on mirror symmetry for toric orbifolds.
Let X be an orbifold with crepant resolution Y. The Crepant Resolution
Conjectures of Ruan and Bryan-Graber assert, roughly speaking, that the quantum
cohomology of X becomes isomorphic to the quantum cohomology of Y after
analytic continuation in certain parameters followed by the specialization of
some of these parameters to roots of unity. We prove these conjectures in the
case where X is a surface singularity of type A. The key ingredient is mirror
symmetry for toric orbifolds.
Twisted Gromov-Witten invariants are intersection numbers in moduli spaces of
stable maps to a manifold or orbifold X which depend in addition on a vector
bundle over X and an invertible multiplicative characteristic class. Special
cases are closely related to local Gromov-Witten invariants of the bundle, and
to genus-zero one-point invariants of complete intersections in X. We develop
tools for computing genus-zero twisted Gromov-Witten invariants of orbifolds
and apply them to several examples. We prove a "quantum Lefschetz theorem"
which expresses genus-zero one-point Gromov-Witten invariants of a complete
intersection in terms of those of the ambient orbifold X. We determine the
genus-zero Gromov-Witten potential of the type A surface singularity C^2/Z_n.
We also compute some genus-zero invariants of C^3/Z_3, verifying predictions of
Aganagic-Bouchard-Klemm. In a self-contained Appendix, we determine the
relationship between the quantum cohomology of the A_n surface singularity and
that of its crepant resolution, thereby proving the Crepant Resolution
Conjectures of Ruan and Bryan-Graber in this case.