Title:

Moduli in general SU(3)structure heterotic compactifications

In this thesis, we study compactifiations of tendimensional heterotic supergravity at O(α'), focusing on the moduli of such compactifications. We begin by studying supersymmetric compactifications to fourdimensional maximally symmetric space, commonly referred to as the Strominger system. The compactifications are of the form M_{10} = M_{4} x X, where M_{4} is fourdimensional Minkowski space, and X is a sixdimensional manifold of what we refer to as heterotic SU(3)structure. We show that this system can be put in terms of a holomorphic operator D on a bundle Q = T* X ⊕ End(TX) ⊕ End(V ) ⊕ TX, defined by a series of extensions. Here V is the E_{8} x E_{8} gaugebundle, and TX is the tangent bundle of the compact space X. We proceed to compute the infinitesimal deformation space of this structure, given by TM = H^{(0,1)}(Q), which constitutes the infinitesimal spectrum of the lower energy fourdimensional theory. In doing so, we find an over counting of moduli by H^{(0,1)}(End(TX)), which can be reinterpreted as O(α') field redefinitions. In the next part of the thesis, we consider nonmaximally symmetric compactifications of the form M_{10} = M_{3} x Y , where M_{3} is threedimensional Minkowski space, and Y is a sevendimensional noncompact manifold with a G_{2}structure. We write X → Y → ℝ, where X is a six dimensional compact space of half at SU(3)structure, nontrivially fibered over ℝ. These compactifications are known as domain wall compactifications. By focusing on coset compactifications, we show that the compact space X can be endowed with nontrivial torsion, which can be used in a combination with %α'effects to stabilise all geometric moduli. The domain wall can further be lifted to a maximally symmetric AdS vacuum by inclusion of nonperturbative effects in a heterotic KKLT scenario. Finally, we consider domain wall compactifications where X is a CalabiYau. We show that by considering such compactifications, one can evade the usual nogo theorems for flux in CalabiYau compactifications, allowing flux to be used as a tool in such compactifications, even when X is Kähler. The ultimate success of these compactifications depends on the possibility of lifting such vacua to maximally symmetric ones by means of e.g. nonperturbative effects.
