Holomorphic bundles and the moduli space of N=1 supersymmetric heterotic compactifications

We describe the first order moduli space of heterotic string theory compactifications which preserve N =1 supersymmetry in four dimensions, that is, the infinitesimal parameter space of the Strominger system. We establish that if we promote a connection on T X to a field, the moduli space corresponds to deformations of a holomorphic structure D¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \overline{D} $$\end{document} on a bundle Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{Q} $$\end{document}. The bundle Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{Q} $$\end{document} is constructed as an extension by the cotangent bundle T∗X of the bundle E = End(V )⊕End(TX)⊕TX with an extension class H\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{H} $$\end{document} which precisely enforces the anomaly cancelation condition. The deformations corresponding to the bundle E are simultaneous deformations of the holomorphic structures on the poly-stable bundles V and T X together with those of the complex structure of X. We discuss the fact that the “moduli” corresponding to End(T X) cannot be physical, but are however needed in our mathematical structure to be able to enforce the anomaly cancelation condition. In the appendix we comment on the choice of connection on T X which has caused some confusion in the community before. It has been shown by Ivanov and others that this connection should also satisfy the instanton equations, and we give another proof of this fact.


Introduction
Ever since Strominger and Hull [1,2] first worked out the geometry arising from a general supersymmetric compactification of the heterotic string assuming that the four dimensional
In this paper, we study the heterotic string from the ten-dimensional supergravity point of view. We review compactifications corresponding to the Strominger system which appears at first order in the α expansion of the heterotic theory and study the infinitesimal moduli space. In the appendix, we give a brief motivation for the Strominger system and consider higher order α corrections to the system. We will however delay a full treatment of the higher order theory to a forthcoming publication [41].

Heterotic supergravity and the Strominger system
We begin in section 2 with a review of the geometry of the Strominger system and set up the notation. The heterotic compactification we are interested in consists on a pair (X, V ) where X is a six dimensional Riemannian spin manifold, together with a vector bundle V on X. This pair has the geometric properties given by • A six-dimensional compact space X with an SU(3)-structure given by a nowhere vanishing three-form Ψ, and a hermitian form ω satisfying the SU(3)-structure compatibility conditions The space X is complex, with complex structure determined by the form Ψ which is conformally holomorphic, ∂(e −2φ Ψ) = 0 , and the hermitian form ω is conformally balanced, d(e −2φ ω ∧ ω) = 0 .
In this paper, manifolds with this structure are called manifolds with a heterotic SU(3) structure.
• A gauge-bundle connection A with structure group contained in E 8 ×E 8 on a vector bundle V with field strength F satisfying the instanton condition. That is, the bundle is holomorphic, and the curvature satisfies the Yang-Mills condition ω F = 0 .
• A connection ∇ I on the tangent bundle with curvature R I which also satisfies the instanton condition. As discussed in the appendix, this instanton connection is needed to ensure that supersymmetric solutions which satisfy the anomaly cancelation condition, also solve the equations of motion. 2 In this work however, we promote this JHEP10(2014)123 instanton connection to a field. As we will see, this is needed to be able to implement the anomaly cancelation condition into the deformation theory. The price we pay is that in doing so we get extra "moduli" associated to this connection, which will have to be given the correct physical interpretation. We leave the interpretation of these parameters for a forthcoming publication [41].
• The connections and the geometry of X are related by the Bianchi identity −2i∂∂ω = α 4 (tr(F ∧ F ) − tr(R I ∧ R I )) .
We would like to remark that due to the theorem of Li and Yau [42], we require the holomphic bundles V and T X to be polystable in order for there to be a solution of the instanton equations. We would also like to point out that the geometry coming from requiring a supersymmetric theory to second order in the α expansion can also be described in terms of the Strominger system, at least in the case when the base X is compact. We will however defer the discussion of higher order α corrections to a future companion paper [41], but we comment briefly on the results of that paper in the appendix.

Holomorphic structures and moduli
We begin subsection 3.1 by discussing the deformations of the relevant SU(3) structure of X. Such a deformation of the SU(3) structure corresponds to simultaneous deformations of the complex structure determined by Ψ together with those of the hermitian structure determined by ω, such that the heterotic SU(3) structure is preserved. The deformations of the complex structure are easily described as the complex structure does not depend on the metric or the hermitian structure on X. The analysis is similar to some extent to that for Calabi-Yau manifolds. Deformations of the hermitian structure satisfying the conformally balanced condition is more difficult as ω also deforms with the complex structure. One of the problems is that the moduli space of deformations of the hermitian structure seems to be infinite dimensional [18]. Moreover, the conformally balanced condition is not stable under deformations of the complex structure [43][44][45][46] in contrast with the stability of the Kähler condition. It turns out that by including the equations derived from the deformation of the anomaly cancelation condition, we find a finite dimensional space for these parameters (see subsections 3.1.2 and 3.5). We note that in a forthcoming publication [47], we show that one parameter families of manifolds with a heterotic SU(3) structure which have an integrable G 2 structure, or a certain SU (4) or Spin(7) structure, are families which automatically have the conformally balanced condition preserved along the family. This could be very interesting for applications to M-theory and F-theory. We investigate the moduli of the Strominger system using the mathematical tools available in deformation theory of holomorphic structures. We use the machinery developed by Atiyah [48]. 3 We construct a holomorphic structure D on an extension bundle Q which

JHEP10(2014)123
is an extension by the holomorphic cotangent bundle T * X of a bundle E given by the short exact sequence 0 → T * X → Q → E → 0 , with an extension class H which precisely enforces the anomaly cancelation condition. We compute first order deformations of the holomorphic structure by computing a long exact sequence in cohomology associated to the short exact sequence above. We proceed in a stepwise manner. In subsection 3.2 we study in detail the deformations of the holomorphic structure of the bundle V on X. We generalise the work in [49,50] for the case in which X is a Calabi-Yau manifold to the case of the more general non-Kähler conformally balanced manifolds at hand in view of the theorem by Li and Yau [42]. Recall for instance that the holomorphic condition on the gauge bundle is equivalent to a nilpotency condition on the operator Here A is the (0, 1)-part of the gauge connection. Moreover, simultaneous deformations of the complex structures on (X, V ) correspond to elements in the cohomology groups H where T X is the holomphic tangent bundle, and is the Atiyah map associated to the extension of T X by End(V ). Here H (0,1) ∂ A (End(V )) are the bundle moduli, and they correspond to the gauge fields in the lower four dimensional theory. We extend our results in section 3.3 to include the deformations of the instanton connection ∇ I on T X by considering the extension bundle E = End(T X) ⊕ End(V ) ⊕ T X .
We then obtain simultaneous deformations of the holomorphic structures on the bundles and of the complex structure of X by computing the deformations of a holomorphic structure on this extension bundle. The moduli associated to deformations of the connection ∇ I which leave X fixed are given by elements in the cohomology group These are the extra "moduli" which appear as a consequence of considering ∇ I as a field. These fields however cannot be true moduli of the theory since eventually one has to remember that the connection for the curvature R in the 10 dimensional heterotic action depends on the other fields in the theory (precisely what this dependence is has to do with how the fields are defined [51]).
In section 3.4, we discuss the fact that the primitivity condition for the curvature of the instanton connections on the bundles also has a solution after deformations of the JHEP10(2014)123 holomorphic structure on E. As the stability of the bundles is preserved under deformations of the complex structure of X which preserve the holomorphicity of the bundles [52], the theorem of Li and Yau [42] now guarantees that the deformed connections satisfy the instanton conditions. Nevertheless, we prove that on a conformally balanced manifold, a general first order variation (including varying the hermitian structure) of the primitivity conditions of the curvatures preserving the primitivity conditions, does not pose any new constraints on the moduli space.
The full moduli of the Strominger system is given in 3.5 where we state the main result of the paper. As mentioned above, we define Q by extending E by the holomorphic co-tangent bundle T * X and define a holomorphic structure D on Q The operator D has a rather lengthy definition, which we leave to section 3.5. What is important is that it includes the anomaly cancelation condition. Moreover D 2 = 0 if and only if the Bianchi identities for F , R I and the anomaly cancelation condition are satisfied. The first order deformations of this holomorphic structure correspond to the elements in the cohomology group H (0,1) and we show that this is the infinitesimal moduli space of the heterotic compactifications. The subgroup ker(H) is contained in the moduli space of deformations of E, that is the simultaneous variations of complex structure on X and holomorphic structures on the bundles, and it is in fact the kernel of a map H that corresponds to the analogue of the Atiyah class for the short exact extension sequence defining Q. This is nothing but the obvious fact that the anomaly cancellation condition poses a non-trivial extra constraint on the moduli. We also argue that the (complexified) hermitian parameters belong to the group H like in the Calabi-Yau case. These should be modded out by which appears whenever the bundle V is polystable, and which enforces the Yang-Mills condition on V . We remark that in [33], the authors study this structure in the limiting case when α → 0 for heterotic compactifications from the two dimensional (0, 2) superconformal field theory. We devote the last section 4 to a discussion of our results, in particular the fact that we appear to find in our set up extra moduli, those in H (0,1) ∂ I (End(T X)) which correspond to deformations of the holomorphic structure of the tangent bundle given by ∇ I but which JHEP10(2014)123 leave X fixed. It seems that we need this extra structure to be able to enforce the anomaly cancelation condition and, as discussed in the appendix, this seems the natural mathematical structure to consider. Note that this structure, in which the connection ∇ I behaves as another dynamical field, is also the natural one appearing when one considers the heterotic theory to higher orders in the α expansion [41]. Moreover, the mathematical structure we have in this paper is very similar to that in [25] where a generalised geometry for the heterotic supergravity is proposed, and in [53], where T -duality for heterotic compactifications in the context of generalised geometry and Cournat algebroids is studied. Of course, there are however reasons as to why we do not want these extra fields in the low energy field theory, namely, that the connection ∇ I is not independent of the geometry of X. We will discuss these points in the conclusion section and also in a future publication.

SU(3) structures and the Strominger system
We begin with a review of the results of Hull [2], Strominger [1] and de Wit et al [54]. The requirements that the four dimensional space-time is maximally symmetric, that N = 1 supersymmetry is preserved in four dimensions, and that an equation cancelling anomalies is satisfied, pose strong constraints on the possible geometries that are allowed as solutions of the equations of motion.
Recall first the massless spectrum of the N = 1 ten dimensional supergravity theory. The bosonic fields are: the metric g M N , the dilaton Φ, a totally antisymmetric 3-form H M N P and the E 8 ×E 8 gauge field strength F M N . The fermionic fields are the spin 3/2 gravitino, the spin 1/2 dilatino, and the spin 1/2 gluinos which take values in the adjoint representation of E 8 ×E 8 . The indices M, N , etc, are ten dimensional tangent space indices.
A compactification to four dimensions is obtained by considering a ten dimensional space-time which is a local product M 4 × X of a maximally symmetric four dimensional space-time M 4 , and a six dimensional manifold X. Maximal symmetry on M 4 requires that on the internal manifold X there are: a scalar φ (the dilaton), a Riemannian metric g mn , a 3-form H (the flux), gauge fields A m in the adjoint representation of a subgroup of E 8 ×E 8 , and the supersymmetric partners of these bosonic fields. The latin indices m, n, etc, are six dimensional indices on the tangent space T X of X. Also, a consequence of imposing the constraints of N = 1 supergravity in four dimensional space time is that M 4 must be Minkowski.
So X is a real six dimensional manifold with metric g, and on X there is a vector bundle V with curvature F which takes values in End(V ). We now discuss the constraints on the geometry of (X, V ).

Constraints on the geometry of X
Supersymmetry requires that on X there must exist a nowhere vanishing globally defined complex spinor η. This means that X must be a spin manifold and that the structure group of X is reduced to a subgroup SU(3) ⊂ Spin (6). An SU(3) structure on X [55][56][57] is defined by a triple (X, ω, Ψ), where ω is a non-degenerate globally well defined real 2-form,

JHEP10(2014)123
and Ψ is a locally decomposable no-where vanishing globally well defined complex 3-form. The forms Ψ and ω satisfy ω ∧ Ψ = 0 . (2.1) In fact, there is an SU(3) structure on X determined entirely by the spinor η. The two non-degenerate forms, ω and Ψ, can be constructed as bilinears of η where γ m are the matrices that satisfy the Clifford algebra in six dimensions and γ m 1 m 2 ···mp denotes the totally antisymmetric product of p gamma matrices Using Fierz rearrangement, one can prove that these satisfy (2.1). One can also prove that there is a unique (up to a constant) invariant volume form on X which satisfies the compatibility condition where The (real part of the) complex 3-form Ψ determines a unique almost complex structure J [58] such that Ψ is a (3, 0)-form with respect to J. In fact, where the tangent bundle endomorphism I is given by With the normalization in (2.3), it is not too difficult to prove that J 2 = −1. Note also that a change of scale Ψ → λΨ , λ ∈ C * , defines the same complex structure J. With respect to J, the real two form ω is type (1, 1) due to (2.1). Moreover, ω is an almost hermitian form ω(X, Y ) = g(JX, Y ) , ∀X, Y ∈ T X .
(2.5) Therefore 6-dimensional manifolds with an SU(3) structure are almost hermitian manifolds with trivial canonical bundle. We are not done however, as the preservation of supersymmetry also imposes differential conditions on ω and Ψ.

JHEP10(2014)123
Preservation of supersymmetry requires that on X there must exist a metric connection ∇ + with skew-symmetric torsion T = H, where H is the 3-form flux. In other words, the connection symbols are where Γ LC mn p are the Christoffel symbols. The vanishing of the supersymmetric variation of the graviton requires that the spinor η must be covariantly constant with respect to this connection This in turn means that the forms ω and Ψ are covariantly constant The almost complex structure determined by Ψ must also be covariantly constant that is ∇ + is a hermitian connection. It is straightforward to prove that Nijenhuis tensor of J vanishes. Therefore J is integrable and X must be a complex manifold. On a complex manifold there is unique metric hermitian connection which has totally antisymmetric torsion, and this is precisely the connection ∇ + . This connection is called the Bismut connection [59] in the mathematics literature, and its torsion is given by (2.7) Equations for the exterior derivative of ω and Ψ can be obtained from the fact that both ω and Ψ are covariantly constant. One can decompose the exterior derivative of ω and Ψ into irreducible representations of SU(3). For a general SU(3) structure, we have were (W 0 , W ω 1 , W Ψ 1 , W 2 , W 3 ) are the five torsion classes [12,[55][56][57]. Here, W 0 is a complex function, W 2 is a primitive (1, 1)-form, W 3 is a real primitive 3-form of type (1, 2) + (2, 1), W ω 1 is a real one-form, and W Ψ 1 is a (1, 0)-form. The one forms W ω 1 and W Ψ 1 are known as the Lee-forms of ω and Ψ respectively, and they are given by The contraction operator is defined as

JHEP10(2014)123
where α is a k-form, β is a k + p-form, and d is the dimension of the manifold, which in our case is d = 6. Under a change of scale Ψ → λΨ, λ ∈ C * , the Lee-forms W ω 1 and W Ψ 1 , and W 3 are invariant, however The vanishing of the Nijenhuis tensor, and thus the integrability of the complex structure J, is equivalent to the vanishing of W 0 and W 2 (note that these are the only torsion classes that scale under Ψ → λΨ). Also, for the Bismut connection the Lee-forms are related by [57] Re(W Ψ 1 ) = W ω 1 .
Therefore, the exterior derivatives of ω and Ψ are Note that ∂ W Ψ 1 = 0 as can be seen by taking the exterior derivative of the second equation. The vanishing of the supersymmetric variation of the dilaton gives a further constraint: the Lee-form of ω must be exact with Therefore, the equation for dω gives that is, the manifold X is required to be conformally balanced. Furthermore, the equation for dΨ means that X must have a holomorphically trivial canonical bundle In this paper, a complex conformally balanced manifold X with a holomorphically trivial canonical bundle will be called a manifold with a heterotic structure.

Constraints on the vector bundle V
The vanishing of the supersymmetric variation of the gravitino imposes conditions on the bundle V . More precisely, the curvature of the Yang-Mills connection satisfies The first condition is equivalent to F (0,2) = 0, that is, V must be a holomorphic bundle.
The second equation states that the curvature F must be primitive with repect to ω. Both conditions together mean that V must admit a Hermitian Yang-Mills connection. Because the right hand side of equation (2.11) is zero, we say that the connection on V is an JHEP10(2014)123 instanton. We will be working with manifolds which are in general not Kähler, however we will take a moment to discuss the case where X is Kähler. When X is Kähler, the existence of a Hermitian Yang-Mills connection on V is guaranteed by the work of Donaldson [60] and Uhlenbeck and Yau [61,62]. We have the following theorem: Theorem 1 (Donaldson, Uhlenbeck-Yau). A polystable holomorphic vector bundle V over a compact Kähler manifold X, with hermitian form ω, admits a unique Hermitian Yang-Mills connection.
The stability refers to the slope µ(V ) of V which is defined as .
Note that the Hermitian Yang Mills connection is unique, up to gauge transformations, for a given holomorphic structure on the bundle. Buchdahl [63] (for the case of complex surfaces) and, Li and Yau [42] (for higher dimensional complex manifolds) generalised this theorem to non-Kähler manifolds which admit a Gauduchon metric. A Gauduchon metricĝ on a hermitian n dimensional manifold with corresponding hermitian form ω is a metric that satisfies ∂∂ ω n−1 = 0 .
For n = 3, and a manifold X which has an SU(3) heterotic structure, this means that is Gauduchon, as it satisfies the balanced condition Theorem 2 (Buchdahl, Li-Yau). Let X be a compact hermitian manifold with a Gauduchon metricĝ and corresponding hermitian form ω. A polystable (with respect to the class [ ω 2 ]) holomorphic vector bundle V over X admits a unique Hermitian Yang-Mills connection.
The stability refers to the slope µ(V ) of V which is now defined as

JHEP10(2014)123
and it states that for all sub-sheaves E of V it must be true that Therefore, when X has a heterotic SU(3) structure, we require the bundle V to be a polystable (with respect to the class [e −2φ ω 2 ]) holomorphic bundle, which thus guarantees the existence of Hermitian Yang-Mills connection on V . For heterotic string compactifications, the relevant vector bundles have c 1 (V ) = 0 and so the slope vanishes µ(V ) = 0. In fact, for the gauge bundle, the gauge group is a subgroup of E 8 ×E 8 . Also, as we will see in the next section, we require that T X be stable too, and so µ(T X) = 0 because X has vanishing first Chern class.

Constraints from the anomaly cancelation and equations of motion
Apart from the constraints from supersymmetry, the pair (X, V ) must also satisfy an anomaly cancelation condition where B is a real 2 form, A is the gauge connection for V , Θ I is the connection for T X, and CS[A] and CS[Θ I ] are the Chern-Simons 3-forms for these connections defined by where R I is the curvature on X with respect to a connection ∇ I on T X which we discuss below. The term W is a non-perturbative correction which is a closed 4-form on X in a cohomology class which corresponds to the Poincaré dual of the class of an (effective) holomorphic curve C which is wrapped by a five-brane. A topological condition derives from equation (2.13) where P 1 (E) represents the first Pontryagin class of a bundle E. In this paper we will ignore the non-pertubative correction W. Any solution (X, V ) of the supersymmetry conditions described in this section (that is, X has a heterotic SU(3)-structure and V is a poly-stable holomorphic bundle on X) which also satisfies the anomaly cancelation condition, automatically satisfies the equations of motion if and only if the connection ∇ I satisfies

JHEP10(2014)123
That is, the connection ∇ I of the curvature R I of the tangent bundle T X must be an SU(3) instanton [2,41,64,65]. By the theorem of Li and Yau above, such a connection exists only if we require (T X, ∇ I ) to be a stable holomorphic bundle on X. We describe in more detail in the appendix and in a companion paper [41] the delicate issue of the choice of connection ∇ I in relation to the α expansion. We note here however that, to first order in the α expansion, with the usual supersymmetry transformations, this connection is the Hull connection [2], and that it is easy to verify (see appendix) that this connection does satisfy equations (2.15) and (2.16) to this order. In this paper, we take the connection ∇ I to be an instanton as in equations (2.15) and (2.16). Moreover, we will see that this connection needs to be promoted to a dynamical field to be able to understand the full moduli space of heterotic compactifications.

Summary
We are interested in the moduli of heterotic string compactifications which preserve N = 1 supersymmetry. In this paper we will refer to the pair (X, V ) as a heterotic compactification if it satisfies the Strominger system of equations as follows: • (X, ω, Ψ) has a heterotic SU(3) structure, that is • The bundle V on X must admit a connection A with curvature F taking values in End(V ), which satisfies the hermitian Yang-Mills equations Therefore, we require V to be a polystable holomorphic bundle.
• The bundle T X on X must admit a connection Θ I with curvature R I taking values in End(T X), which satisfies the hermitian Yang-Mills equations Therefore, we require T X to be a stable holomorphic bundle.
• The flux H (which is the torsion of the Bismut connection) and the connections A and Θ I must satisfy the anomaly cancelation condition which is Therefore the curvatures F and R I and H must satisfy the Bianchi identity

JHEP10(2014)123 3 Infinitesimal moduli of heterotic compactifications
In this section we study the space of infinitesimal deformations of a heterotic compactification (X, V ). As described in detail in the following subsections, this moduli space contains the following parameters: • Deformations of the complex structure J on X (which is determined by Ψ). It is well known that first order deformations ∆ of the complex structure which preserve the integrability of the complex structure belong to H (0,1) ∂ (X, T X). These deformations ∆ are constrained by requiring that Ω stays holomorphic which in turn requires that deformations of the complex structure are in H . Moreover, they are also constrained by the requirement that the holomorphic conditions of the bundles V (F ∧ Ψ = 0) and T X (R I ∧ Ψ = 0) be preserved. We also find a further constraint on ∆ coming from the anomaly cancelation condition. As the stability of both V and T X is not spoiled by first order deformations of J which preserve the holomorphicity condition of both bundles, the theorem by Li and Yau guarantees that on the deformed heterotic compactification (X , V ) there is a connection on V and (T X) which satisfies the instanton equations.
• Deformations of the bundle V for a fixed complex structure J and hermitian form ω on X, that is, those deformations of V which are not accounted for by deformations of Ψ and ω. These are the bundle moduli of V which belong to H . Similarly, we have deformations of the holomorphic tangent bundle T X, the tangent bundle moduli, which belong to H (0,1) ∂ ϑ I (X, T X)). Note that we are considering the instanton connection as an unphysical field in the theory. We find that this is needed for the appropriate implementation of the anomaly cancelation condition, but we do not consider these moduli as corresponding to physical fields in the effective four dimensional field theory. 4 • Deformations of the hermitian structure ω which preserve the conformally balanced condition which are constrained by the anomaly cancelation condition.
We leave the study of obstructions to these deformations for future work.

First order deformations of heterotic SU(3) structures
Let (X, ω, Ψ) be a manifold with a heterotic SU(3) structure. In this subsection we discuss first order variations of a heterotic SU(3) structure. Consider a one parameter family of manifolds (X t , ω t , Ψ t ), t ∈ C, with a heterotic SU(3) structure where we set (X, ω, Ψ) = (X 0 , ω 0 , Ψ 0 ). A deformation of the heterotic SU(3) structure parametrized by the parameter t corresponds to simultaneous deformations of the complex structure determined by Ψ together with those of the hermitian structure determined by ω, such that the heterotic SU(3) structure is preserved. Hence the variation JHEP10(2014)123 with respect to t of any mathematical quantity α (as for example a p-form, or the metric) is given by the chain rule as follows where we label the complex structure parameters by z a and by y i the parameters of the hermitian structure 5 Note that Ψ is independent of the hermitian structure parameters, however ω does depend on the complex structure as it must be a (1, 1)-form with respect to any complex structure. Therefore the moduli space M X of the manifold X must have the structure of a fibration. We discuss this structure in the following sections.

Variations of the complex structure of X
We begin this subsection by reviewing standard results on variations of an integrable complex structure J of a manifold X. With respect to J, the exterior derivative ∂ which acts on forms on X, squares to zero, that is ∂ 2 = 0. This condition is equivalent to the vanishing of the Nijenhuis tensor. Conversely, a derivative ∂ which squares to zero defines an integrable complex structure on X. In fact, it determines a holomorphic structure on X.
Let z a , a = 1, . . . , N CS , be complex structure parameters and ∆ m a be a variation of the complex structure It is a standard result that ∆ m a ∈ Ω (0,1) (X, T X (1,0) ). Further, preservation of the integrability of the complex structure under variations requires to first order that ∆ m a defines an element of H (0,1) ∂ (X, T X). The integrability to first order is guaranteed (using the Maurer-Cartan equations) if ∂∆ a = 0, and ∂-exact forms ∆ a correspond to trivial changes of the complex structure (that is, holomorphic changes of the complex coordinates).
Equivalently, as the form Ψ on X determines a unique integrable complex structure J on a manifold with a heterotic structure X, one can study the variations of J in terms of the variations of Ψ. It will be more convenient however to discuss these deformations in terms of the holomorphic (3, 0) form. Define

First order variations of Ω have the form [66, 67]
where the K a depend on the coordinates on X, and χ a is a (2, 1)-form which can be written in terms of ∆ a Actually, we can prove that one can take the K a to be constants. 5 We will need to extend this later to include variations of the bundles.
Using the proposition, we can now write equation (3.1) as where now the K a are constants and we have ignored the ∂-exact term. This term can be ignored because it corresponds to changes in Ω due to diffeomorphisms of X, that is, trivial deformations of the complex structure. This can be seen by computing the Lie-derivative of Ω along a vector V ∈ T X which gives where we have used the fact that dΩ = 0. Taking the (3, 0) part of this equation, we obtain which is precisely a ∂-exact (3, 0)-form, and any (2, 0)-form can be written as v Ω for some v ∈ T X. The integrability of the deformed complex structure given by equation and demanding that the deformed manifold admits a holomorphic (3, 0)-form. We find Therefore each χ a defines a class in the de-Rham cohomology as d-exact (2, 1)-forms correspond to diffeomorphisms of X, as can be seen from equation (3.4). We remark that using the holomorphicity of Ω, and equation In fact, Ω gives an isomorphism between these cohomology groups (just like in the case of Calabi-Yau manifolds) [68] H However, on a non-Kähler manifold with a holomorphically trivial canonical bundle, it is not necessarily the case that H d (2,1) (X) ∼ = H ∂ (2,1) (X) and it is generally the case that The way to see this is by observing that first order variations of (3.5) require, not only that χ a is ∂-closed, but also that it is ∂-closed. Therefore, in a given class of [ there must exist a representative which is ∂-closed and is not d-exact. This is not always the case, and there are many examples of non-Kähler manifolds for which this happens. A simple example with a heterotic SU(3) structure is the Iwasawa manifold. 6 It is not too hard to show that for this example [69] dimH d (2,1) (X) = 4 , and dimH ∂ (2,1) (X) = 6 .
There are also many examples of non-Kähler manifolds for which like for example manifolds which are cohomologically Kähler, that is, which satisfy the ∂∂-lemma, a property which is stable under complex structure deformations [70,71]. Note that the Iwasawa manifold does not satisfy the ∂∂-lemma.
The condition that each χ ∈ H ∂ (2,1) (X) also satisfies ∂χ = 0 is used in [68] as a first step to discuss the obstructions to first order deformations of the complex structure J of Calabi-Yau manifolds, and it is stated in that proof that it goes through even if the manifold is not Kähler, as long as it satisfies the ∂∂-lemma. In our work, the requirement that ∂χ = 0 appears at first order in deformation theory when discussing the deformations JHEP10(2014)123 of the complex structure in terms of the variations of Ω and it represents a necessary condition for integrability to first order. Issues including the integrability of the deformed complex structure of X and a generalisation of the work of Tian and Todorov [68,72], are discussed in a forthcoming paper [47]. For the rest of this paper, we work with the variations of the complex structure in terms of ∆, but we should keep in mind that some of these elements may be obstructed as discussed.

Deformations of the hermitian structure on X
Recall that a manifold with a heterotic structure X has a hermitian form given by ω, and that ω satisfies that is, X is conformally balanced. This equation varies with respect to the complex structure (because ω is a (1, 1) form) and the hermitian structure.
where ω = e −φ ω is the Gauduchon metric. The conformally balanced condition is equivalent to dρ = 0 , and soρ ∈ H 4 d (X). Any variation ofρ must preserve this condition, that is Consider the action of a diffeomorphism of X onρ Therefore, variations ofρ which preserve the conformally balanced condition correspond to d-closed four forms modulo d-exact forms which have the form dβ, where β is a nonprimitive three-form. So this space is not necessarily finite dimensional as was first pointed out in [18]. As we will see, when taking into account the anomaly cancelation condition, we obtain a finite dimensional parameter space. For the remainder of this section, we set up some notation and make some further remarks on the deformations of hermitian structure of X.
Consider a variation, ∂ t ω, of ω. We can decompose this variation in terms of the Lefshetz decomposition where λ is a function on X and h t is a primitive two form (ω h t = 0). It is not too difficult to show that the (0, 2)-part of the variation, h which expresses the fact that with respect to the complex structure J determined by the (3, 0)-form Ψ = e 2φ Ω, the hermitian form ω is a (1, 1)-form. Varying equation (2.1) and using (3.3), we find Contracting with Ω we obtain h and where we have used equation (3.2). Therefore, the (0, 2)-part of the variation of ω is entirely determined by the allowed variations of the complex structure of X, and there are no new moduli associated to h (0,2) a . We would like to remark that it has been known for over 20 years in mathematics that the conformally balanced condition is not stable under deformations of the complex structure [43][44][45][46]. This is in sharp contrast with the theorems of Kodaira and Spencer for the stability of the Kähler condition under deformations of the complex structure [66,67]. In fact, we have that under deformations of the complex structure alone (see also [17] where the authors consider deformations of the complex structure only) which seems to be a difficult equation to satisfy.
Returning now to the variation of the conformally balanced condition for the hermitian structure we have the following proposition.
Proposition 2. Let and * be the contraction operator and the Hodge dual operator with respect to the Gauduchon metric respectively. The variation of the conformally balanced condition for the hermitian structure in terms of deformations of the complex structure leaving the ∂ †-closed part undetermined, as long as we assume that the tangent bundle is stable and has zero slope.
Proof. From equation (3.9) we get where d † is the adjoint of the exterior derivative d with respect to the Gauduchon metric, and where we have used equations (3.7), andĥ t = e −φ h t andλ t = λ t − ∂ t φ. Consider the (1, 0) part of this equation On a manifold with a stable tangent bundle and zero slope, one can prove that the left hand side of this equation is ∂ †-coexact because The last equality follows from slope-zero stability, and the isomorphism of cohomologies is due the Ω isomorphism (that is, for every element in s m ∈ H 0 ∂ (T X) we have an element in H for some (2, 1)-form Λ. Recall thatĥ (2,0) t is completely determined by the complex structure deformations (see equation (3.8)). It follows that Λ (2,1) is also given in terms of complex structure variations. Equation (3.10) can now be written as which means that the left hand side is entirely determined by variations of the complex structure. Moreover, using the Hodge decomposition, we find that this equation determines, as claimed, the ∂-exact part of the (1, in terms of deformations of the complex structure, and leaves the ∂ †-closed part undetermined. By enforcing the anomaly cancelation condition, we will able to fix these parameters further. In fact, we will argue later in section 3.5 that, by enforcing the anomaly cancelation condition, the moduli space of the (complexified) hermitian form is finite dimensional and related to the cohomology group Finally, before continuing with our analysis of the moduli space of the Strominger system, we would like to point out that in [47] we show that one can consider a one parameter family of manifolds (X t , Ψ t , ω t ) with a heterotic structure such that, for t ∈ R, the family has an integrable G 2 structure or, for t ∈ C, the family has a certain SU(4) or Spin(7) structure. Requiring that the family admits one of these G-structures guarantees that the heterotic structure, and hence the conformally balanced condition, is satisfied. Conversely, one can construct manifolds with one of these G structures which have embedded a family manifolds with a heterotic SU(3) structure. We find that this is very interesting for applications to F -theory and M -theory.

Variations of the holomorphic structure on V
In this subsection, we study deformations of the holomorphic structure of V . The study of deformations of the holomorphic bundles has a long history in mathematics. In this section, of particular relevance is the work of Atiyah [48] which considers the parameter space of simultaneous deformations of the complex structure on a manifold X together with those of the holomorphic structure on V . This work has already been applied to the case in which X is a Calabi-Yau manifold [49,50], and in this section we extend it to the more general case of a manifold with a heterotic SU(3) structure. We will do this in detail, even though not much is different for this part of the parameter space, as it is the structure that we encounter here that generalises when we include the more complicated anomaly cancelation condition.
Consider now a one parameter family of heterotic compactifications (X t , V t ) t ∈ C where we set (X 0 , V 0 ) = (X, V ). We study simultaneous deformations of the complex structure determined by Ψ and the holomorphic structure on V . Hence the variation with respect to t of any mathematical quantity β (which may have values in V or EndV ) is given by the chain rule as follows where we label the bundle moduli by λ α .
Let F be the curvature of the bundle V where and where A ∈ Ω 1 (X, End(V )) is the gauge potential. Let β ∈ Ω (0,q) (X, EndV ). 7 We can define an exterior derivative on V by where, [A, ] is defined by A holomorphic structure on V is determined by the derivative ∂ A which is defined as the (0, 1) part of the operator d A , that is, where A is the (0, 1) part of A. It is easy to prove that Consider now what happens to the holomorphicity of the bundle V under deformations of the complex structure of X. Varying equation (2.10) and using (3.3), we find 14)

JHEP10(2014)123
where we have used equation (3.2). On the other hand, varying (3.11) we find that where α a is the (0, 1) part of the variation of A. Putting together equations (3.14) and (3.15) we find This equation represents a constraint on the possible variations ∆ a of the complex structure J on X.
Consider the map given by We have the following theorem:

19)
and therefore the map F is a map between cohomologies Proof. Using equation (3.13) The last term vanishes for every ∆ m ∈ Ω (0,1) (X, T (0,1) ) due to the Bianchi identity for the curvature F ∂ A F = 0 .
In fact, this Bianchi identity implies that where P and Q are the projection operators
Therefore we have proven equation (3.19), which also implies that and so F is a map between cohomologies as in equation (3.20).
We will refer to the map F as the Atiyah map for F . It is worth remarking that this map is well defined as a map between cohomologies. In fact, as under gauge transformations the curvature F is covariant, then so is F(∆). Therefore, equation (3.19) is invariant under gauge transformations.
In terms of the map F, the constraint (3.16) on the variations of the complex structure ∆ a ∈ H (0,1) ∂ (X, T (1,0) X) can now be written as The tangent space T M 1 of the moduli space of combined deformations of the complex structure and bundle deformations, keeping fixed the hermitian structure, is given by where H (0,1) ∂ A (X, End(V )) is the space of bundle moduli. These results can be restated in a way that will be suitable for generalisations later when we include the other constraints on the heterotic compactification (X, V ). Define a bundle Q 1 which is the extension of T X by End(V ), given by the short exact sequence with extension class F. There is a holomorphic structure on Q 1 defined by the exterior derivative ∂ 1 which acts on Ω (0,q) (Q 1 ) and squares to zero, ∂ Proof. Let α ∆ ∈ Ω (0,q) (X, End(V )) ⊕ Ω (0,q) (X, T X) .

JHEP10(2014)123
Then We remark that ∂ 2 1 = 0 is due to the Bianchi identity for the curvature ∂ A F = 0. The infinitesimal moduli space of the holomorphic structure ∂ 1 on the extension bundle Q 1 , which is given by can be computed by a long exact sequence in cohomology (for more details see [49]) where the Atiyah map F is the connecting homomorphism as can be deduced from theorem 3. Another way to see that the connecting homomorphism is given by the extension class F is from its definition where we have used the definition of ∂ 1 above. In the computation of the long exact sequence (3.25), we have used H 0 ∂ (X, T X) = 0 , because µ(T X) = 0 and we require T X to be a stable bundle. Thus, we also have H 0 (X, Q 1 ) ∼ = H 0 (X, End(V )) . (3.27) Recall that for a stable bundle V dimH 0 (X, End(V )) ≤ 1 .
There are non-trivial sections whenever the trace of the endomorphisms is non-vanishing. Then, for a polystable bundle whereñ is the number of bundle factors which have endomorphisms non-vanishing trace, and we subtract one as the overall trace should vanish. Finally, we find, by exactness of the sequence (3.25), that in agreement with equation (3.23).

JHEP10(2014)123
3.3 Variations of the holomorphic structure on T X We now extend our results to include deformations of the holomorphicity condition (2.15) of the tangent bundle T X under deformations of the complex structure of X. Basically, we repeat the analysis above. Let R I be the curvature of the tangent bundle and where Θ I ∈ Ω 1 (X, End(T X)) is the tangent bundle instanton connection. Let β ∈ Ω (0,q) (X, T X). We define an exterior derivative on T X by A holomorphic structure on T X is determined by the derivative ∂ ϑ I which is defined as the (0, 1) part of the operator d Θ I , that is, where ϑ I is the (0, 1) part of Θ I . It is easy to prove that ∂ ϑ I 2 = 0 only if R I (0,2) = 0.
Varying equation (2.15) and using (3.3), where we have used equation (3.2). On the other hand, varying (3.28) we find that where κ a is the (0, 1) part of the variation of Θ I . Putting together equations (3.14) and (3.31) we find ∂ θ i κ a = ∆ a m ∧ R I mn dx n . given by We have the following theorem:

35)
and therefore the map R I is a map between cohomologies (X, End(T X)) . (3.36)

JHEP10(2014)123
Proof. The proof is just like that for theorem 3 and follows from the Bianchi identity We will refer to the map R I as the Atiyah map for R I . We remark that this map is also well defined as a map between cohomologies because equation (3.35) is invariant under gauge transformations.
In terms of the map R I , the constraint (3.32) on the variations of the complex structure ∆ a ∈ H (0,1) ∂ (X, T (1,0) X) can now be written as so R I ∆ a must be exact in H The tangent space of the moduli space T M 2 of allowed combined deformations of the complex structure, bundle deformations and tangent bundle deformations, keeping fixed the hermitian structure, is now given by where H (0,1) ∂ ϑ I (X, End(T X)) is the space of deformations of the connection ∇ I on tangent bundle T X. These results can be restated in terms of an extension E of the bundle Q 1 . Define a bundle E which is the extension of Q 1 by End(T X), given by the short exact sequence with extension class R I . There is a holomorphic structure on E defined by the exterior derivative ∂ 2 which acts on Ω (0,q) (E) and squares to zero.
The infinitesimal moduli space of the holomorphic structure ∂ 2 on the extension bundle E, which is given by can be computed by a long exact sequence in cohomology as in the previous section where the Atiyah map R I is the connecting homomorphism as can be deduced from theorem 4. Note that in this computation we have used equation (3.27), and so the Atiyah map R I acts trivially from the zeroth level to the first level. This induces a splitting between the zeroth and first level of the long exact sequence, and so The last equality follows from the stability of T X, and the fact that the endomorphisms in spin(6) are traceless. 8 Then we find that the infinitesimal moduli space of the extension E is .
We remark again that the deformations in H (0,1) ∂ ϑ I (X, End(T X)) should not correspond to any physical fields.

Stability and variations of the primitivity conditions for the curvatures
Before considering the constraints from the anomaly cancelation condition, in this section we discuss variations of the primitivity conditions for the curvatures of V and T X ω F = 0 , ω R I = 0 .
These conditions should be preserved under a general deformation, in particular under the deformations of the bundle E discussed earlier, but also including deformations of the hermitian parameters. In fact, a polystable bundle remains polystable [52] under deformations ∆ of the complex structure J of X which preserve the holomorphicity of V and T X, that is for ∆ ∈ ker(F) ∩ ker(R I ) .
Moreover, the theorem of Li and Yau [42] guarantees that as the deformed bundles V t and (T X) t are polystable and holomorphic, then there are connections on V t and (T X) t

JHEP10(2014)123
which satisfy the instanton equations, in particular, such that the deformed curvatures are primitive with respect to the hermitian structure. We generalise this result below to include deformations of the hermitian structure so that, for X with a heterotic SU(3) structure, in particular on a conformally balanced manifold, a general variation of the primitivity conditions of the curvatures which preserves the primitivity conditions does not pose any constraints on the first order moduli space whenever the bundle is stable.
We study the gauge bundle. A completely analogous result is obtained for the instanton connection ∇ I on T X. Under a general variation the instanton equation becomes and therefore This equation means that F acquires a non-primitive part under a general deformation where f t is a primitive (1, 1)-form, ω f t = 0. Note that this non-primitive part of ∂ t F depends on the variations of the hermitian form and it is needed so that F t is primitive with respect to ω t . On the other hand, considering instead a general variation of F using equation (3.11). We find where −A † is the (1, 0) part of the gauge connection A, 9 α t is the (0, 1) part of ∂ t A as before, b t is the (1, 0) part of ∂ t A, and the operator ∂ A † is the (1, 0) part of the covariant exterior derivative d A defined in equation (3.12). This operator is given by where β ∈ Ω (0,q) (X, End(V )). It is easy to prove that this operator also squares to zero, Putting together equations (3.41) and (3.42) we obtain a relation which seems to represent a constraint on the moduli space of hermitian structures h t . However for stable bundles this is not the case. 9 We set A = A − A † so that A is antihermitian.

JHEP10(2014)123
which gives the contribution to the non-primitive part in the (1, 1) variation of F where f t is primitive with respect to ω. On a conformally balanced manifold, with a stable holomorphic vector bundle V , such that the endomorphisms of V are traceless, there are no gauge bundle parameters on the right hand side of equation (3.44), and there is always a gauge transformation so that (3.44) is satisfied for any variation h t of the hermitian structure ω.
Proof. Letĝ mn = e −φ g mn be the Gauduchon metric and ω = e −φ ω be the corresponding Gauduchon hermitian form. Let and * be the contraction operator and the Hodge dual operator with respect to the Gauduchon metric respectively. Then Because on a conformally balanced manifold dρ = 0, we have where we have used the fact that b t is a (1, 0)-form and a t is a (0, 1)-form. We have also used * β = e (p−3)φ * β , which is true for any p-form β in six dimensions. We now note that the operators on the right hand side in the last equality are the adjoints, with respect toĝ, of the differential operators ∂ A and ∂ A † given by Using these operators, we now have where † means the adjoint of the operators taken with respect to the Gauduchon metric. Consider now the Hodge decomposition of α t where ∈ Ω 0 (X, EndV ), η ∈ Ω (0,2) (X, EndV ) and α har t is the ∂ A -harmonic part of α t (using the Gauduchon metric). We have a similar decomposition for b t with respect to the operator ∂ A † ,

JHEP10(2014)123
Then Then, equation (3.44) becomes Any variations a t and b t of A corresponding to a gauge transformation, and which is therefore trivial, is of the form for some { t ,˜ t } ∈ Ω 0 (X, EndV ). Therefore there are no bundle parameters on the right hand side of equation (3.45). Consider the Laplacians and let ∆ ∂ A and ∆ ∂ † A be the corresponding Laplacians with respect to the Gauduchon metric. Then we can write equation (3.45) as whereĥ t = e −φ h t and is the contraction operator with respect to the Gauduchon metric. This equation means thatĥ (1,1) t F , which belongs to the space Ω 0 (X, End(V ), is in the image of Laplacians which are elliptic operators. Therefore, whenever the kernel of these Laplacians is trivial, the image of the Laplacians spans all of the space Ω 0 (X, End(V ) and equation (3.46) always a solution for anyĥ (1,1) t . This is precisely the case for a stable bundle V because H 0 (EndV ) = 0 for traceless endomorphisms.
We conclude that, for stable vector bundles V with traceless endomorphisms, equation (3.46) poses no constraints on the deformations of the hermitian moduli.
A similar result follows for the tangent space T X. We see then that variations of the instanton equations ω F = 0 , and ω R I = 0 , impose no constraints on the variations h t of the hermitian form ω, nor do they give a relation between these and the moduli of the bundles, provided the bundles are stable with traceless endomorphisms. It should be noted however that first order deformations may be obstructed and that stability or the Yang-Mills conditions may be spoiled. If, on the other hand, the bundle V = ⊕ i=1 V i is polystable, we then need to satisfy the Yang-Mills condition for each separate factor V i , each of which need not be separately

JHEP10(2014)123
traceless and thus could have non-trivial zeroth cohomology. In this case, (3.46) could potentially constrain the hermitian moduli for each bundle factor V i of non-trivial trace. 10,11 We will come back to these issues, and in particular to the general case of polystable bundles, when we include the anomaly cancelation conditions in the context of the Strominger system. As we will see the constraints in equation (3.46) are naturally taken care of in our computations of moduli space of the Strominger system.

Constraints from the anomaly cancellation condition
We construct an extension bundle Q of E such that Q has a holomorphic structure, and which allows for the implementation of the anomaly cancelation condition equation (2.13) Moreover, using deformation theory of holomorphic bundles, we will show that this construction results in a description of the moduli space of heterotic compactifications (X, V ). We begin by defining a map H as follows: where f m = F mq Q n q dx n , and r I m = R I mq Q n q dx n , and where, as before, ∆ is valued in T (1,0) X, α is valued in End(V ), and κ is valued in End(T X).

Theorem 6.
∂(H(x)) = −H(∂ 2 (x)) , ∀x ∈ Ω (0,q) (X, E) , (3.49) and therefore the map H is a map between cohomologies (3.50) 10 We would like to thank James Gray for pointing this out. The first version of this paper on the arXiv did not include this subtlety. 11 See also [73], where the Yang-Mills conditions where related to D-term conditions in the-four dimensional effective field theory, in the case of polystable sums of line bundles on Calabi-Yau manifolds.

JHEP10(2014)123
Proof. Recall and we obtain (3.52) The last two terms vanish because of the Bianchi identities for F and R I , in particular, because of equation (3.21) P m p ∂ A f p = 0, and the analogous one for R I . The other terms cancel due to the Bianchi identity of the anomaly cancelation condition (2.13). In fact, the Bianchi identity is equivalent to which implies The Atiyah map H is well defined as a map between cohomologies. To see this we need to prove that the class H(x) ∈ H (0,q+1) ∂ (X, T * (1,0) X) and that equation (3.49)

are invariant under gauge transformations. Recall that under a gauge transformation
where Φ takes values in the Lie algebra of the structure group of the bundle V . This implies that Let α ∈ Ω (0,q) (X, End(V )). Then, under a gauge transformation

JHEP10(2014)123
where Y ∈ Ω (0,q−1) (X, End(V )). Thus, the term tr(f m ∧ α) in H(X) transforms as As the last term vanishes due to the Bianchi identity for F , we find that under a gauge transformation H(x) changes only by a ∂-exact part, and therefore the class H(x) ∈ H (0,q+1) ∂ (X, T * (1,0) X) is gauge invariant. To prove that equation (3.49) is gauge invariant, we note first that ∂H(x) is invariant. On the other hand, H(∂ 2 x) is also invariant because and so the term tr(f m ∧ (∂ A α + F(∆))) in H(∂ 2 x) is invariant (see equation (3.51)). The argument for the other term tr(r I m ∧ (∂ ϑ I κ + R(∆))) in H(∂ 2 x) is similar. We now construct a bundle Q by extending E by T * X given by the short exact extension sequence 12 with extension class H. We define a holomorphic structure on Q by defining the operator D on Q Clearly, by theorems 2 and 6 It is worth pointing out that the construction of the operator D such that it squares to zero, a condition we have seen is equivalent to implies the Bianchi identity (2.12). This is clear as this equation implies (see equation (3.52)) In particular, It follows that H mn = 0, which is equivalent to the Bianchi Identity. We thus have that D 2 = 0 if and only if the Bianchi identities for F , R I and H are satisfied.

JHEP10(2014)123
Deformations of the holomorphic structure determined by D correspond to elements of H (0,1) D (X, Q). We will compute this cohomology by the usual means of a long exact sequence in cohomology. We have defined above a short exact extension sequence with extension class H. This gives rise to a long exact sequence in cohomology where, by theorem 6, the connecting homomorphism is H, and where we denote by H q the map H when we need to make it clear that it is acting on (0, q)-forms. In the long exact sequence above, note that where the vanishing of this cohomology follows from the fact that by zero-slope stability and The second isomorphism is due to complex conjugation and the third comes from Hodge duality. The fourth isomorphism is given by the holomorphic no-where vanishing (3,0) form Ω [68]. For every element β m ∈ H (0,q) ∂ (X, T X), there is an element The map is an isomorphism because of the properties of Ω and the fact that Ω(∂β) = ∂(Ω(β)) .
We are now ready to write the infinitesimal moduli space of holomorphic structures of the extension Q. By exactness of the sequence (3.56), it follows that is the tangent space to the moduli space of deformations of the holomorphic structure defined by D on Q. As we have remarked, the Bianchi identities give rise to a holomorphic structure on Q defined by D and H. The elements in the factor correspond to those deformations of the holomorphic structure on E which preserve the holomorphic structure of the co-tangent bundle T * X. and the elements in the factor M HS = H 1 ∂ (X, T * X) Im(H 0 ) are the moduli of the (complexified) hermitian structure. In the following subsections we interpret in detail the elements in H

The Yang-Mills condition revisited
In the computation leading to (3.57), we found that we need to take the quotient by Noting that (see equation (3.47)) which may be non-trivial whenever H 0 (X, End(V )) is non-trivial, that is, when the bundle V = ⊕ i V i is polystable with bundle factors V i for the which End(V i ) has non-vanishing traces. Let V i be such a stable bundle with End(V i ) has non-vanishing traces, and let where the C corresponds to the trace of the endomorphisms. These correspond of course to sections of End(V i ) by the Dolbeault theorem. Without loss of generality, we may assume that this section takes the form c i I i , where c i is a constant, and I i is the identity on isomorphisms, which is part of the Lie-algebra for algebras of non-trivial trace. We may therefore assume that a generic section takes the form where the constants c i are such that α is traceless. It follows that the elements in Im(H 0 ) are of the form 13 where the brackets refer to cohomology classes. We claim that this is precisely the constraint on the moduli enforced by the Yang-Mills condition. As we have seen (Theorem 5), the Yang-Mills conditions pose no extra conditions on the moduli for stable bundles. If, on the other hand, the vector bundle is polystable, then these conditions may introduce constraints on the moduli. The constraint is exactly of the form above, and we take a moment to explain why.
Let V i be a stable bundle of nonzero trace.
we must have that the Yang-Mills condition for a bundle V i is, 13 Note that Im(H0) = { i citrFi} without any further constraints on the constants ci. This is due to the fact that i citrFi = i (ci + K)trFi for any constant K, as i trFi = 0.

JHEP10(2014)123
As noted before, it is only the trace part of the bundle that can impose non-trivial constraints from this condition. Taking the trace and using instead the Gauduchon metricω this condition becomesωˆ tr F i = 0 . (3.59) Varying equation (3.59), and performing a computation similar to that leading to equation (3.46), we obtain that on a conformally balanced manifold Equivalently, this condition means that where the integration is done with respect to the Gauduchon metric. Considering the Hodge decomposition of ∂ tω with respect to the ∂ operator and the Gauduchon metric, it is easy to see that the ∂ †-exact piece drops out from the inner product. Hence, only the ∂-closed part contributes that is, the elements in H (1,1) ∂ (X). 14 These correspond to the (imaginary part of) the hermitian moduli. However, the vanishing of the inner product implies that we should also mod out by forms proportional to trF i in the hermitian moduli, or more generally, by terms proportional to i c i tr F i .
Interestingly, by computing the first cohomology H 1 D (X, Q), which gives the tangent space T M of the moduli space of holomorphic structures on Q at D, we find that the instanton condition gets implemented for free. This is not surprising, as discussed in the next section, where we consider T M in more detail. As we will see, this is naturally included in the quotient by D-exact terms.

The moduli space of the Strominger system
We now claim that the tangent space of the moduli space of the Strominger system, is given by H (0,1) D (X, Q) in equation (3.57). The extension bundle Q, with extension class H in equations (3.55) and (3.48), with the holomorphic structure D in equation (3.54) determined by the Bianchi identities, together with the requirement that the bundles V and T X are polystable and that X is conformally balanced is equivalent to the Strominger system. The holomorphic structure D includes the requirement that V and T X should be holomorphic and that X must have an integrable complex structure. Moreover, as we have seen it also implements the anomaly cancelation condition together with the fact that J and ω are covariantly constant with respect to the the Bismut connection (recall that this is reflected in the fact H = J(dω)). Also, the instanton conditions are satisfied automatically by the Theorem of Li and Yau. It is natural to expect therefore that deformations of this structure gives variations of the Strominger system, except that we have to take care of the conformally balanced condition. In this section we elaborate on these issues.
Consider the elements in the cohomology

JHEP10(2014)123
which we would like to interpret as the moduli of the Strominger system. The cohomology group H 1 D (X, Q) is of course the tangent space to the moduli space of deformations of the holomorphic structure on Q given by the differential operator D in equations (3.54) and (3.48). The key issue here is that by preserving the holomorphic structure on Q these moduli correspond to deformations which preserve the Bianchi identities.
We begin with the D-closed elements for x t ∈ Ω (0,1) (X, E) and y t ∈ Ω (0,1) (X, T * X). Clearly, the left hand side of the first equation only involves x t ∈ H (0,1) ∂ 2 (X, E), that is, only involves variations of the holomorphic structure of E. Hence, the moduli in represent those deformations of the holomorphic structure of E which preserve the holomorphic structure on the cotangent bundle T * X. In preserving these holomorphic structures the Bianchi identities are therefore preserved. One can also see this explicity (see below). On the other hand, for a fixed holomorphic structure on E, that is for x t = 0, we have that ∂y t = 0 and so the moduli in correspond to the (complexified) cotangent bundle moduli. Consider now the D-exact forms. Let The D-exact forms satisfy The second equation are the trivial deformations of the holomorphic structure on E corresponding to changes in J due to diffeormophisms changes of the gauge fields from gauge transformations and trivial deformations of J

JHEP10(2014)123
and a similar equation for the trivial deformations of the tangent bundle The first equation in (3.62) can be written as The last three terms come from trivial deformations of the holomorphic structure of E.
Keeping fixed the deformations of the holomorphic structure on E, that is, setting we see that the last term vanishes due to the stability of the tangent bundle T X, which implies that for traceless endomorphisms of T X there are no sections with values in T X H 0 (End(T X)) = 0 .
In this case, the second term, which corresponds to trivial deformations of the complex structure due to diffeomorphisms of X, also vanishes as there are no sections of with values in T X. The third term corresponds to the discussion in the previous section. In fact, since a generic section of End(V ) takes the form in equation (3.58) we have that this term is of the form where [h] represents a class in H (1,1) (X). As we argued in the previous section this implements the instanton condition on the polystable bundle V . We still need to discuss the meaning of the first term in equation (3.63), which is related to the preservation of the conformally balanced condition. We claim that the variations in H (0,1) D (X, Q) preserve the conformally balanced condition. Our results above imply that the deformations of the hermitian structure y t which preserve the anomaly cancelation condition, are (1, 1) forms which are ∂-closed, and that the ∂-exact part is trivial. The fact that the ∂-exact part of y t is trivial is precisely the content of Proposition 2. In fact, in Proposition 2 it was proven that, as long as T X is stable, the preservation of the conformally balanced condition (d∂ tρ = 0) determines the ∂-exact part of the ∂-Hodge decomposition of the (1, 1) form * (∂ tρ ) (2,2) in terms of the deformations of the complex structure of X.
Finally, we would like to compare our results with those obtained by directly varying the anomaly cancelation condition. Recall that and similarly for CS[Θ I ]. The Bianchi identity for the anomaly cancelation condition is The variations of equation (3.64) are given by [74,75] and with ∆ a the complex conjugate of ∆ a . Let (1, 2) part : ∂Z for a deformation of the holomorphic structure of E. Note how equation (3.61) is more restrictive than equation (3.68). The reason for this extra constraint is that we have imposed a holomorphic structure on T * X. This means that the representative of the class Z (0,2) ∈ H (0,2) ∂ (X) must be such that ∂Z (0,2) is ∂-exact if the deformed structure is to remain a holomorphic structure on Q.
A mild assumption on the cohomology of X would guarantee that this condition is satisfied. Suppose that H

JHEP10(2014)123
This condition is very interesting regarding deformations of the heterotic SU(3) structure of the manifold X. It is not too hard to prove that this is enough to guarantee that so that the allowed complex structure variations in this case are counted by the dimension of H (0,1) ∂ (X, T X), and not a subset of this (see section 3.1.1 on deformations of the complex structure of J). These matters are discussed further in [47].
Then we find that and therefore Suppose now that β = ∂λ , for some (0, 1)-form λ. Then equation (3.70) gives for some (2, 0)-form γ, then β is ∂-closed which, when α is ∂ † -closed, it means by the Hodge decomposition of α, that we must have that in fact α = ∂ † γ, and hence the corresponding element β is ∂-exact.

JHEP10(2014)123
Returning now to the moduli space, this result means that Z (0,2) t must be ∂-exact. Hence, equations (3.61) and (3.68) are equivalent and the infinitesimal moduli space is given by equation (3.60). The condition (3.69) is therefore sufficient to ensure that all deformations of the anomaly cancelation condition give rise to the holomorphic structure D on Q as required.
This subtlety regarding deformations of the anomaly cancellation condition versus deformations of the holomorphic structure D deserves a bit more attention. First recall that D is a holomorphic structure on Q if and only if the Bianchi identities hold. Deformations of D, which are the elements of H (0,1) D (Q), therefore correspond to deformations of the Bianchi identities. These correspond to deformations of the anomaly cancellation modulo d-exact terms. One might think that in our scheme the deformations of the anomaly cancellation condition are only defined modulo d-closed terms. However, due to flux quantisation, which states that the closed part of the flux, H 0 = dB, is quantised, we find that closed infinitesimal deformations of the anomaly cancellation condition must be exact. 15 It follows that the elements of H (0,1) D (Q), i.e. deformations of the Strominger system, which of course includes the Bianchi identity, only define deformations of the anomaly cancellation modulo d-exact terms. We can use this ambiguity to get rid of the ∂-exact (2, 1)-piece of the deformation of the anomaly cancellation condition. We might also get an extra ∂-exact piece, but this can be pulled into ∂Z Finally, we note that equations (3.68) give a good interpretation of the elements in H 1 ∂ (X, T * X) in the moduli space as the parameters for the complexified hermitian structure Z (1,1) t as defined in equations (3.67) and (3.66). 16 These include the deformations of the B-field. It should also be noted that modding out the hermitian moduli by Im(H 0 ) also makes sense from this perspective. Indeed, recall the gauge transformation of the B-field required for the field-strength H to remain invariant under gauge-transformations d A t and d Θ η t of A and Θ respectively. It follows from this that trivial deformationsB t , corresponding to gauge transformations, take the form At this point, we are not interested in gauge transformations that change the complex structures. That is, we set ∆ t = ∂ t = ∂η t = 0. It follows that η t = 0 by stability of T X. The same is true for t if V is stable. If V = ⊕ i V i is poly-stable, we may assume by (3.58) that 15 In [74] the authors discuss flux quantisation in relation to the deformations of the anomaly cancelation condition, but not in a slightly different context than ours. 16 This is also obtained in [75] from the dimensional reduction of the 10 dimensional heterotic string theory.

JHEP10(2014)123
where we have used that dtrA i = trF i by symmetry of the trace. It follows that any term in Z (1,1) t which lies in Im(H 0 ) should be considered trivial, and can thus be modded out. Recall also that the D-exact terms (3.63) included modding out by ∂-exact terms. For the ∂ t ω (1,1) -term in Z (1,1) t , this could be understood as preserving the conformally balanced condition. As forB (1,1) t , recall that in addition to (3.71), the B-field also has the gauge transformation B t gauge = dλ t . (3.73) The (1, 1)-part of this reads The first term is ∂-exact, and can be understood as a trivial deformation of the antiholomorphic (1, 0)-type structure on T * X. The last term corresponds to trivial deformations of the holomorphic striucture.

Conclusions and future directions
In this paper, we have discussed the first order deformations of the Strominger system. We have seen that the system can be described in terms of certain holomorphic structures on bundles over the base manifold X, and we have studied the first order deformations and moduli related to these structures. Studying first order deformations of holomorphic structures is easier than attacking heterotic compactificaitons head on, and first order deformations are given in terms of their corresponding first degree cohomologies. Indeed, the infinitesimal moduli space of the heterotic compactifications discussed in this paper is given by the tangent space of deformations of a bundle endowed with a holomorphic structure defined by the operator D This operator squares to zero due to the Bianchi identities for F , R I and H. We have shown that the infinitesimal deformations of the Strominger system are given by the first order deformations of D which can be computed using the general theory of deformations of holomorphic bundles and we have found

JHEP10(2014)123
and H is a map between the cohomologies carefully constructed so that D 2 = 0 is equivalent to the Bianchi identity for the anomaly cancelation condition. Here ∂ 2 is the holomorphic structure on E given above. We also have which is trivial when V is stable, as H 0 ∂ A (X, End(V )) = 0 in this case, but could be nontrivial if V is polystable. The quotient by Im(H 0 ) takes care of the constraints coming from the Yang-Mills condition.
A generic modulus therefore takes the form .
Here κ appears as a generic element in H (0,1) ∂ I (X, End(T X)) as a consequence of promoting an instanton connection ∇ I on T X to a dynamical field. Finally, we argued that the factor H (0,1) ∂ (X, T * X) of the moduli-space T M can be interpreted as complexified hermitian moduli, and these are given by the same cohomology as in the Calabi-Yau case.

Discussion
As we have seen, promoting the connection ∇ I to a dynamical field gave us a first order moduli space H (0,1) ∂ I (End(T X)) of deformations of T X as a holomorphic bundle. These extra moduli are needed in order for the proposed mathematical structure to implement the anomaly cancelation condition. However, we do not believe they correspond physical fields in the lower energy four-dimensional theory, nor do they appear in the heterotic string sigma-model.
It has been shown that a change of the connection in the ten-dimensional supergravity theory correspond to a field redefinition in the sigma-model perspective, at least at one-loop in the sigma-model [51]. In this way the connection ∇ I depends on the other fields of the theory, and this dependence comes down to how one defines the fields in the sigma-model. However, not all field choices are physical, in the sense that they do not necessarily solve the equations of motion. This is what leads to the necessity of the instanton condition on the connection on T X.
For example, to first order in the α expansion, a particular choice of fields leads to the connection ∇ − . This connection is known as the Hull connection and is defined in the appendix (it is the connection obtained from the Bismut connection by changing H for JHEP10(2014)123 −H). This connection does satisfy the instanton condition to the correct order in the first order theory.
With this in mind it would be interesting to explore the possibility that the elements in H (0,1) ∂ I (End(T X)) can be given an interpretation as the local moduli space of allowed field redefinitions for which the equations of motion are satisfied. Indeed, when deforming the fields, the instanton connection ∇ I deforms correspondingly by an element κ ∈ H (0,1) ∂ I (End(T X)). Depending on our field definition, there is an ambiguity in what κ is, and perhaps this ambiguity is parameterised by H (0,1) ∂ I (End(T X)). Note also that different field choices will deform T X differently as a holomorphic bundle, where the new holomorphic structure is given by ∇ I + κ on a new bundle (T X) . Of course, with this interpretation there would be nothing physical about these moduli, and they would not give rise to new fields in the lower energy theory. They would correspond to the fact that we have not specified what the sigma model field choice is. We have only specified that they are fields for which the equations of motion are also satisfied. We will discuss this more in a future publication [41].
Note that the allowed changes κ of the instanton connection together with the actual physical moduli are further constrained by (3.61). This has interesting consequences in terms of moduli stabilisation. Indeed it has long been known that torsional compactifications give rise to further moduli stabilisation than in the Kähler case [6,16,18,76,77].
Finally, we note that it would be very interesting to compare the mathematical structure we constructed in this paper, that is the bundle Q over X together its holomorphic structure D, with the work of [25] and [53] where torsion free generalised connections are applied to heterotic supergravity. 17 In these papers, it seems they also need to promote the instanton connection on T X to a field with its own equation of motion.

Future directions
There a number of questions which would be interesting to pursue. We list a few of these here.
Metrics, obstructions and generalisations. It a very natural question to want to write a metric on moduli spaces. In physics these correspond to kinetic terms in the effective four dimensional field theory. In our case, supersymmetry predicts that this metric should be Kähler. In a forthcoming paper [75] we compute this metric for certain compatifcations in heterotic string theory.
It is a natural next step to try to work out the obstructions to the first order deformations of the holomorphic structures introduced in section 3, to discover which first order deformations survive to higher orders. Moreover, it would be interesting to generalise the study to the case where the torsion class W ω 1 is not exact. This is interesting mathematically as this corresponds to the study of complex manifolds X with canonical bundle which is only locally conformally trivial. Physically this would mean that the compactification is not supersymmetric anymore (recall supersymmetry requires that W ω 1 = dφ) and one

JHEP10(2014)123
would have to study the equations of motion to try to figure out whether they in fact correspond to allowed compactifications.
Preservation of the heterotic structure and embeddings into G-structures. It would also be interesting to study the heterotic SU(3)-structure more, as introduced in section 2.1. This structure is interesting in its own right, both from a physics and mathematics perspective. Indeed it would be interesting to see what complex structure deformations survive in this structure to higher orders. As we have seen, a condition on the first order deformations χ of the holomorphic form Ω is that In [47] we elaborate on these matters. Also, as mentioned in section 3.1, in [47] we also study the heterotic structure by embedding it into another G-structure, like G 2 -, SU(4)-, or Spin(7)-structures. We show that requiring families of manifolds with a heterotic SU(3) structure to have certain G-structures guarantees that the heterotic structure, and in particular the difficult conformally balanced condition, is preserved along the family. We find that this may have very interesting for applications to F -theory and M -theory.
α -corrections and relations to physics. In an upcoming publication [41] we consider heterotic supergravity at second and higher orders in α . We will see that supersymmetric solutions of Strominger type survive to second order in α . Moreover they appear to be generic. We comment on the connection choice on the tangent bundle which we again find should satisfy the instanton condition. In particular, we note that the choice of connection is as though the connection was a dynamical field, with its own supersymmetry condition. We make conjectures on what the connection and the geometry should be at higher orders in α . It would interesting too to undertand better the physics behind the moduli space derived in this paper. In particular, it would be interesting to generalise the analysis in [49], where a superpotential is generated for moduli not in the kernel of the map F. We would expect that similar superpotential terms appear in the non-Kähler case. In particular, we would expect a superpotential [13,16,78] to be generated in the four-dimensional theory whenever the map H is non-trivial.

JHEP10(2014)123
is supported in part by the EPSRC grant BKRWDM00. ES is supported by the Clarendon Scholarship of OUP, and a Balliol College Dervorguilla Scholarship.

A First order heterotic supergravity
In this appendix we review heterotic supergravity at first order in α . We write down the action and supersymmetry transformations, and review the supersymmetric solutions of this theory, commonly known as the Strominger Sytem [1,2]. We describe how consistency between the supersymmetry conditions and equations of motion constrains the choice of connection in the action. Various proofs of this have appeared in the literature before [2,5,64,65], and we give a slightly different proof in this appendix. We also comment on the type of geometry that results from the first order supersymmetry conditions, and in particular the fact the compact space X is conformally balanced.

A.1 Action and field content
Let's begin by recalling the action at this order [4] F is now the curvature of the E 8 ×E 8 gauge bundle, R is the curvature of the tangent bundle, while the NS-NS three-form, is appropriately defined for the theory to be anomaly free. Here, the CS[A] and CS[Θ] are Chern-Simons three-forms of the gauge-connection A, and the tangent bundle connection Θ, respectively. The choice of connection Θ has been a subtle issue which at times has been confusing in the literature. It has been argued that changing the connection is equivalent to a field redefinition [51]. This does not however give us the freedom to choose whatever connection we prefer, as we also need a connection choice for which a solution of the supersymmetry equations together with the anomaly cancelation condition is a solution of the equations of motion. We return to this point later in this appendix. At first order in α , the Hull connection ∇ − whose connection symbols are does tick this box. That this connection gives compatibility between supersymmetry and the equations of motion, was first noted by Hull [2]. Furthermore, it turns out that this is the connection choice that leaves the full action invariant under supersymmetry transformations at first order in α [4]. We will discuss this further in [41].

JHEP10(2014)123
From (A.2) we also get the following Bianchi identity dH = α 4 (tr(F ∧ F ) − tr(R ∧ R)) . (A.10) Setting the gaugino variation (A.6) to zero is also equivalent to requiring that the gaugebundle is holomorphic and satisfies the hermitian Yang-Mills equations on the internal space F ∧ Ω = 0, F ∧ ω ∧ ω = 0, (A.11) where F is the field-strength of the E 8 ×E 8 gauge-bundle. Equation (A.7) implies the existence of a holomorphic three-form Ω = e −2φ Ψ, and it also implies that the complex structure J determined by Ψ is integrable. A complex three-fold X 6 satisfying equation (A.8) is said to be conformally balanced. In this case, the Lee-form W ω 1 of ω is identified with dφ Having discussed supersymmetry at first order, we also need to discuss the equations of motion. That is, satisfying supersymmetry and the Bianchi Identity does not guarantee a solution to the equations of motion. However, at first order in α it does, provided one chooses the correct connection for the curvature two-form appearing in the action and in the Bianchi Identity. We will see how this works next.

A.3 Instanton condition
It has been shown that the supersymmetry equations and the Bianchi identity, (A.7)-(A.11), imply the equations of motion if and only if the connection ∇ for the curvature two-form R appearing in (A.1) is an SU(3)-instanton [64,65]. This means that it satisfies the conditions R ∧ Ω = 0, R ∧ ω ∧ ω = 0, (A.14) similar to the field-strength F . We now give our own proof of the instanton condition (A.14). In [16] it was shown that the six-dimensional part of the action (A.1) may then be rewritten in terms of the SU(3)-structure forms, using the Bianchi identity, as

JHEP10(2014)123
HereR is the Ricci-form of the unique almost complex structure compatible metric connec-tion∇ that also has totally antisymmetric torsion (recall that the almost complex structure is determined by Ψ, see equations (2.3) and (2.4)). This connection is known as the Bismut connection in the mathematics literature. The Ricci-form is given bŷ pqmn ω mn dx p ∧ dx q , (A. 16) while N mn p is the Nijenhaus tensor for this almost complex structure.
After variations of the action at the supersymmetric locus, we find that most of the terms vanish to the given order. Indeed, we saw above that first order supersymmetry implies that W ω 1 = dφ. From equation (A.9), we get that the the term involving H vanishes. The Nijenhaus tensor N mn p vanishes, as J is integrable, while the terms involving the bundle vanish due to (A.11). Finally, (A.13) identifies ∇ + with∇, which implies that ∇ has SU(3)-holonomy, and hence the vanishing ofR. We are thus left with δS 6 = 1 2 X 6 e −2φ ω ∧ ω ∧ δR + α 2 δ d 6 y √ g 6 e −2φ (tr|R (2,0) | 2 + tr|R (0,2) | 2 + 1 4 tr|R mn ω mn | 2 + O(α 2 ). (A.17) In [16] it was also shown that δR is exact. The conformally balanced condition (A.8), implies that the first term of (A.17) vanishes. We thus see that R needs to satisfy (A.14) in order for the action to be extremized at the supersymmetric locus. In fact, to the order in α we are working at, we find that we need R mn Γ mn η = 0 + O(α ), (A. 18) in order for δS 6 = 0 + O(α 2 ). This reduction in α -orders comes from the extra factor of α in curvature terms above.

A.4 The hull connection
We show in this subsection that to first order in α , it is sufficient to use the Hull connection in the action, as this satisfies the instanton condition to the order we need. This argument has appeared in the literature before [65], but we include it here for completeness. By a direct computation, one finds the identity 19) This implies that Hence, we see that to this order in the α expansion, the action (A.15) is extremised when supersymmetry and the Bianchi identity are satisfied, if we take ∇ to be the Hull connection ∇ − . Note that by choosing the Hull connection the instanton condition is always satisfied at the given order. Hence it does not put any further restrictions on the first order theory. At higher orders in α , this is no longer the case.
A.5 Note on the choice of connection and higher order corrections As mentioned before, it has been shown that the choice of connection corresponds to a choice of field definitions in the sigma-model point of view [51]. One might therefore think that any connection choice should be valid, as it just corresponds to a field redefinition. This turns out to be wrong. Indeed, if we insist that supersymmetric solutions satisfy the Strominger system, we need to choose the fields so that the equations of motion are compatible. As we have discussed, this turns out to restrict the connection to satisfy the instanton condition at O(α ). This condition on the connection might receive corrections at higher orders in α , and we now discuss these corrections and the condition on the connection at higher orders in α . We comment briefly on the condition on the connection at O(α 2 ) as we describe this at length in a forthcomming publication [41].
We note that there is a symmetry between the tangent bundle connection ∇ and gauge connection A in the action (A.1). As a guiding principle, as is also done in [4], we would like to keep this symmetry to higher orders. In particular, we suggest that ∇ should be chosen to satisfy an equation of motion similar to that of A. Indeed, this is precisely what one would get if ∇ was dynamical. We claim that For compact spaces these solutions appear to be generic. Moreover, ∇ satisfies it's own equation of motion for these solutions.
It also turns out that with such a connection choice, the first order equations of motion remain the same also to second order in α . This makes sense from a world-sheet point of view. Indeed, in [79] it was noted that the two-loop β-function of the gauge connection equals the one-loop β-function. That is, the β-function of the gauge field does not receive corrections at this order, so nor should the equation of motion. This is also what one finds from the supergravity point of view [4]. It is therefore perhaps no surprise that when we and so does it's two-loop beta-function. We therefore expect a similar story for ∇. Indeed we find that compatibility between space-time supersymmetry and the equations of motion seems to require the existence of such a connection.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.