arxiv: v1 [math.dg] 26 Jun 2008

Transcription

1 COMPACT SUPERSYMMETRIC SOLUTIONS OF THE HETEROTIC EQUATIONS OF MOTION IN DIMENSIONS 7 AND 8 arxiv: v1 [math.dg] 26 Jun 2008 MARISA FERNÁNDEZ, STEFAN IVANOV, LUIS UGARTE, AND RAQUEL VILLACAMPA Abstract. We construct explicit compact solutions with non-zero field strength, non-flat instanton and constant dilaton to the heterotic string equations in dimension seven and eight, obeying the three form anomaly cancellation condition. Some of these manifolds are compact supersymmetric solutions of the heterotic equations of motion in dimensions seven and eight. Contents 1. Introduction 1 2. General properties of G 2 and Spin(7) structures 4 3. The supersymmetry equations 5 4. Heterotic supersymmetry and equations of motion Heterotic supersymmetric equations of motion with constant dilaton 8 5. The Lie group setup Explicit solutions in dimension Explicit solutions in dimension 8 13 References Introduction The bosonic fields of the ten-dimensional supergravity which arises as low energy effective theory of the heterotic string are the spacetime metric g, the NS three-form field strength H, the dilaton φ and the gauge connection A with curvature F A. The bosonic geometry is of the form R 1,9 d M d where the bosonic fields are non-trivial only on M d, d 8. We consider the two connections ± = g ± 1 2 H, where g is the Levi-Civita connection of the Riemannian metric g. Both connections preserve the metric, ± g = 0 and have totally skew-symmetric torsion ±H, respectively. The Green-Schwarz anomally cancellation mechanism requires that the three-form Bianchi identity receives an α correction of the form ) 4 8π2( Tr(R R) Tr(F A F A ), (1.1) dh = α 4 (p 1(M p ) p 1 (E)) = α where p 1 (M p ),p 1 (E) are the first Pontrjagin forms of M p with respect to a connection with curvature R, and that of the vector bundle E with connection A, respectively. A class of heterotic-string backgrounds for which the Bianchi identity of the three-form H receives a correction of type (1.1) are those with (2,0) world-volume supersymmetry. Such models were considered in [45]. The target-space geometry of (2,0)-supersymmetric sigma models has Date: November 22,

2 2 MARISA FERNÁNDEZ, STEFAN IVANOV, LUIS UGARTE, AND RAQUEL VILLACAMPA been extensively investigated in [45, 61, 42]. Recently, there is revived interest in these models [32, 13, 33, 34, 36] as string backgrounds and in connection to heterotic-string compactifications with fluxes [12, 1, 2, 3, 56, 29, 30, 4]. In writing (1.1) there is a subtlety to the choice of connection on M p since anomalies can be cancelled independently of the choice [43]. Different connections correspond to different regularization schemes in the two-dimensional worldsheet non-linear sigma model. Hence the background fields given for the particular choice of must be related to those for a different choice by a field redefinition [58]. Connections on M p proposed to investigate the anomally cancellation (1.1) are g [61, 34], + [13], [5, 12, 36, 46], Chern connection c when p = 6 [61, 56, 29, 30, 4]. A heterotic geometry will preserve supersymmetry if and only if, in 10 dimensions, there exists at least one Majorana-Weyl spinor ǫ such that the supersymmetry variations of the fermionic fields vanish, i.e. the next Killing-spinor equations hold [61] δ λ = m ǫ = ( gm + 14 ) H mnpγ np ǫ = + ǫ = 0, ( δ Ψ = Γ m m φ 1 ) (1.2) 12 H mnpγ mnp ǫ = (dφ 1 H) ǫ = 0, 2 δ ξ = F A mn Γmn ǫ = F A ǫ = 0, where λ,ψ,ξ are the gravitino, the dilatino and the gaugino fields, respectively, and means Clifford action of forms on spinors. The bosonic part of the ten-dimensional supergravity action in the string frame is [5] (1.3) S = 1 2k 2 d 10 x ge 2φ[ Scal g + 4( g φ) H 2 α 4 ( Tr F A 2 ) Tr R 2)]. The string frame field equations (the equations of motion induced from the action (1.3)) of the heterotic string up to two-loops [44] in sigma model perturbation theory are (we use the notations in [36]) Ric g ij 1 4 H imnhj mn + 2 g i g j φ α 4 [ (F A ) imab (F A ) mab j ] R imnq R mnq j = 0, (1.4) g i (e 2φ Hjk i ) = 0, + i (e 2φ (F A ) i j ) = 0, The field equations of the dilaton φ is implied from the first two equations above. We search for a solution to lowest nontrivial order in α of the equations of motion in dimensions seven and eight that follow from the bosonic action which also preserves at least one supersymmetry. It is known [18, 33] ([36] for dimension 6) that the equations of motion of type I supergravity (1.4) with R = 0 are automatically satisfied if one imposes, in addition to the preserving supersymmetry equations (1.2), the three-form Bianchi identity (1.1) taken with respect to a flat connection (R = 0) on TM. A lot of effort had been done in dimension six and compact torsional solutions for the heterotic/type I string are known to exist [17, 1, 2, 13, 34, 56, 29, 30, 4, 16, 22]. In dimensions 7 and 8 the only known heterotic/type I solutions with non-zero fluxes to the equations of motion preserving at least one supersymmetry (satisfying (1.2) and (1.1) without the curvature term R = 0) are those constructed in [20, 31, 41] for dimension 8, and those presented in [38] for dimension 7. All these solutions are noncompact and conformal to a flat space. Noncompact solutions to (1.2) and (1.1) in dimensions 7 and 8 are presented also in [46].

3 SUPERSYMMETRIC SOLUTIONS OF THE HETEROTIC EQUATIONS OF MOTION 3 The main goal of this paper is to construct explicit compact supersymmetric valid solutions with non-zero field strength, non-flat instanton and constant dilaton to the heterotic equations of motion (1.4) in dimensions 7 and 8. According to no-go (vanishing) theorems (a consequence of the equations of motion [25, 18]; a consequence of the supersymmetry [50, 49] for SU(n)-case and [34] for the general case) there are no compact solutions with non-zero flux and non-constant dilaton satisfying simultaneously the supersymmetry equations (1.2) and the three-form Bianchi identity (1.1) if one takes flat connection on TM,R = 0. In the compact case one necessarily has to have a non zero term Tr(R R). However, the presence of a non-zero curvature 4-form Tr(R R) the solution of the supersymmetry equations (1.2) and the anomaly cancellation condition (1.1) obey the second and the third equations of motion but do not always satisfy the gravitino equation of motion (the first equation in (1.4)). We give in Theorem 4.1 a quadratic expression for R which is necessary and sufficient condition in order that (1.2) and (1.1) imply (1.4) in dimensions 7 and 8 based on the properties of the special geometric structure induced from the first two equations in (1.2). (A similar condition in dimension six we presented in [22].) In particular, if R is a g 2 -instanton, (resp. spin(7)-instanton) the supersymmetry equations together with the anomaly cancellation imply the equations of motion. The latter can also be seen following the considerations in the Appendix of [33]. In this article we present compact nilmanifolds in dimensions seven and eight satisfying the heterotic supersymmetry equations (1.2) with non-zero flux H, non-flat instanton and constant dilaton obeying the three-form Bianchi identity (1.1) with curvature term R = R + which is of instanton type. According to Theorem 4.1 these nilmanifolds are compact supersymmetric solutions of the heterotic equations of motion (1.4) in dimensions 7 and 8. The 7-manifold is the 7-dimensional generalized Heisenberg nilmanifold, which is a circle bundle over a 6-torus. However, the 8-dimensional manifold can be defined as a circle bundle over the product of a 2-torus by the total space of a circle bundle over a 4-torus, and also as the total space of a circle bundle over a 7-manifold which is a circle bundle over a 6-torus (see Section 5 for details). Our solutions seem to be the first explicit compact valid supersymmetric heterotic solutions with non-zero flux, non-flat instanton and constant dilaton in dimensions 7 and 8 satisfying the equations of motion (1.4). Our conventions: We rise and lower the indices with the metric and use the summation convention on repeated indices. For example, B ijk C ijk = B jk i C i jk = B ijkc ijk = n ijk=1 B ijk C ijk. The connection 1-forms ω ji of a metric connection, g = 0 with respect to a local basis {E 1,...,E n } are given by ω ji (E k ) = g( Ek E j,e i ), since we write X E j = ω s j (X)E s. The curvature 2-forms Ω i j of are given in terms of the connection 1-forms ωi j by Ω i j = dω i j + ω i k ωk j, Ω ji = dω ji + ω ki ω jk, R l ijk = Ωl k (E i,e j ), R ijkl = R s ijk g ls. and the first Pontrjagin class is represented by the 4-form p 1 ( ) = 1 8π 2 1 i<j d Ω i j Ω i j.

4 4 MARISA FERNÁNDEZ, STEFAN IVANOV, LUIS UGARTE, AND RAQUEL VILLACAMPA 2. General properties of G 2 and Spin(7) structures We recall the basic properties of the geometric structures induced from the gravitino and dilatino Killing spinor equations (the first two equations in (1.2)) in dimensions 7 and 8. G 2 -structures in d = 7. Endow R 7 with its standard orientation and inner product. Let e 1,...,e 7 be an oriented orthonormal basis. Consider the three-form ω on R 7 given by (2.1) ω = e 127 e e e 567 e 146 e e 135. The subgroup of GL(7) fixing ω is the exceptional Lie group G 2. It is a compact, connected, simply-connected, simple Lie subgroup of SO(7) of dimension 14 [7]. The Lie algebra is denoted by g 2, and it is isomorphic to the two forms satisfying 7 linear equations, namely g 2 = {α Λ 2 (M) (α ω) = α} The 3-form ω corresponds to a real spinor ǫ and therefore, G 2 can be identified as the isotropy group of a non-trivial real spinor. The Hodge star operator supplies the 4-form ω given by (2.2) ω = e e e e e e 1367 e A 7-dimensional Riemannian manifold is called a G 2 -manifold if its structure group reduces to the exceptional Lie group G 2. The existence of a G 2 -structure is equivalent to the existence of a global non-degenerate three-form which can be locally written as (2.1). The 3-from ω is called the fundamental form of the G 2 -manifold [6]. From the purely topological point of view, a 7-dimensional paracompact manifold is a G 2 -manifold if and only if it is an oriented spin manifold [55]. We will say that the pair (M,ω) is a G 2 -manifold with G 2 -structure (determined by) ω. The fundamental form of a G 2 -manifold determines a Riemannian metric implicitly through kl ω iklω jkl [37]. This is referred to as the metric induced by ω. g ij = 1 6 In [23], Fernandez and Gray divide G 2 -manifolds into 16 classes according to how the covariant derivative of the fundamental three-form behaves with respect to its decomposition into G 2 irreducible components (see also [14, 32]). If the fundamental form is parallel with respect to the Levi-Civita connection, g ω = 0, then the Riemannian holonomy group is contained in G 2. In this case the induced metric on the G 2 -manifold is Ricci-flat, a fact first observed by Bonan [6]. It was shown by Gray [37] (see also [23, 7, 59]) that a G 2 -manifold is parallel precisely when the fundamental form is harmonic, i.e. dω = d ω = 0. The first examples of complete parallel G 2 -manifolds were constructed by Bryant and Salamon [9, 35]. Compact examples of parallel G 2 -manifolds were obtained first by Joyce [51, 52, 53] and recently by Kovalev [54]. The Lee form θ 7 is defined by [11] (2.3) θ 7 = 1 ( dω ω), 3 If the Lee form vanishes, θ 7 = 0 then the G 2 -structure is said to be balanced. If the Lee form is closed, dθ 7 = 0 then the G 2 -structure is locally conformally equivalent to a balanced one [28]. If the G 2 -structure satisfies the condition d ω = θ 7 ω then it is called integrable and an analog of the Dolbeault cohomology is investigated in [24]. Spin(7)-structures in d = 8. Consider R 8 endowed with an orientation and its standard inner product. Let {e 0,...,e 7 } be an oriented orthonormal basis. Consider the 4-form Φ on R 8 given by (2.4) Φ = e 1238 e e e 1678 e 1257 e e e e e e e e 2478 e The 4-form Φ is self-dual Φ = Φ and the 8-form Φ Φ coincides with the volume form of R 8. The subgroup of GL(8, R) which fixes Φ is isomorphic to the double covering Spin(7) of SO(7)

5 SUPERSYMMETRIC SOLUTIONS OF THE HETEROTIC EQUATIONS OF MOTION 5 [40]. Moreover, Spin(7) is a compact simply-connected Lie group of dimension 21 [7]. The Lie algebra of Spin(7) is denoted by spin(7), and it is isomorphic to the two forms satisfying 7 linear equations, namely spin(7) = {α Λ 2 (M) (α Φ) = α}. The 4-form Φ corresponds to a real spinor φ and therefore, Spin(7) can be identified as the isotropy group of a non-trivial real spinor. A Spin(7)-structure on an 8-manifold M is by definition a reduction of the structure group of the tangent bundle to Spin(7); we shall also say that M is a Spin(7) manifold. This can be described geometrically by saying that there exists a nowhere vanishing global differential 4-form Φ on M which can be locally written as (2.4). The 4-form Φ is called the fundamental form of the Spin(7) manifold M [6]. The fundamental form of a Spin(7)-manifold determines a Riemannian metric implicitly through klm Φ iklmφ jklm [37]. This is referred to as the metric induced by Φ. g ij = 1 24 In general, not every 8-dimensional Riemannian spin manifold M 8 admits a Spin(7)-structure. We explain the precise condition [55]. Denote by p 2 (M), X(M), X(S ± ) the second Pontrjagin class, the Euler characteristic of M and the Euler characteristic of the positive and the negative spinor bundles, respectively. It is well known [55] that a spin 8-manifold admits a Spin(7) structure if and only if X(S + ) = 0 or X(S ) = 0. The latter conditions are equivalent to p 2 1 (M) 4p 2(M) + 8X(M) = 0, for an appropriate choice of the orientation [55]. Let us recall that a Spin(7) manifold (M,g,Φ) is said to be parallel (torsion-free [52]) if the holonomy of the metric Hol(g) is a subgroup of Spin(7). This is equivalent to saying that the fundamental form Φ is parallel with respect to the Levi-Civita connection g of the metric g. Moreover, Hol(g) Spin(7) if and only if dφ = 0 [21] (see also [7, 59]) and any parallel Spin(7) manifold is Ricci flat [6]. The first known explicit example of complete parallel Spin(7) manifold with Hol(g) = Spin(7) was constructed by Bryant and Salamon [9, 35]. The first compact examples of parallel Spin(7) manifolds with Hol(g) = Spin(7) were constructed by Joyce[51, 52]. There are 4-classes of Spin(7) manifolds according to the Fernandez classification [21] obtained as irreducible representations of Spin(7) of the space g Φ. The Lee form θ 8 is defined by [10] (2.5) θ 8 = 1 7 ( dφ Φ) = 1 (δφ Φ). 7 The 4 classes of Fernandez classification can be described in terms of the Lee form as follows [10]: W 0 : dφ = 0; W 1 : θ 8 = 0; W 2 : dφ = θ 8 Φ; W : W = W 1 W 2. A Spin(7)-structure of the class W 1 (ie Spin(7)-structure with zero Lee form) is called a balanced Spin(7)-structure. If the Lee form is closed, dθ 8 = 0 then the Spin(7)-structure is locally conformally equivalent to a balanced one [48]. It is shown in [10] that the Lee form of a Spin(7) structure in the class W 2 is closed and therefore such a manifold is locally conformally equivalent to a parallel Spin(7) manifold. The compact spaces with closed but not exact Lee form (i.e. the structure is not globally conformally parallel) have different topology than the parallel ones [48]. Coeffective cohomology and coeffective numbers of Riemannian manifolds with Spin(7)-structure are studied in [62]. 3. The supersymmetry equations Geometrically, the vanishing of the gravitino variation is equivalent to the existence of a nontrivial real spinor parallel with respect to the metric connection + with totally skew symmetric torsion T = H. The presence of + -parallel spinor leads to restriction of the holonomy group Hol( + ) of the torsion connection +. Namely, Hol( + ) has to be contained in SU(3),d = 6

6 6 MARISA FERNÁNDEZ, STEFAN IVANOV, LUIS UGARTE, AND RAQUEL VILLACAMPA [61, 50, 49, 34, 39, 13, 1, 2], the exceptional group G 2,d = 7 [27, 32, 34, 28], the Lie group Spin(7),d = 8 [32, 48, 34]. A detailed analysis of the possible geometries is carried out in [34]. Dimension d=7. The precise conditions to have a solution to the gravitino equation in dimension 7 were found in [27]. Namely, there exists a non-trivial parallel spinor with respect to a G 2 -connection with torsion 3-form T if and only if there exists a G 2 -structure (ω,g) satisfying (3.1) d ω = θ 7 ω. In this case, the torsion connection + is unique and the torsion 3-form T is given by (3.2) H = T = 1 6 (dω, ω)ω dω + (θ7 ω). The Riemannian scalar curvature is [28] ([8] for the general case) s g = 1 18 (dω, ω) + θ T 2 + 3δθ 7. The necessary conditions to have a solution to the system of dilatino and gravitino equations were derived in [32, 27, 28], and the sufficiency was proved in [27, 28]. The general existence result [27, 28] states that there exists a non-trivial solution to both dilatino and gravitino equations in dimension 7 if and only if there there exists a G 2 -structure (ω,g) satisfying the equations (3.3) d ω = θ 7 ω, dω ω = 0, θ 7 = 2dφ. Consequently, the torsion 3-form (the flux H) is given by (3.4) H = T = dω + 2 (dφ ω). The Riemannian scalar curvature satisfies s g = 8 dφ T 2 + 6δdφ. Dimension d=8. It is shown in [48] that the gravitino equation always has a solution in dimension 8. Namely, any Spin(7)-structure admits a unique Spin(7)-connection with totally skewsymmetric torsion T satisfying T = dφ 7 6 (θ8 Φ). The necessary conditions to have a solution to the system of dilatino and gravitino equations were derived in [32, 48], and the sufficiency was proved in [48]. The general existence result [48] states that there exists a non-trivial solution to both dilatino and gravitino equations in dimension 8 if and only if there exists a Spin(7)-structure (Φ, g) with an exact Lee form which is equivalent to the statement that the Spin(7)-structure is conformally balanced. The torsion 3-form (the flux H) and the Lee form are given by (3.5) H = T = dφ 2 (dφ Φ), θ 8 = 12 7 dφ. The Riemannian scalar curvature satisfies s g = 8 dφ T 2 + 6δdφ. In addition to these equations, the vanishing of the gaugino variation requires the 2-form F A to be of instanton type: ([15, 61, 41, 57, 19, 34]) Case d=7 A G 2 -instanton i.e. the gauge field A is a G 2 -connection and its curvature 2-form F A g 2. The latter can be expressed in any of the following two equivalent ways (3.6) F A mnω mn p = 0 F A mn = 1 2 F A pq( ω) pq mn; Case d=8 A Spin(7)-instanton i.e. the gauge field A is a Spin(7)-connection and its curvature 2-form F A spin(7). The latter is equivalent to (3.7) F A mn = 1 2 F A pqφ pq mn.

7 SUPERSYMMETRIC SOLUTIONS OF THE HETEROTIC EQUATIONS OF MOTION 7 4. Heterotic supersymmetry and equations of motion It is known [18, 33] ([36] for dimension 6), that the equation of motions of type I supergravity (1.4) with R = 0 are automatically satisfied if one imposes, in addition to the preserving supersymmetry equations (1.2), the three-form Bianchi identity (1.1) taken with respect to a flat connection on TM,R = 0. However, the no-go theorem [25, 18, 50, 49, 34] state that if even Tr(R R) = 0 there are no compact solution with non-zero flux H and non-constant dilaton. In the presence of a curvature term Tr(R R) 0 a solution of the supersymmetry equations (1.2) and the anomally cancelation condition (1.1) obey the second and the third equations in (1.4) but do not always satisfy the gravitino equation of motion (the first equation in (1.4)). However if the curvature R is of instanton type (1.2) and (1.1) imply (1.4). This can be seen follow the considerations in the Apendix of [33]. We shall give below an independent proof for the gravitino equation of motion based on the properties of the special geometric structure induced from the first two equations in (1.2). A consequence of the gravitino and dilatino Killing equation is an expression of the Ricci tensor Ric + mn = R+ imnj gij of the (+)- connection, and therefore an expression of the Ricci tensor Ric g of the Levi-Civita connection, in terms of the suitable trace of the torsion three form T = H (the Lee form) and the exterior derivative of the torsion 3-form dt = dh (see [27] in dimension 7 and [48] in dimension 8). We outline here an unified proof for dimensions 7 and 8. The Ricci tensors are connected by (see e.g. [27]) (4.1) (4.2) Ric g mn = Ric+ mn T mpqt pq n s T s mn, Ric+ mn Ric+ nm = + s T s mn = g s T s mn, Ric g mn = 1 2 (Ric+ mn + Ric + nm) T mpqt pq n. Denote by Ψ the 4-form ω in dimension 7 or the Spin(7)-form Φ in dimension 8. Since Hol( + ) {su(2),su(3),g 2,spin(7)}, we have the next sequence of identities (4.3) 2Ric + mn = R+ mjkl Ψ jkln = 1 3 (R+ mjkl + R+ mklj + R+ mljk )Ψ jkln. We apply the following identity established in [27] (4.4) R + jklm +R+ kljm +R+ ljkm R+ mjkl R+ mklj R+ mljk = 3 2 dt jklm T jks T lms T kls T jms T ljs T kms. The first Bianchi identity for + reads (see e.g.[27]) (4.5) R + jklm + R+ kljm + R+ ljkm = dt jklm T jks T lms T kls T jms T ljs T kms + + mt jkl. Now, (4.5), (4.4) and (4.3) yield (4.6) Ric + mn = 1 12 dt mjklψ jkln mt jkl Ψ jkln. Using the special expression of the torsion (3.4) and (3.5) for dimension 7 and 8, respectively, the equation (4.6) takes the form (4.7) Ric + mn = 1 12 dt mjklψ jkln 2 + mdφ n = 1 12 dt mjklψ jkln 2 g mdφ n + dφ s T s mn. Substitute (4.7) into (4.2), insert the result into the first equation of (1.4) and use the anomaly cancellation (1.1) to conclude

8 8 MARISA FERNÁNDEZ, STEFAN IVANOV, LUIS UGARTE, AND RAQUEL VILLACAMPA Theorem 4.1. The gravitino equation of motion is a consequence of the heterotic Killing spinor equations (1.2) and the anomaly cancellation (1.1) if and only if the next identity holds 1 ] (4.8) [R mjab R klab + R mkab R ljab + R mlab R jkab Ψ jkln = R mpqr Rn pqr 6 In particular, if R is an instanton then (4.8) holds. It is shown in [47] that the curvature of R + satisfies the identity R + ijkl = R+ klij if and only if + i T jkl is a four form. Now Theorem 4.1 yields Corollary 4.2. Suppose the torsion 3-form is + -parallel, + i T jkl = 0. The equations of motion (1.4) with respect to the curvature R + of the (+)-connection are consequences of the heterotic Killing spinor equations (1.2) and the anomaly cancellation (1.1). Manifolds with parallel torsion 3-form are studied in detail in dimension 6 [60] and dimension 7 [26] Heterotic supersymmetric equations of motion with constant dilaton. In the case when the dilaton is constant we arrive to the following problems: Dimension 7. We look for a compact G 2 -manifold (M,ω) which satisfies the following conditions a). Gravitino equation: Hol( + ) g 2, i.e. (4.9) (Ω + ) Ei,E j ( ω)(e i,e j,e k,e l ) = 2(Ω + ) Ek,E l, where {E 1,...,E 7 } is a G 2 -adapted basis on M. b). Dilatino equation with constant dilaton: the Lee form θ 7 = 2dφ = 0, i.e. (M,ω) is a balanced G 2 manifold satisfying dω ω = 0. The solution of a) and b) are cocalibrated G 2 manifold (M,ω) of pure type, d ω = dω ω = 0. c). Gaugino equation. Look for a vector bundle E of rank r over M equiped with an g 2 - instanton, i.e. a connection A with curvature 2-form Ω A satisfying (4.10) (Ω A ) Ei,E j (E k,e l )( ω)(e m,e n,e k,e l ) = 2(Ω A ) Ei,E j (E m,e n ) d). Anomally cancelation condition: (4.11) dh = dt = d dω = α ) 4 8π2( p 1 (M) p 1 (A), α > 0. Dimension 8. We look for a compact Spin(7)-manifold (M, Φ) which satisfies the following conditions a). Gravitino equation: Hol( + ) spin(7), i.e. (4.12) (Ω + ) Ei,E j (Φ)(E i,e j,e k,e l ) = 2(Ω + ) Ek,E l, where {E 1,...,E 8 } is a Spin(7)-adapted basis on M. This is always stisfied. b). Dilatino equation with constant dilaton: the Lee form 7θ 8 = 12dφ = 0, i.e. (M,Φ) is balanced, dφ Φ = 0. c). Gaugino equation. Look for a vector bundle E of rank r over M equiped with an spin(7)- instanton, i.e. a connection A with curvature 2-form Ω A satisfying (4.13) (Ω A ) Ei,E j (E k,e l )(Φ)(E m,e n,e k,e l ) = 2(Ω A ) Ei,E j (E m,e n ) d). Anomally cancelation condition: (4.14) dh = dt = d dφ = α ) 4 8π2( p 1 (M) p 1 (A), α > 0.

9 SUPERSYMMETRIC SOLUTIONS OF THE HETEROTIC EQUATIONS OF MOTION 9 5. The Lie group setup Let us suppose that g is a left invariant Riemannian metric on an n-dimensional Lie group M and let {e 1,...,e n } be an orthonormal basis of left invariant 1-forms, that is, g = e 1 e 1 + +e n e n. Let de k = a k ij e i e j, k = 1,...,6, 1 i<j 6 be the structure equations in the basis {e k }. Let us denote by {E 1,...,E n } the dual basis. Since de k (E i,e j ) = e k ([E i,e j ]), we have that the Levi-Civita connection 1-forms (ω g ) i j are (5.1) (ω g ) i j (E k) = 1 2 (g(e i,[e j,e k ]) g(e k,[e i,e j ]) + g(e j,[e k,e i ])) = 1 2 (ai jk ak ij + aj ki ). The connection 1-forms (ω ± ) i j for the connections with torsion ± are given by (5.2) (ω ± ) i j(e k ) = (ω g ) i j(e k ) 1 2 T i j(e k ), (T i j(e k ) = T(E i,e j,e k ). We shall focus on 7 and 8-dimensional nilmanifolds M = Γ\G endowed with an invariant special structure Explicit solutions in dimension 7. We consider cocalibrated G 2 -structures of pure type. From (3.4) we have that the torsion 3-form in this case is given by (5.3) + = g + 1 T, H = T = dω. 2 Starting from a balanced SU(3)-structure (F,Ψ +,Ψ ) on a manifold M 6 it is easy to see that the G 2 -structure given by ω = F e 7 + Ψ + on the product M 7 = M 6 S 1 is cocalibrated of pure type, where e 7 denotes the standard 1-form on the circle S 1. Moreover, following the argument given in [46, Theorem 4.6] we conclude that the natural extension of a SU(3)-instanton on M 6 gives rise to a G 2 -instanton on M 7, and if the torsion connection of the SU(3)-structure satisfies the modified Bianchi identity then the corresponding + given in (5.3) also satisfies (4.11). We can apply this to the compact 6-dimensional explicit solutions given in [22] to get new compact solutions in dimension 7: Theorem 5.1. Let (M 6,F,Ψ +,Ψ ) be a compact balanced SU(3)-nilmanifold with a SU(3)- instanton solving the modified Bianchi identity for = + or g. Then, the G 2 -manifold M 7 = M 6 S 1 with the structure ω = F e 7 + Ψ +, the G 2 -instanton obtained as an extension of the SU(3)-instanton and being the Levi-Civita connection g or the torsion connection + given in (5.3), provides a compact valid solution to the supersymmetry equations in dimension 7. Our goal next is to find more compact G 2 -solutions to the supersymmetry equations with nonzero flux and constant dilaton on non-trivial extensions of the balanced Hermitian structures on the Lie algebra h 3 given in [22]. We also provide a new solution to the equations of motion based on the 7-dimensional generalized Heisenberg compact nilmanifold. Seven-dimensional extensions of h 3 : For any t 0, the structure equations { de 1 = de 2 = de 3 = de 4 = de 5 = 0, (5.4) de 6 = 2t e t e 34,

10 10 MARISA FERNÁNDEZ, STEFAN IVANOV, LUIS UGARTE, AND RAQUEL VILLACAMPA correspond to the nilpotent Lie algebra h 3 = (0,0,0,0,0, ). As it is showed in [22], the SU(3)-structure given by F = e 12 + e 34 + e 56, Ψ = Ψ + + iψ = (e 1 + ie 2 )(e 3 + ie 4 )(e 5 + ie 6 ), is balanced for all the values of the parameter t. Consider any nilpotent 7-dimensional extension h 7 = h 3 E 7 such that the G 2 -structure (5.5) ω = F e 7 + Ψ + is cocalibrated of pure type on h 7, where e 7 denotes the dual of E 7. Using (2.1) and (2.2) it is easy to check that de 7 = c 0 (e 12 e 34 ) + c 1 (e 13 + e 24 ) + c 2 (e 14 e 23 ), where c 0,c 1,c 2 R. Since t 0 in (5.4), we can consider c 0 = 0. Therefore, the nilpotent Lie algebra h 7 must be given by the structure equations de 1 = de 2 = de 3 = de 4 = de 5 = 0, (5.6) de 6 = 2t(e 12 e 34 ), de 7 = c 1 (e 13 + e 24 ) + c 2 (e 14 e 23 ), where c 1,c 2 R. Moreover, a direct calculation shows that the torsion is given by T = dω = 2t(e 12 e 34 )e 6 + c 1 (e 13 + e 24 )e 7 + c 2 (e 14 e 23 )e 7. Hence, dt = 2(4t 2 + c c2 2 )e1234. It is easy to prove that T is parallel with respect to the torsion connection + if and only if c 1 = c 2 = 0, which corresponds to the situation described in Theorem 5.1. The non-zero curvature forms (Ω + ) i j of the torsion connection + are given by: (Ω + ) 1 2 = (Ω+ ) 3 4 = 4t2 (e 12 e 34 ), (Ω + ) 1 3 = (Ω+ ) 2 4 = c2 1 (e13 + e 24 ) c 1 c 2 (e 14 e 23 ) + 4tc 2 e 67, (Ω + ) 1 4 = (Ω+ ) 2 3 = c 1c 2 (e 13 + e 24 ) c 2 2 (e14 e 23 ) 4tc 1 e 67, which implies that the first Pontrjagin form of + is p 1 ( + ) = 1 2π 2 ( 16t 4 + (c c2 2 )2) e Let us consider (c 1,c 2 ) Q 2 {(0,0)}. The well-known Malcev theorem asserts that the simply-connected nilpotent Lie group H 7 corresponding to the Lie algebra h 7 has a lattice Γ of maximal rank. We denote by M 7 the compact nilmanifold Γ\H 7. Lemma 5.2. Let A λ be the linear connection preserving the metric on M 7 defined by the connection forms (σ A λ ) i j = λe 7, (σ A λ ) 6 7 = e 1 + e 2 + e 3 + e 4 + e 5 + λe 6 + λe 7, for (i,j) = (1,2),(1,3),(1,4), (1,5),(2,3), (2, 4),(2,5), (3, 4),(3,5),(4, 5), where λ R. Then, A λ is a G 2 -instanton with respect to the structure (5.5), and p 1 (A λ ) = λ2 4π 2 ( 4t (c c2 2 )) e Proof. A direct calculation shows that the non-zero curvature forms (Ω A λ) i j of the connection A λ are given by: (Ω A λ ) i j = λc 1(e 13 +e 24 )+λc 2 (e 14 e 23 ), (Ω A λ ) 6 7 = 2λt(e12 e 34 )+λc 1 (e 13 +e 24 )+λc 2 (e 14 e 23 ).

11 SUPERSYMMETRIC SOLUTIONS OF THE HETEROTIC EQUATIONS OF MOTION 11 for (i,j) = (1,2),(1,3),(1,4), (1,5),(2,3), (2, 4),(2,5), (3, 4),(3,5),(4, 5). On the other hand, since the Lie algebra of G 2 can be identified with the subspace of 2-forms which annihilate ω and (e 12 e 34 ) ω = (e 13 +e 24 ) ω = (e 14 e 23 ) ω = 0, the connection A λ is a G 2 -instanton. As a consequence we get the following compact 7-dimensional solutions. Theorem 5.3. Let A λ be the G 2 -instanton on M 7 given above. If λ 2 < min{8t 2,2(c c2 2 )/11}, then dt = 2π 2 α (p 1 ( + ) p 1 (A λ )), with α > 0. Proof. Notice that p 1 ( + ) p 1 (A λ ) = 1 [ 4π 4t 2 (λ 2 8t 2 ) + (c c2 2 )( 11λ 2 2(c c2 2 ))] e Therefore, if λ 2 < min{8t 2,2(c c2 2 )/11} then p 1( + ) p 1 (A λ ) is a negative multiple of e Since dt = 2(4t 2 + c c2 2 )e1234, the result follows. Remark 5.4. The first Pontrjagin form of the Levi-Civita connection is given by p 1 ( g ) = 1 16π 2 [ 3(4t 2 c 2 1 c2 2 )2 + 16t 2 (c c2 2 )] e 1234, so there is λ 0 sufficiently small such that dt = 2π 2 α (p 1 ( g ) p 1 (A λ )), with α > 0. The 7-dimensional generalized Heisenberg group: Next we construct a 7-dimensional compact solution to the equations of motion which is not an extension of the 6-dimensional nilmanifolds given in [22]. Let H(3, 1) be the 7-dimensional generalized Heisenberg group, i.e. the nilpotent Lie group consisting of the matrices of real numbers of the form H(3,1) = 1 x 1 x 2 x 3 z y y y x i,y i,z R,1 i 3. We consider the basis for the left invariant 1-forms on H(3,1) given by e 1 = 1 a dx 1, e 2 = dy 1, e 3 = 1 b dx 2, e 4 = dy 2, e 5 = 1 c dx 3, e 6 = dy 3, e 7 = x 1 dy 1 +x 2 dy 2 +x 3 dy 3 dz, where a,b,c R {0}, so that the structure equations become { de 1 = de 2 = de 3 = de 4 = de 5 = de 6 = 0, (5.7) Lemma 5.5. The G 2 -structure given by de 7 = ae 12 + be 34 + ce 56. ω = (e 12 + e 34 + e 56 ) e 7 + e 135 e 146 e 236 e 245 is cocalibrated for each a, b, c R {0}. Moreover, ω is of pure type if and only if c = a b. Proof. A direct simple calculation shows that d ω = 0 and ω dω = 2(a + b + c)e From now on, let us consider c = a b 0 in equations (5.7). The torsion 3-form for the cocalibrated G 2 -structure of pure type is given by Hence T = dω = (de 7 ) e 7 = ae be 347 (a + b)e 567. (5.8) dt = 2abe a(a + b)e b(a + b)e Moreover, it is forward to check that T is parallel with respect to the torsion connection +, i.e.

12 12 MARISA FERNÁNDEZ, STEFAN IVANOV, LUIS UGARTE, AND RAQUEL VILLACAMPA Lemma 5.6. For any a,b R {0} such that b a, we have + T = 0. On the other hand, the non-zero curvature forms (Ω + ) i j of the torsion connection + are given by: (Ω + ) 1 2 = a( ae 12 + be 34 (a + b)e 56), (5.9) (Ω + ) 3 4 = b( ae 12 + be 34 (a + b)e 56), (Ω + ) 5 6 = (Ω+ ) 1 2 (Ω+ ) 3 4 = (a + b)( ae 12 + be 34 (a + b)e 56). Let Γ(3,1) denote the subgroup of matrices of H(3,1) with integer entries and consider the compact nilmanifold N(3,1) = Γ(3,1)\H(3,1). We can describe N(3,1) as a principal circle bundle over a 6-torus S 1 N(3,1) T 6, by the projection (x 1,y 1,x 2,y 2,x 3,y 3,z) (x 1,y 1,x 2,y 2,x 3,y 3 ). The following result gives explicit compact valid solutions on N(3, 1) to the heterotic supersymmetry equations with non-zero flux and constant dilaton satisfying anomally cancelation condition. Even more, they also provide solutions to the equations of motion. Proposition 5.7. Let A λ,µ,τ be the linear connection on M 7 defined by the connection forms (σ A λ,µ,τ ) 1 2 = (σ A λ,µ,τ ) 2 1 = λe 7, (σ A λ,µ,τ ) 3 4 = (σ A λ,µ,τ ) 4 3 = µ e 7, (σ A λ,µ,τ ) 5 6 = (σ A λ,µ,τ ) 6 5 = τ e 7, and (σ A λ,µ,τ) i j = 0 for the remaining (i,j), where λ,µ,τ R. Then, A λ,µ,τ is a G 2 -instanton with respect to the cocalibrated G 2 -structure of pure type given in Lemma 5.5 for any a,b, A λ,µ,τ preserves the metric, and its first Pontrjagin form is given by p 1 (A λ,µ,τ ) = λ2 + µ 2 + τ 2 4π 2 ( abe 1234 a(a + b)e 1256 b(a + b)e 3456). Proof. A direct calculation shows that the non-zero curvature forms (Ω A λ,µ,τ) i j of the connection A λ,µ,τ are: (Ω A λ,µ,τ) 1 2 = λ( ae 12 + be 34 (a + b)e 56), (Ω A λ,µ,τ) 3 4 = µ ( ae 12 + be 34 (a + b)e 56), (Ω A λ,µ,τ) 5 6 = τ ( ae 12 + be 34 (a + b)e 56). On the other hand, the Lie algebra of G 2 can be identified with the subspace of 2-forms which annihilate ω. Since (ae 12 +be 34 (a+b)e 56 ) ω = 0, the connection A λ,µ,τ is a G 2 -instanton. Theorem 5.8. Let N(3,1) be the compact cocalibrated of pure type G 2 -nilmanifold, + be the torsion connection and A λ,µ,τ the G 2 -instanton given in Proposition 5.7. If (λ,µ,τ) (0,0,0) are small enough so that λ 2 + µ 2 + τ 2 < 2(a 2 + ab + b 2 ), then dt = 2π 2 α (p 1 ( + ) p 1 (A λ,µ,τ )), where α = 4(2(a 2 + ab + b 2 ) λ 2 µ 2 τ 2 ) 1 > 0. Furthermore, the equations of motion (1.4) are also satisfied. Proof. The non-zero curvature forms of the torsion connection + a,b are given by (5.9), which implies that its first Pontrjagin form is p 1 ( + ) = a2 + ab + b 2 ( abe π 2 a(a + b)e 1256 b(a + b)e 3456). Now the proof follows directly from (5.8) and Proposition 5.7. The final assertion in the theorem follows from Lemma 5.6 and Theorem 4.1.

13 SUPERSYMMETRIC SOLUTIONS OF THE HETEROTIC EQUATIONS OF MOTION 13 Remark 5.9. The first Pontrjagin form of the Levi-Civita connection is given by p 1 ( g ) = 1 32π 2 [ ab(5a 2 + 4ab + 5b 2 )e 1234 a(a + b)(6a 2 + 6ab + 5b 2 )e 1256 b(a + b)(5a 2 + 6ab + 6b 2 )e 3456]. It is easy to see that there is no solution to the heterotic supersymmetry equations for = g using the instanton of Lemma Explicit solutions in dimension 8. We consider balanced Spin(7)-structures, i.e. θ 8 = 0. From (3.5) we have that the torsion 3-form in this case is given by (5.10) + = g T, H = T = 8 dφ. Starting from a cocalibrated G 2 -structure of pure type ω on a 7-manifold M 7 it is easy to see that the Spin(7)-structure given by Φ = e 0 ω + 7 ω on the product M 8 = M 7 S 1 is balanced, where e 0 denotes the standard 1-form on the circle S 1. Moreover, following the argument given in [46, Theorem 5.1] we conclude that the natural extension of a G 2 -instanton on M 7 gives rise to a Spin(7)-instanton on M 8, and if the torsion connection of the G 2 -structure satisfies the modified Bianchi identity then the corresponding + given in (5.10) also satisfies (4.14). We can apply this to the compact 7-dimensional explicit solutions given in the preceding section to get new compact solutions in dimension 8: Theorem Let (M 7,ω) be a compact cocalibrated G 2 -nilmanifold of pure type with a G 2 - instanton solving the modified Bianchi identity for = + or g. Then, the Spin(7)-manifold M 8 = M 7 S 1 with the structure Φ = e 0 ω+ 7 ω, the Spin(7)-instanton obtained as an extension of the G 2 -instanton and being the Levi-Civita connection g or the torsion connection + given in (5.10), provides a compact valid solution to the supersymmetry equations in dimension 8. In particular, starting with the solutions on the generalized Heisenberg compact nilmanifold N(3, 1) given in Theorem 5.8 one obtains solutions to the equations of motion in dimension 8. Next we find more compact Spin(7)-solutions to the supersymmetry equations with non-zero flux and constant dilaton on non-trivial extensions of the cocalibrated G 2 -structures of pure type given on the 7-dimensional generalized Heisenberg group. Moreover, we also provide new 8- dimensional solutions to the equations of motion on some of these non-trivial Spin(7)-extensions. Non-trivial Spin(7) extension of the 7-dimensional generalized Heisenberg group: Let us consider the 8-dimensional extension of (5.7) given by: de 1 = c(e 24 + e 25 e 34 + e 35 ), (5.11) de 2 = de 3 = de 4 = de 5 = de 6 = de 7 = 0, de 8 = ae 23 + be 45 (a + b)e 67. These equations correspond to the structure equations of an 8-dimensional nilpotent Lie algebra, which we denote by h 8. Let us consider the Spin(7)-structure (5.12) Φ = e 1238 e e e 1678 e 1257 e e e e e e e e 2478 e A direct calculation shows that the torsion is given by T = dφ = ce ce 125 ce ce ae be 458 (a + b)e 678. The torsion satisfies T Φ = 0 and (5.13) dt = 2(ab 2c 2 )e a(a + b)e b(a + b)e 4567.

14 14 MARISA FERNÁNDEZ, STEFAN IVANOV, LUIS UGARTE, AND RAQUEL VILLACAMPA There are some special cases for which T is parallel with respect to the torsion connection, more concretely: Lemma T = 0 if and only if (a b)c = 0. The non-zero curvature forms (Ω + ) i j of the torsion connection + are given by: (Ω + ) 2 3 = a2 e 23 abe 45 + a(a + b)e 67, (Ω + ) 2 4 = (Ω+ ) 3 5 = (a b)ce18 c 2 e 24 c 2 e 25 + c 2 e 34 c 2 e 35, (Ω + ) 2 5 = (Ω+ ) 3 4 = (a b)ce18 c 2 e 24 c 2 e 25 + c 2 e 34 c 2 e 35, (Ω + ) 4 5 = abe23 b 2 e 45 + b(a + b)e 67, (Ω + ) 6 7 = a(a + b)e23 + b(a + b)e 45 (a + b) 2 e 67, which implies that the first Pontrjagin form p 1 ( + ) is given by 2π 2 p 1 ( + ) = (ab(a 2 +ab+b 2 ) 4c 4 )e 2345 a(a+b)(a 2 +ab+b 2 )e 2367 b(a+b)(a 2 +ab+b 2 )e Let Γ be a lattice of maximal rank of the simply-connected nilpotent Lie group H 8 corresponding to the Lie algebra h 8, and denote by M 8 the compact nilmanifold Γ\H 8. Clearly, M 8 can be described as a circle bundle over the compact 7-manifold N(3,1) defined by (5.7) S 1 M 8 N(3,1), whose connection 1-form η = e 1 is such that the curvature form is dη = c(e 24 + e 25 e 34 + e 35 ), with c 0. Alternatively, the manifold M 8 may be viewed as the total space of a circle bundle over the product of a 2-torus by a 5-manifold M 5, which is also the total space of a principal circle bundle over a 4-torus S 1 M 5 T 4. In fact, let (e i ;2 i 5) be a basis for the closed 1-forms on T 4. Then, M 5 is the circle bundle over T 4 with connection 1-form η = e 1 such that the curvature form is dη = c(e 24 +e 25 e 34 +e 35 ). Now, let e 6 and e 7 be a basis for the closed 1-forms on T 2. Take the product manifold M 5 T 2. Then, M 8 is the circle bundle over M 5 T 2 S 1 M 8 M 5 T 2, with connection form ν = e 8 such that dν = ae 23 + be 45 (a + b)e 67. Proposition For each λ,µ R, let A λ,µ be the linear connection on M 8 defined by the connection forms: (σ A λ,µ ) 2 4 = (σa λ,µ ) 2 5 = (σa λ,µ ) 3 4 = (σa λ,µ ) 3 5 = (σa λ,µ ) 4 2 = (σa λ,µ ) 4 3 = (σa λ,µ ) 5 2 = (σa λ,µ ) 5 3 = µ e1, (σ A λ,µ ) 2 3 = (σ A λ,µ ) 3 2 = (σ A λ,µ ) 4 5 = (σ A λ,µ ) 5 4 = λe 8, (σ A λ,µ ) 6 7 = (σ A λ,µ ) 7 6 = 2λe 8, and (σ A λ,µ) i j = 0 for the remaining (i,j). Then, A λ,µ is a Spin(7)-instanton with respect to the Spin(7)-structure (5.12) for any a,b,c, A λ,µ preserves the metric, and its first Pontrjagin form is given by 2π 2 p 1 (A λ,µ ) = (3abλ 2 4c 2 µ 2 )e a(a + b)λ 2 e b(a + b)λ 2 e 4567.

15 SUPERSYMMETRIC SOLUTIONS OF THE HETEROTIC EQUATIONS OF MOTION 15 Proof. The non-zero curvature forms (Ω A λ,µ) i j of the connection A λ,µ are: (Ω A λ,µ) 2 3 = (ΩA λ,µ) 4 5 = λ( ae 23 + be 45 (a + b)e 67), (Ω A λ,µ) 2 4 = (ΩA λ,µ) 2 5 = (ΩA λ,µ) 3 4 = (ΩA λ,µ) 3 5 = µ c(e24 + e 25 e 34 + e 35 ), (Ω A λ,µ) 6 7 = (ΩA λ,µ) 2 3 (ΩA λ,µ) 4 5 = 2λ( ae 23 + be 45 (a + b)e 67). Since the Lie algebra of Spin(7) can be identified with the subspace Λ 2 21 of 2-forms β such that (β Φ) = β, and since ae 23 + be 45 (a+b)e 67, e 24 + e 25 e 34 + e 35 Λ 2 21 the connection A λ,µ is a Spin(7)-instanton for any λ,µ. Theorem Let (M 8,Φ) be the compact balanced Spin(7) nilmanifold, + be the torsion connection and A λ,µ the spin(7)-instanton given in Proposition 5.7. If (λ,µ) (0,0) satisfy 3λ 2 < a 2 + ab + b 2 and 3λ 2 2µ 2 = a 2 + ab + b 2 2c 2, then dt = 2π 2 α (p 1 ( + ) p 1 (A λ,µ )), where α = 2(a 2 + ab + b 2 3λ 2 ) 1 > 0. Furthermore, if a = b then the equations of motion (1.4) are also satisfied. Proof. The proof follows directly from (5.13), the expression of the first Pontrjagin form of + and Proposition The final assertion in the theorem follows from Lemma 5.11 and Theorem 4.1. Remark There are also solutions on M 8 to the supersymmetry equations taking as the Levi-Civita connection g. For example, if a = b = c = 1 in (5.11) then a direct computation shows that the first Pontrjagin form of g is given by From Proposition 5.12 for a = b = c = 1 we get 16π 2 p 1 ( g ) = 5e e e π 2 p 1 (A λ,µ ) = (3λ 2 4µ 2 )e λ 2 e λ 2 e Since dt = 2e e e 4567, if we choose the Spin(7)-instanton A λ,µ such that 48λ 2 < 19 and 64µ 2 = 96λ 2 9, then dt = 2π 2 α (p 1 ( g ) p 1 (A λ,µ )), where α = 32(19 48λ 2 ) 1 > 0. Acknowledgments. This work has been partially supported through grant MEC (Spain) MTM C04-02 and under project Ingenio Mathematica (i-math) No. CSD (Consolider Ingenio 2010). S.I. is partially supported by the Contract 154/2008 with the University of Sofia St.Kl.Ohridski. S.I. is a Senior Associate to the Abdus Salam ICTP, Trieste. References [1] K. Becker, M. Becker, K. Dasgupta, P.S. Green, Compactifications of Heterotic Theory on Non-Kähler Complex Manifolds: I, JHEP 0304 (2003) 007. [2] K. Becker, M. Becker, K. Dasgupta, P.S. Green, E. Sharpe, Compactifications of Heterotic Strings on Non- Kähler Complex Manifolds: II, Nucl. Phys. B678 (2004), [3] K. Becker, M. Becker, K. Dasgupta, S. Prokushkin, Properties from heterotic vacua from superpotentials, hep-th/ [4] K. Becker, M. Becker, J-X. Fu, L-S. Tseng, S-T. Yau, Anomaly Cancellation and Smooth Non-Kahler Solutions in Heterotic String Theory, Nucl.Phys. B751 (2006) [5] E. A. Bergshoeff, M. de Roo, The quartic effective action of the heterotic string and supersymmetry, Nucl. Phys. B 328 (1989), 439.

16 16 MARISA FERNÁNDEZ, STEFAN IVANOV, LUIS UGARTE, AND RAQUEL VILLACAMPA [6] E. Bonan, Sur le variétés riemanniennes a groupe d holonomie G 2 ou Spin(7), C. R. Acad. Sci. Paris 262 (1966), [7] R. Bryant, Metrics with exeptional holonomy, Ann. Math. 126 (1987), [8] R. Bryant, Some remarks on G 2 structures, Proceeding of Gokova Geometry-Topology Conference 2005 edited by S. Akbulut, T Onder, and R.J. Stern (2006), International Press, [9] R. Bryant, S.Salamon, On the construction of some complete metrics with exceptional holonomy, Duke Math. J. 58 (1989), [10] F. Cabrera, On Riemannian manifolds with Spin(7)-structure, Publ. Math. Debrecen 46 (3-4) (1995), [11] F. Cabrera, On Riemannian manifolds with G 2-structure, Bolletino UMI A 10 (7) (1996), [12] G. L. Cardoso, G. Curio, G. Dall Agata, D. Lust, BPS Action and Superpotential for Heterotic String Compactifications with Fluxes, JHEP 0310 (2003) 004. [13] G.L. Cardoso, G. Curio, G. Dall Agata, D. Lust, P. Manousselis, G. Zoupanos, Non-Käeler string back-grounds and their five torsion classes, Nuclear Phys. B 652 (2003), [14] S. Chiossi, S. Salamon, The intrinsic torsion of SU(3) and G 2-structures, Differential Geometry, Valencia 2001, World Sci. Publishing, 2002, pp [15] E. Corrigan, C. Devchand, D.B. Fairlie, J. Nuyts, First-order equations for gauge fields in spaces of dimension greater than four, Nuclear Phys. B 214 (1983), no. 3, [16] K. Dasgupta, H. Firouzjahi, R. Gwyn, On the warped heterotic axion, arxiv: [hep-th], to appear in JHEP. [17] K. Dasgupta, G. Rajesh, S. Sethi, M theory, orientifolds and G-flux, JHEP 0211, 006 (2002). [18] B. de Wit, D.J. Smit, N.D. Hari Dass, Residual Supersimmetry Of Compactified D=10 Supergravity, Nucl. Phys. B 283 (1987), 165. [19] S.K. Donaldson, R.P. Thomas, Gauge theory in higher dimensions, The geometric universe (Oxford, 1996), 31 47, Oxford Univ. Press, Oxford, [20] D.B. Fairlie, J. Nuyts, Spherically symmetric solutions of gauge theories in eight dimensions, J. Phys. A17 (1984) [21] M. Fernandez, A classification of Riemannian manifolds with structure group Spin(7), Ann. Mat. Pura Appl. 143 (1982), [22] M.Fernandez, S.Ivanov, L.Ugarte, R.Vallacampa, Non-Kaehler heterotic-string compactifications with non-zero fluxes and constant dilaton, arxiv: [23] M. Fernandez, A. Gray, Riemannian manifolds with structure group G 2, Ann. Mat. Pura Appl. (4) 32 (1982), [24] M. Fernández, L. Ugarte, Dolbeault cohomology for G 2-manifolds, Geom. Dedicata 70 (1998), no. 1, [25] D.Z. Freedman, G.W. Gibbons, P.C. West, Ten Into Four Won t Go, Phys. Lett. B 124 (1983), 491. [26] Th. Friedrich, G 2-Manifolds With Parallel Characteristic Torsion, arxiv:math/ [27] Th. Friedrich, S. Ivanov Parallel spinors and connections with skew-symmetric torsion in string theory, Asian J. Math. 6 (2002), [28] Th. Friedrich, S.Ivanov, Killing spinor equations in dimension 7 and geometry of integrable G 2 manifolds, J. Geom. Phys 48 (2003), [29] J-X. Fu, S-T. Yau, Existence of Supersymmetric Hermitian Metrics with Torsion on Non-Kaehler Manifolds, arxiv:hep-th/ [30] J-X. Fu, S-T. Yau, The theory of superstring with flux on non-kähler manifolds and the complex Monge-Ampere equation, arxiv:hep-th/ [31] S. Fubini, H. Nikolai, The octonionic instanton, Phys. Let. B 155 (1985) 369. [32] J. Gauntlett, N. Kim, D. Martelli, D. Waldram, Fivebranes wrapped on SLAG three-cycles and related geometry, JHEP 0111 (2001) 018. [33] J.P. Gauntlett, D. Martelli, S. Pakis, D. Waldram, G-Structures and Wrapped NS5-Branes, Commun. Math. Phys. 247 (2004), [34] J. Gauntlett, D. Martelli, D. Waldram, Superstrings with Intrinsic torsion, Phys. Rev. D69 (2004) [35] G.W. Gibbons, D.N. Page, C.N. Pope, Einstein metrics on S 3, R 3, and R 4 bundles, Commun. Math. Phys. 127 (1990), [36] J. Gillard, G. Papadopoulos, D. Tsimpis, Anomaly, Fluxes and (2,0) Heterotic-String Compactifications, JHEP 0306 (2003) 035. [37] A. Gray, Vector cross product on manifolds, Trans. Am. Math. Soc. 141 (1969), , Correction 148 (1970), 625. [38] M. Günaydin, H. Nikolai, Seven-dimensional octonionic Yang-Mills instanton and its extension to an heterotic string soliton, Phys. Lett. B 353 (1991) 169.

17 SUPERSYMMETRIC SOLUTIONS OF THE HETEROTIC EQUATIONS OF MOTION 17 [39] J. Gutowski, S. Ivanov, G. Papadopoulos, Deformations of generalized calibrations and compact non-kahler manifolds with vanishing first Chern class, Asian J. Math. 7 (2003), [40] R. Harvey, H.B. Lawson, Calibrated geometries, Acta Math. 148 (1982), [41] J.A. Harvey, A. Strominger, Octonionic superstring solitons, Phys. Review Let (1991) 549. [42] P.S. Howe, G. Papadopoulos, Ultraviolet behavior of two-dimensional supersymmetric non-linear sigma models, Nucl. Phys. B 289 (1987), 264. [43] C.M. Hull, Anomalies, ambiquities and superstrings, Phys. lett. B167 (1986), 51. [44] C.M. Hull, P.K. Townsend, The two loop beta function for sigma models with torsion, Phys. Lett. B 191 (1987), 115. [45] C.M. Hull, E. Witten, Supersymmetric sigma models and the Heterotic String, Phys. Lett. B 160 (1985), 398. [46] P. Ivanov, S. Ivanov, SU(3)-instantons and G 2, Spin(7)-Heterotic string solitons, Comm. Math. Phys. 259 (2005), [47] S. Ivanov, Geometry of quaternionic Kähler connections with torsion, J. Geom. Phys. 41 (2002), no. 3, [48] S. Ivanov, Connection with torsion, parallel spinors and geometry of Spin(7) manifolds, Math. Res. Lett. 11 (2004), no. 2-3, [49] S. Ivanov, G. Papadopoulos, A no-go theorem for string warped compactifications, Phys.Lett. B497 (2001) [50] S. Ivanov, G. Papadopoulos, Vanishing Theorems and String Backgrounds, Class.Quant.Grav. 18 (2001) [51] D. Joyce, Compact Riemannian 7-manifolds with holonomy G 2. I, J.Diff. Geom. 43 (1996), [52], Compact Riemannian 7-manifolds with holonomy G 2. II, J.Diff. Geom., 43 (1996), [53], Compact Riemannian manifolds with special holonomy, Oxford University Press, [54] A. Kovalev, Twisted connected sums and special Riemannian holonomy, J. Reine Angew. math. 565 (2003), [55] B. Lawson, M.-L.Michelsohn, Spin Geometry, Princeton University Press, [56] J. Li, S-T. Yau, The Existence of Supersymmetric String Theory with Torsion, J. Diff. Geom. 70, no. 1, (2005). [57] R. Reyes Carrión, A generalization of the notion of instanton, Diff. Geom. Appl. 8 (1998), no. 1, [58] A. Sen, (2,0) supersymmetry and space-time supersymmetry in the heterotic strin theory, Nucl. Phys. B 167 (1986), 289. [59] S. Salamon, Riemannian geometry and holonomy groups, Pitman Res. Notes Math. Ser., 201 (1989). [60] N. Schoemann, Almost Hermitian Structures with Parallel Torsion, arxiv:math/ [61] A. Strominger, Superstrings with torsion, Nucl. Phys. B 274 (1986) 253. [62] L. Ugarte, Coeffective Numbers of Riemannian 8-manifold with Holonomy in Spin(7), Ann. Glob. Anal. Geom. 19 (2001), (Fernández) Universidad del País Vasco, Facultad de Ciencia y Tecnología, Departamento de Matemáticas, Apartado 644, Bilbao, Spain address: marisa.fernandez@ehu.es (Ivanov) University of Sofia St. Kl. Ohridski, Faculty of Mathematics and Informatics, Blvd. James Bourchier 5, 1164 Sofia, Bulgaria address: ivanovsp@fmi.uni-sofia.bg (Ugarte) Departamento de Matemáticas- I.U.M.A., Universidad de Zaragoza, Campus Plaza San Francisco, Zaragoza, Spain address: ugarte@unizar.es (Villacampa) Departamento de Matemáticas- I.U.M.A., Universidad de Zaragoza, Campus Plaza San Francisco, Zaragoza, Spain address: raquelvg@unizar.es