1. Introduction
In the basic formulation [
1,
2] of pure D = 4, N = 1 supergravity, the commutator algebra of local symmetry transformations closes only on-shell. This complicates various computations, such as the construction of couplings of the supergravity multiplet (i.e., the supersymmetry multiplet with the vierbein and the gravitino) to matter multiplets, of locally supersymmetric invariants with higher derivatives and of Faddeev–Popov terms. Fortunately, there are off-shell formulations of the theory with auxiliary fields that close the algebra of local symmetry transformations off-shell.
The best-known off-shell formulations of pure D = 4, N = 1 supergravity are the so-called old minimal formulation [
3,
4] and the so-called new minimal formulation [
5]. The auxiliary fields of the new minimal supergravity multiplet are a real 2-form gauge potential and a real vector field which is the gauge field of local R-transformations (“R-gauge field”). This auxiliary field content of new minimal supergravity hinders the algebraic elimination of the auxiliary fields because the equations of motion for these fields only contain the field strengths of the 2-form gauge potential and of the R-gauge field, i.e., derivatives of the auxiliary fields.
The subject of this article is an off-shell formulation [
6,
7] of D = 4, N = 1 supergravity which overcomes this obstacle of new minimal supergravity. This formulation is a consistent deformation of new minimal supergravity coupled to an abelian gauge multiplet wherein the 2-form gauge potential mutates into an ordinary auxiliary field without gauge degrees of freedom and the R-gauge field mutates from an auxiliary field into a physical gauge field. The physical fields of the supergravity multiplet of this formulation are the vierbein, the R-gauge field, the gravitino and a spin-1/2 field, the auxiliary fields are a real antisymmetric two-component tensor field without gauge degrees of freedom and a real scalar field. This supergravity multiplet, according to the usual counting, has off-shell 16 bosonic degrees of freedom (6 from the vierbein, 3 from the R-gauge field, 6 from the auxiliary antisymmetric tensor field, 1 from the auxiliary scalar field) and 16 fermionic degrees of freedom (12 from the gravitino, 4 from the spin-1/2 field), and on-shell 4 bosonic degrees of freedom (from the vierbein and the R-gauge field) and 4 fermionic degrees of freedom (from the gravitino and the spin-1/2 field). Elimination of the auxiliary fields provides a supergravity model as in [
8] with gauged R-symmetry and spontaneously broken supersymmetry. A similar model has been found recently in [
9].
In [
6,
7], it was noted already that the coupling of the supergravity multiplet to other supersymmetry multiplets (“matter multiplets”) is analogous to the coupling of the new minimal supergravity multiplet to these multiplets. However, details were not given. The present paper is committed to providing these details and elaborating on related features of the theory. In
Section 2, the model of [
6,
7] is revisited. In
Section 3, a supercovariant tensor calculus is presented and the symmetry transformations of the component fields of matter multiplets are given explicitly as nilpotent Becchi–Rouet–Stora–Tyutin (BRST) transformations. In
Section 4, locally supersymmetric actions for the matter multiplets are constructed and the elimination of the auxiliary fields is discussed.
Section 5 contains a brief discussion of the results.
The conventions used here are the same as in [
10] and differ from those of [
11] basically only in the choice of the Minkowski metric which is
. In particular, spinors are Weyl spinors in the van der Waerden notation. Throughout the paper, the component formalism of supergravity is used. Superfields and superspace techniques are not used at all. Instead, BRST techniques are used which are briefly recapitulated in the
Appendix A and
Appendix B.
2. Supergravity Multiplet and Its Lagrangian
Our starting point is the deformation [
6,
7] of new minimal supergravity coupled to an abelian gauge multiplet. The fields of that supergravity model are the components fields of the new minimal supergravity multiplet which are the vierbein
, the gravitino
, a real 2-form gauge potential with components
and a real R-gauge field
, and the component fields of the abelian gauge multiplet which are a real gauge field
, a complex spinor field
and an auxiliary real scalar field
D. The Lagrangian
for these fields derived in [
6,
7] reads:
where
,
,
und
are real coupling constants.
denotes the inverse vierbein fulfilling
The three contributions
,
and
to the Lagrangian (
1) are separately invariant up to a total divergence, respectively, under general coordinate transformations, local supersymmetry transformations, local Lorentz transformations, local R-transformations and local gauge transformations of
and
. The local supersymmetry transformations and the gauge transformations of
and
are, written as part
of the BRST transformations of these fields:
where
S in (
17) is the spin-
portion of the supercovariant gravitino field strength,
are ghosts of local supersymmetry transformations,
are ghosts of reducible gauge transformations of
and
C is a ghost of local gauge transformations of
.
The Lagrangian (
1) and the symmetry transformations given above are deformations of the Lagrangian and symmetry transformations of new minimal supergravity coupled to
,
and
D with deformation parameters
and
. Only the symmetry transformations of
,
and
D are deformed by the
-dependent terms in (
18)–(
20).
Now, a first observation is that the dependence on
of the symmetry transformations can be completely removed by the following rescalings of fields:
A second observation is that for
the Lagrangian (
1), up to a total divergence, and the symmetry transformations depend on
and
only via the combination
because
does not contribute to
when
is written in terms of
and the terms in
depending on
are equal to
up to a total divergence. Redefining also the deformation parameters as
the Lagrangian (
1) can for
be written, up to a total divergence, as
with
now defined in terms of
according to
The fields in the Lagrangian (
25) are the vierbein
, the gravitino
, the R-gauge field
, the spin-1/2 field
and the auxiliary fields
and
. The complete BRST transformations of these fields are:
where
S and
are as in (
21) with
as in (
29).
are ghosts of general coordinate transformations,
are ghosts of local Lorentz transformations and
is a ghost of local R-transformations. The ghosts
,
and
are real and Graßmann odd, the supersymmetry ghosts
are complex and Graßmann even, with
denoting the complex conjugate of
. The BRST transformations of the ghosts are
In the BRST transformations (
30) through (
39), all spinor fields have upper spinor indices. These transformations are strictly nilpotent off-shell (
), i.e., the algebra of the corresponding local symmetry transformations closes off-shell. The three portions
,
,
of the Lagrangian (
25) are separately invariant up to a total divergence, respectively, under the BRST transformations (
30) through (
35) as these portions arise from
,
,
, respectively. The gauge field
and the ghosts
and
C have completely disappeared from the theory, along with the corresponding gauge symmetries. We shall use this formulation in the following analysis. Of course, one can return to the formulation with Lagrangian (
1) by undoing the field redefinitions (
22) and (
23).
The Lagrangian (
25) is quite similar to the one given in Equations (4.16) and (4.17) of [
9]. Apart from different conventions, (
25) differs from Equations (4.16) and (4.17) of [
9] in the use of
instead of its supercovariant counterpart
given below in Equation (
43). Furthermore, (
25) differs from Equations (4.16) and (4.17) of [
9] by the term
in (
27) (and possibly by some 4-fermion terms which are hard to check). The term
is needed in order that (
27) is invariant off-shell up to a total divergence under the BRST transformations (
30) through (
35) and is present already in the undeformed model (i.e., for
); in fact, such a term occurs also in Equations (5.8) and (5.9) of [
12] where it is present in
, cf. Equations (2.2) and (2.1) of [
12]. It is an open issue whether this difference between (
25) and Equations (4.16) and (4.17) of [
9] is significant or resolvable, for instance by field redefinitions (It is not evident whether or not such field redefinitions exist. For instance, a redefinition
of the
R-gauge field removes the term
from (
25) but introduces a 4-fermion coupling proportional to
which apparently has no counterpart in Equations (4.16) and (4.17) of [
9]).
3. Matter Multiplets and Supercovariant Tensor Calculus
In order to couple matter multiplets to the supergravity multiplet and to construct supersymmetric actions for these multiplets, we use a supercovariant tensor calculus. The calculus comprises supercovariant derivatives
, spinorial anti-derivations
,
and generators
of a structure group which are realized on supercovariant tensors (see below) and fulfill the graded commutator algebra
where the index
A of
runs over Lorentz vector indices
a and spinor indices
.
denotes the commutator
if
A or
B is a Lorentz vector index and the anticommutator
if both
A and
B are spinor indices. The
denote structure constants of the Lie algebra
of the structure group which is the direct sum of the Lorentz algebra and a further reductive Lie algebra which at least comprises the generator
of R-transformations and may comprise further generators
of a Yang-Mills gauge group with or without abelian factors. Denoting the generators of the Lorentz algebra by
, we have
The sum over indices of
is defined with a factor 1/2 for the Lorentz generators, such as
and the sum over indices
is defined with upper first spinor index, such as
are the entries of a matrix
which represents
on the
. The only nonvanishing
occur for
with
The matter multiplets treated here are chiral multiplets [
13], super-Yang–Mills multiplets (in WZ gauge) [
14,
15,
16] and linear multiplets [
17]. The component fields of the chiral multiplets are denoted by
,
,
and their complex conjugates
,
,
where
,
are complex scalar fields and
are complex spinor fields. The component fields of the super-Yang–Mills multiplets are denoted by
,
,
,
where
are real gauge fields,
are real scalar fields,
are complex spinor fields and
is the complex conjugate of
. The component fields of the linear multiplets are denoted by
,
,
,
where
are real scalar fields,
are real components of 2-form gauge potentials,
are complex spinor fields and
is the complex conjugate of
.
The supercovariant tensors, which the supercovariant algebra (
40) is realized on, are
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
and supercovariant derivatives of these tensors, with
as in (
29) and
,
,
,
and
given by:
is represented on supercovariant tensors according to
Table 1 where
are real constants (“R-charges” of the
). For the respective complex conjugate supercovariant tensors, we have
where
denotes the complex conjugate of
, and
denotes the complex conjugate of
. Real supercovariant tensors, such as
,
,
,
,
and
, have vanishing
R-transformation.
is realized on supercovariant tensors according to
Table 2 with (in the last row)
,
and
as in Equations (
52), (
54) and (
55), respectively.
and
are as in (
21) and are the spin-1/2 parts of
and
:
is obtained from
by complex conjugation, using
where
denotes the Graßmann parity of
.
The nonvanishing
and
in (
40) are
,
and
given in Equations (
44) through (
48), and the
and
are given by
The supercovariant derivative
is defined on supercovariant tensors
according to
and
fulfill the identities
and
are related by
For later purposes, we remark that
plays the role of the gaugino of R-transformations, cf. Equations (
58) and (
60), and that one has
which shows that
plays the role of the
D-field of R-transformations.
The BRST transformation
of a supercovariant tensor
is
wherein
are ghosts of Yang–Mills gauge transformations and
and
are “covariant ghosts” given by
The BRST transformations of
and
are
where
are real Graßmann odd ghosts of reducible gauge transformations of
. The BRST transformations of the ghosts
and
are
where
are purely imaginary Graßmann even “ghosts for ghosts” with ghost number 2 whose BRST transformations are
Covariant ghosts for ghosts
are defined analogously to (
66) and (
67) according to
The BRST transformations of the covariant ghosts and ghosts for ghosts are
where
and
.
The BRST transformations given above are strictly nilpotent off-shell. As is recapitulated in
Appendix A, the off-shell nilpotency of
s (
) on all fields (including the ghosts) except on
,
and
, and the construction of
,
and
according to Equations (
44) through (
48) can be deduced elegantly from the supercovariant algebra (
40) and the corresponding Bianchi identities. The nilpotency of
s on
,
and
and the construction of
according to Equation (
49) can be checked separately (In other words, one can check explicitly that
s squares to zero on
,
and
and that the BRST transformation of
given in (
69) and the BRST transformations of
and
arising from (
65) imply that
defined according to Equation (
49) transforms according to Equation (
65) with
as in
Table 2. The BRST transformations of
,
and
and the definition of
are compatible with Equation (2.4) of [
12]). Furthermore, the identities (
62) can be checked explicitly.
4. Invariant Actions and Elimination of Auxiliary Fields
The supercovariant algebra (
40) and the way it is realized on the matter multiplets are exactly the same as in new minimal supergravity. In particular, the additional fields
and
do not occur in the supersymmetry transformations of any component field of the matter multiplets, and the field
contributes to these supersymmetry transformations only via
given in (
29), precisely as the 2-form gauge potential
in new minimal supergravity. In addition, the supercovariant algebra (
40) is realized off-shell also on
,
and on the supercovariant tensor
given in (
43). For these reasons, one can adopt methods and results derived in [
10,
12,
18,
19] for new minimal supergravity to construct locally supersymmetric actions involving the matter multiplets and the fields
and
in the present theory.
In particular, the results derived in [
10,
19] for invariant actions in new minimal supergravity can be extended straightforwardly to the presence of linear multiplets and of the additional supercovariant tensors
,
and
. One obtains that Lagrangians which are invariant off-shell up to a total divergence, respectively, under the BRST transformations given in
Section 2 and
Section 3 are
where in (
78) and (
79)
and
denote real coupling constants and the sum over
runs over the abelian factors of
including the R-transformation with the identifications (cf. text around Equation (
64))
In (
77), we used the notation
and
denotes any function of the supercovariant tensors
,
,
,
and
(but not of supercovariant derivatives thereof) which has
R-charge
and is invariant under all other generators
, and
is any function of supercovariant tensors which is invariant under all
,
is a generic Lagrangian which provides, amongst others, a standard locally supersymmetric Yang–Mills portion arising from a contribution to
proportional to
(with
-invariant metric
), locally supersymmetric kinetic terms for the chiral multiplets arising from a contribution
to
, superpotential terms for the chiral multiplets arising from a contribution
to
and locally supersymmetric kinetic terms for the linear multiplets arising from a contribution
to
. In addition,
provides Lagrangians with various higher derivative terms, such as four-derivative terms with the square of the Weyl tensor arising from a contribution
to
and/or with quartic terms in the Yang–Mills field strengths arising from a contribution to
bilinear both in
s and
s (of course,
provides further higher derivative terms; in particular, terms with more than four derivatives). Furthermore, contributions to
given by
and
reproduce
and
given in (
27) and (
28), respectively.
and
are “exceptional Lagrangians” that cannot be written in the form of
. A contribution to
with
contains a Fayet–Iliopoulos term
and can thus contribute to supersymmetry breaking [
20] and to the cosmological constant. The contribution to
with
reproduces for
the
-portion of the Lagrangian (
25) as may be verified by explicitizing
,
S and
.
can contribute, amongst others, mass terms for component fields of linear multiplets.
In
Appendix B, solutions of the so-called descent equations are given which correspond to
,
and
, respectively. It is easier to verify these solutions using reasoning given in [
19] than to check the invariance of
,
and
directly.
We now discuss the elimination of auxiliary fields for Lagrangians
with
and
of the form
Such Lagrangians contain only terms with at most two derivatives and thus may be termed “low energy Lagrangians”. The fields
,
,
and
occur in
undifferentiated and at most quadratically as can easily be checked. Hence, these fields can be eliminated algebraically using their equations of motion. However, the direct algebraic elimination of the field
is hindered by terms in
that are quadratic in
. Such terms are present both in the contribution to
with
and (generically) in
because
contains, amongst others,
where
Now, one may remove the terms quadratic in
by a suitable redefinition of the
R-gauge field
. To show this, we collect all terms in
containing
,
or
. A straightforward computation yields that these terms can be written as
with (Here, we used
where
).
where
with
We now make the following ansatz for a redefined R-gauge field:
Using (
87) in (
85), one obtains
with
In order to remove all
-terms from
by the redefinition (
87),
m has to be chosen such that
u vanishes. Obviously this can be achieved if
vanishes:
However,
is a rather special case. For instance,
holds when all
have vanishing
R-charge which also implies
and
but forbids a superpotential. When
does not vanish,
u vanishes if
Now,
m must be real in order that
is real. In order to solve (
91) with real
m, the numerator on the right hand side of Equation (
91) must not be negative (
and
are real. Indeed,
obviously is real because
G is real. Furthermore,
implies
. For this reason
m in (
90) is real too). Whether or not this numerator is non-negative depends on the
R-charges of the
and is not further discussed here.
When m is chosen such that u vanishes and instead of is used, the Lagrangian does not contain terms which are quadratic in derivatives of , and then may be eliminated algebraically using the equations of motion if contains a term quadratic in .
We also remark that
is a generally field dependent prefactor of the Riemann curvature scalar in
, cf. Equation (
84) (due to
). This prefactor may be made field independent by a Weyl rescaling of the vierbein and corresponding redefinitions of other fields that convert the Lagrangian from Brans–Dicke form into conventional Einstein form, cf. [
18] for a detailed discussion of these field redefinitions in new minimal supergravity, which analogously applies in our case. Furthermore, we note that
is the “metric” in the kinetic terms
of the
and
in
(after integration by parts). If this metric is positive definite,
is non-negative (However, according to [
18],
need not be positive definite in order that the kinetic terms for the
and
are positive after converting the Lagrangian into Einstein form).
5. Discussion
The formulation of D = 4, N = 1 supergravity studied in this paper is similar to new minimal supergravity. This, by itself, is not surprising as this formulation was obtained as a consistent deformation of new minimal supergravity. Nevertheless, the deformation has some unusual and surprising features.
One of these features is that in this formulation, using the fields
,
and
, a Lagrangian, without or with matter fields included, in the simplest case differs from the corresponding Lagrangian of the new minimal formulation of supergravity only by an added extra portion proportional to
given in (
27) (In addition, one may include
given in (
28) but this does not make much difference). This extra portion is separately invariant up to a total divergence under local supersymmetry transformations, and the remaining contributions to the Lagrangian are the same as in new minimal supergravity. The reason is that the fields
and
which are not present in new minimal supergravity do not occur in the symmetry transformations of other fields except in the transformations of
and
themselves and in the modified supersymmetry transformation of
. Furthermore, even though the symmetry transformations of
are modified as compared to new minimal supergravity, the symmetry transformations of
defined in (
29) are not modified. Since the symmetry transformations of all other fields except
and
depend on
at most via
, the modification of the symmetry transformations of
then has no impact on the Lagrangian as compared to new minimal supergravity except for the added extra portion.
In particular, this implies that one may simply add to any Lagrangian of new minimal supergravity, without or with matter fields included, the extra portion proportional to
. The resultant theory again is an off-shell formulation of supergravity in which now
is a standard auxiliary field without gauge degrees of freedom (which may be eliminated algebraically, at least for reasonable low energy Lagrangians, cf.
Section 4) and the R-gauge field is a physical field. Furthermore, if supersymmetry was unbroken before adding the extra portion, the inclusion of the extra portion inevitably introduces a cosmological constant, cf. Equation (
27), and breaks supersymmetry spontaneously (recall that
, cf. Equation (
33), i.e.,
then is a goldstino that may be eaten by the gravitino). Thus, the addition of the extra portion particularly provides an alternative mechanism for spontaneously breaking local supersymmetry in new minimal supergravity, different from the familiar breaking mechanisms by Fayet–Iliopoulos terms or
F-terms.
On the other hand, in addition to or in place of
given in (
27) and optionally
given in (
28), one may include other terms in the Lagrangian depending on
,
and
, such as terms arising from contributions to
in (
83) which depend on both
and some
. This may have a more subtle effect on the theory as compared to new minimal supergravity and may be worth a further study.