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 data, which can be found at our web site, and on how they may be used. We give a complete exposition of our classification algorithm at a mathematical (rather than algorithmic) level. We also describe how fibration structures manifest themselves in terms of toric diagrams and how we managed to find the respective data. Both for our classification scheme and for simple descriptions of fibration structures the concept of weight systems plays an important role.
We present the last missing details of our algorithm for the classification of reflexive polyhedra in arbitrary dimensions. We also present the results of an application of this algorithm to the case of three dimensional reflexive polyhedra. We get 4319 such polyhedra that give rise to K3 surfaces embedded in toric varieties. 16 of these contain all others as subpolyhedra. The 4319 polyhedra form a single connected web if we define two polyhedra to be connected if one of them contains the other.
Four dimensional reflexive polyhedra encode the data for smooth Calabi-Yau threefolds that are hypersurfaces in toric varieties, and have important applications both in perturbative and in non-perturbative string theory. We describe how we obtained all 473,800,776 reflexive polyhedra that exist in four dimensions and the 30,108 distinct pairs of Hodge numbers of the resulting Calabi-Yau manifolds. As a by-product we show that all these spaces (and hence the corresponding string vacua) are connected via a chain of singular transitions.
For any given dimension $d$, all reflexive $d$-polytopes can be found (in principle) as subpolytopes of a number of maximal polyhedra that are defined in terms of $(d+1)$-tuples of integers (weights), or combinations of $k$-tuples of weights with $k<d+1$. We present the results of a complete classification of sextuples of weights pertaining to the construction of all reflexive polytopes in five dimensions. We find 322 383 760 930 such weight systems. 185 269 499 015 of them give rise directly to reflexive polytopes and thereby to mirror pairs of Calabi-Yau fourfolds. These lead to 532 600 483 …
Reflexive polyhedra encode the combinatorial data for mirror pairs of Calabi-Yau hypersurfaces in toric varieties. We investigate the geometrical structures of circumscribed polytopes with a minimal number of facets and of inscribed polytopes with a minimal number of vertices. These objects, which constrain reflexive pairs of polyhedra from the interior and the exterior, can be described in terms of certain non-negative integral matrices. A major tool in the classification of these matrices is the existence of a pair of weight systems, indicating a relation to weighted projective spaces. This …
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.
Even a cursory inspection of the Hodge plot associated with Calabi-Yau threefolds that are hypersurfaces in toric varieties reveals striking structures. These patterns correspond to webs of elliptic-K3 fibrations whose mirror images are also elliptic-K3 fibrations. Such manifolds arise from reflexive polytopes that can be cut into two parts along slices corresponding to the K3 fibers. Any two half-polytopes over a given slice can be combined into a reflexive polytope. This fact, together with a remarkable relation on the additivity of Hodge numbers, explains much of the structure of the observ…
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…
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…
We present results from an inductive algebraic approach to the systematic construction and classification of the `lowest-level' CY3 spaces defined as zeroes of polynomial loci associated with reflexive polyhedra, derived from suitable vectors in complex projective spaces. These CY3 spaces may be sorted into `chains' obtained by combining lower-dimensional projective vectors classified previously. We analyze all the 4242 (259, 6, 1) two- (three-, four-, five-) vector chains, which have, respectively, K3 (elliptic, line-segment, trivial) sections, yielding 174767 (an additional 6189, 1582, 199) …
We present a general scheme for identifying fibrations in the framework of toric geometry and provide a large list of weights for Calabi--Yau 4-folds. We find 914,164 weights with degree $d\le150$ whose maximal Newton polyhedra are reflexive and 525,572 weights with degree $d\le4000$ that give rise to weighted projective spaces such that the polynomial defining a hypersurface of trivial canonical class is transversal. We compute all Hodge numbers, using Batyrev's formulas (derived by toric methods) for the first and Vafa's fomulas (obtained by counting of Ramond ground states in N=2 LG models)…
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 …
One may construct a large class of Calabi-Yau varieties by taking anticanonical hypersurfaces in toric varieties obtained from reflexive polytopes. If the intersection of a reflexive polytope with a hyperplane through the origin yields a lower-dimensional reflexive polytope, then the corresponding Calabi-Yau varieties are fibered by lower-dimensional Calabi-Yau varieties. A top generalizes the idea of splitting a reflexive polytope into two pieces. In contrast to the classification of reflexive polytopes, there are infinite families of equivalence classes of tops. Tops may be used to describe …
We propose a construction of string cohomology spaces for Calabi-Yau hypersurfaces that arise in Batyrev's mirror symmetry construction. The spaces are defined explicitly in terms of the corresponding reflexive polyhedra in a mirror-symmetric manner. We draw connections with other approaches to the string cohomology, in particular with the work of Chen and Ruan.
In this paper, we will prove that all Batyrev Calabi-Yau threefolds, arising from a small resolution of a generic hyperplane section of a reflexive Fano-Gorenstein fourfold, have finite automorphism group. Together with Morrison conjecture, this suggests that Batyrev Calabi-Yau threefolds should have a polyhedral Kahler (ample) cone.
We consider F-theory compactifications on genus-one fibered Calabi-Yau manifolds with their fibers realized as hypersurfaces in the toric varieties associated to the 16 reflexive 2D polyhedra. We present a base-independent analysis of the codimension one, two and three singularities of these fibrations. We use these geometric results to determine the gauge groups, matter representations, 6D matter multiplicities and 4D Yukawa couplings of the corresponding effective theories. All these theories have a non-trivial gauge group and matter content. We explore the network of Higgsings relating thes…
Kreuzer and Skarke famously produced the largest known database of Calabi-Yau threefolds by providing a complete construction of all 473,800,776 reflexive polyhedra that exist in four dimensions. These polyhedra describe the singular limits of ambient toric varieties in which Calabi-Yau threefolds can exist as hypersurfaces. In this paper, we review how to extract topological and geometric information about Calabi-Yau threefolds using the toric construction, and we provide, in a companion online database (see http://nuweb1.neu.edu/cydatabase), a detailed inventory of these quantities which are…
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 discuss how transitions in the space of heterotic K3*T^2 compactifications are mapped by duality into transitions in the space of Type II compactifications on Calabi-Yau manifolds. We observe that perturbative symmetry restoration, as well as non-perturbative processes such as changes in the number of tensor multiplets, have at least in many cases a simple description in terms of the reflexive polyhedra of the Calabi-Yau manifolds. Our results suggest that to many, perhaps all, four-dimensional N=2 heterotic vacua there are corresponding type II vacua.
We present an inductive algebraic approach to the systematic construction and classification of generalized Calabi-Yau (CY) manifolds in different numbers of complex dimensions, based on Batyrev's formulation of CY manifolds as toric varieties in weighted complex projective spaces associated with reflexive polyhedra. We show how the allowed weight vectors in lower dimensions may be extended to higher dimensions, emphasizing the roles of projection and intersection in their dual description, and the natural appearance of Cartan-Lie algebra structures. The 50 allowed extended four-dimensional ve…
We show that the moduli space of all Calabi-Yau manifolds that can be realized as hypersurfaces described by a transverse polynomial in a four dimensional weighted projective space, is connected. This is achieved by exploiting techniques of toric geometry and the construction of Batyrev that relate Calabi-Yau manifolds to reflexive polyhedra. Taken together with the previously known fact that the moduli space of all CICY's is connected, and is moreover connected to the moduli space of the present class of Calabi-Yau manifolds (since the quintic threefold P_4[5] is both CICY and a hypersurface …
