Search

We study the moduli of the universal geometry of $d=4$ $N=1$ heterotic vacua. Universal geometry refers to a family of heterotic vacua fibered over the moduli space. The equations of universal geometry, remarkably, mimic the F-terms and Bianchi identities of heterotic theories. In doing so, they capture otherwise complicated algebraic relations of the original heterotic theory. Here we study first order deformations of the universal geometry. The equations governing the moduli of the universal geometry are remarkably similar to the equations of the underlying heterotic theory and we find a fascinating double extension structure that mirrors the original heterotic problem. As an application we find first order universal deformations determine second order deformations of the original heterotic theory. This gives a shortcut to determining results that are otherwise algebraically unwieldy. The role of the D-terms is closely related to the existence of flat connections on the moduli space. Finally, we re-derive some of these results by direct differentiation - this direct approach requires significantly more calculation., Comment: v1 62 pages

In previous works, an operator was developed for heterotic compactifications on $\mathbb{R}^{2,1}\times G_2$ and $AdS_3 \times G_2$, which preserves $N=1$ $d=3$ supersymmetry and whose kernel is related to the moduli of the compactification. The operator is described in terms of non-physical spurious degrees of freedom, specifically, deformations of a connection on the tangent bundle. In this paper, we eliminate these spurious degrees of freedom by linking deformations of the spin connection to the moduli of the $G_2$ manifold $Y$. This results in an operator $\check D$ that captures the physical moduli space of the $G_2$ heterotic string theory. When $Y=X\times S^1$, with $X$ an $SU(3)$ manifold, we show $\check D$ produces results that align with existing literature. This allows us to propose a $G_2$ moduli space metric. We check that this metric reduces to the $SU(3)$ moduli metric constructed in the literature. We then define an adjoint operator ${\check D}^\dag$. We show the $G_2$ moduli correspond to the intersection of the kernels of $\check D$ and ${\check D}^\dag$. These kernels reduce to the $SU(3)$ F-terms and D-terms respectively on $X\times S^1$. This gives two non-trivial consistency checks of our proposed moduli space metric. Working perturbatively in $\alpha'$, we also demonstrate that the heterotic $G_2$ moduli problem can be characterised in terms of a double extension of ordinary bundles, just like in the $SU(3)$ case., Comment: 32 pages; v2 minor typos corrected

We study the cohomology of an elliptic differential complex arising from the infinitesimal moduli of heterotic string theory. We compute these cohomology groups at the standard embedding, and show that they decompose into a direct sum of cohomologies. While this is often assumed in the literature, it had not been explicitly demonstrated. Given a stable gauge bundle over a complex threefold with trivial canonical bundle and no holomorphic vector fields, we also show that the Euler characteristic of this differential complex is zero. This points towards a perfect obstruction theory for the heterotic moduli problem, at least for the most physically relevant compactifications., Comment: v2: 19 pages, minor changes to the presentation, references updated

We consider N=1, d=4 vacua of heterotic theories in the large radius limit in which alpha' << 1. We construct a real differential operator $\mathcal{D}= D+\bar{D}$ on an extension bundle $(Q, \mathcal{D})$ with underlying topology $Q=(T^{1,0}X)^* \oplus {\rm End} \, E \oplus T^{1,0} X$ whose curvature is holomorphic and Hermitian-Yang-Mills with respect to the complex structure and metric on the underlying non-Kahler complex 3-fold X if and only if the heterotic supersymmetry equations and Bianchi identity are satisfied. This is suggestive of an analogue of the Donaldson--Uhlenbeck--Yau correspondence for heterotic vacua of this type., Comment: 34 pages; v2 references updated, typos fixed

We reexamine the massless spectrum of a heterotic string vacuum at large radius and present two results. The first result is to construct a vector bundle $\mathcal{Q}$ and operator $\overline{\mathcal{D}}$ whose kernel amounts to deformations solving `F-term' type equations. This resolves a dilemma in previous works in which the spin connection is treated as an independent degree of freedom, something that is not the case in string theory. The second result is to utilise the moduli space metric, constructed in previous work, to define an adjoint operator $\overline{\mathcal{D}}^\dag$. The kernel of $\overline{\mathcal{D}}^\dag$ amounts to deformations solving `D-term' type equations. Put together, we show there is a vector bundle $\mathcal{Q}$ with a metric, a $\overline{\mathcal{D}}$ operator and a gauge fixing (holomorphic gauge) in which the massless spectrum are harmonic representatives of $\overline{\mathcal{D}}$. This is remarkable as previous work indicated the Hodge decomposition of massless deformations were complicated and in particular not harmonic except at the standard embedding., Comment: 31 pages; v2 fixed typos; v3 expanded appendix, added references

The first part of this paper describes in detail the action of small gauge transformations in heterotic supergravity. We show a convenient gauge fixing is `holomorphic gauge' together with a condition on the holomorphic top form. This gauge fixing, combined with supersymmetry and the Bianchi identity, allows us to determine a set of non-linear PDEs for the terms in the Hodge decomposition. Although solving these in general is highly non-trivial, we give a prescription for their solution perturbatively in alpha' and apply this to the moduli space metric. The second part of this paper relates small gauge transformations to a choice of connection on the moduli space. We show holomorphic gauge is related to a~choice of holomorphic structure and Lee form on a `universal bundle'. Connections on the moduli space have field strengths that appear in the second order deformation theory and we point out it is generically the case that higher order deformations do not commute., Comment: 48 pages, 1 figure; v2 improved diagram and introduction, references added; v3 improved some discussion & calculations in the main text, new appendix on the dilaton; v4 published version

We consider a family of perturbative heterotic string backgrounds. These are complex threefolds X with c_1 = 0, each with a gauge field solving the Hermitian Yang-Mill's equations and compatible B and H fields that satisfy the anomaly cancellation conditions. Our perspective is to consider a geometry in which these backgrounds are fibred over a parameter space. If the manifold X has coordinates x, and parameters are denoted by y, then it is natural to consider coordinate transformations x \to \tilde{x}(x,y) and y \to \tilde{y}(y). Similarly, gauge transformations of the gauge field and B field also depend on both x and y. In the process of defining deformations of the background fields that are suitably covariant under these transformations, it turns out to be natural to extend the gauge field A to a gauge field \IA on the extended (x,y)-space. Similarly, the B, H, and other fields are also extended. The total space of the fibration of the heterotic structures is the Universal Geometry of the title. The extension of gauge fields has been studied in relation to Donaldson theory and monopole moduli spaces. String vacua furnish a richer application of these ideas. One advantage of this point of view is that previously disparate results are unified into a simple tensor formulation. In a previous paper, by three of the present authors, the metric on the moduli space of heterotic theories was derived, correct through order \alpha', and it was shown how this was related to a simple Kahler potential. With the present formalism, we are able to rederive the results of this previously long and involved calculation, in less than a page., Comment: 50 pages, 3 figures, version accepted by JHEP, improved abstract and typos corrected

The effective field theory of heterotic vacua that realise $\mathbb{R}^{3,1}$ preserving $\mathcal{N} =1$ supersymmetry are studied. The vacua in question admit large radius limits taking the form $\mathbb{R}^{3,1}\times {X}$ , with ${X}$ a smooth three-fold with vanishing first Chern class and a stable holomorphic gauge bundle $\mathcal{E}$. In a previous paper we calculated the kinetic terms for moduli, deducing the moduli metric and Kahler potential. In this paper, we compute the remaining couplings in the effective field theory, correct to first order in alpha prime. In particular, we compute the contribution of the matter sector to the Kahler potential, derive the Yukawa couplings and other quadratic fermionic couplings. From this we write down a Kahler potential $\mathcal{K}$ and superpotential $\mathcal{W}$ ., Comment: 50 pages, v2 text improved, minor corrections, refs added

Heterotic vacua of string theory are realised, at large radius, by a compact threefold with vanishing first Chern class together with a choice of stable holomorphic vector bundle. These form a wide class of potentially realistic four-dimensional vacua of string theory. Despite all their phenomenological promise, there is little understanding of the metric on the moduli space of these. What is sought is the analogue of special geometry for these vacua. The metric on the moduli space is important in phenomenology as it normalises D-terms and Yukawa couplings. It is also of interest in mathematics, since it generalises the metric, first found by Kobayashi, on the space of gauge field connections, to a more general context. Here we construct this metric, correct to first order in alpha', in two ways: first by postulating a metric that is invariant under background gauge transformations of the gauge field, and also by dimensionally reducing heterotic supergravity. These methods agree and the resulting metric is Kahler, as is required by supersymmetry. Checking that the metric is in fact Kahler is quite intricate and uses the anomaly cancellation equation for the H-field, in an essential way. The Kahler potential nevertheless takes a remarkably simple form: it is Kahler potential for special geometry with the Kahler form replaced by the alpha'-corrected hermitian form., Comment: 57 pages; v2 blackboard bold font error fixed; v3 minor improvements, typos fixed, references added; v4 version for publication in CMP

We prove that N=2 theories that arise by taking n free hypermultiplets and gauging a subgroup of Sp(n), the non-R global symmetry of the free theory, have a remaining global symmetry which is a direct sum of unitary, symplectic, and special orthogonal factors. This implies that theories that have SU(N) but not U(N) global symmetries, such as Gaiotto's T_N theories, are not likely to arise as IR fixed points of RG flows from weakly coupled N=2 gauge theories., Comment: 14 pages

Type IIB toroidal orientifolds are among the earliest examples of flux vacua. By applying T-duality, we construct the first examples of massive IIA flux vacua with Minkowski space-times, along with new examples of type IIA flux vacua. The backgrounds are surprisingly simple with no four-form flux at all. They serve as illustrations of the ingredients needed to build type IIA and massive IIA solutions with scale separation. To check that these backgrounds are actually solutions, we formulate the complete set of type II supergravity equations of motion in a very useful form that treats the R-R fields democratically., Comment: 38 pages, LaTeX; references updated; additional minor comments added; published version

We consider compactifications of M-theory and type IIA string theory to four dimensions. For Minkowski space-time, a supergravity no-go theorem forbids flux supported in the internal space. We show how to evade this no-go theorem by exhibiting new sources of brane charge: in string theory, the basic physical phenomenon is the generation of new brane charges from D-branes in transverse fluxes. In M-theory, there is a new source of M5-brane charge from novel higher derivative couplings that involve fluxes as well as curvatures. We present some explicit orientifold examples with both N=1 and N=2 space-time supersymmetry. Finally, we explain the status of massive type IIA flux compactifications., Comment: 36 pages, LaTeX; references added

We study monopole-instantons in M2-brane theories, focussing on the ABJM class of Chern-Simons gauge theories coupled to matter. We calculate calculate explicitly the 8-fermion term in the effective action induced by these monopole-instantons, and discuss their role in resolving a classical singularity in the moduli space. The results are compared with monopole-instantons in N=8 3d SYM and D-brane theories, as well the dual supergravity description as a membrane scattering process., Comment: 44 pages

In a previous paper we used T-duality to construct a new type of 1/4-BPS solution describing a pair of NS5-branes intersecting in 1+3 dimensions and localised in all other directions except for a single transverse circle. This led to an explicit solution to a sourced Monge--Ampere equation, of which there are few known examples. In this paper we refine this formalism and apply it to two important generalisations: the resolved and deformed conifolds. In doing so we construct two new solutions describing, respectively, a pair of NS5-branes separated in a transverse direction and a pair of NS5-branes with smooth `diamond' profile. We show how the parameter of the resolved conifold (size of the S^2) maps to a transverse separation of the NS5-branes, while the modulus of the deformed conifold (size of the S^3) maps to the deformation parameter of the diamond web., Comment: 57 pages, 1 figure; v2: typos fixed

Using mirror symmetry, we resolve an old puzzle in the linear sigma model description of the spacetime Higgs mechanism in a heterotic string compactification with (2,2) worldsheet supersymmetry. The resolution has a nice spacetime interpretation via the normalization of physical fields and suggests that with a little care deformations of the linear sigma model can describe heterotic Higgs branches., Comment: 31 pages, xy-pic diagrams; v2: some additional comments, typos corrected, improved discussion in appendix; v3: atmp format

We construct the first known example of a near horizon supergravity solution for a pair of NS5-branes, intersecting on R^{1,3} and localised in all directions except a single transverse circle. We do this by establishing an explicit map between the conifold metric and the near horizon geometry of two intersecting NS5-branes, clarifying and correcting a number of open issues in the literature en route. Our technique is general in nature and may be applied to a whole class of 1/4-BPS five-brane webs and their geometric duals. These 1/4-BPS solutions may have an interesting holographic interpretation in terms of little string theory., Comment: 49 pages, harvmac; v2: added references and footnote

Compactifications of the heterotic string are a viable route to phenomenologically realistic vacua and interesting new mathematics. While supergravity aspects of heterotic compactifications are largely well-understood their worldsheet description remains largely unexplored. We review recent work in developing linear sigma model techniques aimed at elucidating the underlying worldsheet description., Comment: Invited review for IJMPA. 53 pages

Using F-theory/heterotic duality, we describe a framework for analyzing non-geometric T2-fibered heterotic compactifications to six- and four-dimensions. Our results suggest that among T2-fibered heterotic string vacua, the non-geometric compactifications are just as typical as the geometric ones. We also construct four-dimensional solutions which have novel type IIB and M-theory dual descriptions. These duals are non-geometric with three- and four-form fluxes not of (2,1) or (2,2) Hodge type, respectively, and yet preserve at least N=1 supersymmetry., Comment: 68 pages, 1 figure. v2: added references, minor changes. v3: minor changes

We study (0,2) deformations of a (2,2) supersymmetric gauged linear sigma model for a Calabi-Yau hypersurface in a Fano toric variety. In the non-linear sigma model these correspond to some of the holomorphic deformations of the tangent bundle on the hypersurface. Combinatorial formulas are given for the number of these deformations, and we show that these numbers are exchanged by mirror symmetry in a subclass of the models., Comment: 35 pages; uses xy-fig; typos fixed, acknowledgments added

We study a system of D-branes localized near an intersection of Neveu-Schwarz fivebranes, that is known to exhibit a landscape of supersymmetric and (metastable) supersymmetry breaking vacua. We show that early universe cosmology drives it to a particular long-lived supersymmetry breaking ground state., Comment: 42 pages, 7 figures; references and acknowledgement added

Metastable supersymmetry breaking configurations of D-branes and NS5-branes in string theory often owe their existence to classical gravitational interactions between the branes. We show that in the effective theory of the light fields, these interactions give rise to a non-canonical K\"ahler potential and other D-terms. String theory provides a UV completion in which these non-renormalizable terms can be computed. We use these observations to clarify the relation between the phase structure of ISS-type models and their brane realizations., Comment: 27pp, 4 figures

We study half-twisted linear sigma models relevant to (0,2) compactifications of the heterotic string. Focusing on theories with a (2,2) locus, we examine the linear model parameter space and the dependence of genus zero half-twisted correlators on these parameters. We show that in a class of theories the correlators and parameters separate into A and B types, present techniques to compute the dependence, and apply these to some examples. These results should bear on the mathematics of (0,2) mirror symmetry and the physics of the moduli space and Yukawa couplings in heterotic compactifications., Comment: 70 pages; typo's fixed; version to appear in JHEP

We study type IIB string compactifications in the presence of RR and NSNS fluxes using worldsheet techniques. Vertex operators corresponding to internal RR and NSNS fluxes are constructed in the hybrid formalism with manifest target space supersymmetry. In a simple class of examples, we compute various known physical phenomena such as warping and the generation of a superpotential for complex structure moduli. The results are in precise agreement with the supergravity literature., Comment: 29 pages; added references and fixed typo's

We compute correlators of chiral operators in half-twisted (0,2) supersymmetric gauged linear sigma models. Our results give simple algebraic formulas for a (0,2) generalization of genus zero Gromov-Witten invariants of compact toric varieties. We derive compact expressions for deformed quantum cohomology relations and apply our general method to several examples., Comment: 21 pages, LaTex; typos corrected; some discussion added