Equivalent Dual Theories for 3D N=2 Supergravity
Nabamita Banerjee, Saurish Khandelwal, Parita Shah

TL;DR
This paper demonstrates that 3D N=2 supergravity with R-symmetry can be equivalently described by a flat limit of a generalized Liouville theory or a gauged chiral WZW model, sharing the same symmetries.
Contribution
It establishes an equivalence between two different reduced phase space descriptions of 3D N=2 supergravity, revealing their common gauge and quantum super-BMS$_3$ symmetries.
Findings
Both descriptions have identical gauge symmetries.
Both descriptions share the same quantum super-BMS$_3$ symmetry.
The reduced phase space is a flat limit of a generalized Liouville theory.
Abstract
N=2 three dimensional Supergravity with internal symmetry generators can be understood as a two dimensional chiral Wess-Zumino-Witten model. In this paper, we present the reduced phase space description of the theory, which turns out to be flat limit of a generalised Liouville theory, up to zero modes. The reduced phase space description can also be explained as a gauged chiral Wess-Zumino-Witten model. We show that both these descriptions possess identical gauge and global (quantum N=2 superBMS) symmetries.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
**Equivalent Dual Theories for 3D =2 Supergravity **
Nabamita [email protected] (on lien from IISER Pune), Saurish [email protected], Parita [email protected],
a *Indian Institute of Science Education and Research Bhopal
Bhopal Bypass, Bhauri, Bhopal 462066, India
**Abstract ***
=2 three dimensional Supergravity with internal symmetry generators can be understood as a two dimensional chiral Wess-Zumino-Witten model. In this paper, we present the reduced phase space description of the theory, which turns out to be flat limit of a generalised Liouville theory, up to zero modes. The reduced phase space description can also be explained as a gauged chiral Wess-Zumino-Witten model. We show that both these descriptions possess identical gauge and global (quantum =2 superBMS3) symmetries.
Contents
1 Introduction and Summary
There is a connection between dimensional diffieomorphism invariant theories and dimensional field theories. Details of this duality strongly depends on the precise form of boundary conditions on various fields. One of the simplest contexts where this has been studied is dimensional gravity theories. It is a well known fact that three dimensional gravity can be described by a two dimensional field theory. 3D gravity solutions with non-trivial topology correspond to stress-energy tensors of a dual two dimensional theory. This duality is best understood in the Chern-Simons formulation of 3D gravity [1, 2]. The reduced dual theory in this case is in general a (chiral) Wess-Zumino-Witten (WZW) model[3], defined on a closed spatial section and is obtained by solving part of the constraints in the Chern-Simons theory[4, 5, 6]. Such reductions have been mostly performed for asymptotically AdS 3D gravity [7, 8, 9, 10, 11, 12, 13, 14, 15], where the dual D theory is a conformal field theory with infinite dimensional symmetry. In this paper, we are interested in the dual of asymptotically flat 3D (super)gravity. In particular, ordinary asymptotically flat 3D gravity can be understood as a Chern-Simons gauge theory with flat boundary condition at null infinity where the Chern-Simons level is identified with Newton’s constant. Here the spatial section is a plane and the choice of boundary conditions is crucial in determining the dual theory. Reduction of Chern-Simons to WZW model was first studied in [16]. An alternate route has been taken in [17] where the dual WZW model has been constructed for flat ordinary 3D gravity444Higher spin and Supersymmetric generalisations were performed in [18, 19, 20, 21, 22, 23, 24, 25].. In [17], other than gauge algebra, the boundary conditions suitable for flat asymptotics (at null infinity) have been applied for the gauge field. As a result, the dual chiral WZW model, when is gauged, shows invariance under infinite dimensional quantum BMS3 algebra which is the asymptotic symmetry of flat 3D gravity. The analysis was further extended for minimal Supergravity theory in [26], higher spin gravity [27] and recently for case, with(out) internal symmetry in [28].
In [17, 26], it was further shown that for pure and 3D supergravity theory, the asymptotic boundary conditions lead to a reduced phase space description as a flat limit of (super)Liouville theory at null infinity (up to zero modes). In view of CS-WZW duality, we can understand this result as due to the fact that the asymptotic conditions are strong enough to enforce the Hamiltonian reduction from SL(2,R)-WZW to Liouville theory [29, 30, 31]. Another way of looking at it would be to recall that the dual chiral WZW model shows further gauge invariance. It was described in [32, 33, 34, 35, 36] that particular sub-sectors of symmetry can be gauged without introducing any anomaly to the system. The gauged chiral WZW model then can be shown to be equivalent to the flat Liouville description. The gauging is identical to imposing first class constraints to WZW model, that arises due to the asymptotic boundary condition.
The current paper should be considered as a follow up of our recent work [28], where we have constructed the dual chiral WZW model for 3D supergravity with internal symmetry. Here we present the reduced phase space description of the theory and study its properties. The reduced phase space turns out to be a flat limit of a generalised superLiouville type theory and is identical to the dual chiral WZW model constructed in [28], when appropriately gauged. Finally, We present the gauge invariance of the reduced system, which is same as the residual gauge invariance of the gauged chiral WZW model.
The paper it is organised as follows: in section 2 we briefly present the 3D supergravity with internal symmetry and its asymptotic boundary condition at null infinity that reproduces the infinite dimensional quantum BMS3 symmetry. In section 3, we write down the equivalent chiral WZW model that describes the dynamics of the theory and present its symmetries with minimal required details. Then we present the gauged version of the theory. Section 4 contains the main result of this paper, where we present the phase space description of the dual theory and show its equivalence with the gauged chiral WZW model. Section 5 points an interesting outlook of this work. Our conventions and some computational details have been presented in the appendices.
2 -dimensional Supergravity and its asymptotic symmetry
There are two different versions of SuperPoincaré algebras known in the literature [37]. One of it, commonly known as , contains two supercharges but no internal symmetry. The other one,known as SuperPoincaré algebra, is more interesting as it allows the two supercharges to transforms under an internal symmetry. The algebra can be presented as,
[TABLE]
Here are the Poincare generators and ,two distinct two component spinors, are the two fermionic generators of the algebra. These fermionic generators transform under a spinor representation of an internal R-symmetry generator . The above algebra has non-degenerate invariant bilinear only in presence of a central term [37]. Our conventions are presented in A. In this paper, we shall work with a 3D supergravity theory invariant under the above symmetry. In the CS formulation, 3D (super)gravity theory can be represented as,
[TABLE]
Here the gauge field is regarded as a Lie-algebra-valued one form and represents metric in the field space that one obtains by construing a non-degenerate invariant bilinear form on the Lie algebra space. is level for the theory and we express where are a particular basis of the Lie-algebra. The equation of motion is given as,
[TABLE]
For our purpose, the gauge group is SuperPoincaré groups. The 3-manifold will be a one with a boundary and we shall identify the level with Newton’s constant as . The basis elements are . Using the supertrace elements we get the corresponding supergravity action as,
[TABLE]
where , for some constant and is the Majorana conjugate gravitino. The supergravity theory of [23, 24] is recovered in limit. The curvature two form , Lorentz Chern-Simons three form and the covariant derivative of the gravitino of (2.4) can respectively be defined as,
[TABLE]
Since CS theory is a gauge theory, the equation of motion (2.3) implies that locally the solutions of a CS field are pure gauge where is a local group element. Defining , and and the onshell configuration for various fields of (2.4) can be written as
[TABLE]
Here is an arbitrary group element of unit determinant and are generator of . are scalars, are Grassmann-valued spinors and is a traceless matrix. All these are local functions of three space time coordinates . Since we are dealing with a gauge theory, we further choose a (radial) gauge condition and hence the group element splits as . Thus the gauge fields have following form,
[TABLE]
We further choose that asymptotically and hence at the boundary. Advantage of this gauge choice is that the dependence in the radial coordinate is completely absorbed by the group element . Hence the boundary can be assumed to be uniquely located at any arbitrary fixed value of , in particular to infinity. Thus the boundary describes a two-dimensional timelike surface with the topology of a cylinder . The radial gauge condition makes the above solutions of various field parameters decomposed as,
[TABLE]
where Thus even onshell, the system contains arbitrary local functions of time (and ) as residual degrees of freedom of the gauge system.
In [23] for supergravity, the asymptotic fall of condition on the independent part of the gauge field was given as,
[TABLE]
Here are functions of only. These are the residual degree of freedoms that correspondence to as introduced above in (2). We do not consider the holonomy terms and hence the resulting action principle at the boundary only captures the asymptotic symmetries of the original gravitational theory.
3 SuperPoincaré Wess-Zumino-Witten model and its Symmetries
In this section, we shall write down the dual WZW model that describes the dynamics of the above theory (2.4). For this purpose, notice that the asymptotic gauge field (2.8) is highly constrained. Firstly its and components are related as,
[TABLE]
The component of the gauge field (2.8) is further constrained as,
[TABLE]
As the gauge field does not vanish at the boundary, for a well defined variational principle, we need to the surface term to the action. At the boundary the surface term looks like:
[TABLE]
where total derivative has been set to zero as is a compact direction. Using the field parameters as defined in (2.4), the supertrace elements of the algebra and the configuration (2), the total onshell action can be expressed as:
[TABLE]
One can convince himself that the above action describes a chiral WZW model with gauge group . We refer the readers to [28] for the details computations required to arrive at the above result. The system shows gauge invariance under following (infinitesimal)gauge transformation
[TABLE]
where the transformation parameter
[TABLE]
is a function of and other fields do not transform.
3.1 Global Symmetries of The Chiral WZW Model
The WZW model of (3) is invariant under a set of global symmetries. As shown in [28], various fields change in a coordinate dependent transformation under these symmetries as,
[TABLE]
In each of the above expressions, the fields that are not written remain unchanged under that corresponding symmetry transformation. Symmetries are generated by scalar parameters , matrix valued parameters and spinor parameters . These parameters are independent of and thus they represent Global symmetry transformations.
The conserved currents corresponding to the above symmetries have also been constructed in [28]. Below we present those currents,
[TABLE]
where and are infinitesimal matrices which can be further expanded in the basis of matrices as and . Other parameters have also been considered as infinitesimal. It can be checked that the above currents satisfy the following current algebra,
[TABLE]
Next, we notice that constraints of (3.10) further implies that the canonical current generators are constrained as,
[TABLE]
The above relations can be expressed as constraints on various fields of the WZW model (3). Thus we see that when the asymptotic boundary condition of (2.8) is explored to its full capacity, the theory gets more constrained. The first four of (3.1) are first class constraints and they will produce a gauge invariance for the system. To understand the proper symmetry structure of the theory, we shall need gauge invariant canonical symmetry generators. Hence we implement a modified Sugawara construction to define these gauge invariant currents as,
[TABLE]
where we have defined
[TABLE]
It is easy to see that the above conserved charges close to following generalised quantum superBMS3 algebra on the constrained surface as,
[TABLE]
Let us next gauge the symmetries introduced in the beginning of subsection 3.1 in (3.1). As we have already mentioned, there are four first class constraints as noted in (3.1) and they will produce four gauge symmetries to the system. Thus it is clear to see that last four transformations of (3.1) can be gauged, i.e. the transformation parameters can be made a local function of as well. Below we present the gauged version of the chiral WZW model (3).
3.2 Gauging the Chiral WZW model
Imposing the first class constraints of (3.10) on onshell gauge field parameters imply following relations
[TABLE]
The above relations can be equivalently re-caste in terms of global symmetry currents as given in (3.1). Here we are setting a part of currents to constant or zero value that comes from symmetry transformations involving bosonic symmetry transformation parameter along and fermionic parameters . To gauge the corresponding symmetries, one needs four "gauge fields" corresponding to four constrained currents . Since the currents are nontrivial along directions, only the component of the gauge fields will appear in the modified action. In general, for gauging a global symmetry, we need to replace the ordinary derivatives on various fields by the corresponding covariant ones. For WZW model on a Lie group , only special subgroups of can be gauged, as otherwise, the WZW term makes it anomalous. The detailed procedure of gauging WZW model has been greatly described in a seminal paper [36] where it has been noted that only subgroups generated by root vectors associated with positive and negative roots can be gauged. This implies the subgroup elements must be nilpotent matrices. Similar strategy has already been implemented in [17, 26] for gauging chiral WZW models with(out) minimal supersymmetric extensions. We shall follow the procedure of [14] which is also similar in spirit. In this case, we introduce four Lagrange multipliers for gauging the constrained (only first class ones) currents. Since the constrained currents are along , the above criteria is satisfied. Using these multipliers we write down an improved action, where the improvement term is local. Further, the transformations of the Lagrange multipliers are derived by demanding that the full improved action is invariant under the above mentioned gauging of symmetries. The improved action looks like,
[TABLE]
where, is as given in (3) and
[TABLE]
Here, is a local function of "gauge fields" . , are along and . Further we have chosen 555 is also nilpotent matrix., where is an arbitrary constant to be able to set the currents to required constant value. It can indeed be checked that the above modified action (3.22) in invariant under following four gauge transformations,
[TABLE]
Note that all the parameters of the transformation mentioned here, depend on both and as said earlier, are along , and . The equations of motion of the four non-dynamical Lagrange multiplier rightly reproduces back the constrained relations as given in the beginning of this section if one chooses Thus we conclude that (3.22) represents the gauged version of chiral WZW model (3), where we have gauged the specific part of global symmetries whose corresponding currents gives first class constraints. The gauge symmetry along are still present. In the next section, we shall write down the reduced phase space description for the WZW model (3) and show that reduced action is an equivalent description of the above gauged chiral WZW model of (3.22). We shall also comment on the equivalence of the residual symmetries of the two descriptions.
4 Liouville Like theory
In this section, we present the reduced phase space description of the chiral WZW model of (3). For this purpose a particular decomposition of the fields, known as Gauss Decomposition666Important aspects of Gauss decomposition are discussed in [38], is useful. The procedure is to expand the fields in the Chevalley-Serre basis of the corresponding gauge group, i.e. for the present case. Our conventions are listed in appendix A. The decomposition is,
[TABLE]
where are scalar fields and are functions of both . The Gaussian decomposition is useful as in this decomposition the 3D bulk part of the WZW model (3) simplifies to a total derivative term as777here we have assumed same notation for component fields but they have dependence on all three directions, ,
[TABLE]
Thus, using Stoke’s formula, the bulk term can be reduced to a 2-dimensional integral. This makes further computations technically simple. Two product operators that are mostly used are given as,
[TABLE]
and
[TABLE]
The first class constraints can also be recast in terms of these newly defined fields . Let us first look at condition. It reduces as,
[TABLE]
Next we look at two fermionic current constraints. They are given as,
[TABLE]
Redefining new fermionic parameters as and , the above two conditions can be written in a compact form as,
[TABLE]
Finally, we look at the constraint. The reduced constraint looks like,
[TABLE]
Using the redefined fermions and the last three currents constraints, the above condition simplifies as,
[TABLE]
Equations (4.31),(4.33) and (4.34) represents the first class constraints in terms of the new fields.
4.1 The Reduced Action
We present the action by computing various terms of (3) in terms of above newly defined fields and reducing it further by using the constraints relations of the last section as888look at appendix B for some details
[TABLE]
where the redefined fields are,
[TABLE]
(4.35) is a flat limit of a super-Liouville action with two supercharges and two internal symmetry fields. This is a generalised version of flat limit of super(Liouville actions presented in [17, 26]). To understand the connection with Liouville, we refer readers to appendix C. The above action (4.35) is equivalent to the gauged chiral WZW model of (3.22). Solving the algebraic equation of motions of the Lagrange multipliers and putting it back in (3.22) will exactly give us (4.35), when expressed in terms of Gauss Variables.
Finally we present a realisation of superBMS3 generators of (3.19) in terms of Liouville fields. With a straight algebra and use of (4.31),(4.33),(4.34) they can be found as,
[TABLE]
It can be checked that the above generators constitute a set of global symmetries of the reduced action (4.35). To obtain the symmetry transformations, we first find the canonical conjugate momenta of fields of (4.35). They are given as,
[TABLE]
To obtain variation of various fields we use Hamiltonian formulation. The variation of fields can be computed from their Poisson brackets with the global charge as
[TABLE]
where,
[TABLE]
and are dependent symmetry transformation parameters. Transformation of various fields are then given as,
[TABLE]
where,
[TABLE]
It can be checked that above transformations are global (u-independent) symmetry of the reduced action (4.35), as expected. The algebra of the corresponding Noether charges is again superBMS3 of (3.1). The system is also invariant under transformations
[TABLE]
Let us briefly elaborate on the source of these local dependent symmetries : the symmetry transformation of is an artefact of the form of the reduced action, as it involves only derivative of these fields. The symmetry transformation of is related to the gauge invariance of (3), as given in (3.13). For the Gauss decomposed fields, (3.13) implies following transformation
[TABLE]
with . Hence we can decompose matrix in the basis of generators, like field . Here are three independent transformation parameters that depend on . For the reduced fields of (4.35), we get
[TABLE]
It can be checked that the above transformations, in presence of all three parameters are not symmetries of (4.35). Instead, transforms of by turning on only is a symmetry of the action. Turning on implies gauge transformation along , which is the only non-nilpotent generator of . This is the residual gauge symmetry of the gauged chiral WZW model of (3.22). Thus we see that both the reduced phase space Lagrangian (4.35) and the gauged chiral WZW model (3.22) preserves identical global and gauge symmetry.
5 Outlook
In this paper, we have presented three equivalent descriptions of three dimensional supergravity theory. The first description in terms of a chiral WZW model was derived in [28], where as the other two equivalent descriptions in terms of a gauged version of the chiral WZW model and a flat limit of generalised super-Liouville theory have been derived in this paper. All these theories are invariant under most generic quantum superBMS3 symmetry constructed in [28] at null infinity.
One interesting point to note here is that Liouville theory can also be viewed as free field theory under proper Bclund transformations [39]. In [40, 41] we have presented a free field realisation of BMS3 algebra and its supersymmetric and higher spin generalizations. It would be nice to find a connection between these two realisations. We hope to report on this in future.
**Acknowledgements
**
We would like to thank Arindam Bhattacharjee, Dileep Jatkar, Wout Mebris and Turmoli Neogi for useful discussions. NB acknowledges hospitality at ICTP during the final stage of this work. Our work is partially supported by a SERB ECR grant, GOVT of India. Finally, we thank the people of India for their generous support for the basic sciences.
Appendix A Conventions and Identities
In this appendix, we shall present our conventions. The tangent space metric is flat and off-diagonal, given as
[TABLE]
The space time coordinates are with positive orientation in the bulk being . Accordingly the Levi-Civita symbol is chosen such that .
The three dimensional Dirac matrices satisfy usual commutation relation . They also satisfy following useful identities:
[TABLE]
The explicit form of the Dirac matrices are chosen as,
[TABLE]
All spinors in this work are Majorana and our convention for the Majorana conjugate of the fermions is given as,
[TABLE]
Here is the internal index and is the charge conjugation matrix that satisfies
[TABLE]
For any traceless matrix , it can be shown that .
Other useful identities are:
[TABLE]
where are Grassmannian one-forms, while is a Grassmann parameter.
The generators of are considered as . Further in Chevalley-Serre basis, they are given as,
[TABLE]
Thus, corresponds to positive(negative)root of the Cartan subalgebra and they are nilpotent.
Appendix B Terms in Reduced Action
For writing the phase space reduced action, we need to reduce various terms of (3) in terms of Gauss Decomposed fields and further use the first class constraints relations of (4.31),(4.33),(4.34). Below we note down the simplified forms of various terms:
**Bosonic Terms :
**
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Rest of the terms in the action are scalar and they will remain as it is. Next we look at the fermionic terms.
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
The trace terms are trivially zero. We can further write all these terms in terms of newly defined fermions . Finally combining them and using the constraints, the reduced action looks like,
[TABLE]
using reduction relations this can be further simplified as,
[TABLE]
where \xi=2(\theta+\sigma\eta)+\big{(}d_{1}^{N+}d_{2}^{N-}+d_{2}^{N+}d_{1}^{N-}\big{)}. Now notice one relation i.e. the product of redefined fermions are same as old ones. next to reduce the above action further we look at terms with .
[TABLE]
Upto total derivatives in and using the reduction conditions we get,
[TABLE]
Notice further that from all the above terms can be omitted. Further, the second term can be absorbed in redefinition of of (3). Next, we look at two fermion terms without in (B.64). There are six such terms given as,
[TABLE]
The last two terms of the above expression are same as 3rd and 4th terms up to total derivatives. Thus we get,
[TABLE]
The above four terms can be further simplified upto total derivatives and reduction conditions as,
[TABLE]
Let us now put the above equation (B.69) with the first term of (B.66), we get,
[TABLE]
Finally we redefine and get,
[TABLE]
Combining all the terms we get the reduced action as in (4.35).
Appendix C Flat limit of Liouville Theory and its equivalent descriptions
In this appendix, we shall present some equivalent descriptions of Liouville theory in the "flat" limit. We shall mostly follow [39, 42]. A classical Liouville theory describes dynamics of a two dimensional scalar field , such that when a two dimensional metric is scaled by , the transformed metric has constant curvature . The quantum Liouville action is given as
[TABLE]
This is an interacting theory with being constants. The above action in Hamiltonian form (that contains only one time derivative of field) on the Minkowskian cylinder (hence ) with time coordinate time , compact angular coordinate 999wrt lightcone coordinates of flat Minkowski space, and metric diagonal , can be expressed as,
[TABLE]
here is conjugate momenta, represents derivative and represents derivative. The action is invariant under two dimensional conformal transformations. We are interested in a large limit of this theory such that
[TABLE]
are fixed. The action in this limit looks like
[TABLE]
This is the flat limit of Liouville that preserves BMS3 symmetry with zero central extension. One important point to note that this is a first order action and it does not have a second order counterpart. There are two equivalent description of the same theory that we shall list below. First one is a free field realisation given by,
[TABLE]
where the fields are related by Bcklund transformations :
[TABLE]
The second realisation is given as,
[TABLE]
where field transformations are
[TABLE]
with The second description arises as the reduced phase space description of chiral WZW model with appropriately constrained (due to specific asymptotic boundary conditions of fields at null infinity) global currents.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] E. Witten, 2 + 1 dimensional gravity as an exactly soluble system , Nuclear Physics B 311 (1988) 46 – 78 . · doi ↗
- 2[2] A. Achucarro and P. K. Townsend, A Chern-Simons Action for Three-Dimensional anti-De Sitter Supergravity Theories , Phys. Lett. B 180 (1986) 89 . · doi ↗
- 3[3] E. Witten, Nonabelian bosonization in two dimensions , Comm. Math. Phys. 92 (1984) 455–472.
- 4[4] E. Witten, Quantum Field Theory and the Jones Polynomial , Commun. Math. Phys. 121 (1989) 351–399 . · doi ↗
- 5[5] G. W. Moore and N. Seiberg, Taming the Conformal Zoo , Phys. Lett. B 220 (1989) 422–430 . · doi ↗
- 6[6] S. Elitzur, G. W. Moore, A. Schwimmer and N. Seiberg, Remarks on the Canonical Quantization of the Chern-Simons-Witten Theory , Nucl. Phys. B 326 (1989) 108–134 . · doi ↗
- 7[7] O. Coussaert, M. Henneaux and P. van Driel, The Asymptotic dynamics of three-dimensional Einstein gravity with a negative cosmological constant , Class. Quant. Grav. 12 (1995) 2961–2966 , [ gr-qc/9506019 ]. · doi ↗
- 8[8] R. Floreanini and R. Jackiw, Selfdual Fields as Charge Density Solitons , Phys. Rev. Lett. 59 (1987) 1873 . · doi ↗
