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 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.
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 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 derive the combinatorial representations of Picard group and deformation space of anti-canonical hypersurfaces of a toric variety using techniques in toric geometry. The mirror cohomology correspondence in the context of mirror symmetry is established for a pair of Calabi-Yau (CY) ${\sf n}$-spaces in toric varieties defined by reflexive polytopes for an arbitrary dimension ${\sf n}$. We further identify the Kahler cone of the toric variety and degeneration cone of CY hypersurfaces, by which the Kahler cone and degeneration cone for a mirror CY pair are interchangeable under mirror symmetry.…
Motivated by previous computations of Y. Cao, M. Kool and the author, we propose square roots and sign rules for the vertex and edge terms that compute Donaldson-Thomas invariants of a toric Calabi-Yau 4-fold, and prove that they are canonical, exploiting the combinatorics of plane and solid partitions.
We develop some ideas of Morrison and Plesser and formulate a precise mathematical conjecture which has close relations to toric mirror symmetry. Our conjecture, we call it Toric Residue Mirror Conjecture, claims that the generating functions of intersection numbers of divisors on a special sequence of simplicial toric varieties are power series expansions of some rational functions obtained as toric residues. We expect that this conjecture holds true for all Gorenstein toric Fano varieties associated with reflexive polytopes and give some evidences for that. The proposed conjecture suggests a…
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.
We study the B-model chiral ring of Calabi-Yau hypersurfaces in Batyrev's mirror construction. The main result is an explicit description of a subring of the chiral ring of semiample regular (transversal to torus orbits) Calabi-Yau hypersurfaces. This subring includes the marginal operators and contains all information about the correlation functions used by physicists. Computation of the chiral ring passes through a description of cohomology of semiample hypersurfaces. Here, we develop the techniques for calculating of the cohomology of resolutions.
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.
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 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.
In this paper, we give a construction of the global Chern-Simons functions for toric Calabi-Yau stacks of dimension three using strong exceptional collections. The moduli spaces of sheaves on such stacks can be identified with critical loci of these functions. We give two applications of these functions. First, we prove Joyce's integrality conjecture of generalized DT invariants on local surfaces. Second, we prove a dimension reduction formula for virtual motives, which leads to two recursion formulas for motivic Donaldson-Thomas invariants.
We develop a combinatorial approach to the construction of general smooth compact base surfaces that support elliptic Calabi-Yau threefolds. This extends previous analyses that have relied on toric or semi-toric structure. The resulting algorithm is used to construct all classes of such base surfaces $S$ with $h^{1, 1} (S) < 8$ and all base surfaces over which there is an elliptically fibered Calabi-Yau threefold $X$ with Hodge number $h^{2, 1} (X) \geq 150$. These two sets can be used todescribe all 6D F-theory models that have fewer than seven tensor multiplets or more than 150 neutral scala…
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 explain how to form a novel dataset of simply connected Calabi-Yau threefolds via the Gross-Siebert algorithm. We expect these to degenerate to Calabi-Yau toric hypersurfaces with certain Gorenstein (not necessarily isolated) singularities. In particular, we explain how to `smooth the boundary' of a class of $4$-dimensional reflexive polytopes to obtain a polarised tropical manifolds. We compute topological invariants of a compactified torus fibration over each such tropical manifold, expected to be homotopy equivalent to the general fibre of the Gross-Siebert smoothing. We consider a famil…
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.
We study BPS spectra of D-branes on local Calabi-Yau threefolds $\mathcal{O}(-p)\oplus\mathcal{O}(p-2)\to \mathbb{P}^1$ with $p=0,1$, corresponding to $\mathbb{C}^3/\mathbb{Z}_{2}$ and the resolved conifold. Nonabelianization for exponential networks is applied to compute directly unframed BPS indices counting states with D2 and D0 brane charges. Known results on these BPS spectra are correctly reproduced by computing new types of BPS invariants of 3d-5d BPS states, encoded by nonabelianization, through their wall-crossing. We also develop the notion of exponential BPS graphs for the simplest …
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.
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 analyze B-type D-branes on noncompact toric Calabi--Yau spaces. A general program is presented to find a set of tilting line bundles that yields the associated quiver and its relations. In many cases, this set remains fixed as one moves between phases in the Kähler moduli space. This gives a particularly simple picture of how the derived category remains invariant across all phases. The combinatorial problems involving local cohomology used to determine the tilting set are also related to questions of Pi-stability as one moves between phases. As a result, in some cases precisely those line …
During the last years we have generated a large number of data related to Calabi-Yau hypersurfaces in toric varieties which can be described by reflexive polyhedra. We classified all reflexive polyhedra in three dimensions leading to K3 hypersurfaces and have nearly completed the four dimensional case relevant to Calabi-Yau threefolds. In addition, we have analysed for many of the resulting spaces whether they allow fibration structures of the types that are relevant in the context of superstring dualities. In this survey we want to give background information both on how we obtained these dat…
Building on our earlier work on toric residues and reduction, we give a proof for the mixed toric residue conejecture of Batyrev and Materov. We simplify and streamline our technique of tropical degenerations, which allows one to interpolate between two localization principles: one appearing in the intersection theory toric quotients and the other in the calculus of toric residues. This quickly leads to the proof of the conjecture, which gives a closed form for the summation of a generating series whose coefficients are certain variants of the "numbers" of rational curves on toric complete int…
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…
We compare the sets of Calabi-Yau threefolds with large Hodge numbers that are constructed using toric hypersurface methods with those can be constructed as elliptic fibrations using Weierstrass model techniques motivated by F-theory. There is a close correspondence between the structure of "tops" in the toric polytope construction and Tate form tunings of Weierstrass models for elliptic fibrations. We find that all of the Hodge number pairs ($h^{1, 1},h^{2, 1}$) with $h^{1,1}$ or $h^{2, 1}\geq 240$ that are associated with threefolds in the Kreuzer-Skarke database can be realized explicitly b…
We analyze freely-acting discrete symmetries of Calabi-Yau three-folds defined as hypersurfaces in ambient toric four-folds. An algorithm which allows the systematic classification of such symmetries which are linearly realised on the toric ambient space is devised. This algorithm is applied to all Calabi-Yau manifolds with $h^{1,1}(X)\leq 3$ obtained by triangulation from the Kreuzer-Skarke list, a list of some $350$ manifolds. All previously known freely-acting symmetries on these manifolds are correctly reproduced and we find five manifolds with freely-acting symmetries. These include a sin…
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.
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 study residues on a complete toric variety X, which are defined in terms of the homogeneous coordinate ring of X. We first prove a global transformation law for toric residues. When the fan of the toric variety has a simplicial cone of maximal dimension, we can produce an element with toric residue equal to 1. We also show that in certain situations, the toric residue is an isomorphism on an appropriate graded piece of the quotient ring. When X is simplicial, we prove that the toric residue is a sum of local residues. In the case of equal degrees, we also show how to represent X as a quotie…
The study of the geometry of Calabi-Yau fourfolds is relevant for compactifications of string theory, M-theory, and F-theory to various dimensions. This work introduces the mathematical machinery to derive the complete moduli dependence of the periods of non-trivial three-forms for fourfolds realized as hypersurfaces in toric ambient spaces. It sets the stage to determine Picard-Fuchs-type differential equations and integral expressions for these forms. The key tool is the observation that non-trivial three-forms on hypersurfaces in toric ambient spaces always stem from divisors that are build…
We employ machine learning techniques to investigate the volume minimum of Sasaki-Einstein base manifolds of non-compact toric Calabi-Yau 3-folds. We find that the minimum volume can be approximated via a second order multiple linear regression on standard topological quantities obtained from the corresponding toric diagram. The approximation improves further after invoking a convolutional neural network with the full toric diagram of the Calabi-Yau 3-folds as the input. We are thereby able to circumvent any minimization procedure that was previously necessary and find an explicit mapping betw…
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 present an explicit formula for computing toric residues as a quotient of two determinants, a la Macaulay, where the numerator is a minor of the denominator. We also give an irreducible representation of toric residues by extending the theory of subresultants to monomials of critical degree in the homogeneous coordinate ring of the corresponding toric variety.
We study BPS states of 5d $\mathcal{N}=1$ $SU(2)$ Yang-Mills theory on $S^1\times \mathbb{R}^4$. Geometric engineering relates these to enumerative invariants for the local Hirzebruch surface $\mathbb{F}_0$. We illustrate computations of Vafa-Witten invariants via exponential networks, verifying fiber-base symmetry of the spectrum at certain points in moduli space, and matching with mirror descriptions based on quivers and exceptional collections. Albeit infinite, parts of the spectrum organize in families described by simple algebraic equations. Varying the radius of the M-theory circle inter…
We find that for many Calabi-Yau threefolds with elliptic or genus one fibrations mirror symmetry factorizes between the fiber and the base of the fibration. In the simplest examples, the generic CY elliptic fibration over any toric base surface $B$ that supports an elliptic Calabi-Yau threefold has a mirror that is an elliptic fibration over a dual toric base surface $\tilde{B}$ that is related through toric geometry to the line bundle $-6K_B$. The Kreuzer-Skarke database includes all these examples and gives a wide range of other more complicated constructions where mirror symmetry also fact…
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…
The Hodge numbers of generic elliptically fibered Calabi-Yau threefolds over toric base surfaces fill out the "shield" structure previously identified by Kreuzer and Skarke. The connectivity structure of these spaces and bounds on the Hodge numbers are illuminated by considerations from F-theory and the minimal model program. In particular, there is a rigorous bound on the Hodge number h_{21} <= 491 for any elliptically fibered Calabi-Yau threefold. The threefolds with the largest known Hodge numbers are associated with a sequence of blow-ups of toric bases beginning with the Hirzebruch surfac…
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 present a proof of the mirror conjecture of Aganagic-Vafa [arXiv:hep-th/0012041] and Aganagic-Klemm-Vafa [arXiv:hep-th/0105045] on disk enumeration in toric Calabi-Yau 3-folds for all smooth semi-projective toric Calabi-Yau 3-folds. We consider both inner and outer branes, at arbitrary framing. In particular, we recover previous results on the conjecture for (i) an inner brane at zero framing in the total space of the canonical line bundle of the projective plane (Graber-Zaslow [arXiv:hep-th/0109075]), (ii) an outer brane at arbitrary framing in the resolved conifold (Zhou [arXiv:1001.0447]…
In response to a question of Reid, we find all anti-canonical Calabi-Yau hypersurfaces $X$ in toric weighted projective bundles over the projective line where the general fiber is a weighted K3 hypersurface. This gives a direct generalization of Reid's discovery of the 95 families of weighted K3 hypersurfaces. We also treat the case where $X$ is fibered over the plane with general fiber a genus one curve in a weighted projective plane.
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.
Given the same anti-canonical linear system on two distinct toric varieties, we provide a derived equivalence between partial crepant resolutions of the corresponding stacky hypersurfaces. The applications include: a derived unification of toric mirror constructions, calculations of Picard lattices for linear systems of quartic surfaces, and a birational reduction of Reid's list to 81 families.
In this article, we investigate deformations of a Calabi-Yau manifold $Z$ in a toric variety $F$, possibly not smooth. In particular, we prove that the forgetful morphism from the Hilbert functor $H^F_Z$ of infinitesimal deformations of $Z$ in $F$ to the functor of infinitesimal deformations of $Z$ is smooth. This implies the smoothness of $H^F_Z $ at the corresponding point in the Hilbert scheme. Moreover, we give some examples and include some computations on the Hodge numbers of Calabi-Yau manifolds in Fano toric varieties.
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.
The Remodeling Conjecture proposed by Bouchard-Klemm-Mariño-Pasquetti (BKMP) [arXiv:0709.1453, arXiv:0807.0597] relates the A-model open and closed topological string amplitudes (the all genus open and closed Gromov-Witten invariants) of a semi-projective toric Calabi-Yau 3-manifold/3-orbifold to the Eynard-Orantin invariants of its mirror curve. It is an all genus open-closed mirror symmetry for toric Calabi-Yau 3-manifolds/3-orbifolds. In this paper, we present a proof of the BKMP Remodeling Conjecture for all genus open-closed orbifold Gromov-Witten invariants of an arbitrary semi-projectiv…
We prove the Integral Hodge Conjecture for curve classes on smooth varieties of dimension at least three with nef anticanonical divisor constructed as a complete intersection of ample hypersurfaces in a smooth toric variety. In particular, this includes the case of smooth anticanonical hypersurfaces in toric Fano varieties. In fact, using results of Casagrande and the toric MMP, we prove that in each case, $H_2(X,\mathbb{Z})$ is generated by classes of rational curves.
According to a recently proposed scheme for the classification of reflexive polyhedra, weight systems of a certain type play a prominent role. These weight systems are classified for the cases $n=3$ and $n=4$, corresponding to toric varieties with K3 and Calabi--Yau hypersurfaces, respectively. For $n=3$ we find the well known 95 weight systems corresponding to weighted $\IP^3$'s that allow transverse polynomials, whereas for $n=4$ there are 184026 weight systems, including the 7555 weight systems for weighted $\IP^4$'s. It is proven (without computer) that the Newton polyhedra corresponding t…
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.
The Gopakumar-Vafa invariants are numbers defined as certain linear combinations of the Gromov-Witten invariants. We prove that the GV invariants of a toric Calabi-Yau threefold are integers and that the invariants for high genera vanish. The proof of the integrality is based on elementary number theory and that of the vanishing uses the operator formalism and the exponential formula.
We construct a statistical model of crystal melting to count BPS bound states of D0 and D2 branes on a single D6 brane wrapping an arbitrary toric Calabi-Yau threefold. The three-dimensional crystalline structure is determined by the quiver diagram and the brane tiling which characterize the low energy effective theory of D branes. The crystal is composed of atoms of different colors, each of which corresponds to a node of the quiver diagram, and the chemical bond is dictated by the arrows of the quiver diagram. BPS states are constructed by removing atoms from the crystal. This generalizes th…
We provide a sufficient condition for a general hypersurface in a $\mathbb Q$-Fano toric variety to be a Calabi-Yau variety in terms of its Newton polytope. Moreover, we define a generalization of the Berglund-Hübsch-Krawitz construction in case the ambient is a $\mathbb Q$-Fano toric variety with torsion free class group and the defining polynomial is not necessarily of Delsarte type. Finally, we introduce a duality between families of Calabi-Yau hypersurfaces which includes both Batyrev and Berglund-Hübsch-Krawitz mirror constructions. This is given in terms of a polar duality between pairs …
We investigate Hodge-theoretic properties of Calabi-Yau complete intersections $V$ of $r$ semi-ample divisors in $d$-dimensional toric Fano varieties having at most Gorenstein singularities. Our main purpose is to show that the combinatorial duality proposed by second author agrees with the duality for Hodge numbers predicted by mirror symmetry. It is expected that the complete verification of mirror symmetry predictions for singular Calabi-Yau varieties $V$ of arbitrary dimension demands considerations of so called {\em string-theoretic Hodge numbers} $h^{p,q}_{\rm st}(V)$. We restrict oursel…
In ${\bf C}^{n+1}$, one can show that the residue of $n+1$ homogeneous forms of the same degree equals the integral of a certain $(n,n)$ form over ${\bf P}^n$. Furthermore, the Jacobian of the forms has nonzero residue equal to a certain intersection number. In this paper, we generalize these results to an arbitrary projective toric variety. In particular, we define a toric version of the Jacobian and show that it has the correct properties, and we give various integral formulas for the toric residue. We also review some commutative algebra results of Batyrev and Danilov and discuss the relati…
Consider an n-dimensional projective toric variety X defined by a convex lattice polytope P. David Cox introduced the toric residue map given by a collection of n+1 divisors Z_0,...,Z_n on X. In the case when the Z_i are T-invariant divisors whose sum is X\T the toric residue map is the multiplication by an integer number. We show that this number is the degree of a certain map from the boundary of the polytope P to the boundary of a simplex. This degree can be computed combinatorially. We also study radical monomial ideals I of the homogeneous coordinate ring of X. We give a necessary and suf…
We prove that smooth Fano threefolds have toric Landau--Ginzburg models. More precise, we prove that their Landau--Ginzburg models, presented as Laurent polynomials, admit compactifications to families of K3 surfaces, and we describe their fibers over infinity. We also give an explicit construction of Landau--Ginzburg models for del Pezzo surfaces and any divisors on them.
In this note, we prove combinatorial formulas for $h^{2,1}$ of prime toric divisors in an arbitrary toric hypersurface Calabi-Yau fourfold $Y_4.$ We show that it is possible to find a toric hypersurface Calabi-Yau in which there are more than $h^{1,1}(Y_4)$ non-perturbative superpotential terms with trivial intermediate Jacobian. Hodge numbers of divisors in toric CICYs are the subjects of the part two.
