On the dualization of scalars into (d − 2)-forms in supergravity. Momentum maps, R-symmetry and gauged supergravity

We review and investigate different aspects of scalar fields in supergravity theories both when they parametrize symmetric spaces and when they parametrize spaces of special holonomy which are not necessarily symmetric (Kähler and Quaternionic-Kähler spaces): their rôle in the definition of derivatives of the fermions covariant under the R-symmetry group and (in gauged supergravities) under some gauge group, their dualization into (d − 2)-forms, their role in the supersymmetry transformation rules (via fermion shifts, for instance) etc. We find a general definition of momentum map that applies to any manifold admitting a Killing vector and coincides with those of the holomorphic and tri-holomorphic momentum maps in Kähler and quaternionic-Kähler spaces and with an independent definition that can be given in symmetric spaces. We show how the momen-tum map occurs ubiquitously: in gauge-covariant derivatives of fermions, in fermion shifts, in the supersymmetry transformation rules of (d − 2)-forms etc. We also give the general structure of the Noether-Gaillard-Zumino conserved currents in theories with fields of different ranks in any dimension.


JHEP08(2016)135
The (d − 2)-form fields B A are the duals of the scalars. 3 In the kind of theories we are interested in, the numbers of scalars and (d − 2)-forms do not coincide in general because there are more global symmetries than scalars. However, there are constraints to be taken into account that reduce the number of independent dynamical degrees of freedom associated to the latter, as we will see.
When the scalars couple to other fields, these must transform under the global symmetries of the σ-model as well. Some of the transformations may be electric-magnetic dualities and only the equations of motion will be left invariant by them. Accordingly, there are no Noether currents for those transformations. As shown in ref. [14], in the 4-dimensional case it is always possible to use the Noether-Gaillard-Zumino (NGZ) 1-forms [16] which are conserved on-shell, to define the 2-forms B A . We will study the higher-dimensional, higher-rank analog of the NGZ 1-forms in section 5.
In order to describe systematically the procedure, it is convenient to start by reviewing the construction of the metrics, Killing vectors, Vielbeins and connection 1-forms etc. in symmetric spaces, since this is the kind of target spaces that occurs in most extended supergravities. We will do this in section 2. In the process we will (re-) discover structures which appear in the gauging of the theories (specially in the supersymmetric case) (covariant derivatives, fermion shifts etc.) In particular, we are going to see that in all symmetric spaces there exists a generalization of the holomorphic and triholomorphic momentum maps associated to the Kähler-Hodge and quaternionic-Kähler manifolds of N = 1, 2 supergravities in d = 4 dimensions (reviewed in the appendices) which play exactly the same rôle in the construction of the gauge-covariant derivatives of fermions, in the fermion shifts of the supersymmetry transformation rules of gauged supergravities and also in the supersymmetry transformation rules of the (d − 2)-forms dual to the NGZ currents. These generalizations share the same properties and deserve to be called momentum maps as well.
Furthermore, we are also going to give an even more general definition of momentum map (section 2.1.2), valid for any manifold admitting one isometry, showing that in symmetric spaces, Kähler-Hodge or quaternionic-Kähler spaces our general definition is equivalent to the standard one. This is one of the main results of this paper.
To end section 2 we will review some well-known examples which will be useful in what follows.
In section 3 we address the dualization of the scalars of a symmetric σ-model into (d − 2)-form potentials along the lines explained before. Then, in section 4 we will consider the case in which the scalars of the symmetric σ-model are coupled to the vector fields of a generic 4-dimensional field theory of the kind considered by Gaillard and Zumino in ref. [16], introducing the NGZ current 1-form and studying its dualization into 2-forms. We will also consider there (section 4.1.1) the general form of the supersymmetry transformations of the 2-forms and the rôle played in them by the momentum map. It is because of this rôle that we expect the tensions of the strings that couple to the 2-forms to be determined by the JHEP08(2016)135 momentum map (section 4.1.2). We will also show how the momentum map occurs in the fermion shifts of the supersymmetry transformation rules of the fermions of 4-dimensional extended supergravities (section 4.1.3).
The higher-dimensional case in which the scalars are also coupled to potentials of different and higher ranks will be considered in section 5 and we will show through examples that the equation of conservation of the generalized NGZ current 1-form has a universal form.
Our conclusions are contained in section 6.

Review of symmetric σ-models
Let us consider 4 a homogeneous space M on which the Lie group G acts transitively, and where H⊂G, topologically closed, is the isotropy subgroup. Then M is homeomorphic to the coset space G/H of equivalence classes under right multiplication by elements of H {gH} (G acts from the left on these equivalence classes) and can be given the structure of a manifold of dimension dim G−dim H. Furthermore, G can be seen as a principal bundle with base space M=G/H, structure group H, and projection G→ G/H. In any homogeneous space G/H, the Lie algebra of G, as a vector space, can be decomposed as the direct sum g = h ⊕ k, where h is the Lie subalgebra of H and k is its orthogonal complement. By definition of subalgebra The two components of a symmetric pair are mutually orthogonal with respect to the Killing metric which is block-diagonal. Now, if G/H is a symmetric space (G connected, and H compact) and there is a G-invariant metric defined on it, then it is Riemannian symmetric space.
The metrics of the scalar σ-models that appear in all supergravities in d ≥ 4 dimensions with more than 8 supercharges are the metrics of some Riemannian symmetric space. The metrics and the kinetic terms can be constructed using a G/H coset representative or by using a generic element of G and gauging an H subgroup. Let us start by reviewing the first method.  [23,24] and also ref. [25]). The structure constants are defined by and, by definition of symmetric space, the only non-vanishing components are The adjoint representation of g is defined by the matrices (2.6) and, obviously, their restriction to the indices i, j is the adjoint representation of h. Furthermore, the matrices provide another representation of h with representation space k.
Only the diagonal blocks of the the Killing metric K ab and K ij are non-vanishing (K ai = 0). K ij is the restriction of the Killing metric 5 of G to H and, for the kind of groups we are considering, it is proportional to the Killing metric of H. 6 Under the adjoint action of G, defined by The Killing metric metric is invariant due to the cyclic property of the trace (2.10) Then, since the Killing metric is invertible (K AB ) for the kind of groups we are considering, we find that Let us denote by u(φ) = u(φ 1 , . . ., φ d ) a coset representative of G/H in some local coordinate patch. In practice it will be a matrix transforming in some representation r of G. The scalar fields of the σ-model will be mappings from spacetime to G/H expressed in these coordinates as the functions φ m (x). Under a left transformation g ∈G, u(φ) transforms into another element of G, which becomes a coset representative u(φ ′ ) only after a right transformation with the inverse of h ∈H, that is (see refs. [19][20][21][22]) (2.12) 5 That is:

JHEP08(2016)135
For a given choice of coset representative u, h will depend on g and φ, but we will not indicate explicitly that dependence. The left-invariant Maurer-Cartan 1-form V ∈ g and can be expanded as follows: 7 The e a components can be used as Vielbeins in G/H and the ϑ i components play the role of connection. 8 The Maurer-Cartan equations satisfied by V (dV − V ∧ V = 0) take the following form in terms of the above 1-form components: Comparing the first of these equations with Cartan's structure equation with vanishing torsion De a = de a + ω b a ∧ e b = 0 we find the connection 1-form which also justifies the identification of ϑ i with a connection. The curvature 2-form of this connection is, from the definition Then, eqs. (2.15) tell us that We have defined a Vielbein basis and an affine connection on G/H, but we have not defined a Riemannian metric yet. We can do so if we are provided with a metric g ab on k: Its pullback over spacetime, conveniently normalized, can be used in the action for the σ-model: In order to construct a Riemannian symmetric σ-model the metric G mn (φ) must be invariant under the left action of G. Under the left multiplication by g ∈G, u(φ ′ ) = gu(φ)h −1 , and the components of the left-invariant Maurer-Cartan 1-form transform in the adjoint representation of H (the ϑ i as a connection of H): The elements of the basis of k and h will be in the representation r in which u transforms. However, for the sake of simplicity, we will write Pa instead of Γr(Pa) etc. whenever this does not lead to confusion. 8 See the transformation rules eqs. (2.21).

JHEP08(2016)135
where e(φ) = e a (φ)P a and ϑ(φ) = ϑ i (φ)M i . Infinitesimally, 22) and the Riemannian metric G mn (φ) will be invariant under the left action of G if the metric g ab on k is H-invariant: In all the relevant cases we can set g ab ∝ K ab , the projection on k of the Killing metric and we will do so from now on. More precisely, we will use this normalization: 9 (2.24) Observe that the H-invariance of g ab eq. (2.23) automatically guarantees that the torsionless connection ω b a in eq. (2.16) is metric-compatible and, therefore, it is the Levi-Civita connection of the above metric.
In addition to the isometries corresponding to the left action of G, with Killing vectors k A , the resulting Riemannian metric is also invariant under the right action of N(H)/H, N(H) being the normalizer of H in G. The Killing vectors associated to the latter are just the vectors e a dual to the horizontal Maurer-Cartan 1-forms in the directions of N(H)/H [17].
Our next task is to find the general expression of the Killing vectors k A which defines the transformation rule of the Goldstone fields. From the infinitesimal version of gu(φ) = u(φ ′ )h with where W A i is known as the H-compensator, we get after some straightforward manipulations It transforms as The H-covariant derivative satisfies the Ricci identities where R(ϑ) i stands here for the curvature 2-form defined in eq. (2.18). Using we find that the momentum map that we have defined above satisfies the equivariance condition Using the explicit form of the curvature eq. (2.18) it is easy to derive the following equation, which is sometimes used as definition of the momentum map One is often interested in gauging the global symmetry group G (or a subgroup of G), making the supergravity theory invariant under transformations of the form eq. (2.25) with parameters σ A which are promoted to arbitrary spacetime functions σ A (x). Under these transformations, the pullback of the second equation of (2.21) acquires an additional term and the (spacetime pullback of) above H-covariant derivatives do not transform covariantly anymore. As usual, it is necessary to introduce spacetime 1-forms A A and modify the above covariant derivatives as follows: 12 (2.35) 10 We will denote the pullback with the same symbol, ϑ i when this does not lead to confusion. 11 In spite of the name, which is, admittedly, misleading, there is no true gauge symmetry in this construction. The H-transformations are not arbitrary functions of the spacetime coordinates. Neither they are arbitrary functions of the scalar fields (the coordinates on G/H). The only arbitrary parameters in these transformations are the global parameters of the G transformation that needs to be compensated to go back to the coset representative. 12 Here we will not concern ourselves with the problem of matching the rank of the subgroup of G to be gauged with the number of 1-forms available in the supergravity theory. In general this requires the explicit or implicit introduction of the so-called embedding tensor. We will use it in section 4.1.3.

JHEP08(2016)135
The structure of these gauge covariant derivatives is identical to the covariant derivatives that occur in gauged N = 1, 2 supergravities, 13 even if the scalar manifolds (Kähler-Hodge and quaternionic-Kähler manifolds) are no coset spaces: the spinors of these theories transform under U(1) Kähler transformations and the Kähler 1-form connection plays the role of ϑ in eq. (2.30). In N = 2 theories with hypermultiplets, the spinors also transform under SU(2) compensating transformations and the pullback of the SU(2) connection of the quaternionic-Kähler manifold plays the role of ϑ. Associated to these symmetries there are holomorphic and tri-holomorphic momentum maps which play the same role as P A i . A more detailed comparison between these structures and the ones that arise in symmetric spaces can be found in the appendices.
Observe that these covariant derivatives cannot be obtained by the often-used (but generally wrong) replacement of the pullback by the "covariant pullback" of the H connection ϑ i in eqs. (2.30) ϑ where is the covariant derivative of the scalars, because, according to eq. (2.27), where (2.40)

A more basic definition of the momentum map
Let us consider a d Riemannian manifold M , 14 not necessarily symmetric, but admitting a set of Killing vectors k A a , that is where ∇ a is the Levi-Civita covariant derivative. To each Killing vector one can associate an infinitesimal rotation in tangent space generated by (2.42) 13 See, for instance, refs. [18,26,27]. 14 The signature is irrelevant in this discussion, which also applies to pseudo-Riemannian spaces.

JHEP08(2016)135
The antisymmetry of P A ab = g ac P A c a follows from the Killing equation. Let {M i } be a basis of the Lie algebra of the holonomy group of M. Generically it will be SO(d) but for spaces of special holonomy it will be some subgroup H ⊂ SO(d). In particular, for Riemannian homogeneous spaces G/H, the holonomy group is precisely H. We can, then, decompose P A b a in that basis, defining at the same time the coefficients as the components of the momentum map It is not hard to show using the explicit expressions for the Killing vectors and connection eqs. (2.26) and (2.16) that the momentum map we have just defined reduces to the one defined in eq. (2.28) for symmetric spaces. Furthermore, using the general identity for Killing vectors and decomposing both sides of this equation in the basis of the holonomy algebra, 15 we get a general version of eq. (2.34) Finally, we can also show that the momentum map satisfies the equivariance property Under an infinitesimal isometry objects living in tangent space (vectors ψ a , say) 16 transform as 49) and, when gauging the isometry group, these compensating transformations must be taken into account in the construction of the covariant derivative, which is given by This covariant derivative reduces to the H-covariant derivative in eq. (2.35) for symmetric spaces. The above definition can be generalized to objects transforming in other representations of SO(n) in the obvious way. 15 That is where the minus sign is chosen to match the sign of the H-curvature R(ϑ) in symmetric spaces. 16 These variables arise naturally in N = 1 supersymmetric mechanics where one introduces d scalar multiplets x m + θe m aψ a . See, e.g. [28,29] and references therein.

H-covariant Lie derivatives
The H-compensator can be understood as the "local" parameter of the H compensating transformation associated to the infinitesimal G transformation generated by T A or the Killing vector k A . To study the behavior under G global transformations of fields transforming under these H compensating transformations (something usually done through the Lie derivative) it is necessary to take into account the latter. This requires an H-covariant generalization of the standard Lie derivative with respect to the Killing vector k A denoted by L k A . 17 The equivariance property of the H-compensator plays an essential role. On fields transforming contravariantly ξ ′ = Γ s (h)ξ, or covariantly ψ ′ = ψΓ s (h −1 ), the H-covariant derivative is defined by The main properties satisfied by this derivative are Infinitesimally, the H connection ϑ i transforms with the H-covariant derivative of the transformation parameters. Thus, an appropriate definition for its H-covariant Lie derivative would be Using the definitions and eq. (2.34), one can show that (2.57)

Final remarks
The H-covariant derivative of u(φ), which transforms covariantly in some representation r, is, according to the definition where we have used the expansion of the Maurer-Cartan 1-form eq. (2.13).

JHEP08(2016)135
We can use this result to obtain a very convenient expression of the action of the σmodel directly in terms of the coset representative u(φ), which transforms linearly under G (with the metric defined in eq. (2.24)): 18 The invariance under the left action of G on the coset representative is manifest in this form. This expression connects this approach with the approach that we are going to review in the next section.
To end this section, when the coset space is of the kind SL(n)/SO(n), there is an alternative but completely equivalent construction which is often used in supergravity. 19 One defines the symmetric and H-invariant matrix and choosing a basis in which the P a are symmetric matrices and the M i are antisymmetric, it is not difficult to show that The equations of motion from this action are obtained much more easily from the formulation that we are going to discuss in the next section because one does not have to deal with the scalar dependence of the connection ϑ i .

Gauging of an H subgroup
σ-models on coset spaces G/H are often constructed by gauging a subgroup H of a σ-model constructed on the group manifold G. The latter has the action where u(ϕ) = u(ϕ 1 , · · · , ϕ dim G ) is now a generic element of the group G in some representation r and in some local coordinate patch that contains the identity. This action is invariant under the left and right (global) action of the group G and, therefore, its global symmetry group is G×G. Now we want to gauge a subgroup H of the right symmetry group, under which u ′ = uh −1 (x). Here h(x) stands for an arbitrary function of the spacetime coordinates that gives an element of H at each point. Such a function can be constructed by exponentiation of a linear combination the generators of h with coefficients σ i (x) which are arbitrary functions of the spacetime coordinates. After gauging, the global symmetry group will be broken to G×H. 18 Using the cyclic property of the trace, it can also be written in the form

JHEP08(2016)135
We introduce an h-valued spacetime gauge field A = A i µ dx µ M i transforming exactly as the ϑ i components of the left-invariant Maurer-Cartan 1-form of G/H eq. (2.21) and the H-covariant derivative Du ≡ du + uA , (2.64) and we simply replace the exterior derivative d by D in the action eq. (2.63) without adding a kinetic term for the gauge field: The gauged action describes only d =dim G−dim H degrees of freedom: on general grounds we expect that the gauge symmetry can be used to eliminate dim H of the scalars ϕ x , x = 1, . . . ,dim G, from the action, leaving only those that parametrize the coset space G/H, that we have denoted by φ m . 20 This is the so-called unitary gauge. As we are going to see, only d of the scalar equations of motion are independent, in complete agreement with the general expectation.
Let us first consider the equations of motion of the gauge field. These are purely algebraic: δS

66) and the solution is
In the unitary gauge, V depends only on the physical scalars φ m and becomes, automatically, the left-invariant Maurer-Cartan 1-form in G/H, so V i = ϑ i . This solution can be substituted in the above action: this substitution A i = V i (ϕ) and the derivation of the equations of motion for the scalars from the action are two operations that commute and the final result is the same. As a matter of fact, after the substitution, the scalar equations of motion are but the second term vanishes identically.
In the unitary gauge, after the substitution A i = V i = ϑ i (φ) we recover the action eq. (2.60). Classically, these two formulations are completely equivalent. However, in this formulation the scalar equations of motion are easier to derive because we have just shown that we can ignore the variations of the connection with respect to the scalars.
The equations of motion of the scalars ϕ x , x = 1, . . . ,dimG are

JHEP08(2016)135
The invariance under local, right, H-transformations implies, according to Noether's second theorem, the following dimH Noether identities relating the scalar equations of motion: These are off-shell identities and are also valid in the unitary gauge after the substitution A i = ϑ i . Therefore, they are valid in the case discussed in the previous section. Taking into account the gauge identities the only non-trivial equations of motion are those of the physical scalars φ m , which take the form

Examples
In this subsection we are going to review a few examples which we will use repeatedly in what follows: 1. The SL(2, R)/SO(2) coset space, which occurs in many supergravities: N = 2B, d = 10 supergravity (the effective field theory of the type IIB superstring) N = 2, d = 9, 8 supergravity (obtained from the former by toroidal dimensional reduction), N = 4, d = 4 supergravity (the effective field theory of the heterotic string compactified on a six torus), and in many truncations of the maximal supergravities in diverse dimensions. In N = 2B, d = 10 supergravity the scalar fields that parametrize this coset are the dilaton ϕ and RR 0-form χ, combined into the axidilaton field τ = χ + ie −ϕ (see eq. (2.76) below). In N = 4, d = 4 supergravity the fields are the 4-dimensional dilaton φ and the dual of the 4-dimensional Kalb-Ramond 2-form a and τ = a + ie −2φ .
2. The SU(1, 1)/U(1) coset, which is an often used completely equivalent alternative form of the SL(2, R)/SO(2) coset space: constructed by Schwartz in the SU(1, 1) formulation [34][35][36] and rewritten in the SL(2, R) formulation in which the dilaton and RR 0-form appear more naturally in ref. [37]. The supersymmetry transformations of all the fields of N = 2B, d = 10 supergravity, including the 8-forms dual to the dilaton and RR 0-form, were given in the SU(1, 1) formulation in refs. [38,39] and [9]. In section 5.1.3 we are going to study the dualization of the scalars and the supersymmetry transformations of the dual 8-form fields proposed in that reference from the geometrical point of view taken here.
The group SL(2, R) is isomorphic to SO(2, 1). The Lie brackets of the three generators {T A } can be conveniently written in the form

JHEP08(2016)135
where Q = diag(+ + −). A 2-dimensional representation (the one we are going to work with) is provided by where the σ i s are the standard Hermitian, traceless, Pauli matrices satisfying σ i σ j = δ ij + iε ijk σ k . The Killing metric is is sometimes called the axidilaton field. The coset representative u transforms according to the general rule (2.77) In order to preserve the upper-triangular form of the coset representative u, the compensating h transformation must be such that and this completely determines the transformation rules for the coordinates ϕ, χ: in terms of τ they take the usual fractional-linear form The generators P a , M are The components of the left-invariant MC 1-form in the above basis are given by The first two components of each of the three columns of the matrix are the two components of each of the three Killing vectors, while the third row gives the three components of the momentum map (one for each isometry). Using the Vierbeins, and in terms of ∂ τ = 1 2 (∂ χ + ie ϕ ∂ ϕ ) we get the following explicit expressions for the Killing vectors, momentum map and H-compensator An SU(1, 1) matrix can be parametrized by two complex numbers a, b U(1) acts on these two complex numbers by multiplication (a, b) → e −iϕ (a, b). Therefore, its right action on this matrix is It is customary to introduce the vectors V α ± , α = 1, 2 where the subindices +, − refer to the U(1) weight In terms of these vectors the constraint |a| 2 − |b| 2 = 1 takes the form

JHEP08(2016)135
This constraint can be solved by a complex number z and a real one ξ In these coordinates the general SU(1, 1) matrix u behaves near the origin as from which we can read the generators and find the Lie algebra The Lie algebra is the same as that of SL(2, R), with a different normalization and the metrics K AB , g AB are proportional. The subgroup U(1) is generated by T 3 . As we are going to see, in many instances, the adjoint index A = 1, 2, 3 can be replaced by a symmetric pair of indices α, β = 1, 2 which can be obtained from the corresponding Pauli matrix by left multiplication with ε αβ .
Using U(1) we can always bring u to the gauge ξ = 0 in which all its components are written in terms of the unconstrained complex variable z: Then, this coset representative u(z) transforms according to the general rule The generators P a , M are Since M is diagonal and the P a are anti-diagonal, the left-invariant 1-forms can be decomposed in terms of a complex Vielbein e = e 1 + ie 2 and a real connection ϑ as and we find that they are given by (2.100)

JHEP08(2016)135
The invariant metric is 21 (2.102) The Killing vectors and momentum maps can be computed by using the general formulae eqs. (2.26) and (2.28). Using the definition of the adjoint action of a group on its Lie algebra eq. (2.9): It is convenient to use the symmetric pairs αβ to label the Killing vectors and momentum maps. We get, introducing a global factor of −i to make them real The E 7(+7) /SU(8) coset representative can be written in the convenient form of a Usp(28, 28) matrix where all the indices are complex SU(8) indices raised and lowered by complex conjugation that occur in antisymmetric pairs AB, IJ so that The U sp (28,28) condition implies for the 28 × 28 matrices u and v the two conditions 21 The change of variables brings the metric of the SL(2, R)/SO(2) coset eq. (2.82) to this one.

JHEP08(2016)135
E 7(+7) acts on the AB indices and the compensating (scalar-dependent) SU(8) transformations act on the IJ indices. A parametrization in terms of independent scalar fields can be found, for instance in ref. [40].
Each column of the above matrix provides a set of complex vectors labeled by the pair IJ transforming in the fundamental (i.e 56) representation under E 7(+7) . The action of this group on the fundamental representation in this complex basis can be described as follows: consider, for instance the complex combinations of the electric and magnetic 2-form field strengths F AB given by where ij are antisymmetric pairs of real SL (8) indices, the F ij are the 28 electric field strengths of the theory, the G ij are the 28 magnetic field strengths defined from the Lagrangian of the theory L by and the Γ ij s are the SO(8) gamma matrices. Then, the infinitesimal action of E 7(+7) on the fundamental representation is given by where the Λ A B are the anti-Hermitian parameters of infinitesimal SU (8) transformations, (i.e. Λ * A B = −Λ B A and Λ A A = 0) and where the off-diagonal infinitesimal parameters Σ ABCD are complex self-dual, that is The generators of E 7(+7) in this representation are, therefore, (2.118)

JHEP08(2016)135
The generators T E F of h = su(8) will also be denoted M F E and the generators of the complement T EF GH will be denoted by P EF GH . In order to avoid confusion, in this section the indices in the adjoint representation of E 7(+7) will be A, B, . . . and correspond to the pairs E F plus the quartets EF GH. The metric in e 7(+7) g AB will be Using the explicit form of the generators T A written above one can also compute explicitly the structure constants f AB C , the Killing metric K AB and the metric g AB . The latter's and its inverse's only non-vanishing components are (2.120) The Vielbein and H-connection are defined by and, using eq. (2.109) one finds that they are given by From the Maurer-Cartan equations it follows that Again, in order to compute the Killing vectors and momentum maps we use the same reasoning as in the previous example, arriving to

Noether 1-forms and dualization
For each isometry of the metric G mn (φ) with Killing vector k A m (φ), the σ-model action eq. (2.20) has a global symmetry with δ A φ m = k A m (φ). According to Noether's first theorem, there is a current density j A µ associated to each of them which is conserved on-shell:

JHEP08(2016)135
The Noether 1-form is defined by and, for the choice of metric eq. (2.24), and using the expression eq. (2.26), it can be written in the form which can also be obtained from the explicitly right-invariant expression eq. (2.59) for the transformation δ A u = T A u. 22 The above expression makes it easier to show that not all of these 1-forms are independent: they satisfy dim H scalar-dependent relations: where we have used eq. (2.58) and the orthogonality of the basis of h and k in symmetric spaces. Observe that the above expression is not simply j i = 0. For the rest of the components we get the non-vanishing expression This expression and the previous one appear in the equations of motion of the scalars eq. (2.71) and in the gauge identities eq. (2.70). Thus, these can be rewritten, respectively in the form Using the explicit form of the H-covariant derivatives, we find that these equations can be rewritten in the following form, much more directly related to the conservation of the Noether 1-forms: Combining these equations with the explicit form of the Killing vectors eq. (2.26) we can easily prove the off-shell relation The moral of these results is that the equations of motion of the scalars can be seen as combinations (projections) of some more fundamental equations: the conservation laws of 22 The complete infinitesimal transformation of u must include the compensating H-transformations that act from the right: but they can be safely ignored in the right-invariant expression.

JHEP08(2016)135
the Noether currents. The latter can completely replace the former. But only the Noether 1-forms can be dualized. The Noether 1-forms are closed on-shell and, on-shell, they can be dualized by introducing as many (d − 2)-forms B A related to them by solving locally the conservation laws. As usual, the Bianchi identities of the original fields become the equations of motion of the dual ones. The obvious candidate to Bianchi identity is There are only dimG − dimH equations, which means that we cannot solve for all the H A . We must also use the constraint which follows from eq. (3.5). It would be desirable to have a kinetic term for the (d − 2)-forms B A from which the equations of motion (3.14) could be derived. The simplest candidate would be where the scalar-dependent matrix M AB is defined by and is obviously singular, with rank(M AB ) = dimG−dimH because M AB Γ Adj (u −1 ) i A = 0 ∀i. This means that the combinations Γ Adj (u) A i H A which are constrained to vanish, do not enter the action. Observe that M AB transforms under global G transformations according to so the above action is invariant.
Observe also that the σ-model action can be written in terms of the same singular matrix as Furthermore, observe that, if we define

JHEP08(2016)135
and we impose the restriction B i = 0, the above action can be rewritten in the form Notice, however, that the restriction B i = 0 is not equivalent to eq. (3.15).
The equations of motion that follow from the above action are simply Projecting them with Γ Adj (u −1 ) a A , we get the equations of motion (3.14) However, if we project the equations of motion with Γ Adj (u −1 ) i A we get a non-trivial constraint: which, upon use of the previous solutions gives a non-trivial constraint that we do not want: We have not found any completely satisfactory way of solving this problem in general.
Notice that a similar problem appeared with dualization of 3-form potential A 3 of eleven dimensional supergravity. Its action [41] contains, besides the kinetic term of A 3 and interaction of A 3 with fermions, the Chern-Simons type term dA 3 ∧ A 3 ∧ A 3 , and this makes impossible to construct a dual action including 6-form potential A 6 instead of A 3 [42,43].
However, there exists the duality invariant action of 11-d supergravity including both A 6 and A 3 potentials [8]. It was constructed using the PST (Pasti-Sorokin-Tonin) approach [11,12] and reproduce a (nonlinear) duality relation between the (generalized) field strengths of A 6 and A 3 as a gauge fixed version of the equations of motion. Notice that this action can be presented formally as a sigma model action [10] for a supergroup with fermionic generator associated to A 3 and bosonic generators associated to A 6 [44].
Then it is natural to expect that the similar situation occurs in our case of dualization of "non-Abelian" scalars. Even if the non-existence of a consistent way to write dual action in terms of only (d − 2) forms dual to a scalars parametrizing a non-Abelian coset were proved, this would not prohibit the existence of a PST-type action involving both the scalars and the (d − 2) forms and producing the duality equations (3.12) as a gauge fixed version of the equations of motion. Moreover, for the particular case of SU(1, 1)/U(1) coset such action was constructed in [9], where it was also incorporated in the complete action of type IIB supergravity.

JHEP08(2016)135
The generalization of the action from ref. [9] for the generic case of scalars parametrizing a symmetric space G/H reads where the one-form v is constructed from the PST scalar a(x), the (would be) auxiliary field of the PST formalism, and F i = dx µ F µi (x) is an auxiliary one-form carrying the index of H-generators. The contraction symbol is defined, as usual, by We assume the derivative of the PST scalar to be a time-like vector so that the square root in denominator is well defined (in our mostly minus signature), v µ v µ = 1, and is valid for any (d − 2)-form and, in particular, for our H A = dB A . The study of this action and derivation of the duality conditions from its equations of motion is out of the scope of this paper. Here we would like to stress the rôle the momentum map (2.28) plays in it: the auxiliary one-form F i always enter the action in contraction F i P i A . Indeed, this is the case for H A (3.29), and, due to j A Γ Adj (u) A i = 0 (3.5), the first two terms of the Lagrangian (3.28) can also be collected in We hope to return to the study the properties of this action and its applications in supergravity context in future publications.

JHEP08(2016)135
where the Noether 1-forms are given by The combinations of dual (d − 1)-form field strengths H A that occur in that action are 37) and the constraint eq. (3.15) is The relation between these three (d − 1)-form field strengths and the scalars (the pullbacks of the Vierbeins) is and, with the help of the above constraint we can invert it, expressing entirely the three field strengths in terms of the scalars. The relations are equivalent to H A = ⋆j A .

E 7(+7) /SU(8)
Using the same properties we used to find the Killing vectors and momentum maps eqs. (2.125) we find the Noether 1-forms are given by j A ABCD e ABCD where the e ABCD are the Vielbein and the components are given by The explicit expressions can be easily computed using the generators and (inverse) coset representatives given above. For instance, (3.41) Observe that the 1-forms j E F ABCD e ABCD are purely imaginary.

NGZ 1-forms and dualization in d = 4
The bosonic action of all 4-dimensional ungauged supergravities (and many other interesting theories as well) is of the generic form where the indices Λ, Σ = 1, · · · , n (the total number of fundamental vector fields) and where N ΛΣ (φ) is known as the period matrix and it is symmetric and, by convention, has a negative definite imaginary part. The σ-model metric G mn (φ) is that of a Riemannian symmetric space in all N > 2 cases (and in many other cases as well) and this is the case that we want to consider here in order to apply the results derived in the previous sections. First of all, we want to rewrite this action in differential-form language and using the coset representative u: Then, we define the dual vector field strengths The last relation is known as a (linear) twisted self-duality constraint. Defining the symplectic vector of vector field strengths As it is well known, the preservation of the twisted self-duality constraint requires the simultaneous transformation of the period matrix according to the rule

JHEP08(2016)135
The preservation of the symmetry of N and of the negative definiteness of ℑmN (together with the preservation of the energy-momentum tensor) require S to be an Sp(2n, R) transformation, that is Finally, if these transformations are going to be symmetries of the equations of motion, the form of the period matrix as a function of the scalars must be preserved, and this requires the above transformation rule for N to be equivalent to a transformation of the scalars: This transformation of the scalars must be an isometry of the σ-model metric. Thus, the symmetries of the equations of motion of the theory are the group G of the isometries of the σ-model metric which act on the vector fields embedded in the symplectic group. 24 These isometries always leave invariant the scalars' kinetic term but only some of them may leave invariant the whole action because many involve electric-magnetic duality rotations. Thus, there is a Noether 1-form for each isometry of the scalar sector, and we are going to denote it by a σ index, j but, in general, they do not have a standard completion to Noether 1-forms of the full theory. A completion does, nevertheless, exist in all cases and it was found by Gaillard and Zumino in ref. [16]. To construct the Noether-Gaillard-Zumino (NGZ) 1-form we first need to define the infinitesimal generators of G in the representation in which they act on the vector fields, {T A }. By assumption T A ∈ sp(2n, R) and Then, the NGZ 1-forms are given by where we have used eqs.

JHEP08(2016)135
where S Gauged is the σ-model action normalized as in eq. (2.65). Contracting with the Killing vectors we get where we have used eq. (3.11). The infinitesimal transformation rule for the period matrix follows from eq. (4.10) and eq. (4.8) 25 and, replacing it in eq. (4.16), we find the conservation equations as combinations of the equations of motion: The conservation of the NGZ 1-forms can be solved locally by the introduction of 2-forms B A such that where H A are the 3-form field strengths, gauge invariant under and satisfying the Bianchi identities The equations of motion have the same form as in the general case studied in section 3.
Observe that the NGZ currents are subject to the same constraint as the Noether currents, eq. (3.5), because k A m Γ Adj (u) A i = 0 and because of eq. (4.20). 26 Together, they lead to the constraints (4.24) 25 We use the following infinitesimal form for the symplectic matrix S:

Supersymmetry transformations of (d − 2)-forms
In supersymmetric theories the (d − 2)-form fields dual to the scalars, B A , must transform under supersymmetry and the algebra of the supersymmetry transformations acting on these fields, δ ǫ B A , must close on shell.
In the N = 1, 2, d = 4 cases [45,46] these transformations were found to have leading terms with a common structure 27 that can be generalized to all N and, actually, to all d: Furthermore, observe that in the second term of eq. (B.17), the hyperini ζ α carry a single Sp(2n h ) index α but their product with the Quadbein U αI u carries an R-symmetry index I plus a hyperscalar index u, according to the general expectation. The example in section 5.1.3 provides additional confirmation of the universality of the above supersymmetry transformation rule.
The above proposal looks different from the exact result obtained in superspace for the N = 8, d = 4 theory in ref. [47], but one has to take into account that the 2-forms and 27 The N = 2 cases, Special-Kähler and Quaternionic-Kähler target spaces for the scalars, are reviewed in appendices A.1 and B.1, respectively. 28 These cases are reviewed in appendices A and B.

JHEP08(2016)135
their 3-form field strengths in that reference carry "local" (H=SU(8)) indices instead of "global" adjoint E 7(+7) indices. The relation between these two sets of variables is and it is not difficult to see that the supersymmetry transformation rules eq. (4.25) split into In the particular case of N = 8, d = 4 supergravity we can make use of the results of ref. [47]. Using Weyl spinor notation and taking into account that 1. The superpartners of scalar fields λ ABCD α I are split on two Weyl spinors of the form we find that the above generic equations, that can be extracted from the superfield results of ref. [47], take the explicit form On the other hand, the corresponding relation for the 3-form field strengths together with eq. (4.24) explain, from a technical point of view, why the H i were found in ref. [47] to be dual to fermion bilinears.

Tensions of supersymmetric (d − 1)-branes
The supersymmetry transformations of the (d − 2)-forms into the gravitini determine the tension of the 1/2-supersymmetric (d − 3)-branes that couple to them in a κ-symmetric action (see, for instance, ref. [45]), if any. The explicit construction of the U-dualityinvariant and κ-symmetric actions of the 1/2-supersymmetric (d − 3)-branes, in the same spirit as the construction of the SL(2, R)-invariant actions for all branes in type IIB d = 10 supergravity in ref. [48] or for 0-branes in N = 2, 8, d = 4 supergravity in ref. [49] has only JHEP08(2016)135 been carried out for the N = 2, d = 4 case [45]. Nevertheless, some general lessons can be learned from those results and from the general form of the supersymmetry transformations of (d − 2)-form potentials eq. (4.25). On general grounds, (d − 3)-branes will be characterized by charges in the adjoint representation of G, q A and the Wess-Zumino term in their effective world-volume action will contain the leading term 29 (4.34) Then, the supersymmetry transformation rule eq. (4.25) requires the presence of a scalar-dependent factor in the kinetic term that can be identified with the tension T (d−3) : which we conjecture to be of the form Observe that the rank dimH matrix P A i P B j g ij is related to the matrix M AB defined in eq. (3.17) by and for (d − 3)-brane charges in the conjugacy class q A q B g AB = 0 (which is the conjugacy class of the D7-and S7-branes of N = 2B, d = 10 supergravity [51]) which is the expression one would have guessed from eq. (3.19). Clearly, more work is needed in order to find the complete κ-invariant worldvolume actions, find the U-duality-invariant (d−3)-brane tensions and, eventually, prove the above conjecture, but we think that our arguments concerning the general structure of the supersymmetry transformation eq. (4.25) give some support to it.

Fermion shifts
The holomorphic and triholomorphic momentum maps (resp. P A and P A x ) also appear naturally in the so-called fermion shifts of the supersymmetry transformations of the fermions of gauged N = 1, 2, d = 4 supergravities. For the standard gauging (using the fundamental vectors A Λ as gauge fields for perturbative symmetries of the action), the supersymmetry transformations of the gravitini, gaugini and hyperini of N = 2, d = 4 supergravity can be 29 T-duality-invariant Wess-Zumino terms for the κ-symmetric world-volume effective actions of all branes in maximal supergravity in any dimension have been proposed in ref. [50].

JHEP08(2016)135
written in the form: 30 where the fermion shifts are given by (4.40) As usual in N > 1, the scalar potential is given by an expression quadratic in the fermion shifts: The presence of the momentum map on all those terms is due to their transformations properties under global duality transformations. To make this fact manifest and gain more insight in the structure of these terms, it is convenient to use the embedding tensor 31 ϑ M A .
This object relates each symmetry generator (A index) to the vector field of the theory that gauges it (M index). Introducing the embedding tensor in the fermion shifts restores the (formal) symplectic invariance of the theory: 32,33 (4.42) 30 See, for instance, refs. [18,26,27]. The momentum maps carry an index Λ here which associates them to the vector field that gauges the corresponding global symmetry. It is understood in this notation that only the momentum maps associated to the gauge symmetries occur in these expressions. This notation is considerably improved by the introduction of the embedding tensor, as awe are going to see. 31 The embedding tensor and its associated formalism were introduced in refs. [52][53][54]. They were developed in the context of the maximal 4-dimensional supergravity in refs. [55,56], but its use is by no means restricted to that context (see chapter 2 in ref. [18] and references therein). 32 The details of such a general gauged theory have not yet been worked out in the literature. 33 The gauge coupling constant g is also replaced by the embedding tensor, since it can describe several gauge groups with different coupling constants.

JHEP08(2016)135
while the scalar potential must take the form Our general definition of momentum map shares the same transformation properties and, therefore, the momentum maps should occur in all the fermion shifts of all theories. The expressions given in the literature, though, are written in a different language which obscures this point. Here we are going to show in several examples how the momentum map allows one to rewrite the fermion shifts in a universal way if one makes use of the embedding tensor.
Let us consider first the N > 2, d = 4 theories with vector multiplets (whenever possible). It is convenient to use the formulation of ref. [57] that can describe all these theories simultaneously and in a language very close to that of the N = 2, d = 4 theories coupled to vector multiplets. 34 We just need to know some details of this formulation: the N = 2 symplectic section V M that describes the scalars in the vector multiplets and its Kähler-covariant derivative where the indices I, J = 1, · · · , N and i, j = 1, · · · , n V (the number of vector multiplets). The fermions in the supergravity multiplet are ψ µ I , χ IJK , χ IJKLM (antisymmetric in all the SU(N ) indices, and χ IJKLM = 1 3! ε IJKLM N OP Q χ OP Q for N = 8). 35 The fermions in the generic vector supermultiplet are λ iI and λ i IJK (again, antisymmetric in all the SU(N ) indices, and λ i IJK = ε IJKL λ iL for N = 4). There are no vector multiplets for N > 4. However, in this formalism, several fields of the N = 6 theory are treated as if belonging to a vector supermultiplet and one has two additional relations that relate them to fields in the supergravity multiplet λ I = 1 5! ε IJ 1 ···J 5 χ J 1 ···J 5 and λ IJK = 1 3! ε IJKLM N χ LM N . In practice, in N = 6, it is easier to work with λ I and χ IJK , which fit in the general pattern.
Combining this knowledge with the fermion shifts of the N = 2 theories written above, 36 it is not difficult to guess the form of the generic fermion shifts: where we have boldfaced the H indices to distinguish them from those labeling the vector supermultiplets. For the N = 3, 5 cases there are additional fermion fields which are independent of ψ µ I , χ IJK , λ i I and whose fermion shifts are more difficult to guess. We have found the following possibilities: 37 34 So far, this formalism has been used only in ungauged supergravities. Our proposals for the fermion shifts should help to extend this formulation to the most general gauged theories. 35 χ IJKLM is only relevant as an independent field for N = 5, because it is also related to another field for N = 6, as awe are going to see. 36 Evidently, the fermion shifts in the hyperini will not be generalized, as there are no hypermultiplets in N = 2, d = 4 theories. 37 We thank Mario Trigiante for enlightening conversations on this point.

For the SU(3) singlets
2. For the SU(5) singlet χ = 1 5! ε I 1 ···I 5 χ I 1 ···I 5 of N = 5 In many gauged supergravities (see, for instance the N = 3, d = 4 theories [58,59] or the N = 2, d = 8 theories [60,61]), the fermion shifts are given in terms of the "dressed structure constants" of the gauge group. In the SO(3)-gauged N = 2, d = 8 theory of ref. [60], and in the conventions used there, these are defined by The dressed structure constants can be rewritten in terms of the three momentum maps P m n and the three Killing vectors k m a (where a labels the generators of the coset) using the definition of the adjoint action of the group on the algebra, adapted to these conventions: (4.50) where we have used the (transposed of the) definition of the adjoint action of the group on the algebra eq. (2.9).
Similar identities can be used in other supergravities and we hope the use of the momentum map can be of help in writing all gauged supergravity theories in a homogenous language.

N = 4, d = 4 supergravity
The bosonic fields of pure N = 4, d = 4 supergravity are the metric, the axidilaton τ = χ + ie −2ϕ , 39 and six vector fields A Λ µ Λ = 1, · · · , 6. The bosonic action is and, comparing with the generic action eq. (4.1) we find that the period matrix is given by (4.52) 38 In our notation Li m = u m i, the transposed. 39 Observe that here ℑm τ = e −2ϕ instead of e −ϕ as in section 2.3.1.

JHEP08(2016)135
The action of this theory is invariant under SO(6) rotations of the vector fields, whose symplectic infinitesimal generators, labeled by a are The equations of motion are also invariant under the SL(2R) group of simultaneous electricmagnetic rotation of all the electric field strengths F Λ into the dual magnetic ones G Λ defined in eq. (4.3). The symplectic generators associated to these transformations are the tensor products of those in eq. (2.73) by the identity in 6 dimensions. More explicitly (4.54) We will denote the generators of SL(2, R) with the label α to distinguish them from those of the SO(6) group. Observe that there are no scalars associated to SO (6). The only scalar, the axidilaton, is invariant under SO (6). Since this group is a symmetry of the action, the NGZ current coincides with the Noether current, has no scalar contribution and is given by Using Maxwell equations and Bianchi identities of the vector fields we find that which vanishes identically due to the antisymmetry of the SO(6) generators. In this case, evidently, there is nothing to be dualized and there are no 2-forms B a . The NGZ currents of the SL(2, R) electric-magnetic duality group are non-trivial, though: It is necessary to use the equations of motion of the scalars (and not just the Maxwell equations and Bianchi identities) to show that they are conserved on-shell. They are dualized into 3 2-forms B α according to the general prescription. We will not give the details here.

N = 8, d = 4 supergravity
The above general scheme can be applied to N = 8, d = 4 supergravity even if we use a complex basis for the vector fields. Thus, we have 5 The higher-dimensional, higher-rank NGZ 1-forms and dualization In d > 4 dimensions supergravity theories may contain dynamical fields which are differential forms of rank p > 1. The global symmetries of the theory can act on these field as rotations or, when the rank and dimension allow it (d = 2(p + 1)), as electric-magnetic transformations. The latter are not symmetries of the action but, nevertheless, as in the 4-dimensional case, a generalized Noether-Gaillard-Zumino (NGZ) current 1-form j A which is conserved on shell can be defined for each and all the generators of the full duality group. The equation that expresses this conservation can be written in a universal form: let F I , H m , G a , . . . be, respectively, the 2-, 3-, 4-, . . . form field strengths of the n 1 , n 2 , n 3 , . . .  On-shell, the above equation would take the form but it is not possible to give a general form of this current because, in each theory, the field strengths contain different Chern-Simons terms, all of them duality-invariant. In the 5dimensional example that follows, we have found the explicit form, but in the 8-dimensional one, we have not. The dualization of the NGZ current 1-forms into (d − 2)-form potentials proceeds as in the 4-dimensional case.
where G xy (φ) is the σ-model metric, a IJ (φ) is the kinetic matrix of the vector fields and C IJK is a constant, symmetric tensor. In supergravity theories these three couplings are related in a very precise way, but we will not need to use this structure for our purposes.
The equations of motion of the vector fields are and can be solved locally by where theÃ I are the magnetic 2-forms dual to the vector fields. Their gauge-invariant field strengths areF 6) and are related to the vector field strengths bỹ The equations of motion of the scalars are If the action is invariant under the global transformations generated by 9) which implies that the functions k A x (φ) are Killing vectors of the σ-model metric G xy , the kinetic matrix satisfies 10) and the symmetric tensor satisfies In order to dualize the Noether currents, we first have to replace the Hodge dual of the vector field strengths by theF I :

JHEP08(2016)135
and, then, using the invariance of the C IJK tensor eq. (5.11) we get 1As usual, we solve locally this equation by introducing 3-form potentials with gauge-invariant field strengths and duality relation This example is based on the results found in ref. [62]. The possible electric fields in an 8-dimensional theory are scalars φ x , 1-forms A I , 2-forms B m , and 3-forms C a . The most general Abelian, massless, ungauged supergravity-like theory in 8 dimensions with this field content can be written in the form where G xy , M IJ , M mn , N ab are scalar-dependent kinetic matrices (N ab complex and the rest real), the field strengths are defined by where the d aI m are constant independent parameters. The electric and magnetic 3-forms and the deformation parameters can be collected in symplectic vectors:

JHEP08(2016)135
with the symplectic indices i, j to be raised and lowered with the symplectic metric (Ω ij ) = (Ω ij ) = 0 1 −1 0 . The 2-forms B n can be dualized into 4-formsB m with field strength and duality relatioñ where the new deformation d mnp = d [mnp] must be related to the other deformations by Finally, the 1-forms A I can be dualized into 6-formsÃ I with field strength and duality relationF where the dots stand for a very long expression that can be found in ref. [62]. As in the previous example, let us assume that the equations of motion are invariant under the global transformations generated by 40 where the matrices T A I J , T A m n and the matrices which must be generators of the symplectic group, 28) are different representations of the same Lie algebra as the one generated by the vectors k A x (φ): As in the previous case, this implies that the functions k A x (φ) are Killing vectors of the σ-model metric G xy , the kinetic matrices satisfy 41 Since, in general, these symmetries are not symmetries of the action, we proceed as in the 4-dimensional case, contracting the equations of motion of the scalars, given by with the Killing vectors of the σ-model metric G xy (φ), k A x (φ). Using the Killing equation, (5.33) Using now eqs. (5.30) and the duality relations for the field strengths, we arrive to on shell. It is not difficult to see that the exterior derivative of the expression in the l.h.s. of the equation vanishes due to the Bianchi identities satisfied by the field strengths and due to the invariance of the deformation tensors expressed in the relations eqs. (5.31). This means that it should be possible to rewrite this equation as the conservation of a higher-dimensional NGZ current, that is where ∆j A has a very long a complicated form. A local solution of this conservation equation is provided by ⋆[j (σ) A + ∆j A ] = dD A where D A is a 6-form potential D A . Then, reasoning as in the 4-dimensional case, the gauge-invariant 7-form field strength K A and its duality relation will be given by and its Bianchi identity will adopt the universal form Our last example concerns the dualization of the scalars of N = 2B, d = 10 supergravity [34][35][36], the effective field theory of the type IIB superstring. They are the dilaton ϕ and the RR 0-form χ and, combined in the axidilaton τ = χ + ie −ϕ they parametrize JHEP08(2016)135 the SL(2, R)/SO(2) described in section 2.3.1. They are dualized into 3 8-form potentials satisfying a constraint [9,13] according to the general rules and the field strengths, whose form depends very strongly on conventions, satisfy a Bianchi identity of the universal form proposed above.
Here we want to focus on the supersymmetry transformation rules of the 8-forms, constructed in refs. [9,38] in the SU(1, 1)/U(1) formulation used in [35] and studied in section 2.3.2. We want to compare them with the general form proposed in section 4.1. They are given by where we have omitted terms proportional to other p-form fields, which are related to the Chern-Simons terms in the 9-form field strengths. Comparing now with eqs. (2.106) and (2.107) we see that the terms constraining the gravitini are multiplied by the momentum map while the terms containing the dilatini are proportional to the Killing vectors, as expected according to our general arguments.

Conclusions
In this paper we have reviewed the general problem of dualizing the scalars of a ddimensional theory into (d − 2)-form potentials preserving the dualities of the theory in a manifest form and taking into account their possible couplings to the potentials of the theory. We have not considered the dualization in presence of a scalar potential, since doing this properly, requires the full tensor hierarchy machinery, which lies outside of the scope of this paper. 42 In general, the dualization procedure has to be necessarily incomplete: the non-linearly interacting scalars cannot be replaced completely by the (d − 2)-form potentials, as often happens in supergravity theories with most potentials. Nevertheless, one may hope to find a PST-like formulation for them. For the particular case of scalars parametrizing the coset SU(1,1)/U(1) the PST-type action was constructed in ref. [9] as a part of type IIB supergravity action. Here we have presented the generalization of the action of ref. [9] for the generic symmetric space G/H; the properties of this action and its applications will be considered elsewhere.
Since we need to dualize conserved charges and some of the symmetries one has to consider in supergravity theories leave invariant the equations of motion but not the action, it is necessary to consider the Noether-Gaillard-Zumino current, whose generalization to theories in higher dimensions and with higher-rank potentials we have studied.
During this study we have found it necessary to extend the concept of momentum map to all symmetric spaces. The holomorphic and triholomorphic momentum maps defined JHEP08(2016)135 in Kähler and quaternionic-Kähler spaces play a very important rôle in N = 1, 2, d = 4 supergravities: they occur in fermion shifts (and, therefore, in the scalar potentials, where they often appear disguised as "dressed structure constants" or "T-tensors"), in the supersymmetry transformations of the 2-forms dual to the scalars (and, therefore, in the tensions of the strings that couple to them) and in the covariant derivatives of the fermions in gauged supergravities. We have shown through examples that the generalized momentum map satisfies similar equations and plays exactly the same rôle in N > 2 and d > 4 supergravities and we have explored the general form of the supersymmetry transformation rules of the (d − 2)-forms dual to the scalars and the fermion shifts.
In N = 1 supersymmetric mechanics one can consider general manifolds with no special holonomy properties. When they admit isometries and we gauge them, the covariant derivatives of the fermions contain an object that plays the same rôle as the momentum map. We have shown that it satisfies analogous equations and that, when the manifold has special holonomy (Kähler, quaternionic-Kähler or symmetric space), this object is the (generalized) momentum map. We have, therefore, proposed a more fundamental definition for the momentum map that encompasses all the previous ones.
Supergravity theories have very different forms for different values of N , d, mostly because of historical reasons: some of them have been constructed by dimensional reduction, some others in superspace or using other approaches. This complicates unnecessarily working with them and establishing relations between them via compactifications, truncations, gaugings etc. As a theories of dynamical supergeometry, it should be possible to describe them in a more N -and d-independent form. A big step in this direction was taken in ref. [57], specially for 4-dimensional theories, which were described in an almost N -independent fashion, but neither the gaugings nor the higher-rank form fields were considered there. We hope the extension of the concept of momentum map proposed here and its systematic use (specially in the construction of fermion shifts and scalars potentials) will be useful to rewrite all gauged supergravities in a more homogeneous form.

JHEP08(2016)135
A Kähler-Hodge manifolds in N = 1, 2, d = 4 supergravity In this appendix we want to review briefly the definition of the holomorphic momentum map and other structures which have their parallel in the main text in the context of Kähler-Hodge (KH) manifolds, which are not necessarily symmetric or even homogenous spaces. We adopt the notation and conventions of refs. [18,26].
A Kähler manifold is a complex, Hermitian manifold whose fundamental 2-form J This equation implies the vanishing of the torsion, the identification of the Hermitian connection with the Levi-Civita connection and the local existence of a real function, the Kähler potential K(Z, Z * ), such that K is defined up to Kähler transformations, which have the form were λ(Z) is an arbitrary holomorphic function of the complex coordinates Z i . In N = 1, 2, d = 4 supergravity there are complex scalar field parametrizing Kähler manifolds and the Kähler metric G ij * plays the role of the σ-model metric.
The Kähler (connection) 1-form is defined by transforms under Kähler transformations as a U(1) connection and the Kähler 2-form can be seen as its Kähler-invariant curvature A Kähler-Hodge manifold is a Kähler manifold M on which a complex line bundle L 1 → M has been defined such that its first Chern class (given by the Ricci 2-form R of the fiber's Hermitian metric) is equal to the Kähler 2-form J .
As we are going to show, in the KH manifolds of N = 1, 2, d = 4 supergravity, the Kähler 1-form connection Q and its curvature J play the same as the H= U(1) connection ϑ and its curvature R(ϑ) defined in eqs. (2.13) and (2.18):

JHEP08(2016)135
even though there is no coset structure. The requirement that the Kähler manifold is actually Kähler-Hodge is crucial. The fermionic fields of N = 1, 2 supergravity are sections of the associated U(1) bundle, which means that, under Kähler transformations eq. (A.4), they transform as if their weight is the real number q. The Kähler-covariant derivative on fields of Kähler weight q is given by Dψ = dψ + iqQψ , (A.10) where here Q is the spacetime pullback of the Kähler 1-form. This definition should be compared with that of the H-covariant derivative eq. (2.30).
Let us now assume that the theory we are considering has some global symmetry transformation group acting on the scalars. These transformations must necessarily be holomorphic isometries of the Kähler metric generated by Killing vectors K A ≡ k A i (Z)∂ i + k * A i * (Z * )∂ i * but they must also preserve the entire KH structure.
First of all, this implies that the transformations generated by the Killing vectors will leave the Kähler potential invariant up to Kähler transformations: for certain holomorphic functions λ A (Z). This, in its turn, implies that all the fields which transform as in eq. (A.9) will transform as Taking another Lie derivative in eq. (A.11) we find the following equivariance property which is identical to that of the H-compensator eq. (2.51). Secondly, the Kähler 2-form J must also be preserved Eq. (A.2) and the above equation imply the local existence of real functions P A (the holomorphic momentum maps) such that

JHEP08(2016)135
Comparing this equation with eq. (2.34) and taking into account the correspondences eq. (A.8) we find that the holomorphic momentum map plays the same role as the momentum map defined in eq. (2.28): A local solution of eq. (A.16) is where we have taken into account eq. (A.11). This equation should be compared with eq. (2.27) that relates the H-connection, the H-compensator and the momentum map. Furthermore, the holomorphic Killing vectors can be obtained form the momentum map (Killing prepotential ) .19) In N = 2, d = 4 supergravity theories, the Special Kähler structure allows us to find a general expression for the holomorphic momentum map in terms of the covariantly holomorphic symplectic section V M and the symplectic generators T A M N : If we now gauge the group of holomorphic isometries generated by the Killing vectors k A i we can follow the same rules as in symmetric spaces to construct the gauge-covariant derivatives, adding to the pullback of the H-connection (Kähler connection) the product A A P A where A A is the spacetime gauge field: The momentum map also occurs in the fermion shifts of the fermions' supersymmetry transformation rules. The details depend on the theory and its R-symmetry group and can be found, for instance, in ref. [18].
A.1 2-form potentials from the Kähler-Hodge manifolds of N = 1, 2, d = 4 supergravity The dualization of the complex scalars of N = 1 and N = 2, d = 4 supergravities belonging to chiral and vector supermultiplets can be performed following the general procedure outlined in section 4. To finish the job, though, a supersymmetry transformation rule must be provided for the dual 2-form fields, at least to lowest (zeroth) order in fermions. The supersymmetry algebra must close on shell and up to duality relations between the magnetic and electric vector fields and between the 2-forms and the NGZ currents. This was first done in the N = 2, d = 4 theories in ref. [45]. After the use of the expression for the momentum maps eq. (A.20), the supersymmetry transformation rules found there can be written in the form
(A. 23) where ξ µ are the parameters of general coordinate transformations, Λ M are the 0-form parameters of the gauge transformations of the gauge fields A M µ and Λ 1 A are the 1form parameters of the gauge transformations of the 2-form fields B A µν . Their explicit expressions can be found in ref. [45].
In the actual computation of the commutator, the derivative of the momentum map, which gives the corresponding Killing vector and the scalar part of the NGZ current appears naturally. Upon dualization, that term gives the contraction of the 3-form field strength H A with ξ µ , which is a general coordinate transformation of B A up to a gauge transformation.
The supersymmetry transformation rule for the 2-forms of N = 1, d = 4 supergravity was given in ref. [46] and fits into the same pattern (the differences are basically due to the different conventions) plays the same role as the relation between the Kähler 2-form and the Ricci 2-form in Kähler-Hodge manifolds. It establishes a bridge between symmetric spaces and QK spaces: here, A will play the role of the H = SU(2) connection ϑ and the hyperKähler structure J x will play the role of the curvature R(ϑ) thanks to the above property.
The fermionic fields of N = 2, d = 4 supergravity are sections of the SU(2) bundle and, under an transformation with infinitesimal parameter λ x they transform as 43 δ λ ψ I = i 2 λ x σ I J ψ J , (B.9) and the SU(2)-covariant derivative acting on them is given by Compare this definition with that of the H-covariant derivative eq. (2.30). Now let us assume the existence of an isometry group of the QK manifold preserving the hyperKähler structure J x . This means that the transformations generated by the corresponding Killing vectors k A (known as triholomorphic Killing vectors) leave invariant J x up to an SU(2) transformation for some SU(2) infinitesimal parameters λ x A which play the role of the H-compensators defined in eq. (2.27) λ x A → W A x .
(B.12) 43 Here we ignore the U(1) component of the R-symmetry group, which we have discussed in the previous appendix.

JHEP08(2016)135
In order to determine λ x A we observe that the H-compensator has to be universal : all the objects that define the QK geometry must be invariant under the action of the isometry and the same compensating SU(2) transformation. In particular, for the SU(2) connection This equation implies that k A n F x nm is the SU(2)-covariant derivative of an object that we can identify with the (triholomorphic) momentum map: The last equation should be compared with eq. (2.27) while the first should be compared with eq. (2.34). Using the relation between the curvature F x and the hyperKähler structure J x eq. (B.5) one can multiply both sides of the first equation by J x and obtain