Spin(7) compactifications and 1/4-BPS vacua in heterotic supergravity

We continue the investigation into non-maximally symmetric compactifications of the heterotic string. In particular, we consider compactifications where the internal space is allowed to depend on two or more external directions. For preservation of supersymmetry, this implies that the internal space must in general be that of a Spin(7) manifold, which leads to a 1/4-BPS four-dimensional supersymmetric perturbative vacuum breaking all but one supercharge. We find that these solutions allow for internal geometries previously excluded by the domain-wall-type solutions, and hence the resulting four-dimensional superpotential is more generic. In particular, we find an interesting resemblance to the superpotentials that appear in non-geometric flux compactifications of type II string theory. If the vacua are to be used for phenomenological applications, they must be lifted to maximal symmetry by some non-perturbative or higher-order effect.


Introduction
Since the beginnings of string phenomenology in the mid 1980's [1], the search for phenomenologically viable vacua from heterotic strings has been ongoing. Most studies of string compactification have thus far focused on Calabi-Yau compactifications or slight generalizations thereof. In the case of heterotic string theory it is comparatively easy to obtain Standard Model-like physics owing to the plethora of gauge bundles available in such a context, and a lot of progress has been made on this front in recent years, see e.g. [2][3][4][5][6][7][8][9][10].
On the other hand, the moduli problem of heterotic string theory poses a particular challenge due to the absence of the RR-fluxes and branes that are present in type II theories. There has been some recent progress towards understanding the heterotic moduli problem for perturbative compactifications to Minkowski vacua [11][12][13][14][15][16], but a full understanding is still lacking. Worse still, these compactifications always seem to be plagued with runaway directions, and it seems hard, if not impossible, to perturbatively stabilize all moduli in a maximally symmetric, large-volume scenario, and non-perturbative effects are usually required [17]. This can often be attributed to the Maldacena-Nunez no-go theorem, which does not allow for fluxes in maximally symmetric Minkowski compactifications [18]. In JHEP03(2016)177 particular, it is a simple application of Stokes' theorem to see that a closed flux cannot be used to stabilize moduli in maximally symmetric perturbative compactifications [19]. 1 In recent years, a slightly different approach has become popular within the community. The idea is that instead of looking for maximally symmetric perturbative vacua, one looks for perturbative vacua with less symmetry, e.g. domain walls [21][22][23][24][25][26], thus sidestepping the no-go theorem. Moreover, the compactifications thus considered also allow for torsion on the internal space, which behaves in a similar manner to an additional flux component and hence can play a role in stabilizing moduli. The compact space is then said to have an SU(3) structure, rather than SU(3) holonomy, where the former is distinguished from the latter by the fact that the spinor parametrizing supersymmetry transformations is no longer covariantly constant with respect to the Levi-Civita connection. In the domain wall case, the vacuum breaks maximal symmetry along one external coordinate direction, while the internal geometry usually corresponds to a so-called half-flat manifold. The fibration of this internal space along the external coordinate admits a seven-dimensional G 2 structure. Such vacua can subsequently be lifted to maximally symmetric ones by the inclusion of higher order α ′ -effects and non-perturbative effects. This was demonstrated to work by a "proof of principle" in [27]. See also [28][29][30][31][32][33][34][35] for related work in this direction.
In this paper we will go further and generalize the perturbative compactification ansatz from the half-flat domain wall case to include a broader class of solutions; in particular, we allow a dependence of the internal geometry on up to two external coordinates. We will see that with this ansatz, the possible torsional configurations of the internal space can be more generic. For the compact six-dimensional geometry we assume a generalization of the half-flat algebra whose fibration over the two external coordinates admits an eightdimensional Spin(7) structure. The corresponding four-dimensional solutions are 1/4-BPS and contain the 1/2-BPS domain walls as special cases. 2 Interestingly, we will see that some of the geometries give rise to superpotentials of the kind found in non-geometric type II compactifications, and thus may have interesting phenomenological applications. However, our key goal in this paper is to derive and establish the relationships between Spin(7) structures, generalized half-flat manifolds, and 1/4-BPS vacua. Hence we defer the analysis of explicit solutions and their applications to a future publication [36]. This paper is organized as follows. In section 2 we establish a top-down ansatz for the ten-dimensional theory. First we review relevant aspects of ten-dimensional heterotic supergravity. We then give a brief overview of Spin(7) and SU(3) structures, together with their corresponding torsion classes, and we lay the groundwork for compactification on generalized half-flat manifolds. We also derive the corresponding Killing spinor equations. In section 3 we consider the four-dimensional theory. We derive the Killing spinor equations for four-dimensional 1/4-BPS solutions, and then we proceed to match them with the tendimensional ansatz. We conclude with a discussion and outlook in section 4.
1 It should be noted that this result can be evaded by considering non-geometric compactifications in which the dilaton field is not well-defined globally, and such compactifications have recently been considered in the M-theory context [20].
2 An alternative approach is to consider G2 structures where the internal manifold is fibred over an interval that is not a Cartesian coordinate direction -for examples of this approach, see appendix B.

Killing spinor equations and metric ansatz
The bosonic part of the ten-dimensional effective action for heterotic supergravity at lowest order in α ′ is given by where κ 10 is the 10-dimensional Planck constant,φ is the dilaton, andĤ = dB, the field strength of the NS-NS rank-two anti-symmetric tensor fieldB. Gauge field terms only arise at first order in α ′ and, therefore, do not appear in the above action. In this paper we will restrict our discussion to the lowest order in α ′ and will not consider any gauge sector fields explicitly. The bosonic Einstein equations which follow from this action arê where ∇ is the covariant derivative associated with the Levi-Civita connection. The fermionic fields associated to the bosonic fields above are the gravitino Ψ M , the dilatino λ, and the gaugino χ. These are all 10-dimensional Majorana-Weyl spinors with supersymmetry transformations given by where ǫ is a 10-dimensional Majorana-Weyl spinor parametrizing the transformations. We also definedĤ M =Ĥ M N P Γ N Γ P andĤ =Ĥ M N P Γ M Γ N Γ P , the contractions with gamma matrices Γ M satisfying the Clifford algebra in 10 dimensions. In a supersymmetric vacuum, the above transformations must vanish, meaning that the vacuum geometry carries a covariantly constant spinor ǫ with respect to the Bismut connection, Provided that the dilatonφ and fluxĤ satisfy (2.6), it can be shown, neglecting the gauge fields, that solving the above Killing spinor equations leads to a solution of the equations of motion (up to first order corrections in α ′ ) when the Bianchi identity forĤ is satisfied. At the order we are working with, this Bianchi identity is given in its simple form aŝ We will thus focus in solving δψ M = δλ = 0 for the remainder of this paper.

JHEP03(2016)177
In order to recover a four-dimensional effective field theory, the background geometry must further be assumed to have six compact dimensions. Killing spinors lead to the existence of stable differential forms and, in general, such forms will reduce the structure group of the manifold they are living on. For instance, the metric of a Riemannian manifold reduces the structure group from O(d) down to SO(d), where d is the dimension of the manifold. Considering theories preserving N = 1 supersymmetry in the effective four-dimensional theory, the Killing spinors reduce the structure group of the internal six compact dimensional manifold down to SU (3). For a trivial NS-NS field and a constant dilaton, this leads to the well known Calabi-Yau compactification, with the levi-Civita connection having SU(3) holonomy. We can also have a non-trivial NS-NS field strength and non-constant dilaton, leading to the Bismut connection having SU(3) holonomy. When the external space is Minkowski this corresponds to the Strominger solution [37,38]. In the physics literature, the terminology SU(3) holonomy implicitly means that we are talking about the Levi-Civita connection, while SU(3) structure refers to a more general connection having SU(3) holonomy.
The aim of this work is to generalize background solutions with geometries breaking part of the four-dimensional supersymmetry, thus leading to BPS states of the effective supergravity. For this, we assume a metric ansatz with six compact internal dimensions that can depend on two of the non-compact directions, with an additional two-dimensional external Minkowski geometry: 3 where we let {m} ∈ {2, 3, . . . , 9} denote coordinates on the non-compact eight-dimensional geometry, {u, v} ∈ {4, 5, . . . , 9} denote coordinates on the compact SU(3) structure manifold X with metric g uv (x m ), {a, b} ∈ {2, 3} denote the non-compact coordinates on Y , which we will also denote by x 2 = x and x 3 = y, while η αβ is the two-dimensional Minkowski metric with indices {α, β} ∈ {0, 1}. This metric ansatz is a direct generalization of the usual direct (or warped) product considered for N = 1 solutions. However, the non-trivial dependence of the internal space on two special directions breaks some of the supercharges. In the next section, we will consider how to solve the Killing spinor equations (2.5)-(2.7) in this context.

Spin(7) and SU(3) structures
Let us first translate the Killing spinor equations into Spin(7) geometry and further into SU(3)-structure forms. Under the product structure of the metric ansatz (2.10), the eight-dimensional subspace decomposes the covariantly constant Majorana-Weyl spinor JHEP03(2016)177 ǫ parametrizing the supersymmetry transformation according to SO(1,9) where 8 c is the conjugate representation and 8 s is the spinor representation [39]. Choosing a background geometry that breaks all but one supercharge, we will have one covariantly constant spinor preserved. This spinor will have a stability subgroup Spin (7) in the 8 s representation, as can be seen from the branching rules the singlet 1 corresponding to the unbroken supersymmetry parameter. This type of background corresponds to 1/4-BPS states from the point of view of the effective fourdimensional N = 1 supergravity. The presence of this spinor on the eight-dimensional geometry will reduce its structure group down to Spin (7), the stability subgroup [40]. Let us recall that a Spin (7) structure is given in terms of the invariant Cayley four-form Ψ, which may be written as where the spinor η denotes the supersymmetry parameter living in the 1 of SO (7). The corresponding Spin(7) torsion classes are parametrized by two components, θ and τ , where (2.14) Here θ and τ are in the 8 and 48 representations of Spin (7), respectively, while d 8 is the eight-dimensional exterior derivative. See e.g. [26] for an introduction to torsion classes and [41] for the specifics of Spin(7) torsion classes. Now, as mentioned earlier, the eight-dimensional part of the metric ansatz is further assumed to have a product structure, with two non-compact coordinates and an internal six-dimensional compact manifold. This implies the existence of two globally defined oneforms dx and dy corresponding to the non-compact directions. This defines an SU(3) structure on the compact six-dimensional internal manifold, characterized by the two-form J corresponding to the hermitian structure, and a complex three-form Ω corresponding to an (almost) complex structure. The Spin(7) structure (2.13) decomposes under this SU(3)-structure embedding according to where dvol 2 is the volume form on the non-compact directions, which by (2.10) is given by We also have dz, a complex one-form on the non-compact directions, which upon a choice of complex structure can be chosen as dz = dx + idy.

Flow equations and torsion classes
Since the structure forms are defined by the ten-dimensional covariantly constant spinor ǫ, it is possible to translate the equations of motion onto properties of the structure forms. Indeed, the supersymmetry equations (2.5)-(2.6) can be reduced to where * 8 is the eight-dimensional Hodge operator and, for ease of notation, we have defined the derivative These equations can be decomposed under the SU(3) structure and, plugging the above equations into (2.17), we obtain where * is the six-dimensional Hodge operator, and dφ = e 2φ de −2φ , with d being the usual exterior derivative in six dimensions. To simplify the notation we have also defined the forms Finally, from (2.18), we have the conditions Solving equations (2.20)-(2.23) and (2.25)-(2.27) is therefore equivalent to finding solutions to the equations of motion and will be the principal focus of this work. One question immediately arises: what kind of constraints on the geometry of the internal six-dimensional manifold follow from these flow equations? Manifolds carrying SU(3) structure can be classified according to their torsion classes in the following way. The intrinsic torsion of a connection with SU(3) holonomy can be classified according to five classes W i , i = 1, . . . , 5, with the SU(3)-structure forms decomposing as such that the relations are satisfied.

JHEP03(2016)177
Torsion classes Properties (name) Calabi-Yau Table 1. Sample of six-dimensional SU(3)-structure properties determined in terms of their vanishing torsion classes. For the half-flat case, the subscript − means the imaginary part.
Some geometrical properties can readily be obtained from these torsion classes, depending on whether they vanish or not -some well-known cases are summarized in table 1. Therefore, we wish to derive the internal torsion classes W i in terms of the field content of the theory to see what kinds of restrictions the flow equations impose, in particular in terms of vanishing classes.
First we define the complexified coordinate Thus we can combine and rewrite equations (2.21) and (2.22) as We see that ∂ zφ contributes to W 1 and ∂ z J will contribute to W 2 and W 5 . Since J together with Ω define an (almost) complex structure, with respect to which Ω is a (3, 0)-form, we can decompose ∂ z J according the holomorphicity of its indices. We define where λ z is a zero-form and h (1,1) z represents the primitive (1, 1)-part, that is, it must satisfy the condition J h (1,1) z = 0. Equation (2.31) can then be written as where we used the fact that, since dΩ cannot be (1, 3), we must have h (0,2) z = 0. We can therefore deduce the first two torsion classes, In order to find W 5 , we must understand the contribution that comes from the h where X is a (0, 1)-form and is to be determined. Using formulae of the appendix of [21], and ||Ω|| 2 = 8 as is conventional, we find that

JHEP03(2016)177
The final two torsion classes can readily be determined from the remaining conditions. We see from (2.23) that W 4 = dφ (2.37) and, using (2.20) and subtracting the contributions from W 3 and W 4 , we find that the last torsion class is To conclude, we have seen that the flow equations impose constraints on the torsion classes; however, they do not impose any vanishing classes. Therefore, they constitute a generalization of the half-flat compactifications obtained from half-BPS flows [21].

Internal geometry ansatz
We have seen that the existence of an SU(3) structure implies that the compact internal six-dimensional manifold carries a two-form J and a three-form Ω. In order to consider the effective four-dimensional theory resulting from compactification, one must have an understanding of the moduli space of metrics.
In general, explicit examples of SU(3) structure manifolds are scarce, so we would like to take a more general approach to deal with the Kaluza-Klein truncation to four dimensions. For this, we draw on the results from mirror symmetry and the subsequent development concerning the so-called half-flat mirror manifolds [42]. We expand the SU(3)-invariant forms on a set of two-forms {ω i } and three-forms {α A , β A }, and assume, in complete analogy with the Calabi-Yau case, that the basis forms satisfy the normalization integrals, where {ω j } is a set of four-forms dual to {ω i }. When the SU(3) structure reduces to a Calabi-Yau manifold, that is, the structure is invariant with respect to the Levi-Civita connection, the form J corresponds to the Kähler form and Ω to the holomorphic (3, 0) form. In this instance, {ω i } forms a basis of harmonic (1, 1) forms of the second cohomology group while {α A , β A } is a real symplectic basis of the third cohomology group. The moduli space is characterized by the deformations of J and Ω, where v i are the Kähler moduli and Z A are projective coordinates on the complex structure moduli. G = G(Z A ) is a holomorphic function of the projective coordinates, which is homogeneous of degree two, while G A = ∂ A G.
For more general SU(3)-structure manifolds, we will assume that the basis forms {ω i } and {α A , β A } satisfy the same properties as for Calabi-Yau manifolds, with the only exception that they no longer need to be closed. This postulate arose originally in the context of mirror symmetry, where the matching of the space of metrics implies that the expansion of forms should have similar properties. Half-flat mirror manifolds have been proposed in [43] JHEP03 (2016)177 and generalized in [44,45]. This class of spaces has been argued to be the correct ansatz for a consistent Kaluza-Klein truncation to four dimensions [46,47].
Following the conventions of [42,45,47], we consider the so-called generalized half-flat manifolds, whose SU(3)-structure forms ω i and (α A , β B ) are postulated to obey the algebra with (real) constant torsion parameters p Ai and q A i . These are the most general expressions, assuming that the exterior derivatives dJ and dΩ can be expanded on the basis of threeforms {α A , β A } and four-forms {ω j }, respectively. Explicitly, this gives For consistency, we still need to impose additional constraints on the parameters p Ai and q A i in order to satisfy the condition d 2 ω i = 0. The flux parameters must obey the relations for a consistent definition of the exterior derivative. In terms of torsion classes, the definitions (2.42) imply that the intrinsic torsion τ 0 must take value in the modules It should be noted that this particular ansatz imposes W 4 = W 5 = 0. This will have some consequences on the solutions of the flow equations, as explained in the next section. Special cases can readily be found in this general context. First, half-flat mirror manifolds correspond to the particular choice p 0i = e i , p ai = 0, and q A i = 0, with the basis forms obeying and being closed otherwise. This leads to which satisfy the definition of half-flat manifolds. For the intrinsic torsion, we have Second, when all the torsion parameters vanish, that is p Ai = q A j = q A i = p Aj = 0, we fully recover the Calabi-Yau geometry with the relations dJ = dΩ = 0. Hence in this case This ansatz for the basis forms also has an impact on the NS-NS flux that can be considered for the compactification. Owing to the generalized relations for the exterior derivatives (2.41), expanding the NS-NS three-form field strength onto the truncation basis givesB

JHEP03(2016)177
where the b i are axionic scalars which we take to be internally constant, and B is a fourdimensional two-form with field strength H = d 4 B, which can be dualized to a universal axion a. In addition, we have introduced the NS-NS flux, with electric and magnetic flux parameters ǫ A and µ A , respectively. Constraints on the electric and magnetic flux parameters occur according to the choice of gauge bundle. Choosing the order α ′ term to vanish in the Bianchi identity implies dĤ = 0 and leads to the relations between flux and torsion parameters. As a simplifying assumption, we will only consider solutions where the flux has legs only on the internal space, that is, Since we have dφ = 0, it follows from (2.27) that J ∧Ĥ = 0, and hence this third condition corresponds to db i = 0 , (2.56) which is true since the axions are taken to be constant internally. The equations (2.53)-(2.55) will be our starting point in section 3.3 when we match to the four-dimensional flow equations, to which we now turn.

Four-dimensional effective theory
Having established our conventions for the internal compact dimensions, we can work out the resulting effective four-dimensional theory that follows from Kaluza-Klein reduction. For this, we must assume that the flux parameters are small enough compared to the JHEP03(2016)177 volume of the internal manifold to allow a separation between the string scale and the flux scale. The relations defined in the previous section are then sufficient to derive the low-energy superpotential of the effective supergravity theory.
Considering the ten-dimensional action and integrating out the compact dimensions, we assume a field truncation that preserves the expansion of the modes on the basis forms {ω i , α A , β A }. In terms of the internal volume, V = d 6 x √ g, the four-dimensional dilaton is given by where V is the zero-mode of the ten-dimensional dilaton. Combined with the Kähler and complex structure moduli (2.39), the various flux scalar fields form the lowest components of the four-dimensional chiral supermultiplets in the usual way, The corresponding Kähler potentials are given by the same expressions as for Calabi-Yau compactifications, coming from the logarithm of the internal volume, 4 3) The full Kähler potential of the resulting four-dimensional effective supergravity thus corresponds to the sum of the three terms above, The superpotential can be obtained from the Gukov-Vafa formula, as derived in [42], For convenience, let us introduce the modified flux parameters, These allow us to express the exterior derivative of the hermitian form dJ and the NS-NS field strengthĤ in the compact form where we have imposed (2.52) and (2.56). This in turn leads to the superpotential ex- It should be remembered that, owing to the dependence on the complexified Kähler moduli T i , the new parametersǫ A andμ A can no longer be taken to be constant. It is

JHEP03(2016)177
interesting to note that superpotentials of type (3.8) are very similar to those that appear in type II non-geometric compactifications [48][49][50][51]. These types of superpotentials have recently been employed in order to obtain phenomenologically viable models of Starobinskylike inflation [52,53]. It would be interesting to see if such inflationary models can be obtained within the heterotic context, and also if other phenomenological applications apply. We leave this for future work.

Killing spinor equations and 1/4-BPS states
The four-dimensional effective theory resulting from heterotic string theory is an N = 1 supergravity. In general, such a theory is characterized by the chiral superfields (A I , χ I ), a gravitino ψ µ , the Kähler potential K, and the superpotential W . The corresponding Killing spinor equations are given by where the covariant derivative is defined by In the above ζ is a Weyl spinor that parametrizes supersymmetry, D I W = W I + K I W , the σ µ correspond to the usual Pauli matrices, and ω µ is the spin connection.
In order to match with the eight-dimensional Spin (7) structure, we should focus in the four-dimensional theory on topological defects of co-dimension two. With this in mind, we consider the metric ansatz Applying this result to (3.9) and (3.10) gives Since the warp factor B is real, we can separate (3.16) into real and imaginary parts, 2ζ a = −B a ζ .

JHEP03(2016)177
We are interested in solutions preserving only one of the four supercharges from ζ, which corresponds to the singlet of (2.12). To this end, we impose on the Killing spinor the constraints σ 2 ζ = ζ , iσ 3 ζ = ζ , (3.19) effectively breaking three out of the four supercharges. 5 Solutions will thus correspond to 1/4-BPS supergravity states. Plugging this into the equations (3.14), (3.15), and (3.17) we obtain (3.20) The last equation (3.18) simply gives the dependence of the spinor ζ on the special directions {x, y} as a function of the warp factor dependence B. We will thus ignore this condition as it can always be solved appropriately.
We can now insert the heterotic supergravity ingredients (3.2), (3.3), and (3.5) into these Killing spinor equations (3.20), and using the complex coordinatez we obtain To round off this discussion, note that (3.14)-(3.18) are invariant under general coordinate transformations in the xy-plane. This suggests that there may exist 1/2-BPS solutions other than domain wall solutions. We explore this and related ideas further in appendix B.

Matching the 10d and 4d flow equations
Dilaton. We will now try to match these flow equations with those obtained from the ten-dimensional perspective. First, let us look at the equation for the axion-dilaton field. From (3.21) we have Remembering that we made the ansatz (2.52) for the NS-NS fluxĤ, the corresponding four-dimensional axion a is constant. Hence inserting (3.22) into the above equation gives

JHEP03(2016)177
which implies ∂zφ = ∂zB , (3.26) and therefore φ − φ 0 = B for constant φ 0 . From now on, we will fix the warp factor to be equal to the four-dimensional dilaton, φ = B. The flow equation for the dilaton is therefore given by We would now like to derive this from the 10d flow equations. First take the wedge product of (2.53) withΩ, giving where the second line follows from the fact that Ω is a (3,0)-form. Now, integrate (2.55) over the compactification volume. Remembering that the volume V of the internal manifold can be written as 8V = i Ω ∧Ω, we obtain where in the second step we have used the property * Ω = −iΩ. Taking the complex conjugate gives Integrating over (3.28) and inserting (3.30) on the right-hand side, we find dJ ∧Ω + * Ĥ ∧Ω = −i ∂zΩ ∧Ω + i ∂zφ Ω ∧Ω + 2 * Ĥ ∧Ω . Rearranging and simplifying leads to In order to complete the matching we will need to make use of an additional constraint, This might seem like an extra condition imposed on the ten-dimensional geometry. We now show that we are free to impose this condition, at least as far as physics is concerned. Indeed, recall by Kodaira [54] that where K z is some complex function and χ z ∈ Ω (2,1) (X). The absolute value of K z is related to the change in volume. We are however free to rotate K z by a complex phase without changing the volume or the complex structure of X. In particular, we take K z to be real,

JHEP03(2016)177
However, ∂ zΩ =K zΩ +χ z . (3.36) Hence with the choice (3.35), the result (3.33) follows. Applying this condition, we see that (3.32) can be expressed as Inserting the definitions of the superpotential (3.5) and the volume V, we find Finally, using e −φ e K/2 = 1/(4 √ 8V) (derived in appendix A) 6 and the relation (3.1) between the 10d and 4d dilaton, we arrive at the flow equation (3.39) Complex structure moduli. We now turn to the complex structure moduli. The flow equation we wish to derive is Here we will make use of Kodaira's formula (3.34), which we assume can be written as 7 from which it follows that the Kähler metric for the complex structure moduli can be expressed as To proceed, we start from the 10d equation (2.53), then wedge withχ a and integrate to obtain where in the second step we have used the fact thatχ a is a (1,2)-form. We can use Kodaira's formula to rewrite this as

JHEP03(2016)177
where the second term again vanishes by the antisymmetry of the wedge product, using thatχ a is type (1,2) while Ω is type (3,0). Inserting this expression into (3.43) and using * χ = iχ gives We are now in a position to obtain the four-dimensional flow equation. Dividing by the volume V and using i Ω ∧Ω = 8V, we get and by substituting (3.42) we find where we have again used e −φ e K/2 = 1/(4 √ 8V). Note thatχ a = D a * Ω follows directly from Kodaira's formula. Finally, contracting with the inverse Kähler metric leads to the result, Kähler moduli. Finally, let us consider the Kähler moduli. Our goal is the 4d flow equation From the 10d perspective we start from (2.54), which can be written as Taking the wedge product with the basis form ω i , and integrating over the manifold, gives Since our final result contains only ∂z terms, we should take the complex conjugate of this equation. After integrating by parts, we find In what follows we will make use of the formulae given in appendix A. To proceed, note that the superpotential (3.5) can be expressed in the form From (3.53) and the definitions (A.6), we see that (3.52) can be rewritten as

JHEP03(2016)177
Inserting the relation (3.1) between the 10d and 4d dilaton, with K = 6V, we get To complete the matching, we should write this in terms of the moduli v i . From (A.6) we can derive Dividing (3.55) by K, rescaling, and simplifying the result using (3.39), (3.56), (A.8), and the relation e −φ e K/2 = 1/(4 √ 8V), we obtain The term in brackets on the left-hand side is simply the Kähler metric (A.7), while the right-hand side contains the covariant derivative D j * W * . Hence we have Finally, contracting with the inverse metric K ki * and relabelling indices gives the result, which coincides with (3.49) when ∂zb i = 0.
Axion constraint. To conclude the matching, let us derive the axion constraint (3.23).
Here we will show that it is nothing other than the additional constraint (3.33) we imposed to complete the dilaton matching, namely, To prove that this matches (3.23), we should expand it in terms of basis forms. We will make use of the prepotential in the large complex strucutre limit, where Z A = Z 0 (1, Z a ) and G A = ∂G/∂Z A . Explicitly, we find that Now use (2.39) to rewrite (3.60) as In the large complex structure limit, we can use (3.62) to expand the left-hand side of this expression as (3.64)

JHEP03(2016)177
To obtain the second equality we have used the (A.9) and the symmetry ofK abc under permutations of the indices. Similarly, the right-hand side can be expanded to give Finally, equating (3.64) and (3.65), we find which can be rearranged to giveK a ∂ z c a = 0 .

Discussion and outlook
In this paper we have investigated compactifications of heterotic string theory on eightdimensional geometries with two non-compact directions. We have performed the matching between the ten-dimensional geometries and the four-dimensional BPS equations that generically correspond to 1/4-BPS solutions. In doing so, we have established a connection between eight-dimensional Spin(7) structures and 1/4-BPS vacua.
In addition, we have introduced new types of 1/2-BPS solutions corresponding to topological cosmic strings and black holes (see appendix B). We have not attempted to construct explicit solutions to the more general 1/4-BPS equations. It is expected that such solutions will generically break more spacetime symmetry than the usual 1/2-BPS solutions of e.g. spherical or cylindrical symmetry as given in appendix B. One could for example look for cosmic string solutions where the radial symmetry is preserved but with broken axial symmetry, or vice versa. Solutions of the form of intersecting branes also come to mind [55,56]. We will explore these directions in a future publication [36].
As we have seen, these types of compactifications allow for a more generic superpotential than what is obtainable in the previous domain wall compactifications. In particular, the flow equations allow the internal manifold to be a generalized half-flat manifold. The resulting superpotential takes a form very similar to those of type II non-geometric compactifications [48][49][50][51], and it would be interesting to study this relation further. In particular, it would be interesting to look for compactifications which might be suitable for inflationary models, as has been done on the type II side [52,53]. This paper has mostly been concerned with establishing the matching between the ten-dimensional and four-dimensional solutions of the BPS equations. However, one important task remains, namely, to study explicit examples of solutions, as has been done for the domain wall case in e.g. [22,24,25,27]. Furthermore, in order to study the phenomenology of these solutions, they have to be lifted to maximally symmetric vacua by means of non-perturbative effects such as gaugino condensates [27,33], or one can look for non-supersymmetric perturbative vacua as was done in [57]. Work in this direction is in progress.

B.1 Cosmic strings
First let us consider an alternative solution to (3.14) and (3.15) whose holonomy corresponds to a fibration of SU(3) over the radial direction in polar coordinates. To this end we impose that the warp factor, as well as scalar and spinor fields, should depend only on the perpendicular distance ρ = x 2 + y 2 from the origin, such that the solution is rotationally invariant around the z-axis. This ansatz will lead to solutions that are topological cosmic strings.
To obtain such solutions, note that we can satisfy (3.14) and (3.15) by choosing B = B(ρ), A I = A I (ρ), and ζ = ζ(ρ). This simplifies the Killing spinor equations to where the ρ subscript denotes a derivative with respect to ρ. Furthermore, this requires that the spinor ζ satisfies the constraint where we have defined for azimuthal angle ϕ. Note that equations (B.1) are parametrically identical to the Killing spinor equations for the domain wall case described in [21], so we expect the solutions to take the same form but with the y-direction substituted for the ρ-coordinate.

B.2 Black holes
We can generalize the above construction to three spatial dimensions. The metric is now where we allow B to depend on all three spatial directions x i , with {i, j} = {1, 2, 3}. For a naked singularity at the origin (a "black hole" solution) we would expect spherical symmetry, with the SU(3) structure fibred over an interval corresponding to the radial distance r from the singularity. The spin connection is Maintaining a dependence on all three spatial coordinates for now, the Killing spinor equations (3.9) and (3.10) become

JHEP03(2016)177
Specializing to the scenario where the fields and warp factor are independent of the zenith and azimuthal angles θ and φ, respectively, gives A I r = −ie −B e K/2 K IJ * D J * W * , B r = ie −B e K/2 W , 0 = Im(K I A I r ) , 2ζ r = −B r ζ , (B.7) where r = x i x i and the spinor satisfies ζ = σ r ζ, where σ r = x i r σ i = cos θ sin θ e −iφ sin θ e iφ cos θ . (B.8) 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.