This paper is a continuation of our paper math.AG/0205321 where we have built a combinatorial model for the torus fibrations of Calabi-Yau toric hypersurfaces. This part addresses the connection between the model torus fibration and the complex and Kähler geometry of the hypersurfaces.
A. Borisov classified into finitely many series the set of isomorphism classes of germs of toric $\Q$-factorial singularities, of fixed dimension and with minimal log discrepancy over the special point bounded from below by a fixed real number. We extend this classification to germs of toric Fano fibrations, possibly not $\Q$-factorial. As an application, we verify in the toric setting a conjecture proposed by V. V. Shokurov on the existence of bounded complements.
These notes are based on three lectures given at the 2013 CIME/CIRM summer school. The purpose of this series of lectures is to introduce the notion of a toric fibration and to give its geometrical and combinatorial characterizations. Polarized toric varieties which are birationally equivalent to projective toric bundles are associated to a class of polytopes called Cayley polytopes. Their geometry and combinatorics have a fruitful interplay leading to fundamental insight in both directions. These notes will illustrate geometrical phenomena, in algebraic geometry and neighboring fields, which …
We describe in purely combinatorial terms dual pairs of integral affine structures on spheres which come from the conjectural metric collapse of mirror families of Calabi-Yau toric hypersurfaces. The same structures arise on the base of a special Lagrangian torus fibration in the Strominger-Yau-Zaslow conjecture. We study the topological torus fibration in the large complex structure limit and show that it coincides with our combinatorial model.
In this article, we summarize combinatorial description of complete intersection Calabi-Yau threefolds in Hibi toric varieties. Such Calabi-Yau threefolds have at worst conifold singularities, and are often smoothable to non-singular Calabi-Yau threefolds. We focus on such non-singular Calabi-Yau threefolds of Picard number one, and illustrate the calculation of topological invariants, using new motivating examples.
We consider fibrations by abelian surfaces and K3 surfaces over a one dimensional base that are Calabi-Yau and we obtain dual fibrations that are derived equivalent to the original fibration. Finally, we relate the problem to mirror symmetry.
In this article we construct Lagrangian torus fibrations for general quintic \cy hypersurfaces near the large complex limit and their mirror manifolds using gradient flow method. Then we prove the Strominger-Yau-Zaslow mirror conjecture for this class of \cy manifolds in symplectic category.
In this paper we give a construction of Lagrangian torus fibration for Calabi-Yau hypersurface in toric variety via the method of gradient flow. Using our construction of Lagrangian torus fibration, we are able to prove the symplectic topological version of SYZ mirror conjecture for generic Calabi-Yau hypersurface in toric variety. We will also be able to give precise formulation of SYZ mirror conjecture in general (including singular locus and duality of singular fibres).
In this paper, we describe the spaces of stability conditions for the triangulated categories associated to three dimensional Calabi-Yau fibrations. We deal with two cases, the flat elliptic fibrations and smooth K3 (Abelian) fibrations. In the first case, we will see there exist chamber structures similar to those of the movable cone used in birational geometry. In the second case, we will compare the space with the space of stability conditions for the closed fiber of the fibration.
We define Q-normal lattice polytopes. Natural examples of such polytopes are Cayley sums of strictly combinatorially equivalent lattice polytopes, which correspond to particularly nice toric fibrations, namely toric projective bundles. In a recent paper Batyrev and Nill have suggested that there should be a bound, N(d), such that every lattice polytope of degree d and dimension at least N(d) decomposes as a Cayley sum. We give a sharp answer to this question for smooth Q-normal polytopes. We show that any smooth Q-normal lattice polytope P of dimension n and degree d is a Cayley sum of strictl…
We study the quasimap invariants of elliptic and K3 fibrations. Oberdieck and Pixton conjectured that the Gromov-Witten potentials of elliptic fibrations are quasi-modular forms. Analogously, we propose similar conjecture for the quasimap potentials of elliptic fibrations. We also conjecture some finite generation properties of quasimap potentials of K3 fibrations. Via wall-crossing conjecture, this will imply some quasi-modularity of the Gromov-Witten potentials of K3 fibrations. We provide some evidences for our conjectures through several examples. The method here can be further generalized…
In this paper we give a construction of Lagrangian torus fibration for Fermat type quintic \cy hypersurfaces via the method of gradient flow. We also compute the monodromy of the expected special Lagrangian torus fibration and discuss structures of singular fibers.
We generalize the toric residue mirror conjecture of Batyrev and Materov to not necessarily reflexive polytopes. Using this generalization we prove the toric residue mirror conjecture for Calabi-Yau complete intersections in Gorenstein toric Fano varieties.
It is known that a maximal intersection log canonical Calabi-Yau surface pair is crepant birational to a toric pair. This does not hold in higher dimension: this paper presents some examples of maximal intersection Calabi-Yau pairs that admit no toric model.
We prove a conjecture of Artur Elezi in a generalized form suggested by Givental. Namely, our main result relates genus-0 Gromov--Witten invariants of a bundle space with such invariants of the base, provided that the fiber is a toric manifold. When the base is the point, a new proof of mirror theorems by A. Givental and by H. Iritani for toric manifolds is obtained.
We use Batyrev-Borisov's formula for the generating function of stringy Hodge numbers of Calabi-Yau varieties realized as complete intersections in toric varieties in order to get closed form expressions for Hodge numbers of Calabi-Yau threefolds in five-dimensional ambient spaces. These expressions involve counts of lattice points on faces of associated Cayley polytopes. Using the same techniques, similar expressions may be obtained for higher dimensional varieties realized as complete intersections of two hypersurfaces.
In this paper we study boundedness properties and singularities of log Calabi-Yau fibrations, particularly those admitting Fano type structures. A log Calabi-Yau fibration roughly consists of a pair $(X,B)$ with good singularities and a projective morphism $X\to Z$ such that $K_X+B$ is numerically trivial over $Z$. This class includes many central ingredients of birational geometry such as Calabi-Yau and Fano varieties and also fibre spaces of such varieties, flipping and divisorial contractions, crepant models, germs of singularities, etc.
Generalizing the notions of reflexive polytopes and nef-partitions of Batyrev and Borisov, we propose a mirror symmetry construction for Calabi-Yau complete intersections in Fano toric varieties.
We study sections of a Calabi-Yau threefold fibered over a curve by K3 surfaces. We show that there exist infinitely many isolated sections on certain K3 fibered Calabi-Yau threefolds and the subgroup of the Néron-Severi group generated by these sections is not finitely generated. This also gives examples of K3 surfaces over the function field F of a complex curve with Zariski dense F-rational points, whose geometric model is Calabi-Yau.
(1,d)-polarized abelian surfaces in P^(d-1) with two plane cubic curve fibrations lie in two elliptic P^2-scrolls. The union of these scrolls form a reducible Calabi-Yau 3-fold. In this paper we show that this occurs when d<10 and analyse the family of such surfaces and 3-folds in detail when d=6. In particular, the reducible Calabi-Yau 3-folds deform in that case to irreducible ones with non-normal singularities.
We show that "non-polynomial" deformations of semiample (minimal) nondegenerate Calabi-Yau hypersurfaces in complete simplicial toric varieties can be realized as quasismooth complete intersections in higher dimensional simplicial toric varieties.
In this paper we investigate singularities on toric fibrations. In this context we study a conjecture of Shokurov (a special case of which is due to M$^\rm{c}$Kernan) which roughly says that if $(X,B)\to Z$ is an $ε$-lc Fano type log Calabi-Yau fibration, then the singularities of the log base $(Z,B_Z+M_Z)$ are bounded in terms of $ε$ and $\dim X$ where $B_Z,M_Z$ are the discriminant and moduli divisors of the canonical bundle formula. A corollary of our main result says that if $X\to Z$ is a toric Fano fibration with $X$ being $ε$-lc, then the multiplicities of the fibres over codimension one…
We prove a structure theorem for the Albanese maps of varieties with Q-linearly trivial log canonical divisors. Our start point is the action of a nonlinear algebraic group on a projective variety.
For complete intersection Calabi-Yau manifolds in toric varieties, Gross and Haase-Zharkov have given a conjectural combinatorial description of the special Lagrangian torus fibrations whose existence was predicted by Strominger, Yau and Zaslow. We present a geometric version of this construction, generalizing an earlier conjecture of the first author.
The 102581 flat toric elliptic fibrations over P^2 are identified among the Calabi-Yau hypersurfaces that arise from the 473800776 reflexive 4-dimensional polytopes. In order to analyze their elliptic fibration structure, we describe the precise relation between the lattice polytope and the elliptic fibration. The fiber-divisor-graph is introduced as a way to visualize the embedding of the Kodaira fibers in the ambient toric fiber. In particular in the case of non-split discriminant components, this description is far more accurate than previous studies. The discriminant locus and Kodaria fibe…
A principal toric bundle $M$ is a complex manifold equipped with a free holomorphic action of a compact complex torus $T$. Such a manifold is fibered over $M/T$, with fiber $T$. We discuss the notion of positivity in fiber bundles and define positive toric bundles. Given an irreducible complex subvariety $X\subset M$ of a positive principal toric bundle, we show that either $X$ is $T$-invariant, or it lies in an orbit of $T$-action. For principal elliptic bundles, this theorem is known (math.AG/0403430). As follows from Borel-Remmert-Tits theorem, any compact simply connected homogeneous compl…
The open string sector of the topological B-model on CY $(m+2)$-folds is described by $m$-graded quivers with superpotentials. This correspondence generalizes the connection between CY $(m+2)$-folds and gauge theories on the worldvolume of D$(5-2m)$-branes for $m=0,\ldots,3$ to arbitrary $m$. In this paper we introduce the Calabi-Yau product, a new algorithm that starting from the known quiver theories for a pair of toric CY$_{m+2}$ and CY$_{n+2}$ produces the quiver theory for a related CY$_{m+n+3}$. This method significantly supersedes existing ones, enabling the simple determination of quiv…
There are easy "polynomial" deformations of Calabi-Yau hypersurfaces in toric varieties performed by changing the coefficients of the defining polynomial of the hypersurface. In this paper, we explicitly constructed the ``non-polynomial'' deformations of Calabi-Yau hypersurfaces, which arise from deformations of the ambient toric variety.
We systematically analyze the fibration structure of toric hypersurface Calabi-Yau threefolds with large and small Hodge numbers. We show that there are only four such Calabi-Yau threefolds with $h^{1, 1} \geq 140$ or $h^{2, 1} \geq 140$ that do not have manifest elliptic or genus one fibers arising from a fibration of the associated 4D polytope. There is a genus one fibration whenever either Hodge number is 150 or greater, and an elliptic fibration when either Hodge number is 228 or greater. We find that for small $h^{1, 1}$ the fraction of polytopes in the KS database that do not have a genu…
We consider regular Calabi-Yau hypersurfaces in $N$-dimensional smooth toric varieties. On such a hypersurface in the neighborhood of the large complex structure limit point we construct a fibration over a sphere $S^{N-1}$ whose generic fibers are tori $T^{N-1}$. Also for certain one-parameter families of such hypersurfaces we show that the monodromy transformation is induced by a translation of the $T^{N-1}$ fibration by a section. Finally we construct a dual fibration and provide some evidence that it describes the mirror family.
This is an expository article on the Gross--Siebert approach to mirror symmetry and its interactions with the Strominger--Yau--Zaslow conjecture from a topological perspective.
We show that equivariant elliptic genera of toric Calabi-Yau 3-folds are generalized weak Jacobi forms. We also introduce a notion of averaged equivariant elliptic genera of toric Calabi-Yau 3-folds, and show that they are ordinary weak Jacobi forms given by an explicit formula predicted by Eguchi and Sugawara.
We find through a systematic analysis that all but 29,223 of the 473.8 million 4D reflexive polytopes found by Kreuzer and Skarke have a 2D reflexive subpolytope. Such a subpolytope is generally associated with the presence of an elliptic or genus one fibration in the corresponding birational equivalence class of Calabi-Yau threefolds. This extends the growing body of evidence that most Calabi-Yau threefolds have an elliptically fibered phase.
Toric Landau--Ginzburg models of Givental's type for Fano complete intersections are known to have Calabi--Yau compactifications. We give an alternative proof of this fact. As an output of our proof we get a description of fibers over infinity for compactified toric Landau--Ginzburg models.
Special fibrations of toric varieties have been used by physicists, e.g. the school of Candelas, to construct dual pairs in the study of Het/F-theory duality. Motivated by this, we investigate in this paper the details of toric morphisms between toric varieties. In particular, a complete toric description of fibers - both generic and non-generic -, image, and the flattening stratification of a toric morphism are given. Two examples are provided to illustrate the discussions. We then turn to the study of the restriction of a toric morphism to a toric hypersurface. The details of this can be und…
We consider the construction of Calabi-Yau varieties recently generalized to where the defining equations may have negative degrees over some projective space factors in the embedding space. Within such "generalized complete intersection" Calabi-Yau ("gCICY") three-folds, we find several sequences of distinct manifolds. These include both novel elliptic and K3-fibrations and involve Hirzebruch surfaces and their higher dimensional analogues. En route, we generalize the standard techniques of cohomology computation to these generalized complete intersection Calabi-Yau varieties.
The Remodeling Conjecture proposed by Bouchard-Klemm-Marino-Pasquetti [arXiv:0709.1453, arXiv:0807.0597] relates all genus open and closed Gromov-Witten invariants of a semi-projective toric Calabi-Yau 3-manifolds/3-orbifolds to the Eynard-Orantin invariants of the mirror curve of the toric Calabi-Yau 3-fold. In this paper, we present a proof of the Remodeling Conjecture for open-closed orbifold Gromov-Witten invariants of an arbitrary affine toric Calabi-Yau 3-orbifold relative to a framed Aganagic-Vafa Lagrangian brane. This can be viewed as an all genus open-closed mirror symmetry for affin…
We discuss various topics on degenerations and special Lagrangian torus fibrations of Calabi-Yau manifolds in the context of mirror symmetry. A particular emphasis is on Tyurin degenerations and the Doran-Harder-Thompson conjecture, which builds a bridge between mirror symmetry for Calabi-Yau manifolds and that for quasi-Fano manifolds. The proof of the conjecture is of interest in its own right and leads us to a few other related topics such as SYZ mirror symmetry, theta functions and geometric quantization. Inspired by the conjecture, we also propose a new construction of Landau-Ginzburg mod…
In this note we show that if a compact Kahler manifold with trivial canonical bundle is the total space of a holomorphic fibration without singular fibers, then the fibration is a holomorphic fiber bundle. In the algebraic case, the fibration becomes trivial after a finite base change.
Boundedness of polarized log Calabi-Yau fibrations with bounded bases
Shanghai Center for Mathematical Sciences, Fudan University(复旦大学上海数学中心);Yau Mathematical Sciences Center, Tsinghua University(清华大学丘成桐数学科学中心);School of Mathematics, Korea Institute for Advanced Study(韩国高等研究院数学学院)
We identify a class of autoequivalences of triangulated categories of singularities associated with Calabi-Yau complete intersections in toric varieties. Elements of this class satisfy relations that are directly linked to the toric data.
In this note, we study the SYZ mirror construction for a toric Calabi-Yau manifold using instanton corrections coming from Woodward's quasimap Floer theory instead of Fukaya-Oh-Ohta-Ono's Lagrangian Floer theory. We show that the resulting SYZ mirror coincides with the one written down via physical means (as expected).
We study the limit of Calabi-Yau modular forms, and in particular, those resulting in classical modular forms. We then study two parameter families of elliptically fibred Calabi-Yau fourfolds and describe the modular forms arising from the degeneracy loci. In the case of elliptically fibred Calabi-Yau threefolds our approach gives a mathematical proof of many observations about modularity properties of topological string amplitudes starting with the work of Candelas, Font, Katz and Morrison. In the case of Calabi-Yau fourfolds we derive new identities not computed before.
We compute the integral homology (including torsion), the topological K-theory, and the Hodge structure on cohomology of Calabi-Yau threefold hypersurfaces and complete intersections in Gorenstein toric Fano varieties. The methods are purely topological.
We prove Gopakumar-Vafa conjecture for local toric Calabi-Yau manifolds. It's also proved that the local Gopakumar-Vafa invariants of a given class at large genus vanish.
We provide an enumerative meaning of the mirror maps for toric Calabi-Yau orbifolds in terms of relative Gromov-Witten invariants of the toric compactifications. As a consequence, we obtain an equality between relative Gromov-Witten invariants and open Gromov-Witten invariants. Therefore, the instanton corrected mirrors for toric Calabi-Yau orbifolds can be constructed using relative Gromov-Witten invariants.
Using Cayley trick, we define the notions of mixed toric residues and mixed Hessians associated with $r$ Laurent polynomials $f_1,...,f_r$.We conjecture that the values of mixed toric residues on the mixed Hessians are determined by mixed volumes of the Newton polytopes of $f_1,...,f_r$. Using mixed toric residues, we generalize our Toric Residue Mirror Conjecture to the case of Calabi-Yau complete intersections in Gorenstein toric Fano varieties obtained from nef-partitions of reflexive polytopes.
We construct a two-dimensional crystal melting model which reproduces the BPS index of D2-D0 states bound to a non-compact D4-brane on an arbitrary toric Calabi-Yau singularity. The crystalline structure depends on the toric divisor wrapped by the D4-brane. The molten crystals are in one-to-one correspondence with the torus fixed points of the moduli space of the quiver gauge theory on D-branes. The F- and D-term constraints of the gauge theory are regarded as a generalization of the ADHM constraints on instantons. We also show in several examples that our model is consistent with the wall-cro…
We propose a combinatorical duality for lattice polyhedra which conjecturally gives rise to the pairs of mirror symmetric families of Calabi-Yau complete intersections in toric Fano varieties with Gorenstein singularities. Our construction is a generalization of the polar duality proposed by Batyrev for the case of hypersurfaces.