Heterotic Compactification, An Algorithmic Approach

We approach string phenomenology from the perspective of computational algebraic geometry, by providing new and efficient techniques for proving stability and calculating particle spectra in heterotic compactifications. This is done in the context of complete intersection Calabi-Yau manifolds in a single projective space where we classify positive monad bundles. Using a combination of analytic methods and computer algebra we prove stability for all such bundles and compute the complete particle spectrum, including gauge singlets. In particular, we find that the number of anti-generations vanishes for all our bundles and that the spectrum is manifestly moduli-dependent.Comment: 36 pages, Late

The Particle Spectrum of Heterotic Compactifications

Techniques are presented for computing the cohomology of stable, holomorphic vector bundles over elliptically fibered Calabi-Yau threefolds. These cohomology groups explicitly determine the spectrum of the low energy, four-dimensional theory. Generic points in vector bundle moduli space manifest an identical spectrum. However, it is shown that on subsets of moduli space of co-dimension one or higher, the spectrum can abruptly jump to many different values. Both analytic and numerical data illustrating this phenomenon are presented. This result opens the possibility of tunneling or phase transitions between different particle spectra in the same heterotic compactification. In the course of this discussion, a classification of SU(5) GUT theories within a specific context is presented.Comment: 77 pages, 3 figure

SU(4) Instantons on Calabi-Yau Threefolds with Z_2 x Z_2 Fundamental Group

Structure group SU(4) gauge vacua of both weakly and strongly coupled heterotic superstring theory compactified on torus-fibered Calabi-Yau threefolds Z with Z_2 x Z_2 fundamental group are presented. This is accomplished by constructing invariant, stable, holomorphic rank four vector bundles on the simply connected cover of Z. Such bundles can descend either to Hermite-Yang-Mills instantons on Z or to twisted gauge fields satisfying the Hermite-Yang-Mills equation corrected by a non-trivial flat B-field. It is shown that large families of such instantons satisfy the constraints imposed by particle physics phenomenology. The discrete parameter spaces of those families are presented, as well as a lower bound on the dimension of the continuous moduli of any such vacuum. In conjunction with Z_2 x Z_2 Wilson lines, these SU(4) gauge vacua can lead to standard-like models at low energy with an additional U(1)_{B-L} symmetry. This U(1)_{B-L} symmetry is very helpful in naturally suppressing nucleon decay.Comment: 68 pages, no figure

Extremal Bundles on Calabi-Yau Threefolds

We study constructions of stable holomorphic vector bundles on Calabi–Yau threefolds, especially those with exact anomaly cancellation which we call extremal. By going through the known databases we find that such examples are rare in general and can be ruled out for the spectral cover construction for all elliptic threefolds. We then introduce a general Hartshorne–Serre construction and use it to find extremal bundles of general ranks and study their stability, as well as computing their Chern numbers. Based on both existing and our new constructions, we revisit the DRY conjecture for the existence of stable sheaves on Calabi–threefolds, and provide theoretical and numerical evidence for its correctness. Our construction can be easily generalized to bundles with no extremal conditions imposed

A splitting result for the algebraic K-theory of projective toric schemes

Suppose X is a projective toric scheme defined over a commutative ring R equipped with an ample line bundle L. We prove that its K-theory has k+1 direct summands K(R) where k is minimal among non-negative integers such that the twisted line bundle L(-k-1) is not acyclic. In fact, using a combinatorial description of quasi-coherent sheaves throughout we prove the result for a ring R which is either commutative, or else left noetherian.Comment: 29 pages. V2: updated bibliography, typos corrected; v3: final version, to appear in Journal of Homotopy and Related Structure