Efficient Algorithm for Generating Homotopy Inequivalent Calabi-Yaus

Calabi-Yau manifolds can be obtained as hypersurfaces in toric varieties built from reflexive polytopes. We generate reflexive polytopes in various dimensions using a genetic algorithm. As a proof of principle, we demonstrate that our algorithm reproduces the full set of reflexive polytopes in two and three dimensions, and in four dimensions with a small number of vertices and points. Motivated by this result, we construct five-dimensional reflexive polytopes with the lowest ...

We describe our package PALP of C programs for calculations with lattice polytopes and applications to toric geometry, which is freely available on the internet. It contains routines for vertex and facet enumeration, computation of incidences and symmetries, as well as completion of the set of lattice points in the convex hull of a given set of points. In addition, there are procedures specialised to reflexive polytopes such as the enumeration of reflexive subpolytopes, and...

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

We develop tools that allow the systematic enumeration of inequivalent holomorphic orientifolds of Calabi-Yau hypersurfaces in toric fourfolds of arbitrary Hodge numbers. As examples, we construct an orientifold of the Calabi-Yau hypersurface with largest known Hodge number $h^{1,1}=491$, as well as an orientifold of a Calabi-Yau hypersurface with $h^{1,1}=243$ that yields a large orientifold-odd Hodge number $h^{1,1}_-=120$.

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

In previous work, we have commenced the task of unpacking the $473,800,776$ reflexive polyhedra by Kreuzer and Skarke into a database of Calabi-Yau threefolds (see http://www.rossealtman.com). In this paper, following a pedagogical introduction, we present a new algorithm to isolate Swiss cheese solutions characterized by "holes," or small 4-cycles, descending from the toric divisors inherent to the original four dimensional reflexive polyhedra. Implementing these methods, we...

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

This article is based on a series of lectures on toric varieties given at RIMS, Kyoto. We start by introducing toric varieties, their basic properties and later pass to more advanced topics relating mostly to combinatorics.

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