
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 GromovWitten potentials of
local P^2 and of the orbifold C^3/mu_3. This proves that the GromovWitten
potentials of local P^2 are quasimodular functions for the group Gamma_1(3),
as predicted by AganagicBouchardKlemm, and proves the Crepant Resolution
Conjecture for [C^3/mu_3] in all genera.

We give a global, intrinsic, and coordinatefree quantization formalism for
GromovWitten invariants and their Bmodel counterparts, which simultaneously
generalizes the quantization formalisms described by Witten, Givental, and
AganagicBouchardKlemm. Descendant potentials live in a Fock sheaf, consisting
of local functions on Givental's Lagrangian cone that satisfy the (3g2)jet
condition of EguchiXiong; they also satisfy a certain anomaly equation, which
generalizes the Holomorphic Anomaly Equation of BershadskyCecottiOoguriVafa.
We interpret Givental's formula for the highergenus 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
GromovWitten invariants of X. We use our formalism to prove a highergenus
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 (possiblysingular) 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 DoranHarder. We use our method to find models of orbifold del
Pezzo surfaces as complete intersections and degeneracy loci, and to construct
a new fourdimensional Fano manifold.

We prove the following results for toric DeligneMumford stacks, under
minimal compactness hypotheses: the Localization Theorem in equivariant
Ktheory; the equivariant HirzebruchRiemannRoch theorem; the FourierMukai
transformation associated to a crepant toric wallcrossing gives an equivariant
derived equivalence.

Using the mirror theorem [CCIT15], we give a LandauGinzburg mirror
description for the big equivariant quantum cohomology of toric DeligneMumford
stacks. More precisely, we prove that the big equivariant quantum Dmodule of a
toric DeligneMumford stack is isomorphic to the Saito structure associated to
the mirror LandauGinzburg potential. We give a GKZstyle presentation of the
quantum Dmodule, and a combinatorial description of quantum cohomology as a
quantum StanleyReisner 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 GromovWitten 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 GromovWitten invariants of $E$, equivariant with respect to the
fiberwise torus action, in terms of genuszero invariants of the toric fiber
and allgenus invariants of $B$; and (ii) we pass to the nonequivariant limit
in this formula, using Brown's mirror theorem for toric bundles.

There are wellunderstood methods, going back to Givental and HoriVafa,
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
fourdimensional Fano manifold.

The quantum period of a variety X is a generating function for certain
GromovWitten invariants of X which plays an important role in mirror symmetry.
In this paper we compute the quantum periods of all 3dimensional Fano
manifolds. In particular we show that 3dimensional 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
mirrors.
Our methods are likely to be of independent interest. We rework the
MoriMukai classification of 3dimensional 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 3fold as a toric complete intersection; in the remaining cases, it
expresses the Fano 3fold 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
CoatesGivental and the Abelian/nonAbelian correspondence of
BertramCiocanFontanineKimSabbah.

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 mutationequivalence classes of Fano polygons with QGorenstein
deformation classes of del Pezzo surfaces.

We find at least 527 new fourdimensional Fano manifolds, each of which is a
complete intersection in a smooth toric Fano manifold.

We collect a list of known fourdimensional Fano manifolds and compute their
quantum periods. This list includes all fourdimensional Fano manifolds of
index greater than one, all fourdimensional toric Fano manifolds, all
fourdimensional products of lowerdimensional Fano manifolds, and certain
complete intersections in projective bundles.

Let X be a smooth projective variety. The GromovWitten potentials of X are
generating functions for the GromovWitten invariants of X: they are formal
power series, sometimes in infinitely many variables, with Taylor coefficients
given by GromovWitten 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 GromovWitten potentials. Using results of Givental
and Teleman, we show that if the quantum cohomology of X is analytic and
generically semisimple then the genusg GromovWitten potential of X converges
for all g. We deduce convergence results for the allgenus GromovWitten
potentials of compact toric varieties, complete flag varieties, and certain
noncompact toric varieties.

Suppose that a complex manifold M is locally embedded into a
higherdimensional 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 HertlingManin'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 multiplicitypreserving 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 Kequivalent toric DeligneMumford stacks related by a single
toric wallcrossing. We prove the Crepant Transformation Conjecture in this
case, fullyequivariantly and in genus zero. That is, we show that the
equivariant quantum connections for X and Y become gaugeequivalent 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 FourierMukai transformation
between the Kgroups of X and Y, via an equivariant version of the
Gammaintegral 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 noncompact, for example, and need not be weak Fano or
have Gorenstein coarse moduli space. Our main tools are the Mirror Theorems for
toric DeligneMumford stacks and toric complete intersections, and the
MellinBarnes method for analytic continuation of hypergeometric functions.

We use the mirror theorem for toric DeligneMumford stacks, proved recently
by the authors and by CheongCiocanFontanineKim, to compute genuszero
GromovWitten invariants of a number of toric orbifolds and gerbes. We prove a
mirror theorem for a class of complete intersections in toric DeligneMumford
stacks, and use this to compute genuszero GromovWitten invariants of an
orbifold hypersurface.

We prove a Giventalstyle mirror theorem for toric DeligneMumford stacks X.
This determines the genuszero GromovWitten invariants of X in terms of an
explicit hypergeometric function, called the Ifunction, that takes values in
the ChenRuan orbifold cohomology of X.

Givental has defined a Lagrangian cone in a symplectic vector space which
encodes all genuszero GromovWitten 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, KimKreschPantev, and
Graber, which give a very simple relationship between the Givental cone for Y
and the Givental cone for Eulertwisted GromovWitten 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
higherdimensional 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 piecewiselinear 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 threedimensional 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 3dimensional Fano manifolds from the study of
their mirrors. We sketch a program to classify 4dimensional 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 genuszero GromovWitten invariants of X to
those of Y, which differs in general from the Crepant Resolution Conjectures of
Ruan and BryanGraber, 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
BryanGraber 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 CalabiYau 3folds: two crepant resolutions, a crepant partial
resolution, and a flop. We study the effect of these transformations on
genuszero GromovWitten invariants, proving the
CoatesCortiIritaniTseng/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 BryanGraber 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 GromovWitten 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 GromovWitten invariants of the bundle, and
to genuszero onepoint invariants of complete intersections in X. We develop
tools for computing genuszero twisted GromovWitten invariants of orbifolds
and apply them to several examples. We prove a "quantum Lefschetz theorem"
which expresses genuszero onepoint GromovWitten invariants of a complete
intersection in terms of those of the ambient orbifold X. We determine the
genuszero GromovWitten potential of the type A surface singularity C^2/Z_n.
We also compute some genuszero invariants of C^3/Z_3, verifying predictions of
AganagicBouchardKlemm. In a selfcontained 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 BryanGraber in this case.