91̽»¨

Abstract:

We derive the perturbative four-dimensional effective theory describing heterotic M theory with branes and antibranes in the bulk space. The backreaction of both the branes and antibranes is explicitly included. To first order in the heterotic S expansion, we find that the forces on branes and antibranes vanish and that the Kachru-Kallosh-Linde-Trivedi (KKLT) procedure of simply adding to the supersymmetric theory the probe approximation to the energy density of the antibrane reproduces the correct potential. However, there are additional nonsupersymmetric corrections to the gauge-kinetic functions and matter terms. The new correction to the gauge-kinetic functions is important in a discussion of moduli stabilization. At second order in the S expansion, we find that the forces on the branes and antibranes become nonvanishing. These forces are not precisely in the naive form that one may have anticipated and, being second order in the small parameter S, they are relatively weak. This suggests that moduli stabilization in heterotic models with antibranes is achievable. © 2007 The American Physical Society.

Abstract:

One of the central problems of string-phenomenology is to find stable vacua in the four dimensional effective theories which result from compactification. We present an algorithmic method to find all of the vacua of any given string-phenomenological system in a huge class. In particular, this paper reviews and then extends hep-th/0606122 to include various non-perturbative effects. These include gaugino condensation and instantonic contributions to the superpotential. © SISSA 2007.

Abstract:

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. © SISSA 2007.