Centrally extended BMS4 Lie algebroid

We explicitly show how the field dependent 2-cocycle that arises in the current algebra of 4 dimensional asymptotically flat spacetimes can be used as a central extension to turn the BMS4 Lie algebra, or more precisely, the BMS4 action Lie algebroid, into a genuine Lie algebroid with field dependent structure functions. Both a BRST formulation, where the extension appears as a ghost number 2 cocyle, and a formulation in terms of vertex operator algebras are introduced. The mapping of the celestial sphere to the cylinder then implies zero mode shifts of the asymptotic part of the shear and of the news tensor.


Introduction
The holographic properties of three-dimensional anti de-Sitter gravity are very special: the asymptotic symmetry algebra represents the two dimensional conformal algebra with a definite prediction for the classical central charge in the Dirac bracket algebra of the canonical generators [1], the solution space includes rotating black holes [2], and the dual theory on the classical level is Liouville theory [3]. Furthermore, using the classical central extension in Cardy's formula allows one to reproduce the Bekenstein-Hawking entropy of the BTZ black holes [4] (see also [5]).
Whereas all these results have natural analogues in asymptotically flat gravity at null infinity in three dimensions [6,7,8,9,10,11,12], the four-dimensional case [13,14,15] is more involved. One reason is the non-integrability of the charges in the presence of gravitational radiation [16]. Another source of complication is due to the desire to include superrotations in the BMS group [17,18,19] or the associated algebra [20,21,22,23], which goes together with allowing for suitable singularities in the solution space on which superrotations act. Besides formal reasons that drive one to include these additional symmetries, they have been shown to lead to new physical applications such as the subleading soft graviton theorem [24,25] or the spin memory effect [26,27]. A naive treatment of the charges associated to the extended algebra, that is to say integrating regular solutions on the celestial sphere with generators that have poles, generically leads to divergences [28,29]. One way to avoid dealing directly with those is simply not to integrate over the celestial sphere and to work with the local current algebra instead [30]. For some problems this is however not good enough as they do require a well-defined integration, or more precisely, a suitable moment map from solution space into the dual of the symmetry algebra. One such problem concerns the central charge.
The aim of the present paper is to clarify formal aspects of the field dependent central extension that appears in the modified Dirac bracket algebra of charges and currents [28,30], by explicitly constructing the centrally extended Lie algebroid that comes with the bms 4 algebra and its action on the free data at null infinity.
More precisely, we first reformulate the field dependent central extension as a local BRST 2-cocycle, in much the same way the Adler-Bardeen non-abelian gauge anomaly can be reformulated as the BRST 1-cocycle that appears in the transgression from the characteristic class Tr F 3 to the primitive element Tr C 5 (see e.g. [31,32,33,34]). Despite the BRST-type formulation, we do not imply that we are dealing with gauge symmetries. Rather, as in the three-dimensional case where the asymptotic symmetries of the gravitational/Chern-Simons theory become the global symmetries of the dual Wess-Zumino-Witten or Liouville-type theory, we consider BMS 4 as the global symmetry group of a suitable dual theory. The BRST formulation here is just a convenient way to encode Lie algebra or algebroid cohomology.
For the above considerations, the associated local functionals are formal in the sense that they are given by equivalence classes of top forms up to exact ones, which means that one disregards all boundary terms that come from integrations by parts. When looking for concrete realizations, one is led towards formulations in terms of vertex operator algebras of conformal field theories where spatial integrals correspond to taking residues (see e.g. [35] or [36,37] for elementary introductions, [38] where related contour integrals have appeared in the current context and [39,40] for related constructions applied to BMS 3 ).
Alternatively, as proposed in [18], one may map I`to a cylinder times a line and explicitly realize the centrally extended bms 4 algebroid using Fourier analysis. The effect of mapping a gravitational solution from the 2-punctured Riemann sphere to the cylinder is a shift of the zero mode of the asymptotic part of the shear, and thus also of the subleading part of the angular metric, that is linear in retarded time. As a consequence, this implies a constant shift of the zero mode of the news, in direct analogy with the standard shift of the zero mode of the energy momentum tensor in a conformal field theory.
Since it might not be widely known in the physics literature, we start by briefly recalling the general framework for central extensions in a Lie algebroid/Lie-Rinehart pair (see e.g. [41,42]) before applying the construction to the case of interest.

Local description of a Lie algebroid
Consider an algebra of functions A in variables φ i with elements denoted by f pφq and a vector space g generated over A by a set e α , with elements denoted by ξ " ξ α pφqe α . The vector space g is turned into a Lie algebra by defining re α , e β s " f γ αβ pφqe γ , where B i " B Bφ i , by extending the bracket using skew-symmetry and the Leibniz rule, and by requiring that where square brackets denote skew-symmetrization of the included indices of the same type, divided by the factorial of the number of these indices. In other words, all Jacobi identities hold when using the rules and conditions (2.3) and (2.4). Alternatively, instead of (2.2), one can define δ ξ f " ξ α R i α B i f and Note that here and below, we will systematically use the notation Introducing Grassmann odd variables C α and B α " B BC α , the graded space of polynomials in these variables taking values in A is denoted by Ω˚. Its elements are denoted by where ω α 1 ...αp " ω rα 1 ...αps . Equations (2.3) and (2.4) are then equivalent to the requirement that is a differential on Ω˚, The particular case where the f γ αβ are constants and do not depend explicitly on the fields is referred to as an action algebroid.
Note that in the case of interest below, fields and their derivatives are relevant, so that these formulas have to be suitably interpreted in, respectively extended to, the context of jet-bundles, see e.g. [43,44,45,46].

Central extensions
A trivial central extension is constructed by adding a generator Z to g, with p g consisting of elementsξ " ξ α pφqe α`ξ Z pφqZ, while keeping (2.1) unchanged, while rZ, e α s " 0 " rZ, f pφqs, (3.1) and the bracket again extended by skew-symetry and Leibniz rule.
Consider a 2-cocycle, This condition is equivalent to saying that p g, where (2.1) is changed to and all other relations are kept unchanged, is still a Lie algebroid. In the case where ω 2 is a coboundary, this extended Lie algebroid is equivalent to the trivially extended Lie algebroid by the change of generators e 1 α " e α´ηα Z, Z 1 " Z. (3.5) The differential of the extended Lie algebroid iŝ in the space of polynomials in C α , C Z with values in functions of φ i . By construction, the 2-cocycle ω 2 , becomes trivial in the extended complex, ω 2 "´γC Z .

BMSaction algebroid
We describe here relevant elements of the symmetry structure of four-dimensional asymptotically flat spacetimes at null infinity. We will adopt the point of view developed in [21,22,23,28,47,30,18], to which we refer for more details and assume at the outset to be in the simplest case for our purpose here, with future null infinity I`taken as the 2-punctured Riemann sphere times a line.
The independent variables are u, ζ,ζ. The variable u is real,ū " u. In this context, the bms 4 algebra is parametrized by T pζ,ζq "T , Y pζq,Ȳ pζq. It is the Lie algebra of vector fields where B " B ζ ,B " Bζ, where c.c. denotes complex conjugation and p Y "p Y .
The relevant fields are σpu, ζ,ζq, its complex conjugateσ and their derivatives. They correspond to the asymptotic part of the complex shear, but for notational simplicity, we have dropped the standard superscript 0. On-shell, they encode the subleading components of the angular part of the BMS metric. They transform aś with δ ξσ " δ ξ σ. Furthermore, the transformation of the derivative of a field corresponds to the derivative of the transformation of the field, rξ, B k σs " B k prξ, σsq, rξ,B k σs "B k prξ, σsq, rξ, B k u σs " B k u prξ, σsq, (4.6) together with the complex conjugates of these relations. Note that this implies in particular the following transformation law for the news tensor 9 σ " B u σ, It also follows that rξ 1 , rξ 2 , σss´rξ 2 , rξ 1 , σss " rrξ 1 , ξ 2 s, σs, as required by (2.3). There are other fields on which bms 4 acts non trivially, but they are passive in the sense that they do not modify the commutators below.
It follows from the computations in [28,47,30] that the expression satisfies the cocycle condition (3.7) provided that the integral annihilates B andB derivatives.
6 Centrally extended BMS4 Lie algebroid 6.1 Realization on the two-punctured Riemann sphere Provided the integral annihilates spatial boundary terms, the centrally extended Lie algebroid y bms 4 is defined by the commutators given in (3.9). More explicitly, parametrizing y bms 4 through pT pζ,ζq, Y pζq,Ȳ pζq, V q, with the understanding that the elements in each slot can be multiplied by functions of σ,σ and their derivatives, the commutation relations (4.3) and (4.4) are completed byV " K ξ 1 ,ξ 2 . (6.1) A concrete framework where multiplication is well defined and spatial boundary terms can indeed be neglected is provided by vertex operator algebras where one considers either polynomials with formal power series or Laurent series and the integral is defined to select the residue separately in ζ andζ. For instance, a set-up that accommodates singular solutions with delta function singularities is to take for Y,Ȳ , T Laurent polynomials, while B n u σ are formal power series. In terms of the following generators for Y,Ȳ , T , the algebra reads rl m , l n s " pm´nql m`n , rl m ,l n s " pm´nql m`n , rl m , P k,l s " p 1 2 m´kqP m`k,l , rl m , P k,l s " p 1 2 m´lqP k,m`l , rl m ,l n s " 0 " rP k,l , P o,p s.
(6.4) Equation (4.5), (4.7) and their higher order time derivatives become rl m , pB n u σq k,l s " p n´3 2 m´kqpB n u σq m`k,l`m`1 2 upB n`1 u σq m`k´1 2 ,l´1 2 , rl m , pB n u σq k,l s " p In these expansions, m, n P Z. One consistent choice, called (NS) below, which makes all the inhomogeneous terms above non-vanishing, is k, l, o, p P 1 2`Z when carried by P or by an even number of time derivatives of σ and k, l, o, p P Z when carried by an odd number of time derivatives of σ. This means that fields with odd conformal weights satisfy Neveu-Schwarz boundary conditions and will be anti-periodic on the cylinder, while fields with even conformal weights will be periodic on the cylider. Another possibility (R) is to take k, l, o, p P Z in all cases. Other possibilities should of course be systematically explored.
Equation (4.8) now implies the following explicit expression for the central extension in terms of generators, Kl m,Pk,l "σ k,m`l mpm 2´1 q, K P k,l ,Po,p " 0. (6.6) In case (NS), all these terms may be non-vanishing, while in case (R) only K lm,P k,l and Kl m,Pk,l may be.

Realization on the cylinder
Alternatively, one may map I`to a cylinder times a line and consider Fourier series that can simply be multiplied under standard assumptions.
As defined in [22,28], the transformation laws of the bms 4 algebra under finite superrotations are while for the asymptotic part of the shear and its time derivatives, equation (6.104) of [18] implies that n qtζ 1 ,ζus, u 1 " J´1 2 u. (6.14) The standard mapping from the cylinder to the 2-punctured Riemann sphere is described by ζ " e 2π L ω with ω " x 1`i x 2 , x 2 " x 2`L , coordinates on the cylinder. Taking ζ 1 " ω,ζ 1 "ω in the above then gives l m "´L 2π e 2π L mω B ω ,l m "´L 2π e 2π L mω Bω, L kω e 2π L lω , and the mode expansion

Conclusion
In this work, we have explicitly constructed a centrally extended Lie algebroid associated to bms 4 on the two-punctured Riemann sphere and the cylinder by suitably adapting the integration rules and allowing for formal distributions.
Note that one could also have worked with appropriate distributions directly on the celestial sphere (see e.g. [48,49,50,51,52,53]). The point of view taken here consists in first using transformation rules and invariance properties of various quantities such as the Bondi mass aspect under conformal rescalings [54,55] to transpose everything to the Riemann sphere before considering distributions.
Working out the details when starting from the celestial sphere provides one with the normalizations for mass and angular momentum. In this context, note that we have put the coefficient of the central charge in (4.8) to one. One should keep in mind however that the correct normalization coming from the Einstein-Hilbert action is p16πGq´1 when integrated over the celestial sphere. For instance, for asymptotically anti-de Sitter spacetimes in three dimensions, it is this normalization that determines the precise values c˘" 3l{2G [1]. The correct normalization is thus liable to play an important role in applications such as Cardyology [4,5,56,57,58,10,11] at null infinity where iu becomes a coordinate on the thermal circle, and so is the shift in (6.15) since the asymptotic part of the shear for the Kerr black hole vanishes on the celestial sphere.
Apart from the concrete application considered in this work, the current set-up paves the way for analyzing what happens to gravitational solutions when replacing the celestial sphere by a generic Riemann surface.