Domain wall seeds in CSO-gauged supergravity

Gravitational domain wall solutions in gauged supergravity are often constructed within truncations that do not include vectors. As a consequence the gauge group is only a global symmetry of this truncation. The consistency of the truncation requires the restriction to solutions with vanishing Noether charge under this global symmetry, since otherwise vector fields are sourced. We show that this has interesting consequences for the orbit structure of the solutions under the global symmetries. We investigate this for CSO(p, q, r)-gaugings in various dimensions with scalar fields truncated to the SLnℝ/SOn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathrm{S}\mathrm{L}\left(n,\mathbb{R}\right)/\mathrm{SO}(n) $$\end{document} subcoset. We prove that the seed solution — which generates all other solutions using only global transformations — has a diagonal coset matrix. This means that there exists a transformation at the boundary of the geometry that diagonalises the coset matrix and that this same transformation also diagonalises the whole flow as a consequence of the vanishing charge.


Introduction
Supergravity theories can possess global symmetries of the equations of motion that manifest themselves as isometries of the scalar manifold. Typically there are more of those global symmetries if the number of supercharges is increased [1]. For instance maximal (ungauged) supergravity in four dimensions enjoys an E 7(+7) symmetry of the equations of motion, which corresponds to the isometry group of the 70-dimensional scalar manifold E 7(+7) / SU (8). These global symmetries are powerful in multiple ways. They can be descendants of duality symmetries of the full string theory, allowing some insights into strongly coupled regimes of string theory [2]. More practical is their use as solution-generating symmetries. If the equations of motion are invariant under a group of symmetries G, then any solution to the equations can be mapped to another solution under the action of G. This leads to the concept of orbits of solutions.
Studying the orbits of solutions has been a very active field of research over the past decades in the context of black hole solutions to ungauged supergravity, see [3,4] for some original references. Less well studied is the orbit structure for domain wall solutions in gauged supergravity. This structure is expected to be somewhat more complicated since the symmetry group in gauged supergravity is not as big as in ungauged supergravity. The diminished symmetry is a consequence of the gauging which makes a subgroup of the JHEP06(2017)097 isometry local and destroys the rest 1 of the original global symmetry by the introduction of a scalar potential (see for instance [5]).
Often one is interested in domain walls with maximally symmetric wall spaces and with all fields with non-trivial spin (apart from the metric) set to zero. The resulting equations of motion enjoy then the gauge group as a global symmetry. For this to be consistent the scalar fields should not source any vector fields. This implies that the charge of the scalars has to vanish. This is a necessary and sufficient condition for the truncation to be valid and has to be checked separately when a solution of the scalar-metric system is found, since this truncation is not guaranteed to be consistent. We are therefore interested in understanding the orbit structure of solutions with zero charge under global gauge rotations, which at first sight seems harder than the orbit structure under local rotations.
In this paper we initiate a first systematic study of this in the context of a popular class of truncations of gauged supergravity theories in D dimensions with 2 < D < 10: the CSO(p, q, r)-gaugings of theories with as scalar coset SL(n, R)/ SO(n) where n = p + q + r. A review of these theories, their solutions, and their link with (string theory) compactifications can be found in [6]. We prove here that all solutions in these theories can be found by transforming, under the global symmetry group, the solutions with diagonal coset matrices. In other words, we show that there exists a rotation matrix inside the global symmetry group that diagonalises the coset matrix at the boundary and that this same matrix diagonalises the whole flow. This is non-trivial since a priori the transformation that diagonalises the matrix could depend on the position along the flow. It is also not evident that one can diagonalise the coset matrix using non-compact gauge groups. In this paper we prove both claims.
Since these statements can be confusing, let us consider a reasoning that can be found (indirectly stated) in the literature on susy domain walls for SO(n)-gaugings, see for instance [7]. The argument is that prior to truncating the vectors, one can use the local rotation symmetry to diagonalise the coset matrix everywhere. Hence it is sufficient to look at solutions with diagonal matrices. These solutions do not source vectors since their SO(n)-charge vanishes. The susy solution then obeys the typical flow equation where φ i are the scalars, G ij the metric on field space, W a function of the scalars called the real superpotential and z is the coordinate transverse to the wall. For diagonal coset matrices only n−1 scalars are switched on and this equation is easily solved [7]. But imagine now that we started solving (1.1) for a general coset matrix with all off-diagonal elements switched on and that the solutions have zero charge, as required for consistency. Then the resulting solution is expected to be diagonalisable using a local SO(n)-transformation. Such a transformation will switch on vectors A I µ that are pure gauge, such that the field strengths still vanish. Hence one would expect the diagonal solution to solve the flow equation with ∂ z replaced by a covariant derivative that includes the vectors. But since the charge vanishes 1 Not necessarily all the rest of the global symmetry is destroyed. What is left is the normaliser of the gauge group in the original ungauged global symmetry group. We thank Adolfo Guarino for pointing this out.

JHEP06(2017)097
the coupling to the diagonal scalars in the covariant derivative is absent. This can only be correct if it implies that the matrix that diagonalises the solution at a given value of z diagonalises it for all z. This property is not at all obvious within the truncation and we explain in this paper how that works in detail. But our main result is that the same reasoning applies to the general CSO(p, q, r)-gaugings. There is however an important difference between the SO(p, q)-gaugings and their contracted counterparts CSO(p, q, r). In the latter case the global rotation that diagonalises the coset-matrix throughout the flow is bigger than the gauge group. So the rotation is not pure gauge.

CSO-gauged SUGRA
We consider a consistent truncation of gauged supergravity theories such that only the scalars φ i (i = 1, . . . N ) and the metric g µν are active. This subsystem is then described by the following action where G ij denotes the metric on the scalar manifold X and V is the scalar potential. All maximal and half-maximal gauged supergravities allow a further consistent truncation of the scalars such that the scalar manifold X is We are particularly interested in CSO(p, q, r) gaugings as they form a "canonical" set of gaugings in maximal supergravity [6]. Well-known examples are the SO(n) gaugings originating from sphere compactifications of type II supergravity in D = 10 or of D = 11 supergravity. For instance SO(8) comes from 11D sugra on S 7 , SO(6) from IIB on S 5 , SO(5) from 11D sugra on S 4 , SO(3) from IIA on S 2 or 11D on S 3 (as a group space, not as a coset). The SO(p, q) gauge groups can be found from generalised hyperbolic compactifications [8].
Consider the coset representative L of SL(n, R)/ SO(n) in its fundamental representation. It is multiplied by the left with the SL(n, R) isometry transformations and from the right with the SO(n) isotropy group:

JHEP06(2017)097
The metric on SL(n, R)/ SO(n), which has SL(n, R), as an isometry group is given by The coset can be extended to GL(n, R)/ SO(n) with an extra scalar ϕ as follows The scalar potential for CSO-gaugings can be written as where a is a number that depends on the dimension where p + q + r = n. The combinations of n and D for which a vanishes are also theories for which the scalar ϕ is absent. The global symmetry group, in presence of the scalar potential, is the group that leaves the bilinear form η invariant. When r > 0 this is larger than the CSO(p, q, r)-group, as we will explain below.

Supersymmetric domain wall flows
The metric ansatz for Minkowski-sliced domain wall solutions is where ds 2 D−1 is the metric on Minkowski space. The warpfactors g, f and the scalars φ i are only functions of z. The warpfactor f (z) is pure gauge and can be chosen freely. From the action (2.1) one can derive the following effective action for domain-wall solutions: Varying (3.2) gives the general second order equations of motion for M:

JHEP06(2017)097
Supersymmetric solutions solve first-order flow equations derived from a specific real superpotential W : The potential can be written in terms of W as follows: The matrix form of the first-order equations has not appeared earlier in the literature to our knowledge. The proof proceeds in the usual way by squaring the action. In the gauge f = g D−1 , we find that the following squared effective action, is equivalent to (3.2). The diagonal solution was constructed in [9] (see also [7,10]) in the gauge f = g 3−D and is given by: 2 where with η i the i'th diagonal entry of η (hence ±1 or 0) and i an arbitrary integration constant.
In the context of maximal supergravity, these flows were shown to preserve half of the supersymmetries [7,9,10].
In the next sections, we will argue that all susy Minkowski-sliced domain wall solutions are related to this diagonal solution through a global transformation. The same also holds for all non-susy solutions with vanishing Noether charges: the seed will again be diagonal.

JHEP06(2017)097 4 Noether charges
The effective action (3.2) for finding domain walls corresponds to a normal Hamiltonian system in classical mechanics with the spatial coordinate z playing the role of time. Since the effective action has the gauge group G = CSO(p, q, r) as a global symmetry, there must be a set of conserved charges equal to the dimension of G, which remain constant along the flow in z. These conserved charges can always be written in terms of momenta and generalised coordinates and hence provide a set of first-order equations. We now show that for supersymmetric solutions in our models these first-order equations contain no new information since they are implied by (3.7).
To gain some intuition we first consider the case without potential. The equations of motion for the scalars in the gauge f = g D−1 decouple from the metric and are derived from the geodesic action The geodesic equations for the scalars in M are summarized as This can be integrated once with Q any traceless matrix. This equation is further integrated as So remarkably all geodesics on SL(n, R)/ SO(n) can be found in the language of the symmetric coset matrix in a trivial manner. 3 From (4.3) one finds that Q is in the Lie algebra of SL(n, R) since it is traceless and corresponds to the matrix of Noether charges. Once we deform the geodesic motion by the potential V , only those Noether charges corresponding to the symmetry preserved by V should survive. Hence the Noether charge matrix corresponding to the CSO gauged supergravity theories should be related to the projection of the general Q ∈ Lie(SL(n)) to Lie(CSO(p, q, r)). An explicit computation of the Noether charge carried out in appendix A yields Substituting the first-order equation (3.7) into (4.5) one finds that supersymmetric solutions have vanishing charge. Hence the supersymmetric solutions source no vectors, consistent with our truncation. Moreover, one can explicitly check that Qη (which is also conserved) is an element of the CSO algebra. We already explained in the Introduction that we expect solutions with zero Noether charges to behave in a special way under global transformations of the gauge group. Namely

JHEP06(2017)097
a solution whose coset matrix can be diagonalised at some value for z using a gauge transformation will be diagonal for all values of z. We have included a computationally explicit proof of this in appendix B for SO(p, q)-gaugings. For gaugings with contracted gauge groups the story complicates somewhat in the sense that a bigger transformation is needed to diagonalise a solution. But again the vanishing of the Noether charge will turn out sufficient to argue that all solutions are global transformations of the solution with diagonal coset matrix.
The reasoning uses the equations of motion (3.3), which can be schematically written as Since the matrix F (M) is diagonal for diagonal M, if both M and its first derivative are diagonal at some point, the whole flow will remain diagonal. We will show that if we require the Noether charge to vanish, we can diagonalize M andṀ at a reference value (e.g. z = 0) using a transformation inside the global symmetry group of the action. This ensures that all solutions with vanishing Noether charge (and hence all the solutions consistent with the truncation) can be obtained through a global symmetry transformation from the diagonal seed solutions. The intuition behind this is simple. Consider for instance a spherically symmetric system in classical mechanics for which the angular momenta vanish. Since angular momentum is linked to rotation, there exists a frame in which the system has no rotation and all angular variables vanish at all times. Let us now extend this logic to our context. If it is possible to diagonalise M(0) using SO(p, q) then the general coset element can be written as L = P × D, with D diagonal and P in SO(p, q). The degrees of freedom are explicitly separated into 'radii' sitting in D and 'angular variables' residing in P. From the point of view of the scalar potential the variables P are cyclic. If the variables in P are then zero in a certain frame (basis) at z = 0 they will remain zero throughout the flow. Hence the transformation that brings one to the frame of vanishing angles at the boundary brings us to vanishing angles along the flow.

Normal forms
We now set out to prove the main claim made in the introduction that all solutions of the CSO-gaugings with zero charge can be found performing a global transformation on solutions with diagonal coset matrices. We first discuss SO(p, q) gaugings and then we treat the contracted CSO algebras.

Normal form for SO(p, q) gaugings
We start by arguing that any coset matrix M evaluated at the reference value z = 0 can be diagonalised using an SO(p, q) transformation. Using the result form the previous section this then implies that the solution will be diagonal globally.
It is well-know that M(0) can be diagonalised using an SO(n)-transformation since it is a symmetric bilinear form. We want to generalise this to SO(p, q)-transformations with p + q = n. The statement is not true for general symmetric bilinear forms, but relies on JHEP06(2017)097 M(0) being positive definite. Our proof uses a detour via the normal form of the coset element of SL(n, R)/ SO(p, q) constructed in [15,16]. To make this connection, note that any symmetric matrix M can be written as with η the invariant bilinear form under SO(p, q) defined earlier and A some generalised symmetric matrix, which means A T = ηAη .
Such a matrix A can be regarded as being in the Lie algebra of SL(n, R)/ SO(p, q). It was shown in [15,16] that one can bring A into its Jordan normal form J through a similarity transformation Ω ∈ SO(p, q), so that The proof of this proceeds by showing that one can always find a basis for η in which the normal form of a generalised symmetric matrix is itself generalised symmetric: J T = ηJ η . This means that the similarity transformation is inside SO(p, q). The detailed proof of this statement can be found in [15,16]. In appendix C we show that, due to M being positive definite, the normal form J has to be strictly diagonal. After this we get and we therefore see that we can indeed diagonalize M with an SO(p, q) transformation.

Normal form for CSO(p, q, r) gaugings
For the CSO(p, q, r) gaugings the global symmetry group is larger than the gauge group. The CSO group can be obtained by exponentiating the Lie algebra elements g ij given by [6] (g ij ) k l = δ k [i η j]l , (5.5) whereas the global symmetries of the action are larger and contain all the transformations Γ that leave η invariant η = Γ T ηΓ .
This second group is larger, since even though one has for any choice of constants λ ij , not all the matrices Γ which leave η invariant are of the form exp λ ij g ij . Indeed, (5.6) only implies that where Ω ∈ SO(p, q), A is an arbitrary r by (p + q) matrix and B is an arbitrary r by r matrix.

JHEP06(2017)097
We will argue now that we can diagonalize any susy flow through a global Γ transformation. To this aim, let us split M(0) into blocks as follows: .

(5.9)
Here, M 1 has size (p + q) × (p + q) and M 3 has size r × r. From the arguments of the previous section, we know that there is a matrix Ω ∈ SO(p, q) such that ΩM 1 (0)Ω T = D 1 is diagonal. Let us transform M with the matrix where for the moment we keep B arbitrary. Then we get The matrix S is symmetric, and moreover it is positive definite. 4 From the properties of S we know that there exists an SO(r) transformation O which brings it into a diagonal form: we see that BSB T = 1 r .

(5.15)
This shows that using the Γ transformation we just described, we get (5.16) We now argue why this transformation will diagonalise the coset matrix at all values for z if the Noether charge vanishes. This result is not implied from the results in the previous section since we only require that the Noether charge under CSO rotations are zero, whereas the Γ-transformation above is typically inside a larger symmetry group. Hence we have to prove that the Γ-transformation will diagonalise the solution for all values of z. 4 The way to see this last point is by remarking that S is the combination that appears on the lower-right block of the inverse matrix M(0) −1 . Indeed, whenever S is not singular. The matrix S is also known as the Schur complement of M1(0), and the matrix M(0) is positive definite if and only if M1(0) and its Schur complement are both positive definite.

JHEP06(2017)097
Suppose therefore that M is a solution of the second order equations of motion such that Let us expand such a solution around the reference value z = 0 as After performing a Γ transformation as the one we described, we can write The Noether charge is therefore where η s is a diagonal matrix with p times +1 and q times −1. If this charge vanishes, we know thatṀ 2 (0) must vanish, and therefore we have After applying the global transformations we described above, we have shown that both the coset matrix and its first derivative can be made diagonal at the reference value z = 0. Due to the structure of the second order equations of motion, the matrix will preserve its diagonal form along the whole flow. This concludes the proof that any consistent solution (therefore with vanishing Noether charge) can be brought into a diagonal form through a global symmetry transformation.

JHEP06(2017)097 6 Discussion
We have investigated the space of domain wall flows in CSO(p, q, r)-gauged supergravities with scalar fields truncated to the coset SL(n, R)/ SO(n) (or GL(n, R)/ SO(n)), where n = p + q + r. We have emphasized how the gauge group is a global and not a local symmetry once the vectors are truncated and that this requires the CSO(p, q, r)-charge to be zero. We then showed that all the zero-charge solutions of the theory can be found by letting the global symmetry act on solutions with diagonal coset matrices. As the vanishing of the Noether charge is a necessary consistency condition for any solution of the truncated theory, we have proved that all the consistent solutions of CSO gaugings (within our truncation) can be obtained through a global rotation of a diagonal solution. All supersymmetric domain walls with diagonal coset matrices were constructed in [6,7,9,10]. For supersymmetric flows the results we found were implicitly known for SO(n) gaugings. For all other CSO(p, q, r)-gaugings our findings were to our knowledge not explained in the literature. 5 We emphasize that this result is more surprising for the gaugings with contracted gauge groups (r > 0). In that case the global transformation that diagonalises the flows are outside of the gauge group, but still within the global symmetry of the action. In the extreme case r = n, there is no gauging and hence no scalar potential so that the flows describe geodesic curves on SL(n, R)/ SO(n). Those curves were known to be diagonalisable using SL(n, R) (see for instance [16]). The reason the flow can be diagonalised when 0 < r < n is a mixture between the different reasonings used for the extremes r = 0 and r = n. This work is a first step towards classifying (supersymmetric) domain wall flows in gauged supergravity. To achieve that goal, one should go beyond the SL(n, R)/ SO(n)truncation. 6 We then expect that a very non-trivial orbit structure should arise.

JHEP06(2017)097
Infinitesimally we can write Here, g ij label the generators of the algebra and λ ij are transformation parameters, which are taken to be infinitesimal. In order to find the conserved charges we allow λ ij = λ ij (z) and follow the standard Noether procedure. To simplify the notation, we write h ≡ λ ij g ij . The two last terms of the action remain invariant even when h = h(z), so that we only consider the kinetic term and find: Integrating by parts, throwing away a total derivative and by the standard argument of letting λ ij be constant, we get a set of conserved charges The generators of the CSO group are [6] ( A short computation then reveals that

B Normal forms and vanishing Noether charges
Here we prove explicitly for SO(p, q) gaugings that the matrix that diagonalises M at z = 0 diagonalises M throughout the flow if the Noether charge Q vanishes. Inserting into (4.5) and requiring Q = 0 yields If we let D = diag(d 1 , . . . , d n ), the previous equations becomes in components We recall that for ω ∈ so(p, q), all the diagonal elements of ω vanish. If all the eigenvalues of M are different (so that d i = d j for all i, j), then (B.3) further implies that ω ij = 0, so that ω = 0 and dΩ = 0 =⇒ Ω = cst. (B.4)

JHEP06(2017)097
What happens when some of the eigenvalues of M are equal? Suppose for instance that we are dealing with the extreme case in which all the eigenvalues are the same, so that also d i = d j for all i, j. Then we get so that M is diagonal for any Ω, and there is no need for diagonalizing it in the first place. We could then trivially keep Ω constant in this case too. The argument for the constancy of Ω when only some of the eigenvalues of M are equal, follows from realizing that the only components ω ij which can differ from zero are those for which d i = d j . However, in that case, the transformation Ω will leave Dη invariant anyway: it will correspond to a trivial reshuffling of the equal d i 's in D. Indeed, if without loss of generality we arrange the elements of D in k groups ω will be block diagonal: and we get with Ω c being constant and This z-dependent part of the transformation acts however trivially on D: We see therefore that even when there are repeated eigenvalues, M can be diagonalised with a constant SO(p, q) transformation throughout the flow.

JHEP06(2017)097
C Jordan normal forms and SO(p, q) Let us construct the basis for the bilinear form η that makes the standard Jordan normal form J generalised symmetric. This standard form is given by then from the generalised symmetric condition we see that η must be of the form where η i has the same size as the Jordan block to which it corresponds and is equal to ±1, if its size is 1, or otherwise. Using all the previous, we can write [16] M = ΩJ ηΩ T , Ω ∈ SO(p, q) . (C.4) We will now argue that J is strictly diagonal, and not just block diagonal. Since M = LL T is positive definite, we must have that J η = Ω −1 M(Ω −1 ) T , is also positive definite. Clearly, the matrix J η is block diagonal, and in order to be positive definite, each of its blocks J i η i must be positive definite. Suppose that there is at least one non-diagonal block J i in the Jordan normal form for A. The product J i η i is then from which we deduce that J i η i is not positive definite. We have hence shown by contradiction that J must be diagonal. To unify this discussion with the one of the previous subsection, we will write D = J . We know then that we can always diagonalize M using an SO(p, q) transformation: M(z) = ΩD(z)ηΩ T , (C.7) with D(z) diagonal and Ω ∈ SO(p, q). In this basis, η takes the standard diagonal form.
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.