
TL;DR
This paper constructs a comprehensive chiral higher spin gravity theory in AdS$_3$, revealing its boundary conditions, asymptotic symmetries, and dependence on multiple functions, advancing the understanding of higher spin holography.
Contribution
It introduces the most general chiral higher spin theory with specific boundary conditions and detailed symmetry algebra, extending previous models with a broader set of functions.
Findings
The metric matches the most general AdS$_3$ boundary conditions.
Asymptotic symmetry algebra is a product of $ ext{W}_3$ and affine $sl(3)_k$.
The theory depends on 19 functions, generalizing prior work.
Abstract
We construct a candidate for the most general chiral higher spin theory with AdS boundary conditions. In the Chern-Simons language, on the left it has the Drinfeld-Sokolov reduced form, but on the right all charges and chemical potentials are turned on. Altogether (for the spin-3 case) these are functions. Despite this, we show that the resulting metric has the form of the "most general" AdS boundary conditions discussed by Grumiller and Riegler. The asymptotic symmetry algebra is a product of a algebra on the left and an affine current algebra on the right, as desired. The metric and higher spin fields depend on all the functions. We compare our work with previous results in the literature.
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.
CHEP XXXXX
**Chiral Higher Spin Gravity
**
Chethan KRISHNANa**[email protected], Avinash RAJUa*†††[email protected]
a Center for High Energy Physics,
Indian Institute of Science, Bangalore 560012, India
Abstract
We construct a candidate for the most general chiral higher spin theory with AdS3 boundary conditions. In the Chern-Simons language, on the left it has the Drinfeld-Sokolov reduced form, but on the right all charges and chemical potentials are turned on. Altogether (for the spin-3 case) these are functions. Despite this, we show that the resulting metric has the form of the “most general” AdS3 boundary conditions discussed by Grumiller and Riegler. The asymptotic symmetry algebra is a product of a algebra on the left and an affine current algebra on the right, as desired. The metric and higher spin fields depend on all the functions. We compare our work with previous results in the literature.
1 Introduction
(Higher spin) gravity in 2+1 dimensions has no local propagating degrees of freedom, so the dynamics is controlled entirely by boundary conditions. See [1] for an incomplete list of references on 2+1 dimensional higher spin theories in various contexts and [2] for their applications.
Related to this lack of local degrees of freedom is also the fact that the theory allows a Chern-Simons formulation. When there is a negative cosmological constant, it turns out that this Chern-Simons formulation contains two gauge fields, conventionally one calls these the left and right gauge fields.
In gravity theories with a negative cosmological constant, it is natural to consider Anti-deSitter space as the vacuum, and to think of solutions with asymptotically AdS3 boundary conditions as states built on that vacuum. However, the precise choice of the fall-offs one allows in one’s definition of “asymptotically AdS3” has turned out to be somewhat arbitrary and many consistent choices are known in the literature [3]. For example, the most famous of these is the Brown-Henneaux [4] boundary conditions which corresponds in a certain radial gauge to the choice of left (right) Chern-Simons gauge field with (anti-)holomorphic dependence on the boundary coordinates, along with some restrictions on the charges and chemical potentials that show up in these gauge fields.
Recently, Grumiller and Riegler [5] have written down what is arguably the “most general” such AdS3 boundary condition for gravity. By this they mean that all the charges and chemical potentials that are visible in the Chern-Simons formulation are also visible in the metric formulation. Yet in the asymptotic limit the metric has an AdS3 form, albeit with fall-offs that are more general than the ones found in Fefferman-Graham. They showed that the asymptotic symmetry algebra in this case is two copies of the current algebra. They accomplished this by working with a choice of radial gauge that was different from the standard radial “Banados” gauge. We will call this the Grumiller-Riegler radial gauge.
A very natural question to ask in this context is to see whether this can be generalized to higher spins. Can one work with a higher spin theory, turn on all the charges and chemical potentials (including higher spin ones) in the Chern-Simons language and be lead to an asymptotically AdS3 metric, perhaps in the generalized Fefferman-Graham gauge of [5]? We will see that this is (unsurprisingly) not possible. If we keep all the charges, the metric blows up at the boundary. This means that we have to remove some of the charges/chemical potentials in a consistent way111The jargon for this activity is “reduction”. and see whether one can get a consistent asymptotic symmetry algebra with acceptable AdS3 fall-offs. In the Banados gauge, one such choice is well known: this is the so-called Drinfeld-Sokolov reduction [6, 7, 8, 9] which when done on both sides truncates left and right sides equally and leads to an asymptotically AdS3 metric in the Fefferman-Graham gauge and a asymptotic symmetry algebra. Can one allow more general charges and chemical potentials by working with the Grumiller-Riegler radial gauge and allowing the generalized Fefferman-Graham metric?
Indeed, this paper exists because we will see that if one allows this, one can do much better. In fact, one can make a Drinfeld-Sokolov reduction on only one side and (self-consistently) set a certain higher spin chemical potential to zero, while letting the other side be fully general: this still leads to the generalized Fefferman-Graham metric. This is a total count of 19 unknown functions between the charges and chemical potentials. One can also check that all of these functions show up in the metric/higher spin fields side of the story as well. Furthermore, we can calculate the asymptotic symmetry algebra and we find that the result is a copy of the algebra on the left and an affine algebra on the right. We suspect that this is the most general chiral higher spin gravity that satisfies these requirements, even though we do not prove it222One way to disprove this claim is to have an algebra that is “bigger” than but “smaller” on the left, and show that there exists a radial gauge where this, together with the right side, leads to an asymptotically AdS3 fall-off. We have a suspicion that an on the left might also be allowed while having on the right, but this is a different class of chiral higher spin theory than the one we are looking at here: it does not have higher spin excitations at all on the left. Note that the right side is already as general as can be..
In the final section, we will offer some comparison with the closely related results of [10].
2 Chern-Simons Formulation
The Chern-Simons formulation of ()-D gravity is a rewriting of the Einstein-Hilbert action with or without a cosmological constant into a Chern-Simons gauge theory with appropriate gauge group (see eg. [11]). When the cosmological constant is negative
[TABLE]
where
[TABLE]
Here is the Chern-Simons level and is the AdS radius and is the Newton’s constant. The appropriate gauge group is decided by the sign of the cosmological constant and for a negative cosmological constant and takes values in Lie algebra. The connections and are related to the the veilbein and spin connection as follows
[TABLE]
The equations of motion gives the flatness condition where
[TABLE]
and is equivalent to Einstein’s equation. is the generator of on which is defined the invariant bilinear form
[TABLE]
Using eq. (2.3), and is related to the metric through the veilbein and
[TABLE]
In dimensions, the Chern-Simons formulation lends itself to generalization to higher spin theories coupled to gravity by lifting the gauge group to . An Chern-Simons theory describes gravity coupled to a tower of spins . In metric-like formulation, a spin-, () field is given by
[TABLE]
3 Chiral Spin-3 Gravity
Taking a cue from the empty AdS solution, we can choose a radial gauge of the form
[TABLE]
where all the dependence now comes from the group element . For empty AdS there are many choices of radial gauge, the usual one being , which we will call the Banados gauge. In [5], the group element was instead chosen to be
[TABLE]
This radial gauge (which we will call the Grumiller-Riegler gauge) manifests all the charges and potentials present in the gauge field language, in the metric language as well. For our case, and are the Lie algebra valued fields which takes the general form
[TABLE]
where are the generators whose algebra is given by (A.13). The asymmetry between the left and right normalizations arises because on the left we are eventually going to work with the Drinfeld-Sokolov reduced form. The normalization of coefficients of have been chosen so that our expression for the global charge, (4.23), comes out in the canonical form. The equations of motion impose relationship between the set of potentials and the charges and is given in the appendix for the unbarred sector while it is identical for the barred sector also. Following [5], we hold chemical potentials as fixed functions while
[TABLE]
The time-like boundary of AdS gives rise to an infinite dimensional phase space with infinitely many global charges. The algebra of charges can be then determined by the Regge-Teitelboim approach [12, 13].
In [5], a generalization of Fefferman-Graham gauge for asymptotically AdS metrics was introduced. The motivation of this gauge was to capture all independent charges in the metric formulation as well. This metric takes the general form
[TABLE]
We call this the generalized Fefferman-Graham gauge and various expansion coefficients capture all independent combinations of the chemical potentials and charges in the Chern-Simons language. This was the motivation for the choice of radial gauge (3.2).
We take (3.5) as our definition of asymptotically AdS metric and construct a higher spin theory which preserves this form of metric. Using (3.2), (3.1) and (2.6), we find that the most general gauge connection (3) would violate the metric form (3.5) and therefore the coefficients of the gauge connection have to be restricted. We begin by imposing the Drinfeld-Sokolov (DS) condition on the left gauge connection in order to further restrict the coefficients. DS reduction in the highest weight gauge amounts to fixing the coefficients of such that
[TABLE]
where
[TABLE]
The above equation fixes the form of and the reduced gauge field can be now written as
[TABLE]
As shown by [8, 9], this restriction helps getting a charge algebra. With this restriction on , the equations of motion takes the form
[TABLE]
However, to get the right fall-offs for the metric it turns out that the DS reduction is not enough. But it can be accomplished by specifying the chemical potentials. This is consistent, because chemical potentials are fixed functions that we are allowed to specify. For the metric to be have correct fall-off we need . This fact combined with the equations of motion (partially) fix other chemical potentials. It turns out that the chemical potentials are now specified by a single function . The final left gauge connection can be written as
[TABLE]
and the left over equations of motion for now gives
[TABLE]
where dot and prime refers to derivatives with respect to time and respectively. Note that setting results in holomorphic dependence of and on the boundary coordinates [8].
For the barred sector, no further restrictions are needed to stay in the generalized Fefferman-Graham form of the metric, and therefore stays in the most general form:
[TABLE]
The equations of motion for is substantially more complicated because of more number of terms and is listed in the appendix (where we suppress the bar’s however). The metric is explicitly given by:
[TABLE]
We omit writing the spin-3 field here to avoid clutter. However we like to remark that the metric and the spin-3 field combined has all the 19 independent functions that appeared in the gauge field. In the next section, we present the asymptotic symmetry algebra for our solution.
4 Global Charges and their Algebra
In this section we elucidate the approach of Regge-Teitelboim [12], applied to Chern-Simons theories [13] to compute the algebra of global charges. Asymptotically AdS spaces have a time-like boundary and the gauge transformations that act non-trivially on the boundary (i.e. gauge transformations that do not become identity as ) are not true gauge transformations but are rather genuine symmetry transformations. On the time-like boundary, these transformations map one solution to another giving rise to a non-trivial boundary phase space.
We begin with a space + time decomposition of the CS gauge field333Our discussion in this section is for the pure Chern-Simons theory with no extra boundary terms. This corresponds to a Neumann boundary condition in the metric language, see [14]. The variational principle with held fixed that we have used in the previous sections requires the addition of an additional boundary term to the CS action, to be well-defined. But this point will not affect our discussion in this section because it relies only on the Lagrange multiplier term that generates the gauge algebra, which arises from the bulk piece in (4.2).. We begin by assuming that the three manifold is topologically a solid cylinder with a time-like boundary which is topologically . The gauge connection can be expressed as
[TABLE]
The action now takes the form
[TABLE]
In the above action we see that is a Lagrange multiplier enforcing the constraint while and are the dynamical variables (with the caveat that this theory is topological). Similar story will also hold for the barred sector . We first define the smeared generators of gauge transformations
[TABLE]
where is the spatial hypersurface and is a boundary term that is added to make a differentiable functional of . For a state independent gauge parameter , takes the form
[TABLE]
The generators satisfies the Poisson bracket relation
[TABLE]
The second term is a central extension and comes out as a consequence of the surface term . does not vanish on-shell, i.e. when and any transformation for which generate global symmetries through
[TABLE]
for any phase space functional . The gauge transformations that preserve the boundary condition 3.1 and 3 can be written as
[TABLE]
where the summation is implied over indices and . This gives a non-vanishing charge
[TABLE]
Now we are in a position to compute the Poisson algebra of the charges. We begin with the unbarred sector whose coefficients are restricted by the DS highest weight gauge condition. Under the gauge variation 4.7, the connection transforms by
[TABLE]
Since the form of the gauge field is fixed, the boundary condition preserving transformations , given by (4.7), are now characterized by two functions and . The exact form of the gauge transformation parameter and variation of charges can be found in [8]. The expression for the global charge associated with the transformation is given by
[TABLE]
The charges generate an algebra through the Poisson brackets which is nothing but the classical algebra
[TABLE]
with the central charge
[TABLE]
In terms of the Fourier modes
[TABLE]
and shifting the zero mode of by
[TABLE]
The algebra now takes the familiar form
[TABLE]
where is defined as
[TABLE]
Now we return to the barred sector and compute the symmetry algebra. Since there are no restrictions on the coefficients of all the charges transform under the gauge transformation. The boundary preserving gauge transformation is given by
[TABLE]
The transformation of charges under the above gauge transformation is then given by
[TABLE]
Similarly, the is fixed, gives the time-evolution of the gauge parameters . From (4.8), the charge associated with the above gauge transformation can be computed to be
[TABLE]
Using eq. (4.6) and eq. (4), the Poisson algebra of the connections can be determined to be an Kac-Moody algebra [8].
[TABLE]
are the structure constants of and is the inverse of the Killing metric. The algebra can be written in a more familiar form by Fourier decomposing the gauge connection
[TABLE]
which gives
[TABLE]
Thus our solution presents a as its asymptotic symmetry algebra.
5 Comments
In this concluding section, we briefly contrast our work with previous results. In an interesting paper [10] Poojary and Suryanarayana made the following choice of the bare gauge field:
[TABLE]
In our language, this amounts to the following restrictions on the charges and the chemical potential:
[TABLE]
Note that there are 12 independent functions in this case as opposed to our 19. Furthermore imposing the equations of motion makes and holomorphic in the boundary coordinates. They showed that with this choice the asymptotic charge algebra is .
Since the charge algebra depends only on the bare gauge field, our construction is an explicit demonstration that the restriction of [10] is not necessary if one’s goal is to reproduce the algebra: the most general gauge field on the right side, together with a somewhat more general gauge field on the left (see Section 3 for details), will still do the job.
Another comment worth making is that even with the restricted form (5.1), (5.2) of [10], one can check that the metric does not have the typical Fefferman-Graham fall-off, neither in the Banados radial gauge that [10] are working with (we show this in an Appendix), nor in the Grumiller-Riegler radial gauge that we use (which is a corollary of our results in section 3). To make sense as an asymptotically AdS space, one must think of the metric in the generalized Fefferman-Graham gauge444This issue is possibly moot however if one views asymptotic AdS3 in higher spin theories as a not-very-meaningful idea in the metric formulation. If one adopts such a draconian point of view, there is nothing stopping one from turning on all the charges on either side and the resulting charge algebra would be two copies of . It should be kept in mind however, that part of the motivation for the Drinfeld-Sokolov reduction choice in [8] was that the metric had the usual (asymptotic) AdS3 form even with higher spins turned on. This is our motivation for taking the metric (somewhat) seriously even with higher spins turned on.. We have checked that our general field configuration leads to this gauge in both Banados and Grumiller-Riegler radial gauges.
Acknowledgement
We thank Andrea Campoleoni for a clarifying correspondence and Max Riegler for comments on this manuscript. CK thanks Shubho Roy for a preliminary collaboration on the possibility of a chiral higher spin gravity back in 2013-14, and Nemani Suryanarayana for discussions.
Appendix A algebra and generators
For generators we use the principle embedding basis where the generators satisfy the algebra
[TABLE]
[TABLE]
[TABLE]
We work with the fundamental representation and the generators are explicitly given by
[TABLE]
The Killing metric of is given by
[TABLE]
where . We choose the constant such that
[TABLE]
Appendix B Equations of Motion
For a general gauge field ,
[TABLE]
equations of motion impose constraints on the chemical potentials and charges. The equation of motion is given by
[TABLE]
which in the component form are given by
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Appendix C The Metric of [10]
In [10], the proposed gauge field solution (5.1), (5.2) translates to the following metric in the Banados radial gauge that they work with:
[TABLE]
Notice that this metric does not fall under the usual Fefferman-Graham form because of the non-vanishing and components. However this metric is still allowed by the generalized Fefferman-Graham class of metrics of (3.5).
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] M. R. Gaberdiel and R. Gopakumar, “Minimal Model Holography,” J. Phys. A 46 , 214002 (2013) doi:10.1088/1751-8113/46/21/214002 [ar Xiv:1207.6697 [hep-th]]; M. Ammon, M. Gutperle, P. Kraus and E. Perlmutter, “Black holes in three dimensional higher spin gravity: A review,” J. Phys. A 46 , 214001 (2013) doi:10.1088/1751-8113/46/21/214001 [ar Xiv:1208.5182 [hep-th]]; K. S. Kiran, C. Krishnan and A. Raju, “3D gravity, Chern-Simons and higher spins: A mini introduction,” Mod. Phys. Lett. A 30
- 2[2] A. Castro, E. Hijano, A. Lepage-Jutier and A. Maloney, “Black Holes and Singularity Resolution in Higher Spin Gravity,” JHEP 1201 , 031 (2012) doi:10.1007/JHEP 01(2012)031 [ar Xiv:1110.4117 [hep-th]]. C. Krishnan, A. Raju, S. Roy and S. Thakur, “Higher Spin Cosmology,” Phys. Rev. D 89 , no. 4, 045007 (2014) doi:10.1103/Phys Rev D.89.045007 [ar Xiv:1308.6741 [hep-th]]. C. Krishnan and S. Roy, “Higher Spin Resolution of a Toy Big Bang,” Phys. Rev. D 88 , 044049 (2013) doi:10.1103/Phys Rev D.88.
- 3[3] S. G. Avery, R. R. Poojary and N. V. Suryanarayana, “An sl(2, ℝ ℝ \mathbb{R} ) current algebra from A d S 3 𝐴 𝑑 subscript 𝑆 3 Ad S_{3} gravity,” JHEP 1401 , 144 (2014) doi:10.1007/JHEP 01(2014)144 [ar Xiv:1304.4252 [hep-th]]. C. Troessaert, “Enhanced asymptotic symmetry algebra of Ad S 3 ,” JHEP 1308 (2013) 044 doi:10.1007/JHEP 08(2013)044 [ar Xiv:1303.3296 [hep-th]]. H. Afshar, S. Detournay, D. Grumiller, W. Merbis, A. Perez, D. Tempo and R. Troncoso, “Soft Heisenberg hair on black ho
- 4[4] J. D. Brown and M. Henneaux, “Central Charges in the Canonical Realization of Asymptotic Symmetries: An Example from Three-Dimensional Gravity,” Commun. Math. Phys. 104 , 207 (1986). doi:10.1007/BF 01211590
- 5[5] D. Grumiller and M. Riegler, “Most general Ad S 3 boundary conditions,” JHEP 1610 , 023 (2016) doi:10.1007/JHEP 10(2016)023 [ar Xiv:1608.01308 [hep-th]].
- 6[6] 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 , 2961 (1995) doi:10.1088/0264-9381/12/12/012 [gr-qc/9506019].
- 7[7] M. Henneaux and S. J. Rey, “Nonlinear W i n f i n i t y subscript 𝑊 𝑖 𝑛 𝑓 𝑖 𝑛 𝑖 𝑡 𝑦 W_{infinity} as Asymptotic Symmetry of Three-Dimensional Higher Spin Anti-de Sitter Gravity,” JHEP 1012 , 007 (2010) doi:10.1007/JHEP 12(2010)007 [ar Xiv:1008.4579 [hep-th]].
- 8[8] A. Campoleoni, S. Fredenhagen, S. Pfenninger and S. Theisen, “Asymptotic symmetries of three-dimensional gravity coupled to higher-spin fields,” JHEP 1011 , 007 (2010) doi:10.1007/JHEP 11(2010)007 [ar Xiv:1008.4744 [hep-th]].
