On the supersymmetry invariance of flat supergravity with boundary

The supersymmetry invariance of flat supergravity (i.e., supergravity in the absence of any internal scale in the Lagrangian) in four dimensions on a manifold with non-trivial boundary is explored. Using a geometric approach we find that the supersymmetry invariance of the Lagrangian requires to add appropriate boundary terms. This is achieved by considering additional gauge fields to the boundary without modifying the bulk Lagrangian. We also construct an enlarged supergravity model from which, in the vanishing cosmological constant limit, flat supergravity with a non-trivial boundary emerges properly.


Introduction
The presence of a boundary in (super)gravity theories has been of particular interest in the last 40 years [1][2][3][4]. The addition of boundary terms plays an important role in the so-called AdS/CFT duality [5][6][7][8][9][10][11]. Such duality between a quantum field theory living on the boundary and a string theory on asymptotically AdS spacetime implies in the supergravity limit a one to one correspondence between fields of the bulk supergravity theory and quantum operators in the boundary CFT. This requires to consider proper boundary conditions for the supergravity fields which act as sources for the operators of the CFT. Interestingly, the divergences of the bulk metric can be cancelled by adding appropriate counterterms at the boundary (holographic renormalization) [12][13][14][15][16][17].
Recently, the authors of [27] have shown that the supersymmetry invariance of N = 1 and N = 2 four-dimensional supergravity with cosmological constant requires the presence of topological terms. Such result can be seen as the supersymmetric extension of those obtained in AdS gravity in which the addition of the topological Gauss-Bonnet term allows to regularize the action [34][35][36][37][38]. Subsequently, in [29,33], using the same geometric approach used in [27], it was shown that the supersymmetric extension of a Gauss-Bonnet like gravity is required to restore the supersymmetry invariance of enlarged supergravities in the presence of a non-trivial boundary. 1 Interestingly, the full supergravity actions obtained in [27,29,33] can be rewritten in terms of the super curvatures a la MacDowell-Mansouri [39].
Boundary conditions imposed at a finite value of the radial coordinate have been studied in D = 4 supergravity with zero cosmological constant in [20,22,23]. However, the limit case of vanishing cosmological constant in the presence of a non-trivial boundary remains poorly explored. In particular, the flat supergravity Lagrangian is not supersymmetric when a non-trivial boundary is considered and, on the other hand, a flat limit cannot be naively applied to the MacDowell-Mansouri Lagrangian since it reduces only to boundary terms: L = ǫ abcd R ab R cd + Dψγ 5 Dψ . (1.1) This can be directly seen from the super curvatures R ab and Dψ of the Poincaré superalgebra which do not allow the presence of the Einstein-Hilbert (EH) neither the Rarita Schwinger (RS) terms in the Lagrangian. This inconvenient appears only in presence of a boundary since the bulk flat Lagrangian can be recovered directly from the bulk OSp (4|1) supergravity as a vanishing cosmological constant limit.
In this paper, we restore the supersymmetry invariance of the four-dimensional flat supergravity in presence of a non-trivial boundary. To this purpose, we introduce appropriate boundary terms to the Lagrangian such that the full supersymmetry in the bulk and boundary is recovered. This is achieved by adding new bosonic and fermionic gauge fields to the boundary in addition to the usual spin-connection, vielbein and gravitino. Interestingly, we find that the boundary values of the super curvatures are fixed by the field equations of the full Lagrangian. In particular, the full Lagrangian obtained can be rewritten in terms of super curvatures of a particular superalgebra known as Maxwell superalgebra [40]. We also present a proper vanishing cosmological constant limit from an enlarged supergravity theory with a non-trivial boundary. Such enlarged supergravity Lagrangian can be rewrittenà la MacDowell-Mansouri for a deformation of the osp (4|1) superalgebra which corresponds to a new supersymmetric extension of the AdS-Lorentz algebra [41,42].
The paper is organized as follows: In Section 2, we present a brief review of the geometric approach we will adopt for the formulation of supergravity in superspace. The supersymmetry invariance of a supergravity Lagrangian in the presence of a non-trivial boundary is explicitly discussed within this framework. Section 3 and 4 contain our main results. In particular, in Section 3 we explore the supersymmetry invariance of flat supergravity in presence of a non-trivial boundary, while in Section 4 we construct an enlarged supergravity Lagrangian with a generalized cosmological constant term using the geometric approach. We show that the flat limit can be appropriately applied in presence of a boundary. We conclude our work with some comments and possible future developments.

Geometric approach and supersymmetry invariance in presence of a boundary
An interesting and powerful approach for constructing supergravity theories is the geometric or rheonomic approach [43]. The principal demand of any supergravity theory is the invariance of the action under supersymmetry transformations. In the rheonomic approach, a supergravity theory is given in terms of 1-form superfields defined on superspace (whose basis is given by the supervielbein), and the supersymmetry transformations on spacetime correspond to diffeomorphisms in the fermionic directions of superspace. Thus, the principle of rheonomy makes the extension from spacetime to superspace uniquely defined and consequently allows for a geometric interpretation of the supersymmetry rules.
In this framework, the supersymmetry invariance of the Lagrangian is expressed by the vanishing of the Lie derivative of the Lagrangian for infinitesimal diffeomorphisms in the fermionic directions, that is to say From condition 2.1 it is direct to see that when a supergravity Lagrangian is considered on spacetimes without boundary, it implies that ı ǫ L| ∂M = 0. Then, in the absence of a (non-trivial) boundary, ı ǫ dL = 0 results to be a sufficient condition for supersymmetry invariance. Nevertheless, when the background spacetime has a non-trivial boundary, the condition ı ǫ L| ∂M = 0 becomes non-trivial. Thus, in order to verify the invariance of the Lagrangian in presence of a non-trivial boundary, it is necessary to check it explicitly (see [27] for further details).
As it is well explained in [43], in the rheonomic approach the 1-forms fields µ A are extended from spacetime to superspace, such that the mapping µ A (x) → µ A (x, θ) is defined. Then, since the superspace equations of motion are given in terms of the superspace curvatures, they can be analyzed by expanding the curvatures along a complete basis of 2-forms in superspace, such that Expanding the curvatures R A in superspace along the supervielbein basis {V a , ψ}, we get The rheonomy principle requires the outer components of the curvature 2-forms in superspace to be expressed in terms of the inner (or purely spacetime) components R A ab . 2 Furthermore, if we also assume Lorentz gauge invariance of the rheonomic parametrization for the curvature 2-forms and homogeneous scaling of all the terms involved, then the form of the superspace curvatures is completely determined, except for some constant coefficients which are fixed by the Bianchi identities. Along this work, we will see how the rheonomic approach is applied in order to restore the full supersymmetry of flat supergravity.

Flat supergravity in presence of a non-trivial boundary
It is well known that the four-dimensional flat supergravity Lagrangian is simply given by the EH and RS terms, without involving a cosmological constant term. Here R ab = dω ab +ω ac ω b c denotes the Lorentz super curvature 2-form and ρ = Dψ is the Lorentz covariant derivative of the gravitino. In particular, a, b, · · · = 0, 1, 2, 3 are Lorentz indices and ǫ abcd is the four-dimensional Levi-Civita tensor. Note that the supergravity Lagrangian scales with ω 2 , being ω 2 the scale-weight of the EH term. In fact, [ω ab ] = ω 0 , [V a ] = ω 1 and [ψ] = ω 1/2 . Such Lagrangian is on-shell invariant in the bulk under supersymmetry of the super-Poincaré group providing the vanishing of the supertorsion R a = 0. Then, in the rheonomic approach, we have that ı ǫ (dL bulk ) = 0 is satisfied. Nevertheless, the supersymmetry invariance of the Lagrangian is not guaranteed when a boundary is present. In particular, in presence of a non-trivial boundary, the condition is not necessarily satisfied and requires to be revised in order to restore supersymmetry invariance of the theory. To this purpose, we have to modify the bulk Lagrangian by adding terms that do not modify the dynamics but affect only the boundary. Thus, we have to consider boundary topological terms. A good candidate for being considered as a boundary contribution should first scale homogeneously. In particular, each term must have the same scale-weight as the EH term. However, the only boundary terms that can be constructed using the spin-connection ω ab , the vielbein V a and the gravitino ψ are which scale with ω 0 and ω, respectively. One could add arbitrary constants with appropriate scaleweight but this would imply the presence of a cosmological constant term in the bulk and would reproduce a sum of quadratic terms in the osp (4|1) covariant super field-strengths [27]. An alternative approach is to add new gauge fields with upper scale-weight than the present ones. The minimal content that can be added consists of a bosonic and a fermionic gauge field. In particular, we propose a new antisymmetric bosonic gauge field A ab = −A ba with scale-weight ω 2 and an additional fermionic gauge field χ with scale-weight ω 3/2 . Naturally, one could consider additional bosonic gauge fields with scale-weight ω and ω 2 but, as we shall see, this will not be necessary to recover the supersymmetry invariance in the boundary.
The only boundary contributions constructed by using ω ab , V a , A ab , ψ, χ that are compatible with parity, Lorentz invariance and that do not involve a scaling parameter are given by the following topological terms: where we have defined σ ≡ Dχ and F ab ≡ DA ab as the respective covariant derivatives of the new gauge fields. Thus, the boundary Lagrangian reads where α and β are constant parameters. Note that the boundary Lagrangian has scale-weight ω 2 as the bulk Lagrangian. Then, we have the following full Lagrangian: The supersymmetry invariance of the full Lagrangian requires Naturally, the boundary terms (3.5) that we have introduced do not affect the bulk and the supersymmetry invariance in the bulk is still satisfied such that ı ǫ dL full = 0. Then, the supersymmetry invariance of the full Lagrangian L full requires to verify the condition ı ǫ (L full ) | ∂M = 0. In particular, we have In general, ı ǫ L full is not zero; however, its projection on the boundary should be zero. One can see that the field equations acquire non-trivial boundary contributions coming not only from the boundary Lagrangian but also from the bulk Lagrangian (from the total differentials originating from partial integration), which implies the following constraints on the boundary: (3.10) Upon use of (3.10) we find that Thus the supersymmetry invariance of the full Lagrangian is restored in the presence of a non-trivial boundary. The full Lagrangian can be then written in terms of (3.10)à la MacDowell-Mansouri [39] for α = 4 and β = 1 2 , where we have defined It is important to point out that the supersymmetry invariance of the flat supergravity Lagrangian on the boundary can be restored by adding new gauge fields enlarging the Poincaré symmetry. In particular, this can be done for arbitrary values of α and β. Nevertheless, the full Lagrangianà la MacDowell-Mansouri appears for specific values of the constants α and β (α = 4 and β = 1 2 ). One could think that a dynamical Lagrangian can be recovered from the original MacDowell-Mansouri Lagrangian constructed from the OSp (4|1) covariant super curvatures. Although the bulk Lagrangians can be related through a flat limit, the vanishing cosmological constant limit cannot be naively applied in presence of a non-trivial boundary. Indeed, in the flat limit, the only term that remains is a boundary topological term and corresponds to a Gauss-Bonnet term. This is mainly due to the presence of the ℓ parameter (length scale) in every term of the bulk Lagrangian of the OSp (4|1) supergroup. Thus, in order to obtain the pure supergravity action without cosmological constant term using the MacDowell-Mansouri formalism, it is necessary to enlarge the symmetry. This enlargement, as we have shown, does not modify the bulk Lagrangian but affects only the boundary allowing to restore the supersymmetry invariance.
Let us observe that, interestingly, for α = 4 and β = 1 2 we also find out that the curvatures (3.10) reproduce the minimal Maxwell covariant super curvatures [40,44], namely (3.13), (3.14), and which satisfy the Bianchi identities In particular, the super-Maxwell curvatures vanish at the boundary: Then, the full MacDowell-Mansouri like Lagrangian (3.12) can be rewritten as in terms of the Maxwell super curvatures (3.13), (3.14), and (3.15). Let us observe that the full Lagrangian obtained here cannot be directly obtained as a flat limit of the OSp (4|1) one [27] due to the presence of new gauge fields. Nevertheless, one could apply our approach to the supergravity Lagrangian in presence of the cosmological constant (and thus of a length scale ℓ) by adding the extra gauge fields not only to the boundary Lagrangian but also to the bulk Lagrangian, such that the flat limit ℓ → ∞ reproduces the full Lagrangian (3.12) obtained here.
Before studying the supersymmetry invariance of a supergravity theory with a generalized cosmological constant in the presence of a non-trivial boundary, let us provide the rheonomic parametrization of the Maxwell super curvatures and the supersymmetry transformation laws.

Maxwell supersymmetry
The minimal Maxwell superalgebra has been introduced in [40] in order to describe a generalized four-dimensional superspace in the presence of a constant abelian supersymmetric field-strength background. Such superalgebra has the particularity to extend the Maxwell symmetry {J ab , P a , Z ab } by adding two spinorial generators {Q α , Σ α }. In particular, the generators satisfy the following non-vanishing (anti)commutation relations: Concerning the purely bosonic level, the Maxwell algebra has been introduced in [45,46]. Such symmetry and its generalizations have been recently useful to recover General Relativity from Chern-Simons (CS) and Born-Infeld (BI) gravity formalisms [47][48][49][50][51]. More recently, there has been a new interest in exploring the three-dimensional Maxwell CS gravity [52][53][54][55][56]. At the supersymmetric level, the super-Maxwell family also appears in three spacetime dimensions allowing to reproduce CS supergravity models [57][58][59]. Further generalizations of the minimal Maxwell superalgebra can be found in [60][61][62][63][64][65] with diverse applications.
In the geometric approach, the most general ansatz for the super-Maxwell curvatures in the supervielbein basis {V a , ψ} of superspace is given by being the λ i 's (i = 1, 2, . . . , 5) constant parameters. Considering the on-shell condition R a = 0 and studying the various sectors of the on-shell Bianchi identities (3.16) in superspace, one can show that the full set of super curvatures are parameterized as follows: Such parametrization allows us to obtain explicitly the supersymmetry transformation laws. In particular, in the rheonomic approach, a 1-form superfield transformation on spacetime takes the form where ǫ A are the gauge parameters and R A are the parameterized super curvatures. Then, restricting us to supersymmetry transformation and considering the parametrization (3.21) of the super-Maxwell curvatures, we find the following supersymmetry transformation laws: where we have set λ 5 = − 1 2 .

Supergravity with generalized cosmological constant in presence of a non-trivial boundary
The presence of additional bosonic generators has been recently related to a generalization of the cosmological constant [29,44,66,67]. Nevertheless, as we have previously seen in Section 3, the introduction of additional gauge fields does not necessary imply the presence of a cosmological constant term in a (super)gravity action. In order to include a cosmological constant contribution to our supergravity model, it is necessary to switch on an explicit scale. In particular, we can write the following super curvatures: 3 R ab ≡ dω ab + ω a c ω cb + 1 2ℓψ γ ab ψ , being, as usual, D = d+ω the Lorentz covariant derivative. The next step is the explicit construction of the bulk Lagrangian.

Rheonomic construction of the bulk Lagrangian
The most general ansatz for the geometric bulk Lagrangian can be written as where the upper index (p) denotes the degree of the related p-forms. Here, the R A 's are the super curvatures defined by eq. (4.1), which are invariant under the following rescaling: In particular, the Lagrangian scales with ω 2 , being ω 2 the scale-weight of the EH term. On the other hand, since we are interested in the construction of the bulk Lagrangian, we can set R A R B µ (0) AB = 0, since terms of this type correspond to boundary contributions. Then, considering the explicit form of the super curvatures (4.1) and applying the parity conservation law, we are left with the following Lagrangian: where we have set the coefficient of the first term in (4.4) to 1. The α i 's constants are dimensionless parameters which can be determined from the equations of motion. Indeed, considering the variation of the Lagrangian with respect to the gauge fields we obtain the following field equations: where we have set Let us observe that the equations of motion (4.5) are a generalization of the OSp(4|1) ones. In particular, the first equation corresponds to the vanishing of the generalized supertorsion R a . With these particular values of the constants, the equations of motion of the Lagrangian admit an AdS vacuum solution with a generalized cosmological constant.
Thus, the bulk Lagrangian can be rewritten in terms of Lorentz-type curvatures as follows: Let us note that the presence of the length parameter ℓ in the super curvatures allows to introduce, in an alternative way, a generalized supersymmetric cosmological constant term in the Lagrangian. Such Lagrangian can be seen as a deformation of the usual supergravity Lagrangian for the osp(4|1) superalgebra. Interestingly, as for the case of the osp(4|1) supergravity, the vanishing cosmological constant limit ℓ → ∞ leads to the flat supergravity Lagrangian. However, as we have discussed in Section 3, the supersymmetry invariance of flat supergravity on a manifold with boundary is recovered by adding non-trivial boundary (topological) terms. Then, it seems that the flat limit in presence of a boundary requires to consider a deformation of the full Lagrangian for the osp(4|1) superalgebra. Thus, the bulk Lagrangian (4.7) obtained here seems a good candidate to consider in presence of a boundary. Before studying the explicit boundary contributions required to assure supersymmetry invariance we shall provide the supersymmetry transformation laws under which the bulk Lagrangian (4.7) is invariant. The supersymmetry transformations can be obtained from the rheonomic parametrization of the super curvatures which are determined from the study of the Bianchi identities of the Lorentz-type curvatures (4.8). In particular, the super curvatures (4.8) fulfill the following Bianchi identities: Notice that the supercurvatures above are defined in a superspace larger than the ordinary one. In the following, we will ask the curvatures parametrization to be well defined in ordinary superspace by exploiting the rheonomic approach. One can show that the Bianchi identities (4.9) are satisfied by parameterizing (on-shell) the supercurvatures in the following way: and where we have set R a = 0 (on-shell condition). Such parametrization of the super curvatures in ordinary superspace provides us with the supersymmetry transformation laws for the 1-form gauge fields, which read as follows: It is important to point out that the spacetime Lagrangian (4.7) is invariant up to boundary terms under the supersymmetry transformations (4.12) of the gauge fields on spacetime. If the spacetime background has a non-trivial boundary, we have to check explicitly the supersymmetry invariance.

Supersymmetry invariance in presence of a boundary
Let us now consider the supergravity theory previously introduced in presence of a non-trivial spacetime boundary, and let us study the supersymmetry invariance of it. In particular, we shall see that appropriate boundary terms are required in order to restore the supersymmetry invariance of the full Lagrangian given by the bulk Lagrangian (4.7) plus boundary contributions. Although the supersymmetry invariance in the bulk is satisfied on-shell, the invariance of the Lagrangian when a boundary is present, is not trivially satisfied: (4.13) Then, for recovering the supersymmetry invariance of the theory, it is necessary to modify the bulk Lagrangian by adding suitable boundary terms. The only possible boundary contributions compatible with parity and Lorentz invariance are given by The boundary terms (4.14) allow us to write the following boundary Lagrangian: where λ, π, µ, ν are constant parameters. In order to have a consistently defined limit ℓ → ∞ (flat limit) at the level of the full Lagrangian, one should drop out the terms involving positive powers of ℓ. From the Lagrangian (4.15) we see that all terms have scale-weight ω 2 except those proportional to λ and π. Thus, in order to have an appropriately scaled boundary Lagrangian one should define new (dimensionless) constants, λ ′ and π ′ , such that λ = ℓ 2 λ ′ and π = ℓπ ′ , which implies positive powers of ℓ. Then, the terms proportional to λ and π must be dropped out.
In this way, we are left with Thus, let us consider the following full Lagrangian: Now we have to verify the supersymmetry invariance of the full Lagrangian. Clearly, ı ǫ dL full = 0, since the boundary terms are total derivatives. Then, considering the condition we have just to verify that ı ǫ (L full )| ∂M = 0 is satisfied on the boundary. Considering (4.17), we have ı ǫ (L full ) = ǫ abcd ı ǫ R ab + 1 ℓ 2 F ab V c V d + 4ǭV a γ a γ 5 ρ + 4ψV a γ a γ 5 ı ǫ (ρ) Then, one can prove that δL full δµ A ∂M = 0 leads to the following constraints on the boundary: (4.20) Then, upon use of (4.20) we get This condition can be written as One can see that setting h = 0, we obtain Remarkably, with these values for µ and ν, the full Lagrangian (4.17) can be writtenà la MacDowell-Mansouri as L full = R ab F cd ǫ abcd + 1 2ℓ 2 F ab F cd ǫ abcd + 8Ωγ 5 ρ + 4 ℓΩ γ 5 Ω , (4.24) written exactly in terms of the curvatures (4.1).
We have thus shown that the supersymmetric boundary terms given in (4.15) allow to recover the supersymmetry invariance of our supergravity model in the presence of a non-trivial boundary. One can notice, using (4.20), that the super curvatures (4.1) vanish at the boundary.
The flat limit ℓ → ∞ is now well defined in the MacDowell-Mansouri formalism. Indeed, unlike the case of the full Lagrangian obtained for osp (4|1) supergravity in the presence of a non-trivial boundary [27], the vanishing cosmological constant limit of the full Lagrangian (4.24) reproduces appropriately the flat supergravity model with boundary that we have considered initially. In particular, in this case not only the bulk Lagrangians are well related through the flat limit but also the boundary contributions. Furthermore, one can see that the super-Maxwell curvatures (3.13), (3.14), and (3.15) are recovered as a flat limit of the super curvatures (4.1). It is then natural to expect that the minimal Maxwell superalgebra (3.19) appears as a flat limit of a deformation of the osp (4|1) superalgebra.

AdS-Lorentz supersymmetry
The (anti)commutation relations of the superalgebra related to the super curvatures (4.1) are given by with a = 0, 1, 2, 3, α = 1, 2, 3, 4, and where the generators J ab , P a , Z ab , Q and Σ are respectively dual to the 1-form fields ω ab , V a , A ab , ψ, and χ. Interestingly, the present superalgebra corresponds to an alternative supersymmetric extension of the AdS-Lorentz symmetry (given by eq. (4.25)). Such bosonic algebra, also known as a semisimple extension of the Poincaré symmetry, was first presented in [41,42]. Then, it was generalized to a family of C k algebras [68,69] which have been useful to recover diverse (pure) Lovelock theories from CS and BI gravity theories [70][71][72].
Although it contains two spinorial charges as the minimal AdS-Lorentz superalgebras introduced in [44], the superalgebra given by eqs. (4.25) and (4.26) does not require additional bosonic generators with respect to the ones of the AdS-Lorentz algebra in order to satisfy the Jacobi identities. The closure of this superalgebra is guaranteed by the explicit form of the anticommutators in (4.26). Indeed, any subtle deformation of the aforementioned anticommutators requires to introduce additional bosonic generators as in [33,44,73]. On the other hand, it is important to signalize that the supersymmetrization of the AdS-Lorentz algebra is not unique. In particular, a super AdS-Lorentz symmetry with one spinor charge has also been considered in [41,74,75].
Note that in the limit ℓ → ∞ the above superalgebra gives exactly the super-Maxwell algebra (3.19), without any auxiliary generator.
As a final remark, it is important to point out that in [29] a supergravity model in presence of a non-trivial boundary for the AdS-Lorentz superalgebra with one spinor charge has been presented. Nevertheless, such construction does not allow for a proper flat limit. In particular, although it is possible to recover a non-standard Maxwell superalgebra from the super AdS-Lorentz one considered in [29], the exotic anticommutation relation of the non-standard Maxwell does not allow a proper construction of a supergravity action. Such problematic comes from the fact that the four-momentum generators no longer appear as a result of the anticommutator of the fermionic generators. It seems that, as we have shown here, the only possibility to have a well defined vanishing cosmological constant limit for the AdS-Lorentz supergravity is to consider an additional fermionic charge. Remarkably, such flat limit allows to recover the usual flat supergravity with non-trivial boundary contributions.

Discussion
In this paper, we have studied the supersymmetry invariance of flat supergravity in presence of a non-trivial boundary. We have shown that supersymmetry invariance is achieved by adding proper topological terms in which additional gauge fields are considered. We have found that the full Lagrangian can be rewrittenà la MacDowell-Mansouri in terms of Maxwell super curvatures. Interestingly, the bulk Lagrangian corresponds to the usual flat supergravity Lagrangian. Although the extra fields only appear in the boundary contributions, they are essential to recover supersymmetry invariance of the full Lagrangian. Furthermore, as the topological term in pure gravity allows to regularize the action, one could argue that the presence of the new gauge fields in the boundary would allow to regularize the supergravity action in the holographic renormalization language.
We have also explored the possibility of introducing a well-defined vanishing cosmological constant limit in a supergravity model in order to recover the Lagrangian obtained in the case of flat spacetime with a non-trivial boundary. As we have discussed, flat supergravity with boundary cannot be naively obtained from osp(4|1) supergravity with boundary (MacDowell-Mansouri action). Indeed, this require to consider an enlarged supergravity with a generalized cosmological constant which has been obtained using the rheonomic approach. We have shown that, as in the flat case, supersymmetry invariance requires to add appropriate topological terms. The full supergravity obtained within this procedure can be rewritten in terms of the super curvatures of a particular AdS-Lorentz superalgebra. Remarkably, the flat limit of the full Lagrangian properly reproduces flat supergravity on a manifold with boundary.
It is important to observe that, as in [27,29,33], the full supergravity Lagrangian can be rewritteǹ a la MacDowell-Mansouri. This would suggest, as it was pointed out in the bosonic case [76,77], a superconformal structure which is an interesting additional motivation to our study. On the other hand, our particular approach in which we consider additional gauge fields in the boundary could be useful in order to explore the supersymmetry invariance of supergravities with boundary coupled to matter or in higher dimensions. Indeed, it would be interesting to explore the boundary contributions required to recover supersymmetry invariance of a general matter coupled N = 2 supergravity in four dimensions [78,79]. Naturally, one could consider first a supergravity theory coupled to scalar field. The extension of our results to N = 2 is more subtle and will be studied in a future work. Finally, in view of the recent results presented in [65,80,81], it would be compelling to analyze the role of the additional gauge fields that we have introduced in the boundary in the context of the hidden gauge structure underlying supergravity theories in various dimensions.