Abstract
The purpose of this paper is to show that the so-called Maxwell superalgebra in four dimensions, which naturally involves the presence of a nilpotent fermionic generator, can be interpreted as a hidden superalgebra underlying \(\mathcal {N}=1, {\hbox {D}}=4\) supergravity extended to include a 2-form gauge potential associated to a 2-index antisymmetric tensor. In this scenario, the theory is appropriately discussed in the context of Free Differential Algebras (an extension of the Maurer–Cartan equations to involve higher-degree differential forms). The study is then extended to the Free Differential Algebra describing \(\hbox {D} = 11\) supergravity, showing that, also in this case, there exists a super-Maxwell algebra underlying the theory. The same extra spinors dual to the nilpotent fermionic generators whose presence is crucial for writing a supersymmetric extension of the Maxwell algebras, both in the \(\hbox {D} = 4\) and in the \(\hbox {D} = 11\) case, turn out to be fundamental ingredients also to reproduce the \(\hbox {D} = 4\) and \(\hbox {D} = 11\) Free Differential Algebras on ordinary superspace, whose basis is given by the supervielbein. The analysis of the gauge structure of the supersymmetric Free Differential Algebras is carried on taking into account the gauge transformations from the hidden supergroup-manifold associated with the Maxwell superalgebras.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is well known that supergravity theories in \(D \ge 4\) space-time dimensions contain gauge potentials described by p-forms, of various \(p > 1\), associated to p-index antisymmetric tensors. In this scenario, the Free Differential Algebras framework, that is an extension of the Maurer–Cartan equations to involve higher-degree differential forms, is particularly well suited for studying supergravity models. The concept of Free Differential Algebra (FDA in the sequel) was introduced in [1] and subsequently applied to the study of supergravity theories (see, for instance, Ref. [2]).
A review of the standard procedure for the construction of a minimal FDA (namely a FDA where the differential of any p-form does not contain forms of degree greater than p) starting from an ordinary Lie algebra can be found in [3].
In [2], the authors considered the \(D=11\) supergravity theory of [4], introducing and investigating the supersymmetric FDA describing the theory (using the so-called superspace geometric approach) in order to see whether the FDA formulation could be interpreted in terms of an ordinary Lie superalgebra (in its dual Maurer–Cartan formulation). This was proven to be true, and the existence of a hidden superalgebra underlying the \(D=11\) supergravity theory was presented for the first time. It includes the \(D=11\) Poincaré superalgebra as a subalgebra, but it also contains two extra, almost-central, bosonic generators, which were lately understood as p-brane charges, sources of the dual potentials \(A^{(3)}\) and \(B^{(6)}\) appearing in the (complete) FDA of [2] (see Refs. [5, 6]).
Furthermore, a nilpotent fermionic generator must be included to close the superalgebra and in order for the same superalgebra to reproduce the \(D=11\) FDA on ordinary superspace, whose basis is given by the supervielbein. Relevant contributions concerning the physical role played by this extra fermionic generator were given first in [7] and then in particular in [8, 9], where the results presented in [2] were further analyzed and generalized. Finally, its group-theoretical and physical meaning was recently clarified in [3] (and subsequently further discussed in [10]): in [3] it was shown that the spinor 1-form dual to the nilpotent fermionic charge is not a physical field in superspace, rather behaving as a cohomological BRST ghost, since its supersymmetry and gauge transformations exactly cancel the non-physical contributions coming from the extra tensor fields, guaranteeing that the extra bosonic 1-forms dual to the almost-central charges are genuine abelian gauge fields.Footnote 1
As shown in Ref. [3], where the authors analyzed also the FDA of the minimal \(\mathcal {N} = 2, D = 7\) supergravity theory, this interpretation is valid for any supergravity theory containing antisymmetric tensor fields, and any supersymmetric FDA can always be traded for a hidden Lie superalgebra containing fermionic nilpotent generators (see also [11] for the study of a particular \(D=4\) FDA case).
In the first part of this paper, we will consider the FDA of \(\mathcal {N}=1,D=4\) supergravity containing a 2-form potential under the same perspective of [3]. Let us mention, here, that supergravity in \(D=4\) space-time dimensions is often formulated as a theory of gravity coupled to scalar-vector multiplets only, that is to say 1-form gauge fields. On the other hand, when we think of the theory as obtained by Kaluza-Klein compactification from eleven-dimensional supergravity, then it naturally contains also 2-form fields (tensor multiplets). In four dimensions, if these 2-form fields are massless, then they can be dualized, through Hodge duality of their field strengths, to scalars (this is the reason why they often do not explicitly appear in the formulation). However, when they are massiveFootnote 2 such dualization does not (at least directly) apply and, in this case, the 2-form gauge fields must be made manifest [12] (see also Refs. [13,14,15] for more details on the role of 2-forms in four-dimensional supergravity theories).
The aim of the present paper is to show that the so-called minimal Maxwell superalgebra (or minimal super-Maxwell algebra) in four dimensions (a non-semisimple superalgebra naturally endowed with a nilpotent fermionic generator), can be interpreted as a hidden superalgebra underlying the FDA of \(D=4\) supergravity that includes a 2-form potential \(A^{(2)}\). This will be done by studying the parametrization of \(A^{(2)}\) and the hidden gauge structure of the FDA on the same lines of what was done in the \(D=11\) (and \(D=7\)) case in [2, 3]. Then, we will extend our discussion to the FDA introduced in [2], which describes \(D=11\) supergravity, showing that, also in this case, there exists a Maxwell superalgebra underlying the theory.Footnote 3 The extra spinors dual to the nilpotent fermionic generators whose presence is crucial for writing a supersymmetric extension of the Maxwell algebras, both in the \(D=4\) and in the \(D=11\) case, will turn out to be fundamental also to reproduce the \(D=4\) and \(D=11\) FDAs on ordinary superspace.
This work is organized as follows: in Sect. 2, we first recall the main features of the Maxwell superalgebra; then, we move to the analysis of the hidden gauge structure of the supersymmetric FDA of \(\mathcal {N}=1, D=4\) supergravity (containing a 2-form potential \(A^{(2)}\)), showing that the Maxwell superalgebra can be viewed as a hidden superalgebra underlying the theory. Subsequently, in Sect. 3, we extend our study and results to the FDA describing \(D=11\) supergravity (which, in its minimal cohomology formulation, contains just a 3-form potential \(A^{(3)}\)), introducing a (hidden) Maxwell superalgebra underlying the theory. Finally, Sect. 4 contains the conclusions and possible future developments. In the Appendix we collect our conventions and some useful formulas.
2 Minimal super-Maxwell algebra and hidden gauge structure of the D = 4 supergravity FDA
After the discovery of the cosmic microwave background and the mysterious dark energy, it appears interesting to consider some field densities uniformly filling space-time. One such modification of empty Minkowski space can be obtained by adding a constant electromagnetic field background, parametrized by additional degrees of freedom related to tensorial almost-central charges. The presence of a constant electromagnetic field modifies the Poincaré symmetries into the so-called Maxwell symmetries. On the other hand, since the advent of supersymmetry, there has been a great interest in superalgebras going beyond the super-Poincaré one.
In particular, the (minimal) Maxwell superalgebras are (minimal) super-extensions of the Maxwell algebra, which in turn is a non-central extension of the Poincaré algebra involving an extra, bosonic, abelian generator (along the lines of non-commutative geometry).
Specifically, the \(D=4\) Maxwell algebra is obtained by replacing the commutator \([P_a, P_b] = 0 (a=0,1,2,3\)) of the Poincaré algebra with \([P_a,P_b]=Z_{ab}\), where \(Z_{ab}=-Z_{ba}\) are abelian generators commuting with translations and behaving like a tensor with respect to Lorentz transformations (i.e. \(Z_{ab}\) are tensorial central charges). Setting \(Z_{ab}=0\) one gets back to the Poincaré algebra.
The Maxwell algebra arises when one considers symmetries of systems evolving in flat Minkowski space filled in by a constant electromagnetic background [16, 17]. Indeed, an action for a massive particle which is invariant under the Maxwell symmetries satisfies the equations of motion of a charged particle interacting with a constant electromagnetic field via the Lorentz force. In particular, in order to interpret the Maxwell algebra and the corresponding Maxwell group, a Maxwell group-invariant particle model was studied on an extended space-time with coordinates \((x^\mu , \phi ^{\mu \nu })\), where the translations of \(\phi ^{\mu \nu }\) are generated by \(Z_{\mu \nu }\) [18,19,20,21]. The interaction term described by a Maxwell-invariant 1-form introduces new tensor degrees of freedom, momenta conjugate to \(\phi ^{\mu \nu }\), and, in the equations of motion, they play the role of a background electromagnetic field which is constant on-shell and leads to a closed, Maxwell-invariant 2-form. The Maxwell algebra describes, at same time, the particle and the constant electromagnetic background in which it moves.
Furthermore, in [22], driven by the fact that it is often thought that the cosmological constant problem may require an alternative approach to gravity, the authors presented a geometric framework based on the \(D=4\) gauged Maxwell algebra, involving six new gauge fields associated with their abelian generators, and described its application as source of an additional contribution to the cosmological term in Einstein gravity, namely as a generalization of the cosmological term. Subsequently, in [23] the authors deformed the AdS algebra by adding extra non-abelian \(Z_{ab}\) generators, forming, in this way, the negative cosmological constant counterpart of the Maxwell algebra. Then, they gauged this algebra and constructed a dynamical model. In the resulting theory, the gauge fields associated with the Maxwell-like generators \(Z_{ab}\) appear only in topological terms that do not influence the dynamical field equations.
The minimal supersymmetric extension of the \(D=4\) Maxwell algebra was obtained in [24] as a minimal enlargement of the \(\mathcal {N}=1\) Poincaré superalgebra, by adding two four-dimensional Majorana supercharges (\(Q_\alpha \) and \(\varSigma _\alpha , \alpha =1,2,3,4\)), and, mathematically optional, two scalar generators (\(B_5\) and B). Thus, in terms of dual Maurer–Cartan 1-forms, this minimal supersymmetrization of the Maxwell algebra naturally requires to introduce, besides the 1-form spinor field \(\psi ^\alpha \) (dual to the supercharge \(Q_\alpha \)), also an extra Majorana 1-form spinor field \(\xi ^\alpha \) (dual to the nilpotent fermionic generator \(\varSigma _\alpha \)). The minimal Maxwell superalgebra introduced in [24] (and, subsequently, further discussed and deformed in [25]) seems to be specially appealing, since the coset \(\frac{\text {super-Maxwell}}{\text {Lorentz} \times B_5}\) describes the supersymmetries of flat (Wess–Zumino) Minkowski superspace with arbitrary constant values of an abelian supersymmetric field-strength background. In this set up, the superspace coordinates \((x^\mu , \theta ^\alpha , \phi )\) are supplemented in the framework of Maxwell supergeometry by graded additional coordinates related to the generators \((\varSigma _\alpha , Z_{\mu \nu }, B)\).
At a later time, in [26] the authors wrote supersymmetrization schemes of the \(D=4\) Maxwell algebra, and further generalizations of Maxwell (super)algebras where then derived and studied in the context of expansion of Lie (super)algebras [27]. Subsequently, the Maxwell superalgebra of [25] and its generalizations have been obtained through a particular expansion procedure that goes under the name of S-expansion, starting from the AdS superalgebra [28]. This family of superalgebras, containing the Maxwell algebras type as bosonic subalgebras, can be viewed as a generalization of the D’Auria-Fré superalgebra introduced in [2] and of the Green algebra [29].Footnote 4
Lately, in [33] it was shown that the first-order \(\mathcal {N}= 1, D=4\) pure supergravity Lagrangian 4-form can be obtained geometrically as a quadratic expression in the curvatures of the Maxwell superalgebra. Furthermore, in [34] the authors presented the construction of the \(D = 4\) pure supergravity action (plus boundary terms) starting from a minimal Maxwell superalgebra (which can be derived from \(\mathfrak {osp}(4 \vert 1)\) by applying the S-expansion procedure), showing, in particular, that the \(\mathcal {N} = 1,D = 4\) pure supergravity theory can be alternatively obtained as the MacDowell–Mansouri like action built from the curvatures of this minimal Maxwell superalgebra. Remarkably, also in this context, the Maxwell-like fields do not contribute to the dynamics of the theory, appearing only in the boundary terms. Moreover, recently, in [35] the authors introduced an alternative way of closing Maxwell-like algebras.
For all the reasons listed above, the (super-)Maxwell algebras result to be very attractive in the context of (super)gravity theories. Let us now go deep in some technical details concerning the minimal \(D=4\) Maxwell superalgebra of Ref. [33].
As we have already mentioned, besides the Poincaré generators, the minimal \(D=4\) Maxwell algebra contains six additional tensorial charges \(Z_{ab}\) that centrally extend the abelian translation algebra and behave tensorially under the Lorentz algebra.
Then, the minimal \(D=4\) super-Maxwell algebra is generated by \(\lbrace J_{ab}, P_a, Z_{ab}, Q_\alpha , \varSigma _\alpha \rbrace \) (\(a=0,1,2,3, \alpha =1,2,3,4\)), and its (anti)commutation relations read:
where C stands for the charge conjugation matrix, \(\eta _{ab}\) is the (mostly plus) Minkowski metric, \(\gamma _a\) and \(\gamma _{ab}\) are Dirac gamma matrices in four dimensions, \(Q_\alpha \) is the supersymmetry generator, and where we can see that the \([P_a,Q_\alpha ]\) commutator produces an extra, nilpotent, fermionic generator, \(\varSigma _\alpha \); in particular, the latter naturally appears in the supersymmetric extension of the Maxwell algebra.
Let us notice that the Lorentz-type algebra generated by \(\lbrace J_{ab},Z_{ab} \rbrace \) is a subalgebra of the above superalgebra. This Maxwell superalgebra can also be obtained by imposing \(\tilde{Z}_{ab} = 0\) in the generalized minimal super-Maxwell algebra of [28, 34], which in turn can be derived from the \(\mathfrak {osp} (4 \vert 1)\) superalgebra by applying the abelian semigroup expansion procedure (S-expansion, for short).
We shall describe the superalgebra given in (1) through its Maurer–Cartan equations satisfied by the set of 1-form fields \(\sigma ^A= \lbrace \omega ^{ab},V^a,B^{ab}, \psi ^\alpha , \xi ^\alpha \rbrace \) dual to the set of generators \(T_A = \lbrace J_{ab}, P_a, Z_{ab}, Q_\alpha , \varSigma _\alpha \rbrace \) (in the sequel, we will neglect the spinor index \(\alpha \), for simplicity), that is to say
The aforementioned Maurer–Cartan equations read
where \(D=d + \omega \) denotes the Lorentz covariant derivative in four dimensions and where \(\wedge \) is the wedge product between differential forms. All spinors above are Majorana spinors. The 1-form fields of (the dual Maurer–Cartan formulation of) the super-Maxwell algebra have dimensions \([\omega ^{ab}] = L^0,[V^a] = L,[\psi ] = L^{1/2},[B^{ab}]= L^2\), and \([\xi ]=L^{3/2}\).
Let us now formulate the \(\mathcal {N}=1,D=4\) supergravity theory in a geometric superspace approach,Footnote 5 in which we can write a supersymmetric FDA involving a 2-form potential \(A^{(2)}\). Explicitly, the supersymmetric FDA defining the ground state (i.e. the “vacuum”) of this model is given by the vanishing of the following set of supercurvatures:
The \(d^2\)-closure of the above FDA relies in the Fierz identity (70) of Appendix A.
Let us mention that the interacting theory (that is to say, out of the ground state) is obtained by introducing a non-vanishing value for the supercurvatures (defined in the left-hand side of the FDA). We will not further elaborate on the theory out of the vacuum in the present paper. We will concentrate, instead, on the cohomological structure of the theory, which is fully captured by the ground state FDA.
Now, one could wonder whether the FDA structure (8)–(11) can be traded with an ordinary Lie superalgebra written in terms of 1-form gauge fields valued in non-trivial tensor representations of the Lorentz group (on the same lines of the study that was carried on in [2] and recalled and further analyzed in [3] in the case of \(D=11\) supergravity). Observe that this cannot be done without introducing further 1-form fields in the theory.
On the other hand, interestingly, in the present case this can be done by considering the extra fields (naturally) appearing in the Maxwell superalgebra, namely by introducing in the FDA describing the theory also the Maurer–Cartan equations (6) and (7).
Indeed, if we consider the following decomposition of the 2-form \(A^{(2)}\) in terms of 1-forms (that, in this case, is also the most general one we can write provided the FDA structure above and satisfying the Bianchi identity in superspace of the 2-form, \(d^2 A^{(2)} = 0\)):
being \(\alpha \) a free parameter, we have that (12) enjoys the ground state FDA requirement \(d A^{(2)} = \frac{1}{2} \bar{\psi } \wedge \gamma _a \psi \wedge V^a\) (see (11)) if
that is to say \(\alpha =-1\), where, in particular, we have used the Maurer–Cartan equation
Observe that the 1-form field \(B^{ab}\) does not appear in the parametrization of \(A^{(2)}\), where the crucial role is played just by the extra spinor 1-form field \(\xi \) appearing in the super-Maxwell algebra. Indeed, one could have obtained the same result by simply considering a (Lorentz-valued) central spinor extension [given by (14)] of the super-Poincaré algebra in \(D=4\). However, the peculiarity of our result lies in the fact that the spinor \(\xi \) that allows to write the supersymmetryzation of the \(D=4\) Maxwell algebra (in its dual Maurer–Cartan formulation) is also the same spinor that allows to write the parametrization (13) in terms of 1-forms for the 2-form \(A^{(2)}\) appearing in the FDA of the \(\mathcal {N}=1,D=4\) supergravity theory;Footnote 6 then, in light of this fact, even if the 1-form field \(B^{ab}\) is ruled out by the parametrization of \(A^{(2)}\), its contribution at the algebraic level cannot be discarded, being \(B^{ab}\) a 1-form field of (the dual Maurer–Cartan formulation of) the Maxwell superalgebra. In particular, it could be related to a possible enhancement of the (hidden gauge) symmetries underlying supergravity models, for example when considering extensions or expansions of the super-Maxwell algebra.
Let us mention, here, that we could also have added to the FDA (8)–(11) the following equation:
being \(\varXi ^{(2)}\) a spinor 2-form whose dimension is \([\varXi ^{(2)}]=L^{5/2}\) (see also Ref. [36]). However, in this case, in order to write the 2-form \(\varXi ^{(2)}\) in terms of 1-forms, we would need extra 1-form fields with respect to those appearing in the dual Maurer–Cartan formulation of the Maxwell superalgebra (for instance, 1-form fields coming from extensions or expansions of the super-Maxwell algebra).Footnote 7 In the present paper, we limit ourselves to consider the supersymmetric FDA containing the 2-form \(A^{(2)}\) and leave the analysis of the FDA involving (15) to future investigations.
From the above result, we can conclude that the super-Maxwell algebra written in (1) can be interpreted as a hidden superalgebra underlying the \(D=4\) supersymmetric FDA describing \(\mathcal {N}=1,D=4\) supergravity extended to include a 2-form \(A^{(2)}\).
Let us recall that the inclusion of a new p-form (a gauge potentials enjoying a gauge freedom) in the basis of the so-called \(\mathcal {H}\)-relative Chevalley-Eilenberg (CE) cohomology of a FDA is physically meaningful only if the whole of the FDA is gauge invariant, and this requires the non-physical degrees of freedom to be projected out from the FDA (see Ref. [3] for details).
Thus, we now move to the analysis of the hidden gauge structure of the supersymmetric ground state FDA (8)–(11), on the same lines of [3].
2.1 Analysis of the hidden gauge structure in D = 4
In the following, we analyze in detail the hidden gauge structure of the FDA (8)–(11) when the 2-form \(A^{(2)}\) is parametrized in terms of 1-forms. In particular, we investigate the conditions under which the gauge invariance of the FDA is realized once \(A^{(2)}\) is expressed in terms of 1-forms.
In the geometrical approach adopted in this work, the fields are naturally defined in an enlarged manifold corresponding to the supergroup-manifold, where all the invariances of the FDA are diffeomorphisms generated by Lie derivatives. The physical request that the FDA should be described in term of fields living in ordinary superspace corresponds to require the Lie superalgebra to have a fiber bundle structure, whose base space is spanned by the supervielbein, the rest of the fields spanning a fiber \(\mathcal {H}\). This in turn implies that the gauge fields belonging to \(\mathcal {H}\) must be excluded from the construction of the so-called cochains (corresponding to gauge invariance). In geometrical terms, this corresponds to require the CE cohomology to be restricted to the \(\mathcal {H}\)-relative CE cohomology (see Ref. [3] for details).
Once the supersymmetric ground state FDA (8)–(11) is parametrized in terms of 1-forms, the symmetry structure is based on the hidden supergroup-manifold G having the structure of a principal fiber bundle \((G/\mathcal {H},\mathcal {H})\), where \(G/ \mathcal {H}\) corresponds to superspace and where the fiber \(\mathcal {H}\) includes, in the present case, the Lorentz transformations and the hidden super-Maxwell generators \(Z_{ab}\) and \(\varSigma \).
Explicitly, we can write \(\mathcal {H} = H_0 + H_b + H_f\), where \(\lbrace J_{ab} \rbrace \in H_0, \lbrace Z_{ab} \rbrace \in H_b\), \(\lbrace \varSigma \rbrace \in H_f\), and \(\lbrace P_a , Q \rbrace \in \mathbb {K}\); \(\mathbb {G} = \mathcal {H} + \mathbb {K}\) is the hidden Maxwell superalgebra.Footnote 8 Observe that the subalgebra \(H_b + H_f\) defines an abelian ideal of \(\mathbb {G}\).
Requiring the physical condition that the CE cohomology is restricted to the \(\mathcal {H}\)-relative CE cohomology corresponds, now, to require the FDA to be described in terms of 1-form fields living on \(G/\mathcal {H}\); this implies that the 1-forms in \(H_b\) and \(H_f\) do not appear in \(dA^{(2)}\).
Now, taking into account this discussion, we consider in detail the relation between the gauge transformations of the FDA and those of the super-Maxwell bosonic and fermionic 1-forms \(B^{ab}\) and \(\xi \), respectively. The FDA (8)–(11) is invariant under the following gauge transformation:
which is generated by the arbitrary 1-form \(\varLambda ^{(1)}\).
The gauge transformations of the bosonic 1-form \(B^{ab}\) and of the spinor 1-form \(\xi \) generated by the tangent vectors in \(H_b\) and in \(H_f\) are
where \(\varLambda ^{ab}\) is an arbitrary Lorentz-valued scalar function (i.e. a 0-form) and where we have introduced the infinitesimal spinor parameter \(\varrho \). Observe that the parameter \(\varrho \) appears in both the gauge transformations, while \(\delta \xi \) does not involve \(\varLambda ^{ab}\), in agreement with the fact that the covariant differential \(D\xi \) (see Eq. (14)) is parametrized only in terms of the supervielbein and not in terms of \(B^{ab}\) in \(H_b\). This is different from what happened in the case of the hidden superalgebra underlying the FDA of \(D=11\) supergravity [2, 3], where the covariant differential of the spinor 1-form dual to the extra, nilpotent, fermionic generator is parametrized also in terms of the gauge fields in \(H_b\).
In the present case, the corresponding 1-form gauge parameter of \(A^{(2)}\) turns out to be given by
where we have used the relation \(\alpha =-1\) which must be fulfilled in order for (the differential of) the parametrization of \(A^{(2)}\) to be equivalent to (11).
We can now show that all the diffeomorphisms in the hidden supergroup G, generated by Lie derivatives, are invariances of the FDA, and that, in particular, the ones in the fiber \(\mathcal {H}\) directions are associated with a particular form of the gauge parameter of the FDA gauge transformation given by (16). Indeed, defining the tangent vectorsFootnote 9
we find that a gauge transformation leaving invariant the FDA (8)–(11) is recovered, when \(A^{(2)}\) is parametrized in terms of 1-forms, if
where \(\imath \) denotes the contraction operator and where we have denoted by \(\varLambda ^{(1)}_b\) the 1-form gauge parameter corresponding to the transformation in \(H_b\), while \(\varLambda ^{(1)}_f\) is the 1-form gauge parameter corresponding to the transformation in \(H_f\). Note that, since \(\varLambda ^{(1)}_b=\imath _{\overrightarrow{z}} (A^{(2)})=0\), we can write \(\varLambda ^{(1)} =\varLambda ^{(1)}_f= \imath _{\overrightarrow{q}} (A^{(2)})\).
Now, introducing the Lie derivative \(\ell _{\overrightarrow{z}} \equiv d \imath _{\overrightarrow{z}} + \imath _{\overrightarrow{z}} d\) (and, analogously, \(\ell _{\overrightarrow{q}} \equiv d \imath _{\overrightarrow{q}} + \imath _{\overrightarrow{q}} d\)), we find the corresponding gauge transformations of \(A^{(2)}\) to be
The last equality in both the above relations follows since \(dA^{(2)}\), as given in (11), is invariant under transformations generated by \(\overrightarrow{z}\) and \(\overrightarrow{q}\) corresponding to the gauge invariance of the supervielbein. In particular, this is in agreement with the fact that the right hand side of \(dA^{(2)}\) as given in (11) is in the \(\mathcal {H}\)-relative CE cohomology.
Thus, after integration by parts, we can finally write:
which, due to the fact that \( \delta _{\overrightarrow{z}} A^{(2)}=d\varLambda ^{(1)}_b=0\), reduces to
We have thus completed the analysis of the hidden gauge structure of the \(D=4\) FDA (8)–(11). We now extend our study to the \(D=11\) FDA describing the Cremmer-Julia-Scherk \(D=11\) supergravity theory [4].
3 Maxwell superalgebra and hidden gauge structure of the supergravity FDA in D = 11
In this section, we move to the analysis of the FDA describing the \(D=11\) supergravity theory of [4]. In particular, we will see that, also in this case, there exists a super-Maxwell algebra which can be interpreted as a (hidden) superalgebra underlying the theory.
The \(D=11\) supergravity theory, whose action was first constructed in [4], has a bosonic field content given by the metric \(g_{\mu \nu }\) and a 3-index antisymmetric tensor \(A_{\mu \nu \rho }\) (\(\mu ,\nu ,\rho ,\ldots =0,1,\ldots ,D-1\)); the theory is also endowed with a single Majorana gravitino \(\varPsi _\mu \) in the fermionic sector.Footnote 10 By dimensional reduction, the \(D=11\) theory yields \(\mathcal {N}=8,D=4\) supergravity, which is considered as a possible unifying theory of all interactions.
In the FDAs framework, the bosonic sector of the theory includes, besides the supervielbein \(\lbrace V^a,\varPsi \rbrace \) (where \(a=0,1, \ldots , 10\) and where \(\varPsi \) is a 32-components Majorana spinor), a 3-form potential \(A^{(3)}\) (whose pull-back on space-time is \(A_{\mu \nu \rho }\)), with field-strength \(F^{(4)}= dA^{(3)}\) (modulo fermionic bilinears in terms of the gravitino 1-form), together with its Hodge dual \(F^{(7)}\) (whose space-time components are related to the ones of the 4-form by \(F_{\mu _1 \ldots \mu _7}= \frac{1}{84} \epsilon _{\mu _1 \ldots \mu _7\nu _1 \ldots \nu _4} F^{\nu _1 \ldots \nu _4}\)) associated with a 6-form potential \(B^{(6)}\) in superspace (see Ref. [2] for details on the FDA formulation of \(D=11\) supergravity in the superspace geometric approach).
As we have already mentioned, in [2] the supersymmetric FDA describing \(D=11\) supergravity was introduced and then interpreted in terms of an ordinary Lie superalgebra. The superalgebra found by the authors of [2] can also be viewed as a spinor central extension of the so-called M-algebra [32, 37,38,39,40].
In particular, the authors of [2] presented a general decomposition of the 3-form \(A^{(3)}\) in terms of 1-forms, by requiring the Bianchi identity in superspace of the 3-form, \(d^2A^{(3)} = 0\), to be satisfied also when \(A^{(3)}\) is written in terms of 1-forms. The result of [2] (the authors got a dichotomic solution, consisting in two different supergroups, whose 1-form potentials can be alternatively used to parametrize the 3-form) have been further analyzed and generalized in [3, 8, 9], where some misprints of [2] have been corrected and where, in particular in [8, 9], it was pointed out that a restriction imposed in [2] on one coefficient in the parametrization of \(A^{(3)}\) can be relaxed, thus giving a one-parameter family of solutions.
In the following, we will see that there also exists another hidden Lie superalgebra underlying the FDA describing \(D=11\) supergravity (we will not consider the complete \(D=11\) FDA involving a 6-form potential \(B^{(6)}\) in the present work, limiting ourselves to the FDA containing just a 3-form \(A^{(3)}\)), namely a minimal Maxwell superalgebra in eleven dimensions. In particular, we will see that the general parametrization of \(A^{(3)}\) in terms of the hidden super-Maxwell 1-forms, together with \(V^a\) and \(\varPsi \), can be recast into the form of that written in Refs. [8, 9].
The supersymmetric FDA defining the ground state of the \(D=11\) theoryFootnote 11 is given by the vanishing of the following supercurvatures:
where D (\(D=d-\omega \), according with the convention of [2, 3]) denotes the Lorentz covariant derivative in eleven dimensions and where \(\varGamma _a\) and \(\varGamma _{ab}\) are gamma matrices in \(D=11\). Again, the vielbein \(V^a\) and the gravitino \(\varPsi \) span a basis of the cotangent superspace \(K \equiv \lbrace V^a,\varPsi \rbrace \) where also the superspace 3-form \(A^{(3)}\) is defined. The \(d^2\)-closure of the FDA (26)–(29) is a consequence of 3-gravitinos Fierz identity \(\varGamma _{ab} \varPsi \wedge \bar{\varPsi } \wedge \varGamma ^a \varPsi =0\) in \(D=11\).
Let us now consider the following minimal Maxwell superalgebra (written in its dual Maurer–Cartan formulation) in eleven dimensions:
where \(\chi \) is a spinor 1-form (with dimension \([\chi ]=L^{3/2}\)) dual to a nilpotent fermionic generator (we have used the symbol \(\chi \) in order to avoid confusion with the spinor 1-form \(\xi \) of the four-dimensional case discussed in Sect. 2). The \(d^2\)-closure of this superalgebra is a consequence of 3-gravitinos Fierz identities in \(D=11\) (see Appendix A).
Observe that the generator dual to the 1-form field \(\tilde{B}^{ab}\), let us call it \(\tilde{Z}_{ab}\), is a non-abelian one. In the absence of the super-Maxwell fields, this bosonic generator would become an almost-central bosonic generator; in eleven dimensions, it was understood as a 2-brane charge, source of a 3-form gauge potential (see, for example, Ref. [3] for details). The (dual Maurer–Cartan formulation of the) superalgebra (30)–(35) is a \(D=11\) extension including an extra bosonic 1-form field \(\tilde{B}^{ab}\) (whose dimension is \([\tilde{B}^{ab}]=L\)) of the \(D=4\) super-Maxwell algebra we have considered in Sect. 2. Note that the superalgebra (30)–(35) have the same form of the minimal super-Maxwell algebra in \(D=4\) discussed in [34] (which was referred to as \(s\mathcal {M}_4\) in that paper).Footnote 12
Now, the most general ansatz for the 3-form \(A^{(3)}\), written in terms of the 1-forms \(\sigma ^A= \lbrace V^a, \tilde{B}^{ab}, B^{ab}, \varPsi , \chi \rbrace \), satisfying the Bianchi identity \(d^2 A^{(3)}=0\) reads as follows:
Then, the requirement that expression \(A^{(3)}(\sigma )\) in (36) satisfies the FDA equation (29) leads to the following system of equations involving the coefficients \(T_0, T_1,S_1,S_2\), and \(M_1\):
The solution to the system (37) depends on one free parameter (we choose \(M_1\)), and it is given by:
Some remarks are in order. First of all, one can easily prove that in the absence of the super-Maxwell extra spinor \(\chi \) the expression (36) could not reproduce the FDA equation (29) on ordinary superspace anymore. On the other hand, using equation (33), the last term in (36) can be rewritten as
Then, we have
and, extracting the total derivative (which is allowed since the FDA is invariant under the 3-form gauge transformation \(\delta A^{(3)}=d\varLambda ^{(2)}\)) and using equation (34), we obtain the following expression for \(A^{(3)}\) in terms of 1-forms:
This final expression contains only the terms appearing in the composite 3-form written in Refs. [8, 9]. In particular, it does not contain the bosonic 1-form field \(B^{ab}\). Accordingly, redefining \(T_0 - 2 M_1 \equiv \hat{T}_0, T_1+ \frac{2}{5} M_1 = \hat{T}_1,S_1 \equiv \hat{S}_1\), and \(S_2 - 2 M_1 \equiv \hat{S}_2\) in (41) [that is equivalent to set \(M_1=0\) in (36)] and imposing the requirement that the expression for \(A^{(3)}\) in (41) satisfies the FDA equation (29), one ends up with
corresponding to the solution found in [8, 9] with a particular choice for the normalization of the extra spinor 1-form (see also [3] and, in particular, the expression for \(A^{(3)}_{(0)}\) in [10] where, however, the extra spinor 1-form named \(\xi \) was normalized in a different way).Footnote 13
Thus, we can conclude that the super-Maxwell algebra (30)–(35) can be interpreted as a (hidden) superalgebra underlying the supersymmetric FDA (26)–(29) describing \(D=11\) supergravity. This superalgebra is larger than the one discovered in [2] (excluding the 1-form \(B^{a_1 \ldots a_5}\)), since in contains one more extra bosonic 1-form field \(B^{ab}\). On the other hand, the contribution coming from \(B^{ab}\) in the parametrization of \(A^{(3)}\) can be reabsorbed by a gauge transformation of the 3-form. Again, in analogy with the result we have obtained in Sect. 2 in \(D=4\) space-time dimensions, the peculiarity of the above result in \(D=11\) lies in the fact that the spinor \(\chi \) that allows to write the supersymmetryzation of the \(D=11\) Maxwell algebra is also the same spinor that allows to write the parametrization of the 3-form \(A^{(3)}\) in terms of 1-forms in such a way to fulfill the FDA requirement (29).
We now move to the analysis of the hidden gauge structure of the supersymmetric FDA (26)–(29).
3.1 Analysis of the hidden gauge structure in D=11
Recalling the discussion presented in Sect. 2, once the supersymmetric FDA (26)–(29) is parametrized in terms of 1-forms, the symmetry structure is based on the hidden supergroup-manifold G having the structure of a principal fiber bundle \((G/\mathcal {H},\mathcal {H}): G/ \mathcal {H}\) corresponds to superspace, while the fiber \(\mathcal {H}\) in the present \(D=11\) case includes, besides the Lorentz transformations, also the hidden super-Maxwell generators in \(D=11\) (we call them \(\tilde{Z}_{ab},Z_{ab}\), and \(\varSigma \), and they are dual to the 1-form fields \(\tilde{B}^{ab},B^{ab}\), and \(\chi \), respectively).
We can then write \(\mathcal {H} = H_0 + H_b + H_f\), so that \(\lbrace J_{ab} \rbrace \in H_0, \lbrace \tilde{Z}_{ab}, Z_{ab} \rbrace \in H_b,\lbrace \varSigma \rbrace \in H_f\), and \(\lbrace P_a , Q \rbrace \in \mathbb {K}\), where \(\mathbb {G} = \mathcal {H} + \mathbb {K}\) is the hidden Maxwell superalgebra.
We now analyze the relation between the FDA gauge transformations and those of its hidden Maxwell supergroup. As we have already mentioned, the FDA (26)–(29) is invariant under the gauge transformation
which is generated by the arbitrary 2-form \(\varLambda ^{(2)}\).
The gauge transformations of the bosonic 1-forms \(\tilde{B}^{ab}\), \(B^{ab}\) and of the spinor 1-form \(\chi \) generated by the tangent vectors in \(H_b\) and in \(H_f\) are respectively given by:
where \(\tilde{\varLambda }^{ab}\) and \(\varLambda ^{ab}\) are arbitrary Lorentz-valued scalar functions and where we have introduced the infinitesimal spinor parameter \(\varrho \). The corresponding 2-form gauge parameter of \(A^{(3)}\) turns out to be
We can now show that all the diffeomorphisms in the hidden Maxwell supergroup, generated by Lie derivatives, are invariances of the FDA, the ones in the fiber \(\mathcal {H}\) directions being associated with a particular form of the gauge parameter of the FDA gauge transformation (43). Indeed, defining the following tangent vectors:Footnote 14
we find that a gauge transformation leaving invariant the FDA (26)–(29) is recovered, \(A^{(3)}\) being parametrized in terms of 1-forms, if
where \(\imath \) denotes the contraction operator and where we have denoted by \(\varLambda ^{(2)}_b\) the 2-form gauge parameter corresponding to the transformations in \(H_b\), while \(\varLambda ^{(2)}_f\) is the 2-form gauge parameter corresponding to the transformation in \(H_f\). The result written above is true as a consequence of the relations (37) obeyed by the coefficients of the parametrization (36) of \(A^{(3)}\) in terms of 1-forms.
Then, introducing the Lie derivative \(\ell _{\overrightarrow{z}} \equiv d \imath _{\overrightarrow{z}} + \imath _{\overrightarrow{z}} d\) (and, analogously, \(\ell _{\overrightarrow{q}} \equiv d \imath _{\overrightarrow{q}} + \imath _{\overrightarrow{q}} d\)), we can write
where the last equality follows since \(dA^{(3)}\), as given in (29), is invariant under transformations generated by \(\overrightarrow{z}\) and \(\overrightarrow{q}\), corresponding to the gauge invariance of the supervielbein (the right hand side of \(dA^{(3)}\) is in the \(\mathcal {H}\)-relative CE cohomology).
We can finally see that, after integration by parts, making use of 3-gravitinos Fierz identities in \(D=11\) (see Appendix A) and of the relations (37), the above result exactly reproduces the gauge transformation (43) leaving invariant the supersymmetric FDA (26)–(29). Precisely, we have
where \(\varLambda ^{(2)}\) is defined in equation (45). This result is hardly surprising, since if one had reabsorbed (as shown above) the term containing \(B^{ab}\) in the parametrization (36) of \(A^{(3)}\), the analysis of the FDA gauge invariance would have been traced back to the one done in [3].
We have thus completed the analysis of the hidden gauge structure of the \(D=11\) supersymmetric FDA (26)–(29).
4 Conclusions
In this paper, driven by the fact that any supersymmetric FDA can always be traded for a hidden Lie superalgebra containing extra, nilpotent, fermionic generators [3], we have first of all shown that the \(D=4\) super-Maxwell algebra of Ref. [33] [given in (1)] can be interpreted as a hidden superalgebra underlying the ground state FDA (8)–(11) of \(D=4\) supergravity containing a 2-form potential \(A^{(2)}\).
Subsequently, we have considered the FDA (introduced in [2]) describing the \(D=11\) supergravity theory of [4], which contains a 3-form potential \(A^{(3)}\), and we have shown that there exists a \(D=11\) super-Maxwell algebra underlying the theory. In this work, we have limited ourselves to consider the \(D=11\) FDA containing just the 3-form \(A^{(3)}\), leaving the study of the complete FDA involving also a 6-form potential \(B^{(6)}\) (and, correspondingly, the presence of an extra bosonic 1-form field \(B^{a_1 \ldots a_5}\), see Refs. [2, 3], in the underlying Lie superalgebra) to future investigations.Footnote 15
In the analyses we have performed, the presence of the extra spinors \(\xi \) and \(\chi \) naturally appearing in the supersymmetric extension of the Maxwell algebras in the \(D=4\) and \(D=11\) cases, respectively, is crucial in order to reproduce the \(D=4\) and \(D=11\) FDAs on ordinary superspace, whose basis is given by the supervielbein. Indeed, referring, for instance, to the \(D=4\) case, the spinor 1-form field \(\xi \) allows to write the parametrization \(A^{(2)}=-\bar{\psi } \wedge \xi \) satisfying (11); this would not be possible without adding extra fields to the \(D=4\) supergravity theory, and it is particularly intriguing that it is really a fundamental spinor to the construction of the Maxwell superalgebra to make possible a parametrization in terms of 1-forms of the 2-form \(A^{(2)}\) appearing in the FDA of the \(\mathcal {N}=1,D=4\) supergravity theory. The same consideration holds true also in the \(D=11\) case, where the extra spinor \(\chi \) naturally appearing in the \(D=11\) super-Maxwell algebra allows to trivialize the FDA containing the 3-form potential \(A^{(3)}\) when the latter is written in terms of 1-forms. In this case, we have shown that, exploiting the gauge invariance of the 3-form, the parametrization (36) of \(A^{(3)}\) in terms of 1-forms can be recast into the form given in [8, 9] (see also [3] and \(A^{(3)}_{(0)}\) of [10]). Our result could shed some light on the symmetries hidden in \(D=11\) supergravity and related models (see, for instance, Refs. [31, 32]).
Concerning the \(D=4\) FDA, in this work we have just considered the FDA including the 2-form potential \(A^{(2)}\). We leave the analysis of the (complete) FDA involving also a spinor 2-form \(\varXi ^{(2)}\) (see [36]) satisfying (15) to future works. This would require extra 1-form fields with respect to those appearing in the dual Maurer–Cartan formulation of the Maxwell superalgebra or, directly, a different Lie superalgebra underlying the theory.
The extra super-Maxwell fields could be important additions towards the construction of possible off-shell models underlying supergravity theories (mainly in higher-dimensional cases, such as the eleven-dimensional one).
Furthermore, let us mention that our framework is naturally related to the formulation of Double Field Theory and Exceptional Field Theory (see also Refs. [3, 10]). Indeed, the presence of extra bosonic 1-forms in the dual formulation of Lie superalgebras appears to be quite analogous to the presence of extra coordinate directions in the formulation of Double Field Theory and Exceptional Field Theory; in particular, referring to Exceptional Field Theory, the section constraints required in that theory to project the field equations on ordinary superspace should be dynamically implemented through the presence of the cohomological extra spinors.
It would be interesting to extend our discussion and interpretation of the (hidden) Maxwell-superalgebras to higher-dimensional and \(\mathcal {N}>1\) theories worked out in a geometric framework (also matter-coupled ones), investigating, in particular, possible supersymmetric extensions of the discussion presented in [41].
Finally, one could also analyze gauged FDAs in this geometric framework; in this context, we conjecture that the so-called AdS-Maxwell superalgebra [42] could play an important role within our approach. Some work is in progress on this topic.
Notes
Actually, as it was lately pointed out in [10], the extra spinor 1-form dual to the nilpotent fermionic generator can be parted into two different spinors, whose integrability conditions close separately.
This happens, for instance, in the case in which the higher-dimensional theory is reduced via a flux compactification.
In this context, the bosonic vielbein \(V^a\) together with the gravitino 1-form \(\psi \) span a basis of the cotangent superspace \(K=\lbrace V^a, \psi \rbrace \), where also the superspace p-forms (whose pull-back on space-time corresponds to p-index antisymmetric tensors) are defined.
As we will see in the sequel, this will also hold for the higher-dimensional case of the \(D=11\) FDA describing \(D=11\) supergravity.
Or, directly, another hidden Lie superalgebra, different with respect to the super-Maxwell algebra, trivializing (15) in terms of 1-forms.
With an abuse of notation, here and in the following we will use for the cotangent space of the supergroup-manifold G, spanned by the 1-forms, the same symbols defined above for the tangent space of G, spanned by the vector fields (generators).
Since the Lorentz transformations, belonging to \(H_0 \subset \mathcal {H}\), are not effective on the FDA, the 2-form \(A^{(2)}\) being Lorentz-invariant, our analysis reduces to consider the transformations induced by the tangent vectors \(Z_{ab} \in H_b \subset \mathcal {H}\) and \( \varSigma \in H_f \subset \mathcal {H}\).
We denote by \(\varPsi \) the gravitino in \(D=11\) space-time dimensions, in order to avoid confusion with the gravitino \(\psi \) of the four-dimensional case.
We do not consider the \(D=11\) theory out of the vacuum in the present paper. Some progress in this topic has been obtained in Ref. [9].
In the case under analysis, we are not considering the presence of the extra bosonic 1-form field \(B^{a_1 \ldots a_5}\) (dual to a bosonic generator \(Z_{a_1 \ldots a_5}\)), which would appear when considering the complete FDA including also a 6-form potential \(B^{(6)}\).
Again, since the Lorentz transformations, belonging to \(H_0 \subset \mathcal {H}\), are not effective on the FDA, the 3-form \(A^{(3)}\) being Lorentz-invariant, our analysis reduces to consider the transformations induced by the tangent vectors in \(H_b \) and in \( H_f\).
In that case, the extra bosonic 1-form field \(B^{ab}\) appearing in the \(D=11\) super-Maxwell algebra could play a more prominent role in participating to the parametrization of \(B^{(6)}\) in terms of 1-forms.
That is the symmetric product \((\alpha , \beta , \gamma )\equiv \varPsi _{(\alpha } \wedge \varPsi _\beta \wedge \varPsi _{\gamma )}\), of dimension \(\mathbf {5984}\), which belongs to the three-times symmetric reducible representation of Spin(32).
References
D. Sullivan, Infinitesimal computations in topology. Publications Mathématiques de l’IHES 47, 269–331 (1977)
R. D’Auria , P. Fré, Geometric Supergravity in d=11 and Its Hidden Supergroup. Nucl. Phys. B. 201 101 (1982) (Erratum: [Nucl. Phys. B 206 (1982) 496]). https://doi.org/10.1016/0550-3213(82)90376-5, https://doi.org/10.1016/0550-3213(82)90281-4
L. Andrianopoli, R. D’Auria, L. Ravera, Hidden Gauge structure of supersymmetric free differential algebras. JHEP 1608, 095 (2016). https://doi.org/10.1007/JHEP08(2016)095. arXiv:1606.07328 [hep-th]
E. Cremmer, B. Julia, J. Scherk, Supergravity theory in eleven-dimensions. Phys. Lett. 76B, 409 (1978). https://doi.org/10.1016/0370-2693(78)90894-8
C.M. Hull, P.K. Townsend, Unity of superstring dualities. Nucl. Phys. B 438, 109 (1995). https://doi.org/10.1016/0550-3213(94)00559-W. arXiv:hep-th/9410167v2
P.K. Townsend, P-brane democracy, in The world in eleven dimensions ed by M.J. Duff, pp. 375-389. arXiv:hep-th/9507048v1
J.W. van Holten, A. Van Proeyen, N = 1 Supersymmetry algebras in D = 2, D = 3, D = 4 MOD-8. J. Phys. A 15, 3763 (1982). https://doi.org/10.1088/0305-4470/15/12/028
I.A. Bandos, J.A. de Azcarraga, J.M. Izquierdo, M. Picon, O. Varela, On the underlying gauge group structure of D = 11 supergravity. Phys. Lett. B 596, 145 (2004). https://doi.org/10.1016/j.physletb.2004.06.079. arXiv:hep-th/0406020v1
I.A. Bandos, J.A. de Azcarraga, M. Picon, O. Varela, On the formulation of D = 11 supergravity and the composite nature of its three-form gauge field. Ann. Phys. 317, 238 (2005). https://doi.org/10.1016/j.aop.2004.11.016. arXiv:hep-th/0409100
L. Andrianopoli, R. D’Auria, L. Ravera, More on the hidden symmetries of 11D supergravity. Phys. Lett. B 772, 578 (2017). https://doi.org/10.1016/j.physletb.2017.07.016. arXiv:1705.06251 [hep-th]
D.M. Peñafiel, L. Ravera, On the hidden Maxwell superalgebra underlying D = 4 Supergravity, Fortschr. Phys. 65(9), 1700005 (2017). https://doi.org/10.1002/prop.201700005. arXiv:1701.04234 [hep-th]
M. Gunaydin, S. McReynolds, M. Zagermann, Unified N = 2 Maxwell–Einstein and Yang–Mills–Einstein supergravity theories in four dimensions. JHEP 0509, 026 (2005). https://doi.org/10.1088/1126-6708/2005/09/026. arXiv:hep-th/0507227
L. Andrianopoli, R. D’Auria, L. Sommovigo, D = 4, N = 2 supergravity in the presence of vector-tensor multiplets and the role of higher p-forms in the framework of free differential algebras. Adv. Stud. Theor. Phys. 1, 561 (2008). arXiv:0710.3107 [hep-th]
L. Andrianopoli, R. D’Auria, L. Sommovigo, M. Trigiante, D = 4, N = 2 Gauged supergravity coupled to vector-tensor multiplets. Nucl. Phys. B 851, 1 (2011). https://doi.org/10.1016/j.nuclphysb.2011.05.007. arXiv:1103.4813 [hep-th]
4d supergravity Lie 2-algebra in nLab. https://ncatlab.org/nlab/show/4d+supergravity+Lie+2-algebra
H. Bacry, P. Combe, J.L. Richard, Group-theoretical analysis of elementary particles in an external electromagnetic field. 1. The relativistic particle in a constant and uniform field. Nuovo Cim. A 67, 267 (1970). https://doi.org/10.1007/BF02725178
R. Schrader, The Maxwell group and the quantum theory of particles in classical homogeneous electromagnetic fields. Fortschr. Phys. 20, 701 (1972). https://doi.org/10.1002/prop.19720201202
J. Gomis, K. Kamimura, J. Lukierski, Deformations of Maxwell algebra and their dynamical realizations. JHEP 0908, 039 (2009). https://doi.org/10.1088/1126-6708/2009/08/039. arXiv:0906.4464 [hep-th]
J. Gomis, K. Kamimura, J. Lukierski, Deformed Maxwell algebras and their realizations. AIP Conf. Proc. 1196, 124 (2009). https://doi.org/10.1063/1.3284373. arXiv:0910.0326 [hep-th]
S. Bonanos, J. Gomis, Infinite sequence of poincare group extensions: structure and dynamics. J. Phys. A 43, 015201 (2010). https://doi.org/10.1088/1751-8113/43/1/015201. arXiv:0812.4140 [hep-th]
G.W. Gibbons, J. Gomis, C.N. Pope, Deforming the Maxwell–Sim algebra. Phys. Rev. D 82, 065002 (2010). https://doi.org/10.1103/PhysRevD.82.065002. arXiv:0910.3220 [hep-th]
J.A. de Azcarraga, K. Kamimura, J. Lukierski, Generalized cosmological term from Maxwell symmetries. Phys. Rev. D 83, 124036 (2011). https://doi.org/10.1103/PhysRevD.83.124036. arXiv:1012.4402 [hep-th]
R. Durka, J. Kowalski-Glikman, M. Szczachor, Gauged AdS–Maxwell algebra and gravity. Mod. Phys. Lett. A 26, 2689 (2011). https://doi.org/10.1142/S0217732311037078. arXiv:1107.4728 [hep-th]
S. Bonanos, J. Gomis, K. Kamimura, J. Lukierski, Maxwell superalgebra and superparticle in constant gauge badkgrounds. Phys. Rev. Lett. 104, 090401 (2010). https://doi.org/10.1103/PhysRevLett.104.090401. arXiv:0911.5072 [hep-th]
S. Bonanos, J. Gomis, K. Kamimura, J. Lukierski, Deformations of Maxwell superalgebras and their applications. J. Math. Phys. 51, 102301 (2010). https://doi.org/10.1063/1.3492928. arXiv:1005.3714 [hep-th]
K. Kamimura, J. Lukierski, Supersymmetrization schemes of D = 4 Maxwell algebra. Phys. Lett. B 707, 292 (2012). https://doi.org/10.1016/j.physletb.2011.12.037. arXiv:1111.3598 [math-ph]
J.A. de Azcarraga, J.M. Izquierdo, J. Lukierski, M. Woronowicz, Generalizations of Maxwell (super)algebras by the expansion method. Nucl. Phys. B 869, 303 (2013). https://doi.org/10.1016/j.nuclphysb.2012.12.008. arXiv:1210.1117 [hep-th]
P.K. Concha, E.K. Rodríguez, Maxwell superalgebras and abelian semigroup expansion. Nucl. Phys. B 886, 1128 (2014). https://doi.org/10.1016/j.nuclphysb.2014.07.022. arXiv:1405.1334 [hep-th]
M.B. Green, Supertranslations, superstrings and Chern–Simons forms. Phys. Lett. B 223, 157 (1989). https://doi.org/10.1016/0370-2693(89)90233-5
W. Siegel, Randomizing the superstring. Phys. Rev. D 50, 2799 (1994). https://doi.org/10.1103/PhysRevD.50.2799. arXiv:hep-th/9403144
E. Bergshoeff, E. Sezgin, Superp-Brane theories and new space-time superalgebras. Phys. Lett. B 354, 256 (1995). https://doi.org/10.1016/0370-2693(95)00655-5. arXiv:hep-th/9504140
E. Sezgin, The M algebra. Phys. Lett. B 392, 323 (1997). https://doi.org/10.1016/S0370-2693(96)01576-6. arXiv:hep-th/9609086
J.A. de Azcarraga, J.M. Izquierdo, Minimal D = 4 supergravity from the superMaxwell algebra. Nucl. Phys. B 885, 34 (2014). https://doi.org/10.1016/j.nuclphysb.2014.05.007. arXiv:1403.4128 [hep-th]
P.K. Concha, E.K. Rodríguez, N = 1 Supergravity and Maxwell superalgebras. JHEP 1409, 090 (2014). https://doi.org/10.1007/JHEP09(2014)090. arXiv:1407.4635 [hep-th]
P.K. Concha, R. Durka, N. Merino, E.K. Rodríguez, New family of Maxwell like algebras. Phys. Lett. B 759, 507 (2016). https://doi.org/10.1016/j.physletb.2016.06.016. arXiv:1601.06443 [hep-th]
L. Castellani, P. Fré, F. Giani, K. Pilch, P. van Nieuwenhuizen, Gauging of \(d=11\) supergravity? Ann. Phys. 146, 35 (1983). https://doi.org/10.1016/0003-4916(83)90052-0
J.A. de Azcarraga, J.P. Gauntlett, J.M. Izquierdo, P.K. Townsend, Topological extensions of the supersymmetry algebra for extended objects. Phys. Rev. Lett. 63, 2443 (1989). https://doi.org/10.1103/PhysRevLett.63.2443
P.K. Townsend, M theory from its superalgebra, in Strings, branes and dualities. (Cargese, 1997), pp. 141–177. arXiv:hep-th/9712004
M. Hassaine, R. Troncoso, J. Zanelli, Poincare invariant gravity with local supersymmetry as a gauge theory for the M-algebra. Phys. Lett. B 596, 132 (2004). https://doi.org/10.1016/j.physletb.2004.06.067. arXiv:hep-th/0306258
M. Hassaine, R. Troncoso, J. Zanelli, 11D supergravity as a gauge theory for the M-algebra. PoS WC 2004, 006 (2005). arXiv:hep-th/0503220
J. Gomis, A. Kleinschmidt, On free Lie algebras and particles in electro-magnetic fields. JHEP 1707, 085 (2017). https://doi.org/10.1007/JHEP07(2017)085. arXiv:1705.05854 [hep-th]
R. Durka, J. Kowalski-Glikman, M. Szczachor, AdS-Maxwell superalgebra and supergravity. Mod. Phys. Lett. A 27, 1250023 (2012). https://doi.org/10.1142/S021773231250023X. arXiv:1107.5731 [hep-th]
Acknowledgements
The author is grateful to Laura Andrianopoli and Riccardo D’Auria for the support and the stimulating discussions during the early stages of the preparation of this work. The author also wish to acknowledge illuminating discussions with Igor A. Bandos.
Author information
Authors and Affiliations
Corresponding author
A Notation, conventions, and useful formulas
A Notation, conventions, and useful formulas
In the following, we collect the conventions and some useful formulas that we have used in this work, both in \(D=4\) and in \(D=11\) space-time dimensions.
1.1 A.1 Conventions and useful formulas in D = 4
The Dirac gamma matrices in \(D=4\) are defined through the relation
where \(\eta _{ab} \equiv (-1,1,1,1)\) is the Minkowski metric. These gamma matrices satisfy the Clifford algebra:
and
We are working with Majorana spinors, satisfying \(\bar{\psi } = \psi ^T C\), where C is the charge conjugation matrix. Furthermore, the gamma matrices satisfy
while
meaning that \(C \gamma _a\) and \(C \gamma _{ab}\) are symmetric, while \(C,C \gamma _5\), and \(C \gamma _5 \gamma _a\) are antisymmetric gamma matrices. This leads to the following identities for the p-form \(\psi \) and q-form \(\xi \):
being S a symmetric matrix and A an antisymmetric one. We can then write some useful Fierz identities for \(\mathcal {N}=1,D=4\) (for the 1-form spinor \(\psi \)):
1.2 Fierz identities and irreducible representations in D = 11
The gravitino \(\varPsi _\alpha \) (with \(\alpha =1,\ldots , 32\)) in \(D=11\) space-time dimensions is a spinor 1-form that belongs to the spinor representation of \( SO(1,10) \simeq Spin(32)\).
The Fierz identities amount to decompose the representation \((\alpha , \beta , \gamma )\)Footnote 16 into irreducible representations of Spin(32).
We get: \(\mathbf {5984} \rightarrow \mathbf {32}+\mathbf {320}+\mathbf {1408}+\mathbf {4224}\). Denoting the corresponding irreducible spinor representations of the Lorentz group SO(1, 10) as
where the indexes \(a_1 \ldots a_n\) are antisymmetrized and where \(\varGamma ^a \varXi _{ab_1 \cdots b_n}=0\), one can now compute the coefficients of the explicit decomposition into the irreducible basis, obtaining (see also Refs. [2, 3]):
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Ravera, L. Hidden role of Maxwell superalgebras in the free differential algebras of D = 4 and D = 11 supergravity. Eur. Phys. J. C 78, 211 (2018). https://doi.org/10.1140/epjc/s10052-018-5673-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-5673-8