• 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 derived equivalence.
  • 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 mirrors. 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 Bertram-Ciocan-Fontanine-Kim-Sabbah.
  • 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 orbifold hypersurface.
  • 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.