Complex three-form supergravity and membranes

There exist two variants of the old minimal formulation for N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 1 supergravity in four dimensions, in which one or each of the two auxiliary scalars is replaced by the field strength of a gauge three-form. These theories are known as three-form supergravity and complex three-form supergravity, respectively. For each of them, we present a super-Weyl invariant coupling of supergravity to the supermembrane and prove kappa-invariance of the resulting action. In the case of three-form supergravity, we demonstrate that the action constructed reduces to that given by Ovrut and Waldram twenty years ago upon imposing a super-Weyl gauge in which the compensating three-form superfield is set to a constant.


Introduction
The old minimal formulation for N = 1 supergravity in four dimensions, first presented in superspace [1] and soon after developed in the component setting [2,3], is probably the most famous off-shell supergravity theory. 1 The field content of this theory is known to everyone who studied supersymmetric field theory from the book by Wess and Bagger [4] (part of which is a review and extension of the approach pursued by Wess and Zumino [1]). Its physical fields are the vielbein e m a and the Majorana gravitino (ψ m α ,ψ mα ). Its auxiliary fields are the vector b a , the complex scalar M and its conjugateM . The Ferrara-van Nieuwenhuizen formulation [3] made use of the two real auxiliary scalars contained in M = Re M + i Im M . However, the work by Stelle and West [2] also provided a variant supergravity formulation in which each of the two real auxiliary scalars, Re M and Im M , was replaced by the field strength of a gauge three-form. Three years later, Gates and Siegel [5] pointed out the existence of one more variant formulation of supergravity in which just one of the two real scalars in M = Re M + i Im M was replaced by the field strength of a gauge three-form. The resulting variant formulations of old minimal supergravity are known nowadays as three-form supergravity [5] and complex three-form supergravity [2]. 2 We will often refer to the off-shell theory presented in [1,3] as the standard formulation or simlpy old minimal supergravity. The difference between the standard formulation for supergravity and its variant realisations discussed above can be seen from the corresponding superfield equations of motion.

JHEP12(2017)005
In terms of the Grimm-Wess-Zumino superspace geometry [9,10] (see, e.g., [4,11] for pedagogical reviews), the supergravity equations corresponding to the standard formulation were given in [1]. They are: In the case of three-form supergravity, equation (1.1b) is replaced with while for complex three-form supergravity it turns into in accordance with [5]. Equation (1.1a) remains the same for the variant formulations. Even without introducing a supersymmetric cosmological term (which does not exist for complex three-form supergravity, see section 3.3), a negative cosmological constant is generated dynamically in the real and complex three-form supergravity theories for vacuum solutions with R = 0. 3 As is well known, every off-shell formulation for N = 1 supergravity can be realised as N = 1 conformal supergravity coupled to a compensating multiplet (see, e.g., [11,18,19] for reviews). Different off-shell formulations correspond to choosing different compensators. This leads to another conceptual way to understand the difference between the standard formulation of old minimal supergravity and its two variants, as was pointed out in [5]. In the standard formulation, the compensator is a general chiral scalar superfield [20]. In Minkowski superspace, it obeys the chirality constraintDαΦ = 0 and can be represented as 4 where the prepotential U is an unconstrained complex superfield. The auxiliary field of Φ, defined by F (x) := − 1 4 D 2 Φ(x, θ)| θ=0 , is a complex scalar. In the case of three-form supergravity [5], the compensator is a three-form multiplet originally proposed by Gates [21]. It is described by a chiral superfield of the form where P is a real but otherwise unconstrained prepotential. Since the prepotential P is real, Π is no longer a general chiral superfield, for it obeys the condition which implies that the imaginary part of the auxiliary field F of Π is the field strength of a gauge three-form. In the case of complex three-form supergravity, the compensator is JHEP12(2017)005 a complex three-form multiplet proposed in [5]. 5 It is described by a chiral superfield of the form A complex scalar Σ constrained byD 2 Σ = 0 is called a complex linear superfield [5]. 6 Since the prepotentialΣ in (1.7) is complex antilinear, Υ is no longer a general chiral superfield, for it obeys the condition This property tells us that the auxiliary field F of Υ is the field strength of a gauge complex three-form.
Unlike the standard formulation of old minimal supergravity, the remarkable feature of three-form supergravity is that it allows a consistent coupling to the four-dimensional supermembrane [23] (the d = 4 cousin of the d = 11 supermembrane [24,25]) as demonstrated by Ovrut and Waldram [26]. Since consistency of the supermembrane action requires the presence of a Wess-Zumino term associated with a real gauge three-form in the target superspace [24], it is not surprising that this supergravity formulation plays a special role in this context. It is natural to wonder whether complex three-form supergravity also allows a consistent coupling to the supermembrane. The main goal of this paper is indeed to show that this question has an affirmative answer.
Before we turn to the main body of the paper, a few comments on the literature are in order. The quantum properties of a massless three-form multiplet coupled to supergravity were studied in [27] (see [11] for a review). The superform formulation for the threeform multiplet in supergravity was developed by Binétruy et al. [28] and used in [26] to work out the complete component action for three-form supergravity. The super-Weyl invariant formulation for three-form supergravity was given in [29], as an extension of similar formulations for the non-minimal and new minimal supergravity theories given in section 6.6 of [11]. The formulations described in [11] and [29] were generalised in [30] to construct the super-Weyl invariant formulation for complex three-form supergravity. Various aspects of the dynamics of three-form supergravity coupled to the supermembrane were studied in [31].
This paper is organised as follows. In section 2 we recall the key results concerning the formulation of N = 1 conformal supergravity and its couplings to matter using the geometric framework of [9,10]. Section 3 elaborates on the super-Weyl invariant formulations for the three versions of old minimal supergravity discussed above. In particular, for both the real and complex three-form multiplets we provide a super-Weyl invariant description of the gauge super 3-forms and gauge-invariant field strengths. Section 4 describes consistent couplings of the real and complex three-form supergravity theories to the supermembrane. Concluding comments are given in section 5.

JHEP12(2017)005
2 Conformal supergravity As reviewed in [11], conformal supergravity can be described using the superspace geometry of [9,10], which underlies the Wess-Zumino approach to old minimal supergravity [1]. Here we briefly recall the main definitions and conceptual results. The notation and conventions of [11] are used throughout this paper.
Conformal supergravity is formulated in a curved superspace M 4|4 parametrised by local bosonic (x m ) and fermionic (θ µ ,θμ) coordinates z M = (x m , θ µ ,θμ), where m = 0, 1, 2, 3, µ = 1, 2 andμ = 1, 2. The Grassmann variables θ µ andθμ are related to each other by complex conjugation: θ µ =θμ. We will often make use of a preferred basis of one-forms which will be referred to as the supervielbein and its inverse, respectively. The superspace structure group is SL(2, C). The covariant derivatives have the form where Ω A stands for the Lorentz connection, βγM bc the Lorentz generators. These act on a covariant vector V c and two-component spinors Ψ γ and Ψγ as follows: In general, the covariant derivatives enjoy graded commutation relations of the form where T AB C and R AB cd are the torsion and curvature tensors, respectively. To describe supergravity, the covariant derivatives have to obey certain torsion constraints [1,9,10] such that their algebra is as follows (the expression for [D a , D b ] is given in [11]): The torsion tensors R, G a =Ḡ a and W αβγ = W (αβγ) satisfy the Bianchi identities:

JHEP12(2017)005
The definition of the torsion and curvature tensors given by eq. (2.5) can be recast in the language of superforms. Starting from the Lorentz connection Ω A defined by (2.3), we introduce the connection one-form Then the torsion and curvature two-forms are The gauge group of conformal supergravity includes superspace general coordinate transformations and local Lorentz ones. Such a transformation acts on the covariant derivatives and any tensor superfield U (with its indices suppressed) by the rule where the gauge parameter K has form and describes a coordinate transformation generated by the supervector field ξ = ξ B E B and a local Lorentz transformation generated by K bc . It was first realised by Howe and Tucker [32] that the algebra (2.6) is invariant under super-Weyl transformations of the form accompanied by the following transformations of the torsion superfields Here the super-Weyl parameter σ is a covariantly chiral scalar superfield,Dασ = 0. The gauge group of conformal supergravity is defined to be generated by the local transformations (2.10) and (2.11). It may be shown that this gauge freedom indeed leads to the multiplet of N = 1 conformal supergravity at the component level (see, e.g., [11] for a review).
Of special importance in conformal supergravity are super-Weyl primary multiplets (here we follow the terminology recently used in [33]). A tensor superfield T (with its JHEP12(2017)005 indices suppressed) is said to be (super-Weyl) primary of weight (p, q) if its super-Weyl transformation law is for some parameters p and q. The conformal dimension of T is given by (p + q).
Covariantly chiral tensor superfields may be constructed using the chiral projection operator [1,34] Given a tensor superfield T with undotted spinor indices only,∆T is covariantly chiral, Dα∆T = 0. If T is a super-Weyl primary superfield of weight (p − 2, 1), then∆T is a chiral primary superfield of weight p. This may be checked by using the super-Weyl transformation of the chiral projection operator which follows from (2.11). Given a matter dynamical system coupled to conformal supergravity, its action functional must be invariant under the local transformations (2.10) and (2.11). There are two general action principles. Given a primary real scalar Lagrangian L =L of weight (1, 1), the action is invariant under the supergravity gauge group. Its super-Weyl invariance follows from the transformation law δ σ E = −(σ +σ)E. Given a scalar chiral primary Lagrangian L c of weight +3, the chiral action is invariant under the supergravity gauge group. Its super-Weyl invariance follows from the transformation law δ σ E = −3E of the chiral density E. The latter may be defined in terms of a chiral prepotential [20]. Alternatively, the chiral density can be read off using the general formalism of integrating out fermionic dimensions, which was developed in [35]. 7 The full superspace action (2.16) can be represented as an integral over the chiral subspace,

JHEP12(2017)005
The chiral action (2.17) can be represented as an integral over the full superspace, where C is an improved complex linear superfield 8 that is defined by the following properties: (i) C obeys the constraint∆ (ii) C is super-Weyl primary of weight (−2, 1), for some covariantly chiral superfield η such that ∆η is nowhere vanishing. In case C is not required to be super-Weyl primary, it can be identified with R −1 , provided R is nowhere vanishing. This representation was discovered in [20,34].
To conclude this section, we point out that there is an alternative way to define the chiral action (2.17) that follows from the superform approach to the construction of supersymmetric invariants [37][38][39][40][41]. It is based on the use of the following super 4-form which was constructed by Binétruy et al. [28] and independently by Gates et al. [41]. This superform 9 is closed, The chiral action (2.17) can be recast as an integral of Ξ 4 [L c ] over a spacetime M 4 , where M 4 is the bosonic body of the curved superspace M 4|4 obtained by switching off the Grassmann variables. It turns out that the representation (2.25) provides the simplest way to reduce the action from superfields to components.

JHEP12(2017)005
Using the super-Weyl transformation law of the supervielbein This property also follows from the description of this superform given in appendix B of [42] where Ξ 4 [L c ] was formulated in N = 1 conformal superspace [43]. The super-Weyl invariance of Ξ 4 [L c ] will be important for our subsequent analysis.

Variant formulations of old minimal supergravity
As described in section 6.6 of [11], any off-shell formulation of N = 1 supergravity may be realised as a super-Weyl invariant coupling of conformal supergravity to a conformal compensator, with conformal supergravity being described as in section 2 above. Here we review the relevant realisations for the three versions of old minimal supergravity discussed in section 1.

Old minimal supergravity
In the case of the standard formulation, the conformal compensator is a primary chiral scalar superfield Φ of weight +1,Dα which is required to be nowhere vanishing such that Φ −1 exists. The locally supersymmetric and super-Weyl invariant action for supergravity is where κ is the gravitational coupling constant, and µ is a complex parameter related to the cosmological constant. The second term in the action is the supersymmetric cosmological term which was proposed in [44][45][46] and then recast in the superspace setting in [20]. The super-Weyl gauge freedom allows us to choose the condition Φ = 1. Then (3.2) turns into the supergravity action proposed in [1] for µ = 0 and then generalised to the µ = 0 case in [20].
The equation of motion for the chiral compensator is easy to read off from (3.2) It can be shown [11] that the equation of motion for the gravitational superfield can be written in the form

JHEP12(2017)005
The superfields R and G αα are super-Weyl invariant. Equation (3.4) is equivalent to eq. (6.6.10) in [11]. The latter states that the supercurrent of the chiral superfield Φ, whose dynamics is described by the action (3.2), vanishes on the mass shell.
In the super-Weyl gauge Φ = 1, the primary superfields R and G αα turn into the torsion superfields R and G αα , respectively.

Three-form supergravity
We now discuss three-form supergravity in some detail. First of all we review the super-Weyl invariant formulation of this theory given in [29]. The corresponding conformal compensator is a three-form multiplet coupled to conformal supergravity. It is described by a covariantly chiral scalar Π and its conjugateΠ, with Π defined by Π =∆PP = P , (3.5) where the scalar prepotential P is real but otherwise unconstrained. The compensator Π has to be nowhere vanishing so that Π −1 exists. We postulate P to be super-Weyl primary of weight (1, 1), which implies that Π is also primary, As is seen from (3.5), the prepotential P is defined modulo gauge transformations of the form with the gauge parameter L being a linear multiplet. 10 The action for three-form supergravity is obtained from (3.2) by replacing Φ with Π 1/3 . This leads to where m is a real parameter. By construction the action is invariant under gauge transformations (3.7). Making use of (3.5), the equation of motion for the compensator can be written as Unlike (3.2), the action (3.8) for three-form supergravity contains only one real parameter, m, which determines the corresponding supersymmetric cosmological term. However, on the mass shell R becomes a complex parameter, µ, as in (3.3). The real part of R is fixed by the equation (3.9), while its imaginary part is generated dynamically. The three-form multiplet has a geometric realisation in terms of a gauge super 3form [28] that extends the flat-superspace construction of [21]. Following [28], we consider the real super 3-form which is constructed in terms of the prepotential P . Its exterior derivative, R 4 := dR 3 , proves to involve P only via the gauge-invariant field strength Π =∆P . For the super Note that the real super 4-form R 4 is related to the imaginary part of the complex super 4-form Ξ 4 in eq. (2.23) with the chiral Lagrangian L c replaced with Π, that is The field strength R 4 [Π] is invariant under gauge transformations of the potential R 3 [P ] of the form where R 3 [L] is obtained from (3.11) by replacing P with a real linear superfield constrained as in (3.7). The super 3-form R 3 [L] coincides, modulo an overall numerical factor, with the field strength of the linear multiplet, see, e.g., [42,49]. The important property of R 3 [P ], which was not noticed in [28], is that this superform is super-Weyl invariant,

JHEP12(2017)005
The above superform realisation of the three-form multiplet may be given a more geometric setting, in the spirit of [21,28,49]. This multiplet can be described by a gauge super 3-form with the gauge parameter Λ 2 being an arbitrary super 2-form. In order to obtain an irreducible supermultiplet, the gauge invariant field strength H 4 = dB 3 must be subject to certain constraints such that their general solution is given by H 4 = R 4 [Π], eq. (3.12). Then the gauge freedom (3.16) may be used to choose B 3 in the form B 3 = R 3 [P ], eq. (3.11). In this gauge, the residual gauge invariance is described by (3.14).

Complex three-form supergravity
The super-Weyl invariant formulation for complex three-form supergravity was given in [30]. The conformal compensator for this theory is a complex three-form multiplet coupled to conformal supergravity. This multiplet is described in terms of a covariantly chiral scalar Υ and its conjugateῩ defined as follows: Here Σ is a covariantly complex linear scalar superfield constrained bȳ In general, if Σ is chosen to be super-Weyl primary, then its weight has to be (p − 2, 1), for some p, as a consequence of the condition that the constraint (3.18) be super-Weyl invariant [11].
Requiring the chiral scalar Υ =∆Σ to be super-Weyl primary as well, we have to choose p = 3, which means In order for Υ to be used as a conformal compensator, Υ −1 must exist. The general solution to the constraint (3.18) is known [11,18] to be Σ =DαΨα , (3.21) whereΨα is an unconstrained spinor superfield defined modulo gauge transformations which leave Σ invariant. The super-Weyl transformation of the prepotential can be chosen to be 23) and this transformation law implies (3.20). 11 11 More generally, if the super-Weyl transformation of Σ is given by (3.19), then the prepotentialΨα defined by (3.21) transforms as follows: δσΨα = [(p − 3)σ + 3 2σ ]Ψα, as shown in [11].

JHEP12(2017)005
The superfields Υ andῩ defined by (3.17) are invariant under gauge transformations of the form This may be recast as a gauge transformation of the prepotentialΨα defined by (3.21), The action for complex three-form supergravity is obtained from (3.2) by replacing Φ with Υ 1/3 , which leads to No contribution comes from the cosmological term in (3.2) since the replacement Φ 3 → Υ =∆Σ and the integration rule (2.18) give a total derivative. In other words, complex three-form supergravity possesses no supersymmetric cosmological term. This is similar to the new minimal formulation for N = 1 supergravity [50][51][52]. However, unlike new minimal supergravity, a negative cosmological constant is generated dynamically in the case of complex three-form supergravity. Indeed, the equation of motion for the prepotential Ψ α , which originates inΣ = D α Ψ α , is Its general solution is R = µ = const, where µ is an arbitrary complex constant. The complex three-form multiplet has a geometric superform realisation that extends the flat-superspace formulation of [18]. Let us consider the following complex super 3-form The field strength Ξ 4 [Υ] is invariant under gauge transformations of the potential C 3 [Σ] of the form where C 3 [L 1 + iL 2 ] is obtained from (3.28) by replacingΣ → L 1 + iL 2 , with the gauge parameters L i constrained as in (3.24).

JHEP12(2017)005
4 Supermembrane coupled to supergravity We are now in a position to formulate consistent dynamics of a supermembrane propagating in a three-form supergravity background. Our construction will be valid for both the real and complex three-form supergravity theories. We will draw heavily on the results of [24,26]. The action for a supermembrane propagating in a three-form supergravity background is proposed to be Here ξ i , with i = 1, 2, 3, are the coordinates of the world volume with metric γ ij , γ = det(γ ij ) = 1 6 ǫ ijk ǫ i ′ j ′ k ′ γ ii ′ γ jj ′ γ kk ′ , and the Levi-Civita symbol ǫ ijk is normalised as ǫ 123 = 1. As usual, γ ij denotes the inverse metric such that γ ik γ kj = δ i j . In (4.1) we have used the notation for the pull-back supervielbein. Our action (4.1) involves a composite dilaton ΦΦ, where Φ is a chiral primary superfield of weight +1 such that Φ −1 exists. The superfield Φ is assumed to be the compensator of one of the two three-form supergravity theories. In the case of three-form supergravity, we choose Φ to be Π 1/3 . The presence of Φ in (4.1) distinguishes our action from that considered in [26]. In the case of complex three-form supergravity, Φ = Υ 1/3 . The inclusion of the dilaton is necessary since we are working with the super-Weyl invariant formulation for supergravity. The super-Weyl freedom may be fixed by choosing the condition Φ = 1.
The Wess-Zumino term in (4.1) involves the components of a gauge super 3-form This superform is chosen as follows: (i) for three-form supergravity, B 3 = R 3 [P ], with R 3 [P ] defined by eq. (3.11); and (ii) in the case of complex three-form supergravity, given by (3.28). The latter super 3-form, B 3 [Σ,Σ], turns out to coincide with the superform R 3 [Σ +Σ], which is obtained from (3.11) by replacing P with (Σ +Σ). In both cases, the gauge-invariant field strength H 4 = dB 3 is such that where Ξ 4 is the superform in eq. (2.23) with L c replaced either with Φ 3 = Π or Φ 3 = Υ. Consistent supermembrane actions must possess a local fermionic κ-symmetry [24]. 12 This gauge symmetry ensures that half of the fermionic degrees of freedom can be gauged away and that spacetime and world-volume supersymmetry can be linked to each other. Let us now show that the action (4.1) is consistently κ-symmetric in arbitrary three-form supergravity backgrounds.

JHEP12(2017)005
Defining δ κ E A := δ κ z M E M A , we consider the fermionic gauge transformation δ κ E a = 0 , δ κ E α = Φ 1/2Φ−1 κ β +καΓα α , κ α ≡κα , (4.4a) where the gauge parameter κ α (ξ) is a two-component undotted SL(2, C) spinor, and a world-volume scalar. The variation δ κĒα is the complex conjugate of δ κ E α , while Γ αα and Γα α = −ε αβ εαβ Γ ββ are given by Following [24], we parametrise the variation of the membrane's metric as with X ij to be determined below. We now point out the relation where the Lorentz connection Ω BC A and the torsion tensor T BC A are given by eqs. (2.8) and (2.9a), respectively. In conjunction with integration by parts, this relation may be used to bring the variation of the action to the form: Here we have denoted T ij := ΦΦ E i a E j b η ab , and H ABCD represents the components of the closed super 4-form Since δ κ E a = 0, in accordance with eq. (4.4a), only dimension-0 and dimension-1/2 components of the torsion tensor appear in the κ-variation (4.7). In the case of the superspace geometry of section 2, no dimension-1/2 torsion is present, and the only dimension-0 torsion is The non-trivial components of the superform H 4 defined by (4.3), which appear in the variation of the Wess-Zumino term in eq. (4.1), are H abγδ = −4(σ ab ) γδΦ 3 , H abcδ = 1 2 ε abcd (σ d ) δδDδΦ 3 , (4.10)