Consistent N=8\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=8 $$\end{document} truncation of massive IIA on S6

Massive type IIA supergravity is shown to admit a consistent truncation on the six-sphere to maximal supergravity in four dimensions with a dyonic ISO(7) gauging. We obtain the complete, non-linear embedding of all the D = 4 fields into the IIA metric and form potentials, and show its consistency. We first rewrite the IIA theory in an SO(1, 3) × SL(7)-covariant way. Then, we employ an N=8\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=8 $$\end{document} SL(7)-covariant restriction of the D = 4 tensor hierarchy in order to find the full embedding. The redundant D = 4 degrees of freedom introduced by the tensor hierarchy can be eliminated by writing the embedding in terms of the field strengths and exploiting the restricted duality hierarchy. In particular, closed expressions for the Freund-Rubin term are found using this technique which reveal a pattern valid for other truncations. Finally, we show that the present N=8\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=8 $$\end{document} truncation of massive IIA on S6 and the N=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=2 $$\end{document} truncation obtained when S6 is equipped with its nearly-Kähler structure, overlap in the N=1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=1 $$\end{document}, G2-invariant sector of the former.


Introduction
Gauged supergravities with anti-de-Sitter (AdS) vacua provide a valuable tool to study holographically the strongly coupled behaviour of superconformal field theories at large N . In this regard, the SO(8) [1], SO(5) [2] and SO(6) [3] gaugings of maximal supergravity in D = 4, D = 7 and D = 5 dimensions occupy a prominent place in that they are JHEP12(2015)020 holographically related to the M2, M5 and D3 brane worldvolume superconformal field theories. Crucially, these gaugings respectively arise as consistent truncations of D = 11 supergravity on S 7 [4,5] and S 4 [6,7], and type IIB on S 5 , see [8][9][10]. By virtue of the consistency of these truncations, these maximal gauged supergravities describe the complete, nonlinear interactions of a fininite number of modes of M-theory or type IIB on the Freund-Rubin backgrounds [11] AdS 4 × S 7 , AdS 7 × S 4 and AdS 5 × S 5 , respectively, in a consistently decoupled way from other Kaluza-Klein (KK) modes. The modes that are kept in these maximally supersymmetric truncations lie at the bottom of the KK towers of D = 11 or type IIB supergravity on these Freund-Rubin AdS vacua or, in fact, any other AdS vacuum, as e.g. the spectrum [12] of M-theory on the warped AdS 4 × S 7 N = 2 background of [13] suggests. To signify this, these are usually referred to as 'massless mode' truncations, although the retained modes do not typically have zero physical mass. Various analyses from different perspectives single out, under given assumptions, these (D, n) = (11,7), (11,4), (IIB, 5) 'massless mode' truncations amongst all possible compactifications of D = 10 or D = 11 supergravity on S n [8,[14][15][16]. These results resonate with well-known facts, including that only the worldvolumes of the M2, M5 and D3 branes can support a maximally supersymmetric conformal field theory, or that AdS 4 × S 7 , AdS 7 × S 4 and AdS 5 × S 5 is the complete list of maximally supersymmetric Freund-Rubin solutions in D = 11 and D = 10 [17]. These three 'massless mode' truncations thus fulfill the expectation that every supersymmetric string/M-theory background containing an N -supersymmetric AdS D factor should have an associated consistent truncation to a D-dimensional, N -extended gauged supergravity with that AdS D as one of its vacua [18].
For these reasons, it may come as a surprise that, as we already announced in recent work [19], massive type IIA supergravity [20] also admits a consistent truncation on the six-sphere S 6 to maximal, N = 8, supergravity in four dimensions. The relevant D = 4 gauge group is the non-semisimple group ISO(7) = SO(7) ⋉ R 7 , and the gauging is of the dyonic type recently discussed in [21,22]. See [23] for the explicit construction of the dyonic ISO(7)-gauged supergravity. Similarly to the S 7 truncation of D = 11 supergravity to the SO(8) gauging, SO(7) gauges electrically the isometries of the internal round S 6 . In addition, the R 7 translations now gauge dyonically shift symmetries of the IIA forms. Unlike the N = 8 D = 4 SO(8) [1] and D = 5 SO(6) [3] gaugings, the dyonic ISO(7) gauging does not admit an N = 8 AdS vacuum that can possibly uplift to a maximally supersymmetric Freund-Rubin background AdS 4 ×S 6 of massive type IIA. Yet, a consistent truncation at the level of the supergravities does exist which is, moreover, maximally supersymmetric. Of course, this does not contradict the statement of [18].
The intuition that biunivocally associates maximally supersymmetric AdS vacua of string or M-theory to maximally supersymmetric consistent truncations is therefore not always correct. In fact, some maximally supersymmetric truncations with no maximally supersymmetric vacuum are either known or have been conjectured. An example closely related to ours is the conjectured truncation [24] of massless type IIA on S 6 to the D = 4 purely electric ISO (7) gauging [25]. The latter theory does not have any vacuum that can possibly uplift on S 6 to any AdS 4 solution of massless type IIA. Our truncation is valid for all values, finite or zero, of the Romans massF (0) ≡ m. The reason for this is that JHEP12(2015)020 we establish consistency at the level of the supersymmetry variations of the IIA bosons, and these are independent of m. Thus, we also give a proof of the conjecture of [24]. As announced in [19], the D = 10 Romans mass descends to the D = 4 magnetic gauge coupling, and this only enters the bosonic field content through the field strengths and covariant derivatives.
In [19], the embedding of D = 4 N = 8 ISO(7) supergravity into the type IIA metric and all form potentials except the Ramond-Ramond three-formÂ (3) was given. In this paper, we give the complete embedding, including the embedding intoÂ (3) , and offer a detailed derivation. We should stress that we give the full non-linear dependence of the IIA metric, dilaton, and potentials on the entire set of D = 4 ISO(7) supergravity fields, not only on the D = 4 scalars. That is, we also obtain the full non-linear dependence of the D = 10 fields on the D = 4 vectors and the two-forms required by the magnetic gauging. In comparison, for the D = 11 embedding of the purely electric SO(8) gauging [1], only the full non-linear dependence of the D = 11 metric [4,26] and three-form [5] on the E 7(7) /SU (8) scalars has been obtained. The D = 11 embedding of the SO(8) vectors has only been determined at the linear level [4] (see also [27]). The linear dependence of the D = 10 or D = 11 metric on the D = 4 (KK) vectors is actually exact, but the latter also enter the D = 10 or D = 11 form fields in a non-linear way prescribed by the non-Abelian character of the D = 4 gauge group, ISO (7) or SO (8). For type IIB on S 5 , only recently it has been obtained the full non-linear dependence of the IIB fields on the D = 5 scalars [8][9][10] (confirming previous ansatze [28,29]) and vectors and two-forms [9,10] of the SO(6) gauging [3].
Two steps are crucial, in the approach we follow, in order to determine the full nonlinear embedding of the entire ISO(7) supergravity in type IIA. The first is to perform a rewrite of the IIA theory with only D = 4 local Lorentz symmetry manifest, see section 2. This step is a IIA adaptation of the time-honoured de Wit-Nicolai approach to D = 11 [5,30], and involves exclusively type IIA manipulations independent, in particular, of any D = 4 gauging. The relevant rewrite involves SO(1, 3) × SL(7)-covariant ten-dimensional bosons and SO(1, 3) × SU(8)-covariant ten-dimensional fermions, exactly as in the D = 11 case [5,30] and similarly to the type IIB case [9]. As first discussed in a type IIB context [9], further non-linear field redefinitions are necessary so that the SO(1, 3) × SL(7)covariant bosons acquire supersymmetry transformations compatible with those dictated by (a relevant SL(7)-branching of) the D = 4 tensor hierarchy [31][32][33]. Accordingly, we work out the hierarchy-compatible supersymmetry variations of the further redefined SO(1, 3) × SL(7)-covariant vector, two-form and three-form potentials of type IIA. In this way, we obtain a reformulation of type IIA that is adapted to accommodate the full, nonlinear embedding of all fields in any gauging of D = 4 N = 8 supergravity that can possibly arise by consistent truncation. See (2.24) for the type IIA SO(1, 3)×SL(7)-covariant bosonic field content. Of course, determining all possible such truncations and establishing their consistency is an altogether different matter. Here we will focus on the truncation to the ISO(7) gauging, including the non-linear dependence on all D = 4 fields.
The second, now gauging-dependent, step is new. The full IIA embedding of the ISO(7) gauging is naturally expressed in terms of a consistent subsector, still N = 8 but only JHEP12(2015)020 SL(7)-covariant, of the D = 4 tensor [32,33] and duality [34] hierarchies, with closed field equations and supersymmetry transformations [23]. See section 3. This subsector retains all vectors, only certain two-form and three-form potentials in SL (7) representations and no four-form potentials: see equation (3.1). This SL(7)-covariant field content is different, however, to that arising in the SL(7)-covariant IIA reformulation of step one above. The relation between both field contents is given by the 'KK ansatz', whereby the SL(7)covariant IIA fields are linearly expressed in terms of the D = 4 fields in the SL(7) tensor hierarchy and tensors on S 6 in suitable intertwining representations of SL (7). Inserting this KK ansatz into the SL(7)-covariant IIA supersymmetry variations, all S 6 dependence drops out and the supersymmetry variations of the D = 4 SL(7) fields arise. This shows the consistency of the truncation. Although the KK ansatz relates linearly the SL(7) fields in D = 10 and D = 4, when the non-linear redefinitions that led to the SL(7)-covariant reformulation of type IIA are undone, the original, locally D = 10-Lorentz-covariant IIA fields develop a full non-linear dependence on the D = 4 ones: see equation (3.12).
This construction naturally yields the embedding of the D = 4 theory at the level, on the one hand, of the N = 8 SL(7) consistent subsector [23] of the tensor hierarchy [32,33] for the ISO (7) gauging and, on the other hand, at the level of the IIA metric, dilaton and form potentials. Such embedding is thus expressed in terms of redundant D = 4 degrees of freedom contained in the tensor hierarchy and is not gauge-independent in D = 10. It is therefore interesting to also consider the embedding of the D = 4 theory at the level of the IIA field strengths. This automatically gives gauge-independent expressions in D = 10. It also allows one to express the embedding in terms of independent D = 4 degrees of freedom by exploiting the SL(7)-restricted [23] duality hierarchy [34]. For example, the four-form field strengths of the three-form potentials in the D = 4 hierarchy become dualised into functions on the N = 8 scalar manifold. This dualisation allows us, in particular, to obtain an elegant formula for the Freund-Rubin term,F (4) = U vol 4 + . . ., where is a function on E 7(7) /SU(8) (through the scalar matrix M MN and its inverse), of the ISO(7) embedding tensor (through the conventional symbols X NQ S ) and on S 6 (through the symbols X ′ MP R defined in section 3.4). This expression closely parallels the scalar potential of D = 4 N = 8 gauged supergravity [31] particularised to the ISO(7) gauging. In section 3.4 we will consider these dualisations in full generality. In section 4.1 we will work out the explicit embedding and dualisations of the G 2 -invariant sector of the N = 8 ISO(7) theory, for which an explicit parameterisation of the scalar manifold becomes available [23]. The N = 8 truncation of massive IIA on S 6 can be also regarded as 'massless mode', in the sense discussed above. Besides these 'massless mode' reductions, other truncations of D = 11 supergravity on S 7 , type IIB on S 5 and massive IIA on S 6 are also known to gauged JHEP12(2015)020 supergravities with less than maximal supersymmetry. These retain all possible fields along the forms that define the natural constant torsion G-structures on the corresponding sphere: weak G 2 , Sasaki-Einstein [35] and tri-Sasaki [36] in the S 7 case, Sasaki-Einstein [37][38][39] in the S 5 case and nearly-Kähler [40] in the S 6 case. See also [41][42][43] for the extension of some of these truncations to the fermion sector. Equivalently, these truncations can be seen to retain all the invariant fields under the homogeneous action of a transitively acting group, see [36,44,45]: for example, G 2 in the nearly-Kähler truncation on S 6 = G 2 /SU(3) [44]. Since they only depend on generic features of the relevant G-structure, these truncations are in fact universally valid for all spaces equipped with the same structure, and not only for spheres. In contrast to the N = 8 truncations above, these constant torsion G-structure truncations tend to retain some massive modes up the KK towers above their AdS vacua, along with some, but not all, modes at the bottom of the towers. For this reason, these are sometimes referred to as 'massive mode' truncations.
Both types of truncations on S 7 and S 5 , 'massless' and 'massive', have an overlapping sector: the sector of the N = 8 'massless' theory that is invariant under the same group as the G-structure. This is also the sector of the N = 8 theory whose uplift inflicts only homogeneous deformations on S 7 and S 5 . The mass spectra above the AdS vacua in this overlapping sector contain the common modes at the bottom of the KK towers. For example, D = 4 N = 8 electrically gauged SO(8) supergravity [1] and the universal N = 2 (skew-whiffed) Sasaki-Einstein truncation of D = 11 supergravity on S 7 [35] overlap [46] in the SU(4) − -invariant sector of the N = 8 theory. Likewise, D = 5 SO(6)-gauged supergravity [3] and the universal N = 4 Sasaki-Einstein truncation of type IIB on S 5 [37,38] overlap [47] in the SU(3)-invariant sector of the N = 8 theory. In section 4.2 we will show that, similarly, D = 4 N = 8 dyonically gauged ISO(7) supergravity and the universal N = 2 nearly-Kähler truncation [40] of massive type IIA on S 6 overlap in the G 2 -invariant sector [23] of the N = 8 theory.

symmetry manifest
In this section, we rewrite the type IIA bosonic and fermionic field content with manifest SO(1, 3) × SL(7) and SO(1, 3) × SU(8) covariance, respectively. We also perform the non-linear field redefinitions necessary to render the SL(7)-covariant supersymmetry transformations of the bosonic fields compatible with the D = 4 tensor hierarchy.
For the bosons, we straightforwardly promote SO(6) to SL (6). Then, the bosonic fields JHEP12(2015)020 dŝ 2 10 ,Â (3) ,B (2) ,Â (1) ,φ of the type IIA theory (see appendix A) give rise, via the standard decompositions dŝ 2 10 = ∆ −1 ds 2 4 + g mn dy m + B m dy n + B n , to the following local SO(1, 3) fields in either singlet or non-trivial representations of SL(6): 1 metric : ds 2 4 , 21 + 6 + 1 + 20 + 15 scalars : g mn , A m ,φ , A mnp , B mn , Following convention, in (2.2) we have introduced for some background internal metricg mn (y). The field content of D = 4 maximal supergravity is thus formally recovered after dualising the two-forms into scalars and dropping the three-form on the grounds that it should not carry independent degrees of freedom. Note, however, that all fields in (2.3) depend on all ten-dimensional coordinates (x µ , y m ), and that both the two-forms and the three-form will play a role in this paper. The field content (2.3) can be allocated into SL(7) representations as well, reflecting a rewrite of D = 11 supergravity with only SO(1, 3) symmetry manifest. In any case, neither the SL(6)-covariant fields (2.3) nor the SL(7)-covariant fields they can be grouped into, are generally compatible with the D = 4 tensor hierarchy. We leave this discussion for section 2.2.
In the fermionic sector, we promote the local SO(6) in the splitting (2.1) (or rather, its cover Spin(6)) to SU(8), the R-symmetry group of D = 4 N = 8 supergravity. In order to do this, we first introduce the following primed fermions from the IIA fermionsψ M ,λ, ǫ (see appendix A): Here, α = 0, 1, 2, 3 and a = 1, . . . , 6 are tangent space indices in the vector representation of SO(1, 3) and SO(6), respectively; e µ α (and e m a ) are vielbeine for the external (and internal)

JHEP12(2015)020
components of the ten-dimensional metric in (2.2); andψ α ,ψ a are the components of the IIA gravitino, pulled back into tangent space with the ten-dimensional triangular vielbein that can be read off from the metric in (2.2). The primed fermions (2.5) are still ten-dimensional Majorana, 32-component spinors. In order to incorporate the splitting (2.1), we work without loss of generality in the Cliff (1,9) basis introduced in appendix B and write the ten-dimensional gamma matri-cesΓ A , A = 0, 1, . . . , 9, in terms of four and six-dimensional gamma matrices γ α , Γ a . The fermions accordingly split into products of four-dimensional, anticommuting, and sixdimensional, commuting, spinors. For the primed supersymmetry parameter we thus writê and similarly for the other primed fermions in (2.5). The factor of e i π 4 γ 5 has been included here by convention, so that the four-dimensional fermions end up with parity-invariant mass terms and Pauli couplings should one be interested in reducing the fermionic Lagrangian. Also, ǫ + and ǫ − are four-dimensional spinors of positive and negative chirality, η is a sixdimensional Dirac spinor and η c = C −1ηT , withη ≡ η † , denotes charge conjugation in six dimensions. The decomposition (2.6) manifestly preserves the Majorana character of ǫ ′ . Finally, following [30], we introduce a convenient notation: while we omit the SO(1, 3) spinor indices on ǫ + and ǫ − , we exhibit the SO(6) spinor indices A = 1, . . . , 8 on η A . The advantage of doing this is that we can omit the symbol for η altogether and write the products ǫ + ⊗η and ǫ − ⊗η c simply as ǫ A and ǫ A , respectively, with the position of the index indicating four-dimensional chirality. Likewise, we will denoteǭ + ⊗η † andǭ − ⊗η T byǭ A and ǫ A . We thus obtain formally four-dimensional anticommuting supersymmetry parameters ǫ A , etc., which can be regarded as eight-component, Dirac spinors of the internal Spin (6).
Following the same steps, we also obtain formally four-dimensional gravitini ψ A µ and fermions ψ A a , λ A , of spin 1/2 with respect to the external SO (1,3), that are Dirac spinors of Spin (6). The fermions ψ A µ and ǫ A can thus be straightforwardly declared to lie on thē 8 of SU (8). The 6 × 8 + 8 spin 1/2 fermions ψ A a , λ A can be packed in the 56, totally antisymmetric, representation of SU(8) via or Fierz rearrangements thereof. 2 See appendix C.1 for a derivation of this expression.

Redefinitions that make the D = 4 tensor hierarchy manifest
We While (2.7) is more convenient for calculations in our present context, (2.8) is adapted to the D = 11 origin of these fermions.

JHEP12(2015)020
that have introduced in the previous section. The compatibility of the resulting supersymmetry transformations with the D = 4 tensor hierarchy will require further, non-linear, redefinitions of the vectors and tensors.
Plugging (2.2) into the type IIA supersymmetry variations (A. 6), and expressing the result in terms of the fermions ψ A µ , ψ A a , λ A , ǫ A previously introduced, a long calculation allows us to obtain the following supersymmetry variations for the formally D = 4 vielbein, vectors, two-forms,

JHEP12(2015)020
and three-form, In these expressions, we have defined γ µ 1 ...µp ≡ e µ 1 α 1 . . . e µp αp γ α 1 ...αp , p = 1, 2, 3, and have omitted the direct product symbol between SO(1, 3) and SO(6) gamma matrices, in agreement with the spinor notation ǫ A , etc., introduced in the previous section. The variation of B µ m has been brought to the form given in (2.10) after performing a local SO (1,9) Lorentz transformations, similarly to [30]. Since they will not be needed, we omit the supersymmetry variations of the scalars and fermions. Some of these supersymmetry variations are already compatible with those of D = 4 supergravity, as dictated by the tensor hierarchy, but others are not. For example, the term A µ δB mn in the expression for δA µmn in equation (2.10) is incompatible with the canonical expression for the supersymmetry variations of the D = 4 vectors: the latter do not contain bare vectors times the variation of scalars. These and similar considerations lead us to perform the following further redefinitions of the vectors, two-forms, ν]m7 , (2.14) and three-form Similar redefinitions were first considered in a type IIB context in [9]; see also [10]. See appendix D for the group theory behind these redefinitions. The SL(6)-covariant fields (2.13)-(2.15) can be grouped into the SL(7)-covariant combinations . We thus obtain (electric) vectors in the 7 ′ and (magnetic) vectors in the 21 of SL(7), two-forms in the 7 and a singlet three-form. Although these SL (7 (2.20) For the vectors and two-forms, these variations coincide with those dictated by the D = 4 embedding tensor formalism [31] upon selecting the relevant representations in the branching of their E 7(7) -covariant formulae under SL (7). The variation of the three-form agrees with a singlet extracted from the E 7(7) -covariant expression proposed in [23]. All these variations come out naturally written in the SL(8) basis, see e.g. (C.3) of [23].
We have written the variations (2.17)-(2.20) in terms of the spinor χ ABC defined in (2.7), and have introduced the 'generalised vielbeine' and similarly for their conjugates with upper SU(8) indices AB. These can respectively be read off already from the vector variations (2.10) as the coefficient of theǭ A ψ B µ terms:

JHEP12(2015)020
and theǭ A ψ µ B terms inside the h.c. contributions: To summarise, the SL(7)-covariant bosonic field content that arises when type IIA supergravity is rewritten with only D = 4 local Lorentz symmetry manifest includes two-forms : (2.25) In (2.24), (2.25), we have explicitly restored the (x, y) dependence of these fields in order to emphasise their ten-dimensional character.
3 Truncation on S 6 to D = 4 N = 8 ISO (7) supergravity Until now, all the quantities that we have introduced depend on all ten-dimensional coordinates (x µ , y m ). We have merely rewritten the field content and supersymmetry variations of type IIA supergravity in terms of the ten-dimensional SO(1, 3) × SL(7)-covariant bosons (2.24) and SO(1, 3) × SU(8)-covariant fermions (2.25). Now, this reformulation is especially suitable to determine truncations of type IIA supergravity down to D = 4 N = 8 gauged supergravity. In this paper, we will focus on the S 6 truncation down to the ISO(7) gauging. Sections 3.1 and 3.2 derive the KK embedding formulae at the level of the gauge potentials. Consistency is then shown at the level of the supersymmetry transformations in section 3.3 and at the level of the field strengths in section 3.4.

Kaluza-Klein ansatze
As we will now show, the full embedding of N = 8 ISO(7) supergravity into type IIA becomes naturally determined in terms of the restricted tensor hierarchy introduced in [23]. The latter contains, besides the metric and scalars, all 56 electric and magnetic vectors, the two-forms associated to the generators of SL(7) ⋉ R 7 ⊂ E 7(7) and the three-forms related to the electric components of the ISO(7) embedding tensor. All of these fields are allocated in SL (7) representations, namely, We have explicitly written the x dependence in order to emphasise that these are fourdimensional fields. The supersymmetry transformations and field equations of these fields close among themselves for the ISO (7) gauging [23]. Thus, for this gauging, these fields define a consistent subsector, still N = 8 but only SL(7)-covariant, of the full N = 8 E 7(7) -covariant tensor [32,33] and duality [34] hierarchies of four-dimensional maximal supergravity.
The SL (7) representations that appear in the D = 4 field content (3.1) differ from those that arise in the rewrite (2.24) of type IIA with only D = 4 local Lorentz symmetry manifest. For example, while (3.1) contains all 56 (electric and magnetic) vectors of maximal supergravity, the IIA rewrite (2.24) only contains 7 ′ (electric) and 21 (magnetic) vectors. More subtle is the fact that the IIA rewrite (2.24) contains two-forms in the 7 of SL (7), while the D = 4 field content (3.1) includes two-forms in the 7 ′ , along with the 48. The 7 and 7 ′ conjugate representations of SL(7) are inequivalent. Accordingly, the respective two-forms have different supersymmetry transformations: compare (2.19) above to the second equation in (2.38) of [23].
Both sets of fields are related by a KK ansatz, namely, a linear relation between the IIA fields (2.24), the D = 4 fields (3.1) and tensors on S 6 in SL(7) × SL (7) representations, with the representations of the left and right SL(7) factors respectively matching those of the IIA and D = 4 fields. For the type IIA case at hand, the KK ansatz can equivalently, but more naturally, be given for the SL(6)-covariant IIA fields (2.13)-(2.15) in terms of the D = 4 SL(7) fields (3.1) and tensors on S 6 in SL(6) × SL(7) representations. We will proceed this way. Besides trivial constants, these tensors turn out to be exclusively given by combinations of the coordinates µ I (y) (in the (1, 7 ′ )) that embed S 6 into R 7 and their derivatives ∂ m µ I (in the (6, 7 ′ )) with respect to the S 6 angles y m . Further combinations JHEP12(2015)020 of those include e.g. the Killing vectors K m IJ (in the (6 ′ , 21)) of the round metricg mn (y) on S 6 ; and their derivatives K IJ mn (in the (15, 21 ′ )). See appendix E.1 for our conventions for these quantities. Of course, these tensors on S 6 can also be regarded as SO(6) × SO (7) tensors, for which indices are raised and lowered with the S 6 and R 7 metricsg mn (y) and δ IJ so that conjugate representations become equivalent (and possibly reducible). For this reason, we will write interchangeably µ I and µ I , etc. In contrast, the indices m, n, . . . in the IIA fields (2.13)-(2.15) and I, J, . . . in the D = 4 fields (3.1) are exclusively SL(6) and SL (7) indices. Thus, they cannot be raised or lowered (conjugate representations are not equivalent, see the comment above about the two-forms). Finally, a (singular) five-form potential for the S 6 volume form would appear in the KK ansatze for the dual fields [10,27] of the democratic formulation [48] of type IIA. Since we do not use such formulation, that form does not play a role in this paper.
Following this discussion, for the embedding of the D = 4 metric (3.1) into the metric in (2.24) we simply declare and similarly for the vielbein e µ α . For the 6 ′ + 1 + 15 + 6 SL(6) vectors (2.13), we write the following ansatz, which preserves the electric and magnetic character on both sides of the equations. The ansatz for C µ m8 (x, y) is the well-known KK expression that relates, in the case at hand, the electric SO(7) gauge fields A µ IJ to the isometries of the compatifying S 6 generated by the Killing vectors K m IJ (y). The ansatz for the magneticC µ mn has recently appeared, in a D = 11 on S 7 context, in [5].
Moving to the 6 + 1 two-forms (2.14), we write Note that µ I ∂ m µ J can be assigned to the (6, 48) of SL(6) × SL (7) since it is traceless in IJ. To conclude with the ansatze for the purely bosonic fields, we write and similarly for the conjugates (2.22) with lower SU (8) indices. We have omitted on all four right-hand-sides in (3.7) additional scalar-dependent SU(8) rotations. These have been discussed at length in [4,49]. Finally, the KK ansatz for the fermions is and similarly for the supersymmetry parameter ǫ A (x, y). While the electric coupling constant g of dyonic ISO (7) supergravity appears in the KK ansatze (3.3)-(3.8), the magnetic coupling m does not. In particular, the generalised vielbein V m8 (x, y) in (3.7) is independent of m. The 'Clifford property' issue that prevented [5] the embedding of the dyonic SO(8) gauging [21] (at least within the SL(8) frame) 3 in D = 11 is thus circumvented by our construction. Also, one might have naively expected the magnetic vectorÃ µ I to descend fromC µ m7 with strength m, rather than g −1 . Incidentally, the non-analytic dependece of this and other of the above expressions on g restricts the validity of these KK ansatze to g = 0. This is related to the fact that g −1 is related to the radius of the compactifying S 6 and therefore needs to be non-vanishing. See section 5 for further comments on the g = 0 case. Finally, we have fixed the coefficients in (3.3)-(3.7) by solving the field equations in various invariant sectors, including the G 2 (see section 4.1) and SU(3) [51] sectors, and then imposing the IIA equations of motion. In particular, the SU(3) × U(1)-invariant N = 2 AdS 4 solution of [19] fixes some of these coefficients.

The full non-linear embedding
In order to find the full non-linear embedding of ISO(7) supergravity into type IIA, we need to bring the KK ansatze that we have just proposed into the ten-dimensional bosons (2.2) and fermions (2.5). We will focus on the bosonic fields. Equations (2.13)-(2.15) can be easily inverted to solve for the fields that enter (2.2) in terms of the tensor-hierarchycompatible fields. Expressing the latter through the KK ansatze (3.4)-(3.6), we obtain the following expressions for the vectors, JHEP12(2015)020 two-forms, and three-form, In these expressions we have again dropped the labels (x, y) on the left-hand-sides and (x) and (y) on the right-hand-sides. In order to simplify them, we have used some tensorial identities on S 6 , including (E.3), (E.5). Now, bringing (3.3) and (3.9)-(3.11) to (2.2) and performing some further simplifications of the same type, we finally obtain the full non-linear embedding of ISO (7) supergravity into type IIA: Here, we have defined the covariant derivatives which feature only the vectors A IJ that gauge SO (7) electrically. The expressions for dŝ 2 10 , B (2) andÂ 1 have already appeared in [19]. The expression for the Ramond-Ramond three-formÂ (3) appears here for the first time. Here we have also provided a detailed derivation of these formulae, and will show their consistency in sections 3.3 and 3.4. Although the KK ansatze (3.4)-(3.6) relate linearly the tensor-hierarchy-compatible IIA fields (2.24) to the D = 4 fields (3.1), the dependence (3.12) of the usual, locally ten-dimensional-Lorentzcovariant IIA fields becomes non-linear in the D = 4 fields.
We still need to specify the embedding of the D = 4 scalars into the ten-dimensional fields. In order to do this, we follow [5,9,26]. We first substitute the ansatz (3.7) for the generalised vielbeine and the analogue for its conjugates into (2.23), (2.22). Then, we take all possible products between generalised vielbeine and their conjugates, and trace over SU (8) indices. The last step cancels the dependence on the S 6 Killing spinors by virtue of their orthogonality, as well as the dependence on the SU(8) rotations which we omitted. These products become naturally written in terms of SL(7)-covariant blocks of JHEP12(2015)020 the matrix M MN (see e.g. (2.15) of [23]) quadratic in the SL(7)-branched-out E 7(7) /SU (8) coset representative V M ij in (3.1). The minimal set of these relations that fully specifies the complete, non-linear embedding of the D = 4 scalars into the type IIA fields is Equations (3.14)-(3.18) allow one to solve sequentially for the IIA embedding of the D = 4 scalars: (3.14) determines the embedding of the scalars into the inverse internal metric g mn ; inserting this result into (3.15), the embedding of the scalars into the internal components A m of the Ramond-Ramond one-form can be worked out; etc. A straightforward rearrangement of (3.14)-(3.18) has already appeared in [19]. Together with these equations, the remaining relations that can be obtained from products of generalised vielbeine are Only the first block of equations, (3.14)-(3.18), should be regarded as independent. Equations in the second block, (3.19)-(3.23), should be redundant identities obtainable from the first block. We have indeed rederived some of the equations in the second block from equations in the first for the G 2 -invariant sector. It would be interesting to study the relation between the two blocks more generally.

Consistency: supersymmetry transformations
We will now establish the consistency of the truncation formulae see (2.37) of [23]. Some work is needed to show consistency for the supersymmetry transformations of the two-and three-forms. Also in these cases, the S 6 dependences on the left and right-hand-sides of the transformations eventually match and thus drop out. For example, evaluating the l.h.s. of (C.7) on the first expression in (3.5) straightforwardly gives δC µν m 8 = −g −1 µ I ∂ m µ J δB µν J I . On the other hand, the r.h.s of (C.7) evaluated on the vielbeine (3.7), vector (3.4) and fermion ansatze (3.8) also yields a factorised g −1 µ I ∂ m µ J dependence after using the sphere identities (E.5). Repeating a similar exercise for δC µν 7 8 in (3.5) and consistently dropping the S 6 dependence, we arrive at These expressions coincide with the supersymmetry transformations for the two-forms that were computed in (2.38) of [23] from the D = 4 embedding tensor formalism. In particular,

JHEP12(2015)020
the subtraction of the trace in the first equation of (3.25) is enforced in the present approach upon dropping the S 6 dependence -as we have just discussed, this equation arises contracted with the traceless tensor µ I ∂ m µ J . The consistency of the three-form transformations is shown similarly. Inserting the KK ansatz (3.6) into the l.h.s. of the three-form variation (2.20), and the vielbeine (3.7), vector (3.4), two-form (3.5) and fermion ansatze (3.8) into the r.h.s., a factored-out dependence on µ I µ J is found on both sides of the equation after using, on the r.h.s., the S 6 relations (E.5). Consistently dropping µ I µ J and symmetrising accordingly, we are left with (3.26) .
These are the supersymmetry variations of the D = 4 three-forms given in (2.39) of [23].
As we have already noted, the consistent embedding (3.12) is independent both of the magnetic gauge coupling m and the Romans mass, which we denote in this paper with the same symbol, m. These formulae are thus insensitive to whether m = 0 or m = 0. The consistency proof at the level of the supersymmetry variations of the bosons that we have given in this subsection is independent of m as well. This is ultimately related to the fact that the variations (A.6) of the IIA bosons are independent of the Romans mass, and the variations of the D = 4 bosons are independent of the embedding tensor. In conclusion, (3.12) simultaneously gives the IIA embedding (at the level of metric and form potentials) of the purely electric, m = 0 [25], or dyonic, m = 0, ISO(7) gauging into massless or massive type IIA. Likewise, the consistency proof in this subsection pertains simulatenously to both truncations. The consistent truncation of massless IIA to the purely electric gauging [25] had been conjectured in [24].

Consistency: field strengths and duality hierarchy
The different embeddings, in either massless or massive type IIA, of the electric or dyonic ISO(7) gauging are distinguished by gauging-dependent quantities, for example the field strengths. This was already discussed in [19] so we will be brief. Our main, two-fold purpose here to compute the field strengths is actually different. On the one hand, we will show the consistency of the truncation at the level of the Bianchi identities. On the other hand, we will use the restricted duality hierarchy discussed in [23] to express the embedding JHEP12(2015)020 in terms of independent D = 4 degrees of freedom. This will allow us, in particular, to find closed expressions for the Freund-Rubin term.
The field strengths corresponding to the IIA form potentials (3.12) can be computed using the definitions (A.4). A lengthy calculation shows that these are given bŷ The dots stand for terms containing D = 4 scalars: either scalars multiplying fourdimensional vector field strengths or covariant derivatives of scalars. In particular, the terms inF ( [19] as in (A.2). These field strengths (except H IJ (4) ) were computed in [23] using the D = 4 embedding tensor formalism [31,34]. The fact that we can now reproduce them from a different, D = 10 route provides a self-consistency check.
The Bianchi identities can now be seen to hold consistently: when the field strengths (3.27) are inserted into the type IIA Bianchi identities (A.3), the terms contained in the ellipses cancel, all S 6 dependence drops out, and one is left with  [23]. The covariant derivatives were defined in (2.11), (2.12) therein. The results of this and the previous subsection establish the consistency of the truncation of (massive) type IIA supergravity on S 6 to (dyonic) ISO (7) supergravity, at the level of the supersymmetry transformations of the bosons and the Bianchi identities of the restricted tensor hierarchy (3.1). In N = 8 supergravity, the former should imply the equations of motion. In any case, the Bianchi identities (3.28) do already give rise explicitly to some of the four-dimensional equations of motion upon using the D = 4 duality hierarchy, as discussed in section 2.4 of [23] following [34]. For example, the magnetic field strengthsH (2)I J ,H (2)I become equivalent, upon dualisation, to scalar-dependent combinations of electric field strengths and their Hodge duals, see below. Thus, this approach establishes partially the consistency of the N = 8 truncation of IIA on S 6 at the level of the equations of motion as well. In section 4, we will explicitly verify consistency at the level of the equations of motion for the G 2 -invariant sector.

JHEP12(2015)020
More generally, the power of the duality hierarchy resides in that it allows one to transfer the independent degrees of freedom among the fields in the D = 4 hierarchy. In our present context, it allows one to give the full embedding of D = 4 ISO(7) supergravity into type IIA in terms of independent degrees of freedom. Namely, the embeddings (3.12) and (3.27) are written, at face value, in terms of the redundant D = 4 degrees of freedom contained in the hierarchy (3.1). When the duality relations discussed in [23] are used, the full non-linear embedding (at the level of the field strengths) (3.27) becomes expressed in terms of independent D = 4 degrees of freedom: electric field strengths and their Hodge duals, scalars, their ISO(7)-covariant derivatives and their Hodge duals. Thus, the nonlinear embedding of (dyonic) ISO(7) supergravity into massive type IIA is given by (3.27) withH (2) , regarded as short-hand notations for the corresponding dual expressions in terms of independent D = 4 degrees of freedom [23]: corresponding to the singlet two-form potential B (with three-form field strength H (3) ) that would render B I J in (3.1) traceful, and to the singlet three-form potentialC (with four-form field strengthH (4) ) related to the magnetic component of the D = 4 ISO(7) embedding tensor. The dualisation conditions for H (3) andH (4) were given in (2.25) of [23]. The four-form field strengths H IJ (4) ,H (4) and the scalar potential V of ISO (7) in terms of the scalar potential, the vector field strengths and the covariant derivatives of the three-form field strengths. Upon dualisation with (3.29)-(3.33) above and (2.25) of [23], the latter become equivalent to (projections of) the scalar equations of motion [34] and, thus, to derivatives of the scalar potential, as in [52].
where | 0 and V 0 denote evaluation at a critical point. The r.h.s. of (3.37) becomes a constant, independent of the S 6 coordinates, and so must be the l.h.s. This is indeed the case: at a critical point, one has (see (2.31) of [23]) and the contraction with µ I µ J becomes independent of the sphere coordinates upon using the defining relation (E.1). Thus, at a critical point of the D = 4 scalar potential, the Freund-Rubin term becomes constant (as required by the IIA Bianchi identities) and in fact proportional to the cosmological constant at that critical point: from (3.37), (3.38), This relation can be seen to hold identically using the Bianchi identities (3.28), (3.34) and the relation (3.35), evaluated at a critical point. The alternative, though equivalent, rewrite of the Freund-Rubin term that we brought to the introduction, (1.1), utilises explicitly the dualisation (3.33) of the four-form H IJ (4) into scalars. For this rewrite, it is appealing to introduce some notation as follows. We find it useful to introduce a(n S 6 -dependent) 'primed embedding tensor' Θ ′ M α with, for the case at hand, only active components in the 36 + 36 ′ of SL(8) (in fact, only the 28 of SL(7) active, see (3.42)), [EF ] = −X ′ [AB] [EF ] The 36 ′ magnetic components ξ ′ AB of the primed embedding tensor are zero (we introduced them merely to give a formal symmetric appearance to the formulae). Only the electric components θ ′ AB , in the 28 of SL (7), are non-vanishing. These depend on the coordinates of S 6 through the tensor µ I µ J , which also sits in the 28 of SL (7):  The preceeding discussion makes apparent the asymmetric role of the D = 4 three-form potentialC with four-form field strengthH (4) that was mentioned in [23]. Recall that these fields are related to the SL(7)-singlet magnetic component of the dyonic ISO(7) embedding tensor. In [23], they were excluded from the restricted D = 4 tensor hierarchy (3.1), even thoughH (4) contributes to the D = 4 scalar potential if m = 0, see (3.35). The reason for their exclusion is that these fields do not enter the consistent embedding of ISO(7) supergravity into type IIA, at least directly:C is absent from (3.12) andH (4) from (3.27). For the purely electric gauging,C,H (4) do not play any role whatsoever: neither they appear in the consistent embedding formulae (into massless IIA) nor doesH (4) contribute to the D = 4 scalar potential. For the dyonic, m = 0, ISO(7) gauging,H (4) does not contribute either to the Freund-Rubin term (3.43). This is related to the fact that the magnetic components ξ ′ AB of the primed embedding tensor (3.40) vanish, see (3.42). Only when the Bianchi identities are used to rewrite the Freund-Rubin factor in terms of the D = 4 potential, as in (3.36), doesH (4) appear when m = 0. This (derived) role ofH (4) in the embedding of dyonic ISO(7) supergravity into massive type IIA should be put down to the presence of a scalar potential (the last term of (A.1)) already in ten dimensions.

Truncation to the G 2 sector
We can now use the consistent truncation formulae (3.12)-(3.18) to work out the explicit embedding of specific sectors of N = 8 ISO(7)-gauged supergravity into massive type IIA.

JHEP12(2015)020
We do this in section 4.1 for the G 2 -invariant sector of the ISO(8) theory. In section 4.2 we show the overlap of this sector with the universal nearly Kähler truncation of [40].

Explicit embedding formulae
The bosonic field content of the G 2 -invariant sector of ISO(7) supergravity includes, besides the metric, two real scalars ϕ, χ with dynamics governed by the Lagrangian (4.4), (4.5) of [23]. In addition, the restricted tensor hierarchy (3.1) gives rise in this sector to a singlet three-form C with four-form field strength H (4) = dC, so that The duality relation satisfied by H (4) reads [23] H (4) = g e ϕ 1 + e 2ϕ χ 2 2 5 − 7 e 2ϕ χ 2 + m e 7ϕ χ 3 vol 4 . (4. 2) The N = 8 scalar matrix M MN evaluated in this sector has only (ϕ, χ)-dependent components along the G 2 -invariant tensors in R 7 : the delta symbol δ IJ , the associative three-form ψ IJK and the co-associative four-formψ IJKL . See appendix D.2 of [23] for the explicit expressions.
Since the G 2 -invariant sector does not contain vectors or two-forms, the embedding formulae (3.12) simplify accordingly: only the three-form (4.1) and components of the IIA forms along S 6 are activated. Inserting the G 2 -invariant scalar matrix (D.16) of [23] into (3.14), we find that the dependence of the internal metric in the D = 4 scalars ϕ, χ factorises into an S 6 -independent warp factor in front of the homogeneous metric ds 2 (S 6 ) on S 6 = G 2 /SU(3) (see appendix E.2). Moving to the expressions (3.15)-(3.17) for the internal components of the IIA potentials, A m , B mn , A mnp , we find that µ I appear always contracted with the G 2 -invariant forms ψ IJK andψ IJKL through the combinations (E.9) that define the homogeneous nearly-Kähler forms J , Ω on S 6 = G 2 /SU(3). Finally, from (3.18) we learn that the IIA dilaton becomes a function of ϕ, χ only, and exhibits no S 6 dependence. The embedding formulae (3.12) therefore reduce to The S 6 dependence in the term µ I µ J C IJ ofÂ (3) also cancels upon substitution of the first relation in (4.1) and use of (E.1). Thus, the truncation of type IIA down to the G 2 -invariant sector of ISO(7) supergravity retains only deformations on S 6 = G 2 /SU(3) that respect the homogeneous G 2 -invariant nearly-Kähler structure.

JHEP12(2015)020
The IIA field strengths corresponding to the form potentials in (4.3) can be computed from (A.4) using the nearly-Kähler differential relations (E.7). We obtain F (4) = g e ϕ 1 + e 2ϕ χ 2 2 5 − 7e 2ϕ χ 2 + m e 7ϕ χ 3 vol 4 + g −3 dχ ∧ Im Ω Of the terms explicitly shown in the N = 8 expressions (3.27), only (the G 2 -invariant truncation of) the Freund-Rubin term, H IJ (4) µ I µ J , is present here. We have used the second equation in (4.1), equation (E.1) and the dualisation relation (4.2) to bring it to the form presented in (4.4). Equivalently, this expression for the Freund-Rubin term can be also obtained from the master formula (3.43). The remaining terms shown in (3.27) vanish in the G 2 -invariant sector and thus do not appear in (4.4). All terms in (4.4) except Freund-Rubin hide behind the ellipses of (3.27).
We have explicitly verified the consistency of the truncation in this sector at the level of the equations of motion, including the Einstein equation. When the metric and dilaton in (4.3) and the field strengths (4.4) are inserted into the type IIA equations of motion (A.5), all S 6 dependence drops out, and the D = 4 field equations that derive from the G 2invariant Lagrangian (4.4), (4.5) of [23] arise.
Given that they depend on the natural nearly-Kähler structure on S 6 only, the truncation formulae (4.3), (4.4) from massive IIA to the G 2 -invariant sector of dyonic ISO (7) supergravity are still valid if S 6 is replaced with an arbitrary nearly-Kähler six-manifold. 4 In [40], a consistent truncation of massive IIA also valid for any nearly-Kähler six-manifold was constructed. We now turn to show that a further subtruncation of the D = 4 theory of [40] coincides with the G 2 -invariant sector of dyonic ISO(7) supergravity.

Overlap with the universal nearly-Kähler truncation
Massive type IIA supergravity can be consistently truncated on any nearly Kähler sixmanifold M 6 by expanding the IIA fields along the nearly Kähler SU(3)-structure forms on M 6 [40]. See appendix E.2 for a brief description of nearly-Kähler geometry. The resulting D = 4 supergravity is a 'massive mode' truncation, in the sense discussed in the introduction. This D = 4 theory corresponds to N = 2 supergravity, coupled to one vector multiplet and one hypermultiplet, and with an abelian, dyonic SO(1, 1) 2 gauging in the hyper sector. Here we will only review the ingredients of this theory and its IIA origin necessary to exhibit the overlap with N = 8 ISO(7) dyonic supergravity, in a notation that is useful for that purpose. Please refer to [40] for further details, including the N = 2 special geometry of theory, and to [44] for a rederivation of this truncation specific to the homogeneous nearly-Kähler structure on S 6 = G 2 /SU(3).

JHEP12(2015)020
The universal nearly-Kähler truncation to D = 4 [40] contains, besides the metric ds 2 4 , the following bosonic fields, all of them real: five scalars U , φ, b, ξ,ξ, two vectors A 1 , B 1 , one two-form B 2 , and one three-form C 3 . In addition, the theory is characterised by two coupling constants, g and m. The former descends from an overall scale in M 6 (i.e. its 'inverse radius') and the latter descends directly from the Romans mass. 5 The field strengths are given by 6) and are subject to the Bianchi identities The equations of motion derive from the Lagrangian Here, Dξ = dξ − 6gB 1 + 6gbA 1 , the contribution L top is a topological term we do not need to specify, and the scalar potential V is given by The embedding of this D = 4 theory into massive type IIA utilises exclusively the nearly-Kähler structure J , Ω on M 6 and its associated metric ds 2 (M 6 ). More concretely, using the type IIA conventions of appendix A, the four-dimensional metric ds 2 4 and the scalar U enter the ten-dimensional metric as dŝ 2 10 = e −6U ds 2 4 + g −2 e 2U ds 2 (M 6 ) , (4.10) while the scalars φ, b, ξ,ξ and the forms C 3 , B 2 , A 1 , B 1 enter the ten-dimensional fields aŝ The g → 0 limiting theory can be obtained by first rescaling 5) and the flux e0 ≡ 5g entering the first term in the scalar potential (4.9) as e0 = g 5 e ′ 0 , and then letting g → 0. This limit is smooth at the level of the equations of motion and, if (4.8) is also rescaled as L = g 6 L ′ , also at the level of the Lagrangian. In this limit, M6 becomes Calabi-Yau and the resulting D = 4 g → 0, m = 0 theory describes a consistent truncation of massive type IIA valid for any Calabi-Yau manifold. The D = 4 g = 0, m = 0 theory arises upon truncation of massless IIA on any nearly-Kähler manifold.

JHEP12(2015)020
The field strengths can be computed using (A.4). With the help of the differential relations (E.7), these can be written aŝ Re Ω , (4.12) Here H 3 , H 2 and F 2 are the four-dimensional field strengths defined in (4.6), H 4 in the Freund-Rubin term has been dualised into scalars by using the type IIA field equations, and Dξ has been defined under (4.8). Equations (4.10)-(4.12) define the consistent truncation discussed in [40] of massive type IIA to the D = 4 theory (4.8), (4.9). Some algebra indeed allows one to verify the consistency of the truncation. When define a further consistent truncation of the D = 4 theory (4.8) to a theory containing only the metric ds 2 4 and two real scalars ϕ, χ, along with the three-form potential C. We have indeed verified that the equations of motion that derive from the Lagrangian (4.8) consistently truncate under (4.13) to equations of motion for ds 2 4 , ϕ, χ that can be integrated into the Lagrangian with scalar potential V = 7 2 g 2 e ϕ 1 + e 2ϕ χ 2 2 − 5 + 7e 2ϕ χ 2 − 7gm e 7ϕ χ 3 + 1 2 m 2 e 7ϕ . (4.15) This turns out to coincide with the G 2 -invariant sector of N = 8 dyonically-gauged ISO (7) supergravity: see equations (4.4), (4.5) of [23] with the couplings g, m there identified with those here. We have also checked that this truncation works out at the level of the Lagrangian as well: (4.8), (4.9) evaluated on (4.13) reduce to (4.14), (4.15). It is also easy to verify that the nearly-Kähler truncation formulae (4.10)-(4.12) evaluated on (4.13) coincide with those, (4.3), (4.4), corresponding to the truncation of massive IIA down to the G 2 -invariant sector of dyonic ISO(7) supergravity. The theory (4.8), (4.9) contains three AdS vacua [44]. All three can be checked to survive the subtruncation (4.13); thus, they are also vacua of N = 8 dyonic ISO(7) supergravity. When regarded as vacua of the latter, these correspond to the critical points with JHEP12(2015)020 susy bos. sym. Table 1. Summary of critical points of the potential (4.9) of the nearly-Kähler truncation of massive type IIA. For each critical point it is shown the supersymmetry N , the bosonic symmetry of the massive type IIA uplift and the scalar spectrum within the theory (4.8), (4.9). Masses in bold overlap with masses in the corresponding critical points of N = 8 dyonic ISO (7) supergravity.
The zeroes correspond to Goldstone bosons that give mass to the vectors of the theory (4.8).
G 2 residual symmetry and N = 1, N = 0 supersymmetry, and with SO(7) + , N = 0. These are also the symmetries of the corresponding massive IIA uplifts. We have computed the scalar mass spectrum of these critical points within the nearly-Kähler truncation (4.8), (4.9) and have brought the result to table 1 above. The spectrum of these points within the N = 8 ISO(7) theory can be found in table 1 of [23]. Comparison of both tables makes apparent the overlap between the two theories. Indeed, for the common critical points, all spectra have two scalars (corresponding to ϕ, χ) with the same mass in both tables. These appear in bold in table 1 above. In the N = 8 table, these correspond to the G 2 singlets for the G 2 points. For the SO(7) + point, these scalars correspond to the explicit singlet and the singlet that arises in the branching 35 → 1 + 7 + 27 of SO (7) under G 2 (the other SO (7) representations, 27 and 7, in the spectrum of this point are irreducible under G 2 ). The masses in table 1 above which do not overlap with the N = 8 table are larger than those which do overlap. Thus, they correspond to higher KK modes about the corresponding massive IIA solutions. This discussion endorses the interpretation put forward in the introduction of N = 8 dyonic ISO(7) supergravity and the nearly-Kähler truncation of [40] as 'massless' and 'massive' truncations of massive type IIA on S 6 .

Discussion
We have given a detailed derivation of the consistent truncation of massive type IIA supergravity on the six-sphere down to ISO(7)-dyonically-gauged D = 4 N = 8 supergravity that was recently announced in [19]. In order to do this, we first rewrote the field content and supersymmetry variations of (massive) type IIA supergravity with only manifest D = 4 local Lorentz covariance. We then employed a suitable restriction [23] of the D = 4 N = 8 tensor [32,33] and duality hierarchies [34] to obtain the complete non-linear embedding of all D = 4 fields into type IIA. The bosonic sector of type IIA supergravity develops a manifest SL(7)-covariance when rewritten with only explicit local Lorentz-four-dimensional symmetry. In section 2 we provided an analysis of this SO(1, 3) × SL(7) reformulation of type IIA supergravity, including the resulting formally four-dimensional two-form and three-form potentials.

JHEP12(2015)020
The results of section 2 are adapted to accommodate any possible consistent truncation of either massless or massive type IIA supergravity to D = 4 N = 8 gauged supergravity. Any possible such consistent embedding is naturally determined in this formalism at the level of the metric and IIA form potentials. These are independent of the Romans mass, F (0) . The proof of consistency at the level of the supersymmetry transformations of the bosons is also independent ofF (0) , since the latter does not appear in their IIA variations: see (A.6). In the bosonic sector, the Romans mass only appears in the field strengths and the covariant derivatives. Its role as a magnetic coupling upon reduction to four dimensions has long been known [53,54]. These observations imply that, whenever a consistent truncation of massless IIA down to a D = 4 (gauged) supergravity exists, a truncation of massive IIA to some dyonic counterpart of that D = 4 gauged supergravity is guaranteed to exist. The consistent embedding formulae at the level of metric and IIA potentials and the proof of consistency are the same forF (0) = 0 andF (0) = 0. Of course, this discussion applies regardless of the compactification manifold and regardless of the number of supercharges preserved by the truncation.
For example, it is well known that the truncation of massless type IIA (or D = 11 supergravity) on T 6 to ungauged D = 4 N = 8 supergravity is consistent. By the preceeding arguments, the consistency of the truncation of massive IIA on T 6 to the g = 0, m = 0 purely magnetic, non-semisimple gauging briefly touched upon in section 2.3 of [23] is also consistent. The consistency of these toroidal truncations is actually guaranteed by group theory, but there exist more non-trivial examples which lack a priori such protection. For example, the truncation of massless type IIA on CP 3 down to to N = 6 SU(4) × U(1)-gauged supergravity is consistent (and the embedding of an N = 4 subsector is explicitly known [55]). The above arguments predict a similar consistent truncation of massive type IIA to a dyonic deformation of that D = 4 theory (where the U(1) will no longer be necessarily compact). These arguments presumably also apply to reductions to other dimensions, withF (0) still appearing only at the level of the field strengths and turning on magnetic couplings with respect to higher-rank tensors (in even dimensions), or altogether released from that duty (in odd dimensions). For example, maximally supersymmetric consistent truncations of massive type IIA on S 3 and S 4 should exist associated to the massless IIA truncations of [56]. In particular, this S 4 truncation should extend the half-maximal truncation of [57] into maximal supersymmetry. An interesting question would be whether the corresponding gauge groups, ISO(4) and ISO(5), remain the same in the deformed theory.
Our results are based on an SL(7)-covariant rewrite of the field content and supersymmetry transformations of type IIA. It was not our intention to extend this SL(7) to a full E 7(7) covariance. Extensions to exceptional symmetries have been recently studied, following the same approach, in D = 11 [58] and type IIB [9] and, following other approaches, in [59][60][61][62][63]. In sight of [9,58], the realisation of E 7(7) covariance in type IIA would require to start from the democratic formulation [48] containing both regular and dual fields, rather than the conventional formulation [20] that we have used in this work.
Although extremely interesting in itself, the realisation of exceptional symmetries in the higher dimensional supergravities is not a prerequisite to establish consistent truncations JHEP12(2015)020 at the full non-linear level in all the lower-dimensional fields, as our results show. At least this is so for lower dimensional theories, like D = 4, where the dimension of the adjoint of any gauge group must be less that the dimension of the fundamental of the relevant exceptional group. This is indeed the case provided the higher-rank forms are also incorporated into the analysis, as we have done in this paper with the two-and three-form potentials. A crucial step is the study of the non-linear field redefinitions which all forms, including those of higher rank, must undergo in order for their supersymmetry variations to be compatible with the lower-dimensional tensor hierarchy. When this formalism is used to study consistent truncations, the resulting embeddings become naturally written, at the level of the metric and form potentials, in terms of a restricted tensor hierarchy in the lower dimension with closed field equations and supersymmetry transformations. This restricted tensor hierarchy necessarily contains redundant degrees of freedom carried by the forms of higher rank. However, this redundancy can always be removed at the level of the field strengths, by exploting the (restricted) duality hierarchy [34]. One can still insist in writing the KK embedding in terms of (redundant) dual fields in the higher dimension (see e.g. [27] for the D = 11 on S 7 case). This approach should be equivalent to using the lower-dimensional restricted tensor and duality hierarchies.
Using the restricted duality hierarchy method we were able to find, in particular, simple formulae for the Freund-Rubin term of the N = 8 truncation of massive IIA on S 6 . The formula (1.1) and its formal resemblance to the D = 4 N = 8 scalar potential (1.2) (particularised to the ISO(7) gauging) makes the pattern obvious for the Freund-Rubin term corresponding to other consistent truncations, spherical or otherwise. For example, similar steps lead to a Freund-Rubin term for the S 7 truncation of D = 11 supergravity given by (1.1) with the primed embedding tensor constructed via (3.40), (3.41) with θ ′ AB = µ A µ B now in the 36 of SL (8), like the embedding tensor for the electric SO (8) gauging, and ξ ′AB = 0 as well. Likewise, the Freund-Rubin termF (5) = U vol 5 + . . . for the compactification of type IIB on S 5 to D = 5 N = 8 SO(6)-gauged supergravity is given by paralelling the scalar potential of D = 5 N = 8 supergravity, 6  [64]. In particular, M MN here is the square of the E 6(6) /Sp(8) coset representative. The type IIB Freund-Rubin term (5.1) can be checked to reduce to that of the SL(2)-invariant truncation given in [65]. An analogue construction holds for the remaining well-known spherical truncation, D = 11 supergravity on S 4 [6,7], as is perhaps more apparent from JHEP12(2015)020 the notation used in [56]. The Freund-Rubin terms of other truncations, including the massive IIA truncations mentioned above and e.g. the hyperbolic truncations of [16,66] to non-compact gaugings, should all follow similar patterns.
As discussed in the introduction, maximal supergravities in dimensions 4, 7 and 5 with SO(8) [1], SO(5) [2] and SO(6) [3] gaugings are very useful to study holographically consistent sectors of the M2, M5 and D3 brane superconformal field theories. Similarly, the dyonic ISO(7) gauging in D = 4 will be relevant to the study of superconformal phases, with reduced supersymmetry, of the D2-brane field theory. The Romans mass induces a Chern-Simons term on the D2-brane worldvolume, and this triggers flows from N = 8 three-dimensional super-Yang-Mills to the type of superconformal Chern-Simons-matter theories discussed in [67]. A precise holographic match was given in [19]. See [68] for further related work. It would be interesting to construct these flows holographically in dyonically gauged ISO(7) supergravity.
We will return to these interesting questions in future research.

JHEP12(2015)020
which can be integrated in terms of gauge potentials,Â (3) ,B (2) entering the above Lagrangian, andÂ (1) aŝ (2) ,F (2) = dÂ (1) + mB (2) . for any real constant k, with the metric and fermions inert. Alternatively, this SO(1, 1) symmetry can be fixed if used to set the Romans mass to unity. To see this, first note that m can always be taken positive: were it negative, the flip with all other fields unchanged, is a discrete symmetry of the theory that could be used to make m ′ > 0. Then, one can set m ′ = 1 just by fixing k = 4 5 log m in (A.7). Thus, all nonvanishing values of the Romans mass are classically equivalent. This parallels the fact that all non-vanishing values of the dyonically gauging parameter in D = 4 ISO(7) supergravity are equivalent [22]. Finally, the field equations are invariant under the following rescaling, similar to that of D = 11 supergravity: This, unlike the SO(1, 1) transformation (A.7), does involve the Einstein frame metric.

C SL(7)-covariant supersymmetry transformations
Here we give some details about how the supersymmetry transformations (2.10)- (2.12) give rise to the SL(7)-covariant and tensor-hierarchy-compatible supersymmetry transformations (2.17)-(2.20) for the redefined fields (2.16). The easiest way to verify this is to work backwards and reproduce the former from the latter. That is how we will proceed.

C.1 Supersymmetry transformations of the vectors
Splitting the index I = (m, 7), the supersymmetry transformations (2.17), (2.18) for the vectors become When the generalised vielbeine (2.22) are introduced in (C.1), theǭ A ψ µ B terms in (2.10) are straightforwardly reproduced. Turning to the spin 1/2 contributions, we first propose an ansatz for the trispinor in terms of the fermions introduced in section 2.1, where y, z, x, t are constants and Γ a are the Cliff(6) gamma matrices (see appendix B). We find this parameterisation of χ ABC in terms of ψ A a , λ A useful, despite being overdetermined: one of the terms can be eliminated by a Fierz rearrangement. 7 Now, introducing (2.22) JHEP12(2015)020 and (C.2) into (C.1), and using the relations it can be verified that the spin 1/2 terms in (2.10) are reproduced provided that y = 3i √ 2 and the following system of linear equations holds This system is overdetermined, like (C.2), and admits a line of solutions. The solution leads to the expression for χ ABC in (2.7) and the solution leads to (2.8). We will use χ ABC in (2.7) in the remainder.
In order to match the spin 1/2 terms, we first compute, from the generalised vielbeine (2.22) and χ ABC in (2.7): ABṼm7 CDǭ Adding these two expressions and simplifying further, we obtain (C.14)
Finally, the terms in vector times variation of vector in (C.7), (C.8) can be easily seen to reproduce those in (2.11) once the definitions (2.13)-(2.15) are taken into account.

C.3 Supersymmetry transformations of the three-forms
Similar manipulations allow us to compute These expressions respectively show that theǭ A γ [µν ψ B ρ] andǭ A γ µνρ χ BCD contributions of the supersymmetry variation of the SL(7)-singlet three-form (2.20) reproduces the spin 3/2 and 1/2 contributions of the variation (2.12).
Finally, the terms in the last line of (2.12) containing tensors times variations of tensors can be checked to follow from their counterparts in (2.20) when the redefinitions (2.13)-(2.15) are used.

D Non-linear field redefinitions from group theory
We now discuss the group theory underlying the non-linear field redefinitions (2.13)-(2.15) which cast the SL(6)-covariant type IIA fields (2.3) into the SL(7)-covariant fields (2.16). In group-theoretic language, these redefinitions can be put down to the reallocation of Abelian charges associated to embeddings of SL(6) into SL(8) ⊂ E 7(7) along two different branches.
In agreement with the main text, the SL (6) Finally, the non-linear redefinitions for the fields in (D.6) given in (2.14), (2.15) can be shown to agree with the present group theory analysis, too.

E Geometric structures on S 6
This appendix collects some useful geometric facts about the six-sphere. We first review general formulae for the canonical embedding of S n in R n+1 . We then discuss how this embedding determines, for n = 6, the usual homogeneous nearly-Kähler structure on S 6 .

E.1 General features
Let µ I , I = 1, . . . , n + 1, parametrise the unit radius n-sphere S n as the locus δ IJ µ I µ I = 1 (E.1) in R n+1 . This equation can be explicitly solved by introducing n angles y m , m = 1, . . . , n, on S n , so that the R n+1 coordinates, constrained as in (E.1), become functions of them, µ I = µ I (y m ). The line element of the round, SO(n + 1)-invariant metric on an n-sphere of squared radius g −2 (g = 0) is then ds 2 (S n ) = g −2 δ IJ dµ I dµ J = g −2 δ IJ ∂ m µ I ∂ n µ J dy m dy n ≡g mn dy m dy n .

(E.2)
This metric is Einstein, normalised so that the Ricci tensor equals (n − 1)g 2 times the metric. The Killing vectors, with a lower world index, of the round metric (E.2) and their covariant derivatives with respect to y m can be expressed in terms of µ I (y m ) as This coincides with the normalisation for the SO(7) Lie algebra in (C.12) of [23].

JHEP12(2015)020
Other useful relations include (E.5) Indices I, J on µ I and their derived quantities can be raised and lowered with δ IJ .

E.2 Homogeneous nearly-Kähler structure
Particularising now to n = 6, we will determine how the canonical, homogeneous nearly-Kähler structure on S 6 is inherited from R 7 when the latter is endowed with its usual G 2holonomy structure. More generally, recall that a nearly-Kähler six-dimensional manifold M 6 is an SU(3)-structure manifold, thus equipped with a real two-form J and a complex decomposable three-form Ω, which are (1, 1) and (3, 0) with respect to the natural complex structure defined by Ω. These forms are subject to the following algebraic, The metric ds 2 (M 6 ) that this SU(3)-structure specifies is Einstein, normalised so that the Ricci tensor is 5 times the metric, and its cone C(M 6 ) = R + × M 6 has G 2 -holonomy. The closure of the associative three-form ψ and co-associative four-formψ, ψ = r 2 dr ∧ J + r 3 Re Ω ,ψ = * ψ = 1 2 r 4 J ∧ J − r 3 dr ∧ Im Ω , (E.8) on C(M 6 ) leads to the intrinsic-torsion constraints (E.7) on M 6 . The Hodge dual in (E.8) is taken with respect to the canonical metric, ds 2 = dr 2 + r 2 ds 2 (M 6 ), on C(M 6 ). Now, when M 6 is taken to be S 6 =G 2 /SU(3), the nearly-Kähler SU(3)-structure is invariant under the transitive action of G 2 , and the structure can be specified in terms of the embedding (E.1) of S 6 into its cone C(S 6 ) = R 7 . In order to see this, we first relate the radial coordinate r and the constrained coordinates µ I , I = 1, . . . , 7, to unconstrained coordinates x I = rµ I on R 7 , and then compare to (E.8) the generic expressions ψ = 1 3! ψ IJK dx I ∧ dx J ∧ dx K andψ = 1 4!ψ IJKL dx I ∧ dx J ∧ dx K ∧ dx L . The nearly-Kähler structure (J , Ω) on S 6 thus becomes related to the G 2 -holonomy forms ψ,ψ on R 7 via These forms can be double-checked to satisfy the differential conditions (E.7). The metric ds 2 (S 6 ) that this nearly-Kähler structure specifies coincides with the round metric (E.2) (with g = 1). Its isometry is thus enhanced from G 2 to SO(7).
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.