Compactifications of the heterotic string with NS flux normally require non Calabi-Yau internal spaces which are complex but no longer Kähler. We point out that this conclusion rests on the assumption of a maximally symmetric four-dimensional space-time and can be avoided if this assumption is relaxed. Specifically, it is shown that an internal Calabi-Yau manifold is consistent with the presence of NS flux provided four-dimensional space-time is taken to be a domain wall. These Calabi-Yau domain wall solutions can still be associated with a covariant four-dimensional N = 1 supergravity. In this four-dimensional context, the domain wall arises as the “simplest” solution to the effective supergravity due to the presence of a flux potential with a runaway direction. Our main message is that NS flux is a legitimate ingredient for moduli stabilisation in heterotic Calabi-Yau models. Ultimately, the success of such models depends on the ability to stabilise the runaway direction and thereby “lift” the domain wall to a maximally supersymmetric vacuum.

We study heterotic string compactifications on nearly Kähler homogeneous spaces, including the gauge field effects which arise at order α′. Using Abelian gauge fields, we are able to solve the Bianchi identity and supersymmetry conditions to this order. The four-dimensional external space-time consists of a domain wall solution with moduli fields varying along the transverse direction. We find that the inclusion of α′ corrections improves the moduli stabilization features of this solution. In this case, one of the dilaton and the volume modulus asymptotes to a constant value away from the domain wall. It is further shown that the inclusion of non-perturbative effects can stabilize the remaining modulus and “lift” the domain wall to an AdS vacuum. The coset SU(3)/U(1)2 is used as an explicit example to demonstrate the validity of this AdS vacuum. Our results show that heterotic nearly Kähler compactifications can lead to maximally symmetric four-dimensional space-times at the non-perturbative level.

We construct heterotic vacua based on six-dimensional nearly-Kahler homogeneous manifolds and non-trivial vector bundles thereon. Our examples are based on three specific group coset spaces. It is shown how to construct line bundles over these spaces, compute their properties and build up vector bundles consistent with supersymmetry and anomaly cancelation. It turns out that the most interesting coset is SU(3)/U(1)2. This space supports a large number of vector bundles which lead to consistent heterotic vacua, some of them with three chiral families.

We calculate the moduli dependent part of string one-loop threshold corrections to gauge couplings for the heterotic string theory compactified on abelian toroidal orbifolds, allowing for arbitrary discrete Wilson lines. We show that the knowledge of threshold corrections for any such compactification is equivalent to solving a class of integrals. We solve a sub-class of these integrals and show how any model can be mapped onto this class by fractional linear transformations of its fixed plane moduli. Modular symmetries of the final expression are discussed.