Five-dimensional maximally supersymmetric Yang-Mills in supergravity backgrounds

We determine the action for five-dimensional maximally supersymmetric Yang-Mills in off-shell supergravity backgrounds. The resulting theory contains novel five-dimensional BF type couplings as well as cubic scalar interactions which vanish in flat space.


Introduction
In this paper, we find the off-shell supersymmetry transformations of maximal supergravity in five dimensions, as well as determine the (on-shell) action for a coupled non-abelian vector multiplet. The off-shell supersymmetry transformations and Weyl multiplet will be determined by dimensional reduction from 6d (2, 0) conformal supergravity [1,2]. Our work is the generalization to sixteen sueprcharges of [3][4][5], which computed the action of 5d N = 1 Yang-Mills theory coupled to supergravity starting from the 6d (1, 0) supergravity theory [6,7]. The 5d N = 2 Yang-Mills action coupled to the sugergravity fields originating from the 6d metric was constructed in [8]. In this paper we determine the couplings of the vector multiplet to all the fields in the supergravity multiplet.
The abelian vector multiplet can be obtained by reduction of the 6d tensor multiplet, however the non-abelian generalization is not known in six dimensions, so this must be determined directly by requiring closure of the supersymmetry algebra and invariance of the 5d action.
Most of the couplings of the 5d N = 2 vector multiplet to the bosonic supergravity fields beyond covariantization of derivatives are mass terms. However there are three more interesting couplings, which are new interactions in the Yang-Mills multiplet induced by the background fields. They take the following form.

JHEP10(2017)003
• The graviphoton C generates an interaction C ∧ Tr F ∧ F , (1.1) which is the familiar Ramond-Ramond Chern-Simons term on a D4-brane in the presence of RR flux dC.
• A two-form T mn in the 5 of the sp(4) R symmetry generates an interaction Tr ϕ mn F ∧ * T mn , (1.2) where in the above ϕ mn are the dynamical scalars in the Yang-Mills multiplet transforming in the 5 of sp(4) R . The coupling (1.2) is a 5d analog of a BF type interaction.
• A scalar S mn in the 10 of sp(4) R generates a cubic coupling among the vector multiplet scalars S mn Tr ϕ mr [ϕ ns , ϕ rs ] . (1. 3) The interaction (1.3) is particularly novel: it vanishes in the abelian theory. As a result this coupling has no known six-dimensional origin. However, it is required by supersymmetry.
A primary application of our results occurs in the context of computing partition functions of supersymmetric quantum field theories in supersymmetry preserving backgrounds [9][10][11][12][13]. Such calculations yield a geometric unification of various supersymmetric observables, and have provided new tools in the study of strongly interacting SCFTs. One of the insights that has been used is that the existence of covariantly constant spinors is not necessary for preserving supersymmetry, provided that additional appropriate operators are activated.
The general logic is that one may couple a supersymmetric field theory to off-shell supergravity, and fix a background of the fields in the Weyl multiplet that is invariant under some supersymmetries in the M pl → 0 limit [14]. No gravity equation of motion, onshell condition, or reality conditions should be applied, since these background supergravity fields simply keep track of the coupled terms in the dynamical quantum field theory. The supersymmetry transformations that leave the background configuration invariant act on the supersymmetric QFT as preserved rigid supersymmetries.
It is our hope that the conditions (2.16) for preserving rigid supersymmetries of 5d N = 2 theories in general backgrounds, and the non-abelian vector multiplet action in those backgrounds (3.19) will prove useful in discovering new calculable supersymmetric quantities.

JHEP10(2017)003
2 6d (2, 0) supergravity and reduction to 5d In the section we review six-dimensional supergravity [1], and describe the reduction from six dimensions to five. Specifically, the steps we take are the following.
• Take all fields to be independent of the fifth spatial dimension, and reduce all associated representations from so (1,5) to so(1, 4).
• Fix a gauge for the superconformal generators. Our choice is dictated by convenience for five-dimensional calculations.
• Identify the five-dimensional supersymmetries as six-dimensional supersymmetries combined with suitable local superconformal transformations to preserve our gauge fixing conditions.
We adopt the convention that a six-dimensional index will be underlined to distinguish it from its five-dimensional descendants. Further conventions for spinors etc. may be found in the appendix. Throughout our analysis we make use of the fact that our aim is to describe the coupling of quantum field theories to supergravity backgrounds. Thus, in all supersymmetry variations and constraint equations we drop all terms proportional to fermionic fields in the supergravity multiplet.

(2, 0) supergravity
We begin with a brief discussion of the fields and structure of six-dimensional (2, 0) supergravity following [1]. The off-shell formulation that we utilize may be viewed as a gauge theory for the 6d (2,0) superconformal group. The generators of this algebra and the associated gauge fields are given in table 1.
Although the structure of the supergravity multiplet can be understood from the superconformal group, an important feature is that not all of the fields appearing in table 1 are independent. There are constraints which relate ω ab µ , f a µ , and φ αi µ to other fields in the multiplet. We have need only of the following where, in the above, R is the scalar curvature of the connection ω ab µ . In the special case where the dilation gauge field b µ vanishes, ω ab µ is the spin connection of the six-dimensional metric and R is the ordinary Ricci scalar curvature, however in a general background both quantities receive corrections.
Another important feature of this supergravity is that off-shell closure of the supersymmetry algebra can only be achieved provided that additional auxiliary fields are included beyond the gauge fields indicated in     Given these fields one may now write down the supersymmetry transformations which depend on local symplectic Majorana-Weyl Grassmann parameters m , and η m , of positive and negative chirality respectively, associated to local supersymmetry and local conformal supersymmetry transformations. The only explicit forms we require are

JHEP10(2017)003
where in the above, the covariant derivatives and sp(4) curvature tensor R mn µν are ν]r , and the notation "traces" indicates terms proportional to sp(4) invariant tensors Ω mn , and δ m n . Finally, we also have need of the variation of the independent gauge fields under bosonic gauge transformations. Let Λ D , Λ Ka , Λ ab , and Λ mn denote the parameters of infinitesimal dilation, special conformal, Lorentz, and sp(4) transformations. Then the variations are The transformations of the additional auxiliary fields follow from their representations indicated in table 2. In particular, we note that all matter fields are neutral under special conformal transformations and any field Θ of Weyl weight w transforms under dilatation as Thus, w labels the scaling dimensions of fields.

Reduction to five-dimensions
Now we proceed with dimensional reduction following the logic of [3]. We take all fields to be independent of the direction with vector index µ = z with associated frame index a = 5, and decompose the frame and coframe as The field C µ appearing in the above is a five-dimensional gauge field referred to as the graviphoton. The scalar α is the dilaton. 1 The decomposition appearing in (2.6) requires a partial gauge fixing of the local Lorentz group. We find it convenient to fix other generators via the following conditions

JHEP10(2017)003
This choice has the advantage that the form of the frame is invariant under supersymmetry transformations. The decomposition of the coframe (2.6) specifies how the six-dimensional metric descends to a five-dimensional fields. The remaining bosons similarly are reduced as The fields on the right-hand-side are the independent five-dimensional bosons needed for maximally supersymmetric off-shell supergravity. They are related to the six-dimensional parent fields by matching of tangent indices (as opposed to coordinate indices). Such a matching ensures that the reduced fields transform appropriately under five-dimensional coordinate transformations. Also, we note that the anti-self-duality constraint on T mn abc implies that its independent five-dimensional descendants consist of a collection of twoforms in five dimensions. We may similarly decompose the six-dimensional fermions. As described in detail in section A. The fields on the right-hand-side are the independent five-dimensional fermions needed for maximally supersymmetric off-shell supergravity. They are symplectic Majorana in the five-dimensional sense. In the conventions set in appendix A.3 this means that these spinors are equal to their Dirac conjugates (2.10) A complete summary of all the five-dimensional supergravity fields is given in table 3.
For the remainder of this paper, all supergravity calculations will be carried out in five dimensions using these fields.

Identification of 5d supersymmetry
Our next task is to reduce the supersymmetry transformations from six to five dimensions. A general variation (2.2) does not respect the gauge fixing conditions (2.7), and hence does not respect our identification of the five-dimensional fields. To remedy this we construct JHEP10(2017)003 2 Ω mn D mn,rs = Ω rs D mn,rs = Ω mr Ω ns D mn,rs = 0. Table 3. Fields of five-dimensional off-shell N = 2 supergravity. a five-dimensional supersymmetry variation, δ Q ( ), preserving the gauge fixing conditions. Such a transformation takes the general form (2.11) On the right-hand-side of the above, appears six-dimensional transformations associated to supersymmetry, conformal supersymmetry, and special conformal transformations. Such terms correct the six-dimensional supersymmetry transformations and are uniquely fixed by requiring the five-dimensional supersymmetry to preserve (2.7). In our context, we are only interested in determining which backgrounds are supersymmetric in five dimensions, and hence we only require the variation of the fermions. These variations are determined once η is known as a function of . This relationship may be fixed by varying the gauge condition on the gravitino. We carry out this calculation in five-dimensional notation where (as with the fermions of the previous section), the spinor parameters reduce as (2.12) Then, the variation of the gravitino constraint is In the above, G ab is the graviphoton field strength, and in simplifying (2.13) we have made use of the following facts.

JHEP10(2017)003
• In the gauge (2.7), the components of the generalized spin connection involving the reduction dimension are (2.14) • The anti-self-dual three-form reduces as Demanding that (2.13) vanish determines η, and allows us the write the explicit form of the five-dimensional supersymmetry variations of the fermions by simplifying (2.2). The result is The five-dimensional covariant derivatives, curvatures, and connections are Equations (2.16) are the key results of this section. A supersymmetric background of a five-dimensional field theory coupled to supergravity is one for which there exists a nowhere vanishing spinor m such that the variations δψ m a and δχ mn r vanish. In the special case where α is constant and all background fields other than the five-dimensional metric are turned off, (2.16) reduces to the killing spinor equation on m . However, if we activate more general values of the supergravity background fields, the conditions for preserving supersymmetry are much less constraining.

Tensor multiplets and reduction to 5d Yang-Mills
In this section we extend our previous analysis by coupling a (2, 0) tensor multiplet to off-shell supergravity. By reducing to five dimensions, we obtain an action for maximally supersymmetric five-dimensional abelian Yang-Mills coupled to background supergravity fields. The extension of this action to non-abelian Yang-Mills is carried out directly in five dimensions and described in section 3.3. Table 4. Fields of the six-dimensional on-shell tensor multiplet.

Tensor multiplets in supergravity backgrounds
We begin with the tensor multiplet in six-dimensions in the absence of supergravity background fields. The fields of this multiplet are enumerated in table 4. The two-form B is a gauge field meaning that its value may be shifted by an arbitrary exact two-form dΛ. Further, it is chiral meaning that its gauge invariant field strength H = dB is self-dual. In components this constraint takes the form In general in the following we use the superscript ± on a three-form Ξ to indicate the self-dual and anti-self-dual projections of the form Unlike the supergravity multiplets discussed in previous sections, the tensor multiplet is an on-shell multiplet meaning that the match between bosonic and fermionic degrees of freedom is only achieved after the equations of motion are enforced. In the flat supergravity background these take the form of free field equations of motion Now let us describe the coupling of these fields to off-shell supergravity backgrounds. The general conformal supersymmetry variation is given by These variations are consistent provided that the following equations of motion are satisfied A significant feature of these equations is that they imply that in a general supergravity background, the field strength H = dB is not self-dual, but rather its anti-self-dual part is fixed by (3.5) in terms of the dynamical scalar fields Φ.

Reduction to 5d abelian Yang-Mills
We now move on to describe the reduction of tensor multiplet to five dimensions in a general supergravity background. The 6d fields decompose to 5d fields as follows The duality constraints on H imply that the independent five-dimensional degrees of freedom descending from B comprise a five-dimensional gauge field A. The rescaling of the gauge field by the dilation ensures that A has its canonical scaling dimension. The additional rescalings of the scalars and fermions are chosen so that the final supersymmetric action takes a simple form with the 5d Yang-Mills coupling appearing as a prefactor to the Lagrangian. We now reduce the equations of motion (3.5) to relations on the 5d fields. To express the results, it is convenient to define the following functions of the supergravity fields Then, the equations of motion for the 5d fields take the form of free field equations with the operators M ϕ and M ρ appearing as mass terms for the scalars and fermions respectively.
In the special case where the dilaton is constant, R is the Ricci scalar curvature of the five-dimensional metric.
In general, the derivative operator D µ is covariant with respect to the Levi-Cevita connection, the sp(4) R-symmetry and the connection ∂ µ α which acts as a gauge field for local rescalings. One consequence of this, useful in many integration by parts manipulations, is that the dilation field α is covariantly constant Finally, the supersymmetry transformations reduce to Although these supersymmetry variations as well as the equations of motion (3.9) are a direct consequence of their six-dimensional counterparts, there is an important simplification in five dimensions: the equations of motion may be derived from an action invariant under the supersymmetry transformations stated in (3.12). This action may be constructed by integrating the equations of motion. Define The total action is then It is invariant under the supersymmetry transformations (3.12) provided that the background fields and spinor parameters are supersymmetric as defined by the vanishing of equations (2.16).

Non-abelian extension
We now seek to generalize the abelian action derived in previous sections, to an action for non-abelian five-dimensional Yang-Mills coupled to off-shell supergravity background fields. Unlike the abelian theory, the non-abelian six-dimensional (2, 0) superconformal theory admits no known formulation in terms of fields and equations of motion. Thus our strategy is to construct the non-abelian generalization of the five-dimensional action (3.13) directly. Such a generalization is possible as a consequence of the following basic logic.
• The background supergravity multiplet, as well as the supersymmetry conditions (2.16) on spinor parameters follow from the superconformal algebra in six dimensions. Thus they receive no modifications when passing from the abelian to non-abelian action.
• The non-abelian action in flat space is known. It is constructed by covariantizing the abelian action (3.13) with respect to non-abelian gauge invariance, adding Yukawa couplings and a quartic scalar potential, and finally modifying the supersymmetry variation of the fermions to include a commutator of bosons.
• The supersymmetry transformations must be consistent with the Weyl rescaling symmetry inherited from the six-dimensional theory. The most general expression is the abelian transformation (3.12) together with the non-abelian commutator term that appears in flat space. No further corrections to the supersymmetry transformations are possible.
• The non-abelian action in the presence of general supergravity backgrounds is constrained by gauge invariance, R-symmetry invariance, dilation invariance, and Lorentz invariance. Further, the action may be consistently truncated to terms of total Weyl weight five. This yields a single allowed truly non-abelian term which vanishes in the trivial supergravity background. This term takes the form of a cubic coupling of scalar fields αS mn Tr ϕ mr [ϕ ns , ϕ rs ] .

(3.15)
We determine the coefficient of this term by demanding supersymmetry of the action. We find that this coefficient is non-zero.
In the remainder of this section we apply the above reasoning to determine the complete non-abelian action coupled to general off-shell supergravity backgrounds. The final form of the supersymmetry transformations and action are stated in (3.18) and (3.19).
To begin, let g indicate a simple compact Lie algebra. We use conventions such that a matrix X ∈ g when exp(tX) is in the associated Lie group for all real t. The Lie algebra is closed under commutators and equipped with a negative definite invariant bilinear form which we indicate by Tr. Thus, in the case su(n)-type Lie algebras, the generators are antihermitian, and the bilinear form is the trace in any fixed representation.

JHEP10(2017)003
All matter fields in our theory transform in the adjoint representation, thus from now on the symbols ϕ, ρ, and A µ will denote Lie algebra valued fields. If ς indicates a Lie algebra valued gauge parameter the associated variation of the fields is given by

16)
To account for these transformations, we modify the definitions of field strengths and covariant derivatives from their abelian form (3.10) to The non-abelian modifications are the commutators appearing on the right-hand-side of the above. Similarly, we modify the supersymmetry transformations of the fields by including gauge covariant terms as well as a commutator of scalars in the variation of the fermions ρ m 2F ab δ m r − ϕ ns T ab ns δ m r − 4ϕ mn T ab nr − 2 α ϕ mn G ab Ω rn Γ ab r .
All terms in the above now have their standard non-abelian definitions. In the flat space limit, (3.18) reduces to the standard supersymmetry transformations on the non-abelain fields. To justify the above transformations in the general supergravity background we note that no further non-abelian terms are permitted by Weyl invariance. Any non-abelian supergravity correction to the supersymmetry transformations must involve a commutator of Yang-Mills fields times a product of supergravity background fields and the supersymmetry parameter . However, the tuple (A, ϕ, ρ, ) has scaling dimensions (1, 1, 3/2, −1/2), and all supergravity fields have positive scaling dimensions. Thus, the most general non-abelian correction to the algebra appears in (3.18).
Next we come to the action. The abelian kinetic terms are covariantized. In addition, a Yukawa and quartic scalar interaction are added as dictated by the non-abelian Lagrangian in flat space. Finally, a non-abelian cubic scalar interaction is added which vanishes in flat JHEP10(2017)003 space. The non-abelian interaction terms are written in the action S int below.
In the above, the supergravity induced mass terms M ϕ and M ρ are defined, as in the case of the abelian theory by (3.8). In S int , the coefficient of the cubic scalar interaction proportional to the field S mn is fixed by demanding supersymmetry in the presence of backgrounds where this field is activated subject to the constraints determined by (2.16

JHEP10(2017)003
A.1 Differential forms Our conventions for differential forms are standard and are recorded here for convenience. Let Ξ indicate a k-form in n total dimensions. The form Ξ may be expanded in components as where the tensor Ξ µ 1 µ 2 ···µ k is totally antisymmetric. The exterior derivative of Ξ is written in explicit coordinates as If Υ indicates a p-form, then the wedge product Υ ∧ Ξ is a k + p-form with components Finally, we also have need of the Hodge * operation. Let ε a 1 a 2 ···an be the totally antisymmetric Levi-Cevita symbol. As written in frame indices it satisfies As with all tensors, its frame indices may be converted to tangent indices by making use of the orthonormal frame, and may be raised an lowered using the metric tensor. From this tensor we may define the * map as

A.2 6d spinors
We work throughout in the a mostly plus signature (− + · · · +) for a Lorentzian metric. The six-dimensional Clifford algebra is defined by The spinor index α ranges from one to eight. The matrices Γ a associated to spatial directions may be taken to be hermitian, while Γ 0 is antihermitian. Suppressed spinor indices are contracted using the natural pairing between a representation and its dual as discussed further in the following. The generators of Lorentz transformations acting on spinors are constructed from the Clifford algebra in the standard fashion As in all even dimensions, the Dirac spinor representation is reducible into two Weyl spinors. Introduce a chirality matrix

JHEP10(2017)003
The positive and negative chirality Weyl spinors, W ± , are then the positive and negative eigenspaces of Γ respectively. The Dirac spinor is isomorphic as a representation to both its complex conjugate and dual. However, the Weyl representations are self-conjugate but dual to each other These statements mean in particular that we may find matrices B and C facilitating the previously stated isomorphisms for Dirac spinor representations Here C is the isomorphism (often called the 'charge conjugation matrix') between the Dirac spinor and its dual and C −1 as the inverse isomorphism. With the convention that raised indices represent Dirac spinors, lowered indices their duals, and hence the natural pairing between them given by contraction of upper and lower indices, we may use the charge conjugation matrix to raise and lower spinor indices.
Similarly, B is the isomorphism between the Dirac spinor and its complex conjugate. As the Weyl spinors are also self-conjugate in this dimension, the restriction of B to the eigenspaces of Γ provides an isomorphism between the Weyl spinors and their complex conjugates.
From the Clifford algebra we may construct a standard set of operators on spinors, which transform as antisymmetric tensors. We denote these as multi-index gamma matrices defined as antisymmetric products Γ a 1 a 2 ···an = 1 n! σ∈Sn (−1) |σ| Γ a σ(1) Γ a σ(2) · · · Γ a σ(n) . (A.12) These matrices allow us to construct fermion bilinears of the form, χΓ a 1 a 2 ···an ψ, and in such expressions we set the convention that whenever contracted spinor indices are omitted they are summed southwest to northeast.
Finally, we note that multiplication of the above multicomponent gamma matrices by the chirality matrix Γ allows us to relate those with n indices to those with 6 − n. Of particular importance is the relation Γ a 1 a 2 a 3 Γ = − 1 6 ε a 1 a 2 a 3 a 4 a 5 a 6 Γ a 4 a 5 a 6 , (A.14) where the Levi-Cevita symbol is totally antisymmetric with ε 012345 = 1.

The symplectic Majorana-Weyl condition
All six-dimensional spinors appearing in this paper also transform in non-trivial representations of the R-symmetry sp (4). Raised Latin indices from the last half of the alphabet denote components of the fundamental four-dimensional representation sp(4). Since sp (4) is a simple Lie algebra its finite dimensional representations are unitary and hence the complex conjugate and dual of any finite dimensional representations are naturally isomorphic.
In the case of the fundamental, there is a further isomorphism with the representation itself This isomorphism exists because of the two index antisymmetric tensor, Ω, preserved by all elements of sp(4). In explicit notation we let a lowered sp(4) index denote an element of4 and the natural pairing between a representation and its dual as contraction of upper and lower indices. Then, Ω is a two index object which may be used to raise an lower sp(4) indices λ m = λ n Ω nm , λ m = Ω mn λ n , In general, we set the convention that whenever contracted sp(4) indices are omitted, they are summed northwest to southeast.
Let us now consider a Weyl spinor also transforming in the 4 of the symplectic group, ψ αm . On this representation there is a reality condition available which in our explicit index notation takes the form (ψ α m ) * = B

JHEP10(2017)003
In particular, the top form valued matrix above is (Γ a 1 a 2 a 3 a 4 a 5 ) α β = iε a 1 a 2 a 3 a 4 a 5 δ α β , (A.22) and our convention is that ε 01234 = 1. Finally, let us discuss the reality properties of five-dimensional spinors. The Dirac spinor is isomorphic to its complex conjugate and dual representations. Hence we may again find matrices B and C such that

A.4 Reducing 6d spinors to 5d
To relate spinors in five and six dimensions we first specify the relations on the associated Clifford algebras. Let σ 1 , σ 2 , σ 3 indicate the Pauli matrices In particular, we learn from this that the six-dimensional chirality matrix and charge conjugation matrix are Γ = 1 4 ⊗ σ 3 , We may now reduce six-dimensional spinors to five-dimensional representations. We write a six-dimensional Dirac spinor transforming in the 4 as a doublet compatible with the tensor product description given above