Complete classification of reflexive polyhedra in four dimensions

Reflexive polytopes in n dimensions have attracted much attention both in mathematics and theoretical physics due to their connection to Fano n-folds and mirror symmetry. This work focuses on the 18 regular reflexive polytopes corresponding to smooth Fano 3-folds. For the first time, we show that all 18 regular reflexive polytopes have corresponding 2d (0,2) gauge theories realized by brane brick models. These 2d gauge theories can be considered as the worldvolume theories of...

Standard toric geometry methods used to construct Calabi-Yau varieties may be extended to complete intersections in non-Fano varieties encoded by star triangulating non-convex polytopes. Similarly, mirror symmetry is conjectured to hold in terms of a transpolar duality generalizing the original construction of Batyrev and Borisov. The associated mirror pairs naturally include certain flip-folded, multi-layered multihedral objects, inclusively named VEX multitopes, and a corre...

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 o...

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 i...

When the standard representation of a crystallographic Coxeter group $\Gamma$ is reduced modulo an odd prime $p$, a finite representation in some orthogonal space over $\mathbb{Z}_p$ is obtained. If $\Gamma$ has a string diagram, the latter group will often be the automorphism group of a finite regular polytope. In Part I we described the basics of this construction and enumerated the polytopes associated with the groups of rank 3 and the groups of spherical or Euclidean type...

We investigate the mathematical properties of the class of Calabi-Yau four-folds recently found in [arXiv:1303.1832]. This class consists of 921,497 configuration matrices which correspond to manifolds that are described as complete intersections in products of projective spaces. For each manifold in the list, we compute the full Hodge diamond as well as additional topological invariants such as Chern classes and intersection numbers. Using this data, we conclude that there a...

We present a universal normal algebra suitable for constructing and classifying Calabi-Yau spaces in arbitrary dimensions. This algebraic approach includes natural extensions of reflexive weight vectors to higher dimensions, related to Batyrev's reflexive polyhedra, and their n-ary combinations. It also includes a `dual' construction based on the Diophantine decomposition of invariant monomials, which provides explicit recurrence formulae for the numbers of Calabi-Yau spaces ...

A Gorenstein polytope of index r is a lattice polytope whose r-th dilate is a reflexive polytope. These objects are of interest in combinatorial commutative algebra and enumerative combinatorics, and play a crucial role in Batyrev's and Borisov's computation of Hodge numbers of mirror-symmetric generic Calabi-Yau complete intersections. In this paper, we report on what is known about smooth Gorenstein polytopes, i.e., Gorenstein polytopes whose normal fan is unimodular. We cl...

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 classifi...

We study issues related to F-theory on Calabi-Yau fourfolds and its duality to heterotic theory for Calabi-Yau threefolds. We discuss principally fourfolds that are described by reflexive polyhedra and show how to read off some of the data for the heterotic theory from the polyhedron. We give a procedure for constructing examples with given gauge groups and describe some of these examples in detail. Interesting features arise when the local pieces are fitted into a global man...