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 byproduct we show that all these spaces (and hence the corresponding string vacua) are connected via a chain of singular transitions.

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 applications to toric geometry and string theory, like the computation of Hodge data and fibration structures for toric Calabi-Yau varieties. The package is well tested and optimised in speed as it was used for time consuming tasks such as the classification of reflexive polyhedra in 4 dimensions and the creation and manipulation of very large lists of 5-dimensional polyhedra. While originally intended for low-dimensional applications, the algorithms work in any dimension and our key routine for vertex and facet enumeration compares well with existing packages.

We present the most complete list of mirror pairs of Calabi-Yau complete intersections in toric ambient varieties and develop the methods to solve the topological string and to calculate higher genus amplitudes on these compact Calabi-Yau spaces. These symplectic invariants are used to remove redundancies in examples. The construction of the B-model propagators leads to compatibility conditions, which constrain multi-parameter mirror maps. For K3 fibered Calabi-Yau spaces without reducible fibers we find closed formulas for all genus contributions in the fiber direction from the geometry of the fibration. If the heterotic dual to this geometry is known, the higher genus invariants can be identified with the degeneracies of BPS states contributing to gravitational threshold corrections and all genus checks on string duality in the perturbative regime are accomplished. We find, however, that the BPS degeneracies do not uniquely fix the non-perturbative completion of the heterotic string. For these geometries we can write the topological partition function in terms of the Donaldson-Thomas invariants and we perform a non-trivial check of S-duality in topological strings. We further investigate transitions via collapsing D 5 del Pezzo surfaces and the occurrence of free Z 2 quotients that lead to a new class of heterotic duals. 1

We give a criterion for the existence of a non-degenerate quasihomogeneous polynomial in a configuration, i.e. in the space of polynomials with a fixed set of weights, and clarify the relation of this criterion to the necessary condition derived from the formula for the Poincaré polynomial. We further prove finiteness of the number of configurations for a given value of the singularity index. For the value 3 of this index, which is of particular interest in string theory, a constructive version of this proof implies an algorithm for the calculation of all non-degenerate configurations.

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.

We give a complete classification of all simple current modular invariants, extending previous results for (Z p ) k to arbitrary centers. We obtain a simple explicit formula for the most general case. Using orbifold techniques to this end, we find a one-to-one correspondence between simple current invariants and subgroups of the center with discrete torsions. As a by-product, we prove the conjectured monodromy independence of the total number of such invariants. The orbifold approach works in a straightforward way for symmetries of odd order, but some modifications are required to deal with symmetries of even order. With these modifications the orbifold construction with discrete torsion is complete within the class of simple current invariants. Surprisingly, there are cases where discrete torsion is a necessity rather than a possibility.

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 is the corner stone for an algorithm for the construction of all dual pairs of reflexive polyhedra that we expect to be efficient enough for an enumerative classification in up to 4 dimensions, which is the relevant case for Calabi-Yau compactifications in string theory.

We analyse several explicit toric examples of compact K3-fibred Calabi-Yau three-folds. These manifolds can be used for the study of string dualities and are crucial ingredients for the construction of LARGE Volume type IIB vacua with promising applications to cosmology and particle phenomenology. In order to build a phenomenologically viable model, on top of the two moduli corresponding to the base and the K3 fibre, we demand also the existence of two additional rigid divisors: the first supporting the nonperturbative effects needed to achieve moduli stabilisation, and the second allowing the presence of chiral matter on wrapped D-branes. We clarify the topology of these rigid divisors by discussing the interplay between a diagonal structure of the Calabi-Yau volume and D-terms. Del Pezzo divisors appearing in the volume form in a completely diagonal way are natural candidates for supporting non-perturbative effects and for quiver constructions, while 'non-diagonal' del Pezzo and rigid but not del Pezzo divisors are particularly interesting for model building in the geometric regime. Searching through the existing list of four dimensional reflexive lattice polytopes, we find 158 examples admitting a Calabi-Yau hypersurface with a K3 fibration and four Kähler moduli where at least one of the toric divisors is a 'diagonal' del Pezzo. We work out explicitly the topological details of a few examples showing how, in the case of simplicial polytopes, all the del Pezzo divisors are 'diagonal', while 'non-diagonal' ones appear only in the case of non-simplicial polytopes. A companion paper will use these results in the study of moduli stabilisation for globally consistent explicit Calabi-Yau compactifications with the local presence of chirality.