No Arabic abstract
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 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.
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 establish a local model for the moduli space of holomorphic symplectic structures with logarithmic poles, near the locus of structures whose polar divisor is normal crossings. In contrast to the case without poles, the moduli space is singular: when the cohomology class of a symplectic structure satisfies certain linear equations with integer coefficients, its polar divisor can be partially smoothed, yielding adjacent irreducible components of the moduli space that correspond to possibly non-normal crossings structures. These components are indexed by combinatorial data we call smoothing diagrams, and amenable to algorithmic classification. Applying the theory to four-dimensional projective space, we obtain a total of 40 irreducible components of the moduli space, most of which are new. Our main technique is a detailed analysis of the relevant deformation complex (the Poisson cohomology) as an object of the constructible derived category.
We compute the Hochschild-Kostant-Rosenberg decomposition of the Hochschild cohomology of Fano 3-folds. This is the first step in understanding the non-trivial Gerstenhaber algebra structure, and yields some initial insights in the classification of Poisson structures on Fano 3-folds of higher Picard rank.
We propose a new method to compute asymptotics of periods using tropical geometry, in which the Riemann zeta values appear naturally as error terms in tropicalization. Our method suggests how the Gamma class should arise from the Strominger-Yau-Zaslow conjecture. We use it to give a new proof of (a version of) the Gamma Conjecture for Batyrev pairs of mirror Calabi-Yau hypersurfaces.