{'fraction_non_alphanumeric': 0.03146660123903576, 'fraction_numerical': 0.011645534126059183, 'mean_word_length': 4.471640216713813, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 1, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 18, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Anomalies in gravitational charge algebras of null boundaries and black hole entropy

We revisit the covariant phase space formalism applied to gravitational theories with null boundaries, utilizing the most general boundary conditions consistent with a fixed null normal. To fix the ambiguity inherent in the Wald-Zoupas definition of quasilocal charges, we propose a new principle, based on holographic reasoning, that the flux be of Dirichlet form. This also produces an expression for the analog of the Brown-York stress tensor on the null surface. Defining the algebra of charges using the Barnich-Troessaert bracket for open subsystems, we give a general formula for the central---or more generally, abelian---extensions that appear in terms of the anomalous transformation of the boundary term in the gravitational action. This anomaly arises from having fixed a frame for the null normal, and we draw parallels between it and the holographic Weyl anomaly that occurs in AdS/CFT. As an application of this formalism, we analyze the near-horizon Virasoro symmetry considered by Haco, Hawking, Perry, and Strominger, and perform a systematic derivation of the fluxes and central charges. Applying the Cardy formula to the result yields an entropy that is twice the Bekenstein-Hawking entropy of the horizon. Motivated by the extended Hilbert space construction, we interpret this in terms of a pair of entangled CFTs associated with edge modes on either side of the bifurcation surface.


Introduction and summary
Observables in general relativity tend to be global in nature, owing to the fact that diffeomorphisms are gauge symmetries of the theory. This large gauge redundancy causes the Hamiltonian of the theory to be localized to the asymptotic boundary, and diffeomorphism-invariant observables must be constructed relationally, using the fixed structures at the asymptotic boundary as points of reference [1][2][3]. Nonetheless, there exist notions of quasilocal observables that describe degrees of freedom inside of spatial subregions. In particular, several approaches to understanding the origin of black hole entropy deal with quasilocal charges on the event horizon horizon [4][5][6][7][8][9][10][11]. Moreover, charges associated with I in asymptotically flat space [12][13][14][15][16] and more general null surfaces [17][18][19][20][21] have received recent attention, due to their potential relevance to quantum gravity and flat space holography.
The appearance of quasilocal observables when considering subregions can be understood in terms of symmetry breaking. The introduction of a fixed boundary partially violates the diffeomorphism symmetry present in the theory, causing some transformations that were formerly considered gauge to become physical [4,22]. The charges associated with the broken diffeomorphisms localize on the boundary of the subregion, and hence are referred to as edge modes [7,23,24]. The connection to black hole entropy comes from the proposal that the edge modes represent the degrees of freedom counted by the Bekenstein-Hawking entropy of a surface, given by S BH = A 4G , with A the area of the surface. The fact that the edge modes are localized on the boundary qualitatively explains the scaling with area, but in some examples the numerical coefficient can be computed in a precise manner. As first shown by Strominger for BTZ black holes in AdS 3 [25] using the Brown-Henneaux central charge [26], and subsequently generalized by Carlip to generic Killing horizons [4,27], if the quasilocal charge algebra includes a Virasoro algebra, the entropy can be derived by applying the Cardy formula for the entropy of a 2D conformal field theory [28]. The rationale behind this procedure is that the Virasoro algebra is the symmetry algebra of 2D CFTs, so it is natural to conjecture that the quantization of the edge modes is given by a CFT, with the central charge determined by the classical brackets of the quasilocal charges. The precise agreement between the Cardy entropy and the Bekenstein-Hawking entropy then provides a posteriori justification for associating the entropy with edge mode degrees of freedom.
In most constructions in which the entropy arises from the Cardy formula applied to a boundary charge algebra, boundary conditions are needed to ensure the charges are integrable. The need for boundary conditions arises because the vector fields generating the symmetry have a transverse component to the codimension-2 surface on which the charge is being evaluated. This means they are generating a transformation that moves the bounding surface, and hence without boundary conditions, symplectic flux can leak out of the subregion as the system evolves. Imposing the boundary conditions ensures that the subregion behaves as a closed system, but gives the boundary the status of a physical barrier, preventing exchange of information between the subregion and its complement. When viewing the boundary as an arbitrary partition used to define a subregion, one would like a definition of quasilocal charges that does not employ such restrictive boundary conditions, and need not require conservation under time evolution. In the place of conservation, one seeks an independent definition of the flux of the quasilocal charge through the subregion boundary, so that the charge instead obeys a continuity equation. For general relativity and other diffeomorphism-invariant theories, Wald and Zoupas provided such a construction of quasilocal charges using covariant phase space techniques [12], and its application to null boundaries at a finite location was considered in [17].
Another reason for utilizing the Wald-Zoupas prescription is that in some cases, there is no obvious boundary condition that ensures integrability of the quasilocal charges. Such a situation was encountered by Haco, Hawking, Perry, and Strominger (HHPS) [10], who identified a set of near-horizon Virasoro symmetries for Kerr black holes, inspired by the hidden conformal symmetry of the near horizon wave equation identified in [29]. These symmetries suggest a possible extension of the results of the Kerr/CFT correspondence [30,31], which deals with extremal Kerr black holes, to a holographic description of more general horizons. There does not exist a local boundary condition one can impose on the dynamical fields that is preserved by the HHPS vector fields, while simultaneously ensuring integrability of the corresponding charges. 1 Hence, the Wald-Zoupas procedure is needed to define the quasilocal charges.
A specific form of the flux in the Wald-Zoupas prescription was conjectured in [10], and was also used in various subsequent works generalizing the construction [11,[32][33][34]. The goal of the present work is to derive the necessary Wald-Zoupas prescription for these constructions from first principles. In order to do so, there are three main technical challenges that need to be resolved.
First, there are a number of ambiguities that arise when carrying out the Wald-Zoupas construction, some of which affect the final result for the entropy. The most important ambiguity is in the ability to shift the symplectic potential on the bounding hypersurface by total variations, which subsequently affects the definitions of the charges and fluxes. To resolve this issue, we first reformulate the Wald-Zoupas procedure in section 2.2 using Harlow and Wu's presentation of the covariant phase space formalism with boundaries [35]. Doing so allows for an efficient parameterization of the ambiguities that can appear in terms of boundary and corner terms in the variational principle. Rather than imposing boundary conditions to eliminate some terms that appear in the variations, as was done in [35], we interpret the nonzero boundary terms as representing a symplectic flux through the boundary. Explicitly, we decompose the pullback θ of the symplectic potential current into boundary , corner β, and flux E terms: (1.1) Resolving the ambiguities in the Wald-Zoupas prescription then amounts to finding a preferred choice for the flux term E.
We propose a principle for fixing this ambiguity in section 2.2, namely that E should be of Dirichlet form, meaning it involves variations only of intrinsic quantities on the surface. It therefore is expressible as E = π ij δg ij , (1.2) where δg ij is the variation of the induced metric on the bounding hypersurface, and π ij are the conjugate momenta constructed from extrinsic quantities. For null hypersurfaces, the variation of the null generator δl i is also considered an intrinsic quantity, so the Dirichlet form of the flux in this case reads The terminology "Dirichlet" refers to the fact that vanishing flux is equivalent to Dirichlet boundary conditions for this choice. The Dirichlet flux condition is a novel proposal in the context of the Wald-Zoupas construction, in contrast with previous proposals which employed properties of the flux in stationary solutions to partially fix its form [17,36]. However, it is familiar from the Brown-York procedure for quasilocal energy [37], and has a natural interpretation in the context of holography. We also argue that this form of the flux is preferred from the perspective of gluing subregions together in the gravitational path integral [38]. As a byproduct of fixing this form of the flux, we can also employ Harlow and Wu's [35] resolution of the standard Jacobson-Kang-Myers ambiguities in the covariant phase space formalism [39,40], leading to unambiguous definitions of the quasilocal charges.
The second issue to address is the problem of constructing a bracket for the quasilocal charges that defines their algebra. Poisson brackets are not available when employing the Wald-Zoupas procedure, since we are dealing with an open system with respect to the symplectic flux. Therefore, in section 2.3, we instead utilize the bracket defined by Barnich and Troessaert in [41] for nonintegrable charges. It has the advantage of representing the algebra satisfied by the vector fields generating the symmetry transformations, up to abelian extensions. We further show that the algebra extension has a simple expression (1.4) in terms of ∆ξ , the anomalous transformation with respect to the symmetry generator ξ a of the boundary term in (1.1). The anomaly operator ∆ξ, defined in (2.1), directly measures the failure of an object to transform covariantly under the diffeomorphism generated by ξ a , and hence we immediately see that algebra extensions only appear when the boundary term is not covariant with respect to the transformation. Because the Barnich-Troessaert bracket coincides with the Poisson bracket when the charges are integrable, this formula for the extension applies in the case of integrable charges as well. This shows quite generally that central charges and abelian extensions appear as a type of classical anomaly associated with the boundary term in the variational principle. This statement is directly analogous to the appearance of holographic Weyl anomalies in AdS/CFT [42][43][44][45].
The third issue to address is finding a decomposition of the symplectic potential for general relativity when restricted to a null boundary N . This question has been treated in previous analyses [17][18][19][46][47][48]; however, most of these employ boundary conditions that are too strong to allow for the symmetries generated by the HHPS vector fields. In our analysis in section 3, we employ the weakest possible boundary conditions that ensure the presence of a null surface, and in which the variations of all quantities are entirely determined in terms of δg ab . This is done by fixing the normal covector, δl a = 0, and imposing nullness by requiring that l a l b δg ab = 0 on N . The covector l a is thus viewed as a background structure introduced into the theory in order to define the boundary. Because it is a background structure, no issues arise if the symmetry generators do not preserve it; in fact, the failure of l a to be preserved by the symmetry generators is the sole source of noncovariance in the construction, and hence is responsible for the appearance of a nonzero central charge. By contrast, it is crucial that the vector fields satisfy l a l b £ ξ g ab = 0 on N , since this arises from a boundary condition imposed on the dynamical metric; violating it would cause the symmetry transformations to be ill-defined. The HHPS vector fields satisfy this condition, as do any vectors which preserve the null surface.
The result of the decomposition of the symplectic potential is given in equations (3.26)- (3.30), in which the Dirichlet form of E is decomposed into d(d−1) 2 canonical pairs on the null surface. The decomposition that we find has appeared before in [46], and related decompositions can be found in [18,19]. The boundary term that arises in the decomposition is constructed from the inaffinity k of the null generator l a , and has appeared in previous analyses on null boundary terms in the action for general relativity [18,46,48]. In particular, we find additional flux terms beyond those employed in [10,32], whose presence is necessary to ensure that the flux is independent of the choice of auxiliary null vector n a .
With all this in place, we give a systematic analysis in section 4 of the quasilocal charges in the HHPS construction, as well as the generalization to arbitrary bifurcate, axisymetric Killing horizons [10,32]. The symmetry algebra consists of two copies of the Virasoro algebra, and the central charges are computed to be where α andᾱ are two parameters characterizing the symmetry generators, and are related to the choice of left and right temperatures. These values of c,c are twice the value given in [10,32], and consequently, when applying the Cardy formula in section 5.1, we find that the entropy is twice the Bekenstein-Hawking entropy of the horizon. We take this as an indication that the quasilocal charge algebra is sensitive to degrees of freedom associated with the complementary region. In particular, we note that the factor of 2 could be explained if the central charge appearing in the Barnich-Troessaert bracket was associated with a pair of quasilocal charge algebras, one on each side of the dividing surface. This interpretation is further motivated by the conjetured edge mode contribution to entanglement entropy in gravitational theories, which employ such a pair of quasilocal charges at an entangling surface [7]. The doubling of c,c would then be intimately related to the fact that we are considering an open system that is interacting with its complement. Conversely, if the charges were instead integrable so that they lived in a closed system, we would expect the standard entropy to arise via the Cardy formula. We demonstrate that this is the case in sections 5.2 and 5.3 by showing that a different boundary term is needed in order to find integrable generators. The new boundary term halves the value of the central charges and the entropy, and also leads to agreement between the microcanonical and canonical Cardy formulas.
In section 6, we further discuss the interpretation of these results, and describe some directions for future work.
Note added: This work is being released in coordination with [49], which explores some related topics.

Notation
We work in arbitrary spacetime dimension d with metric signature (−, +, +, . . .). Spacetime tensors will be written with abstract indices a, b, . . ., such as the metric g ab . We denote null hypersurfaces by N , and indices i, j, . . . will denote tensors pulled back to N , such as q ij and l k . An equality that only holds at the location of N in spacetime will be written as =. Differential forms will often be written without indices, and, when necessary, we distinguish a form θ defined on spacetime from its pullback θ to N using boldface. The null normal to N will be denoted l a , and the auxiliary null vector will be denoted n a . The volume form on spacetime is denoted , and occasionally it will be written as a or ab when the displayed indices are being contracted; the undisplayed indices are left implicit. The volume form on N induced from l a will be denoted η, and the horizontal spatial volume form on N will be denoted µ. The notation for the contraction of a vector v a into a differential form m is i v m. The notation for operations defined on S, the space of solutions to the field equations, is described in section 2.1 below, including definitions of Iξ, Lξ, δ, and ∆ξ.

Quasilocal charge algebra
We begin by reviewing the covariant phase space construction in section 2.1, before turning to the construction of quasilocal charges in section 2.2, and their algebra in section 2.3. Section 2.2 explains the relation between the Wald-Zoupas construction [12] and the recent work by Harlow and Wu on the covariant phase space with boundaries [35]. This yields an unambiguous definition of the quasilocal charges by the arguments of [35], once the form of the flux E has been specified. To fix this final ambiguity, we require that the flux be of Dirichlet form, and we discuss the motivation for this choice coming from the combined variational principle for the subregion and its complement. The algebra of charges is then defined in section 2.3, where we give a general expression for the extension of the algebra in terms of the anomaly of the boundary term appearing in the symplectic potential decomposition.

Covariant phase space
The main tool we employ in constructing the quasilocal charge algebra is the covariant phase space [50][51][52][53][54]. 2 It provides a canonical description of field theories without singling out a preferred time foliation, and therefore is well-suited for handling diffeomorphism-invariant theories, such as general relativity. Covariance is achieved by working with the space S of solutions to the field equations, as opposed to the space of initial data on a time slice.
S can be viewed as an infinite-dimensional manifold, on which many standard differentialgeometric techniques apply. Fields such as the metric g ab can be viewed as functions on S, and their variations, such as δg ab , are one-forms. The operation δ of taking variations can be viewed as the exterior derivative on S, and forms of higher degree can be built by taking exterior derivatives and wedge products in the usual way. The product of two differential forms α and β on S will always implicitly be a wedge product, so that αβ = (−1) deg(α) deg(β) βα, which allows the symbol ∧ to exclusively denote the wedge product between differential forms on the spacetime manifold M. We denote by I V the operation of contracting a vector field V on S with a differential form. Functions of the form h ab = I V δg ab are simply solutions to the linearized field equations, and so the vector fields on S are seen to coincide with the space of linearized solutions.
Since diffeomorphisms of M are gauge symmetries of general relativity, they define an important subclass of linearized solutions h ab = £ ξ g ab , where ξ a is a spacetime vector field. The corresponding vector field on S generating this transformation will be calledξ, which satisfies Iξδg ab = £ ξ g ab . Note also that Iξδg ab = Lξg ab , where Lξ is the Lie derivative along the vectorξ in S, and hence Lξ and £ ξ agree when acting on the metric g ab . The action of Lξ on higher order differential forms on S can be computed via the Cartan formula Lξ = Iξδ + δIξ. Any differential form α that is locally constructed from dynamical fields and for which Lξα = £ ξ α will be called covariant with respect toξ. Since we later work with noncovariant objects as well, it is useful to define the anomaly operator as in [19], which measures the failure of a local object to be covariant. We therefore also refer to ∆ξα as the noncovariance or anomaly of α with respect toξ. As we will see, ∆ξ plays a prominent role in characterizing the extensions that appear in quasilocal charge algebras, and the anomalies it computes are, in many ways, classical analogs of the anomalies that appear in quantum field theories. In particular, as we show in appendix A, ∆ξ satisfies which, when imposed on the functionals of the theory, is the direct analog of the Wess-Zumino consistency condition for quantum anomalies [55]. 3 The covariant phase space arises from S by imbuing it with a presymplectic form. To construct it, one begins with the Lagrangian of the theory, L, which is a spacetime top form whose variation satisfies δL = E ab δg ab + dθ, where E ab = 0 are the classical field equations, and θ is a one-form on S and a (d − 1)form on spacetime called the symplectic potential current. For general relativity, the various quantities are where the variation of the Christoffel symbol is and we recall that a still denotes the spacetime volume form, with uncontracted indices not displayed.
The S-exterior derivative of θ defines the symplectic current ω = δθ, and its integral over a Cauchy surface Σ for the region of spacetime under consideration yields the presymplectic form, (2.8) Ω is called "presymplectic" because it contains degenerate directions corresponding to diffeomorphisms of M. Since diffeomorphisms are symmetries of the Lagrangian, they lead to Noether currents that are conserved on shell, given by Because dJ ξ = 0 identically for all vectors ξ a , the Noether current can be written as the exterior derivative of a potential, J ξ = dQ ξ , which is locally constructed from the metric; for general relativity, this potential is [36,57], The degeneracy of Ω follows straightforwardly from computing the contraction with Iξ, using the fact that θ is covariant, Iξδθ + δIξθ = £ ξ θ [40]. Since this contraction localizes to a boundary integral, any diffeomorphism that acts purely in the interior is a degenerate direction of Ω. The phase space P is a quotient of S by the degenerate directions, onto which Ω descends to a nondegenerate symplectic form [54].

Quasilocal charges
According to (2.11), diffeomorphisms with support near the Cauchy surface boundary ∂Σ are not degenerate directions; rather, they lead to a notion of quasilocal charges associated with the subregion defined by Σ. In the case that ξ a at ∂Σ is vanishing or tangential, the term i ξ θ in (2.11) drops out when pulled back to ∂Σ, and a Hamiltonian for the transformation can be defined by which generates the symmetry transformation on phase space via Hamilton's equations, When ξ a is not tangential to ∂Σ, −IξΩ generally cannot be written as a total variation, unless boundary conditions are imposed so that ∂Σ i ξ θ = δB ξ for some quantity B ξ . Such boundary conditions are natural when ∂Σ sits at an asymptotic boundary, but not at boundaries associated with subregions of a larger system, where the boundary conditions are generically inconsistent with the global dynamics. Instead, one can define a quasilocal charge associated with the transformation following the Wald-Zoupas prescription [12]. The quasilocal charge is not conserved since it fails to satisfy Hamilton's equation (2.13), but it satisfies a modified equation that relates the nonconservation to a well-defined flux through the boundary of the subregion.
Here, we give a presentation of the Wald-Zoupas construction, using the formalism developed by Harlow and Wu [35] for dealing with boundaries in the covariant phase space. 4 The Wald-Zoupas construction begins with a subregion of spacetime U, bounded by a hypersurface N = ∂U (see figure 1). Later N will be taken to be a null hypersurface, but the present discussion applies more generally for any signature of N . On N , one looks for a decomposition of the pullback θ of the symplectic potential of the following form θ = −δ + dβ + E (2.14) Figure 1: In the Wald-Zoupas construction, one seeks to construct quasilocal charges for a transformation generated by ξ a , which is tangent to a hypersurface N bounding an open subregion U to the right of N . The charges are constructed as integrals over a codimension-2 surface ∂Σ, bounding a Cauchy surface Σ for the subregion. The vector field ξ a can have both tangential and normal components to ∂Σ. In this figure, N is a null hypersurface, and the Cauchy surface has been chosen to include a segment of N .
where is referred to as the boundary term, β is the corner term, and E is the flux term. The reason for this terminology becomes apparent from the variational principle for the theory defined in the subregion U [35,59]. The action for the subregion is and by the decomposition (2.14) the variation satisfies and so the action is stationary when the bulk field equations E ab = 0 hold and boundary conditions are chosen to make E vanish, with the dβ term localizing to the boundary of N , i.e. the corner. In the Wald-Zoupas setup, boundary conditions to make E vanish are not imposed; instead, E is used to construct the fluxes of the quasilocal charges. In [12], the combination E + dβ is referred to as a potential for the pullback of ω to N , since by equation (2.14) we see that The corner term β is used to modify the symplectic form for the subregion. 5 This is done by extending dβ to an exact form on all of U, and then treating θ − dβ as the symplectic potential current. The symplectic form then becomes We can then evaluate the contraction of Ω with a diffeomorphism generator ξ a that is parallel to N , but not necessarily to ∂Σ, The first term is the total variation of a quantity which we call the quasilocal charge for the transformation. The second term in (2.19) represents the failure of the quasilocal charge to be an integrable generator of the symmetry. Assuming that β is covariant, so that ∆ξβ = 0, the obstruction to integrability of the charge is simply given by the integral of the flux density i ξ E. With slight modifications, the case where ∆ξβ = 0 can be handled, and is described in appendix C. Equation (2.19) can be rearranged slightly to take the form of a modified Hamilton's equation, To further the interpretation of E as a flux of H ξ , we note first that the integrand of (2.20) is defined on all of N , and its exterior derivative can be computed as Integrating this relation on a segment N 2 1 of N between two cuts S 2 and S 1 , and using that ξ a is parallel to N yields This can be interpreted as an anomalous continuity equation for the quasilocal charge H ξ : the difference in the charge between two cuts is simply given by the flux F ξ = N 2 is covariant with respect to ξ a ; however, we will find that on null surfaces, the most natural choice for the flux term E requires a boundary term that is not covariant. Note that this equation differs from the standard continuity equation derived in the Wald-Zoupas and related constructions [12,17,21,58], which assume a covariant boundary term, so that ∆ξ drops out. This is the first indication that the noncovariance of the boundary term can be interpreted as an anomaly, since it behaves as an explicit violation of a contintuity equation for the quasilocal charges. In quantum field theories, anomalies play a similar role as ∆ξ , where they lead to explicit violations of the Ward identities.
Up to this point, we have placed no restrictions on the precise form of the flux E. Equation (2.14) does not uniquely specify E, since it can always be shifted by terms of the form E → E − δb − dλ by making compensating changes → − b, β → β + λ. These ambiguities in E are similar in appearance to the standard Jacobson-Kang-Myers ambiguities [39,40] in the definition of the symplectic potential current, in which θ → θ + δb + dλ . Although the (b, λ) and (b , λ ) ambiguities are in principle distinct, they can can be used in tandem to leave E invariant, by setting (b, λ) = (b , λ ). Additionally, the charge densities h ξ = Q ξ + i ξ − Iξβ are also unchanged, provided one shifts the Noether potential by Q ξ + i ξ b + Iξλ , as was recently emphasized by [35]. These transformations of Q ξ simply follow from its definition as a potential for the Noether current J ξ (2.9) as long as one assumes that b is covariant (no assumption on the covariance properties of γ is needed).
Thus, in order to avoid the ambiguities just described, we need to fix the form of the flux E. As discussed in [59,62], different choices for E are related to different boundary conditions one would impose to make the flux vanish. The principle we will advocate for in this work is that the flux take a Dirichlet form, which, 6 for N timelike or spacelike, means it is written as where δg ij is the metric variation pulled back to N , constituting the intrinsic data on the surface, and π ij is a symmetric-tensor-valued top form on N constructed from the extrinsic data, and interpreted as the conjugate momenta to δg ij . The intrinsic data on a null surface is slightly different since the induced metric is degenerate, and so it is taken to also include variations of the null generator δl i , leading to the null Dirichlet flux condition Dependence on non-intrinsic components of the metric, such as the lapse and shift, is removed by the choice of corner term, which further fixes the ambiguities in specifying the flux. Imposing the Dirichlet form on E greatly reduces the freedom in its definition, since most of the ambiguities will involve variations of quantities constructed from the extrinsic geometry of N . We will find that for general relativity, the Dirichlet requirement fixes E essentially uniquely. 7 One reason for favoring the Dirichlet form of the flux comes from considering the variational principle for a subregion U and its complementŪ. When gluing the subregions across the boundaries N andN , the Dirichlet form of E is used when kinematically matching the intrinsic quantities on N . Viewed from one side, this takes the form of a Dirichlet condition, with the value of g ij on one side fixed by the value on the other side. Upon identifying N withN , matching g ij , and imposing the bulk field equations, the variation of the action is given by (2.26) Stationarity of the action then dynamically sets π ij −π ij = 0, or more generally equal to the distributional stress energy on N if present, according to the junction conditions [66,67]. If instead a Neumann form for the flux E N = −g ij δπ ij were employed, the matching condition would kinematically set π ij =π ij , and then g ij −ḡ ij would dynamically be set to zero. In this case, there does not appear to be a straightforward way to allow for distributional stressenergy on N . In vacuum, the end result is classically the same, with both g ij and π ij matching at N , although already the Dirichlet form has the advantage of allowing for the presence of distributional stress-energy. In a quantum description, these two options differ even more.
Since the path integral receives contributions from off-shell configurations, the Dirichlet matching appears to be preferred, since the Neumann matching allows for discontinuities in the intrinsic metric, which produce distributionally ill-defined curvatures [67]. 8 We further discuss the Dirichlet matching condition in section 6.2.

Barnich-Troessaert bracket
Having defined the quasilocal charges H ξ given by (2.20) for the diffeomorphisms generated by ξ a , we now consider the problem of computing their algebra. In standard Hamiltonian mechanics, this is given by the Poisson bracket constructed from the symplectic form of the system. When the charges are integrable, so that they satisfy Hamilton's equation (2.13), the Poisson bracket can be evaluated by contracting the vector fields generating the symmetry into the symplectic form, The second equality in this equation is a statement of the fact that Poisson brackets must reproduce the Lie bracket of the vector fields ξ a , ζ a , up to a central extension, denoted K ξ,ζ . 9 For quasilocal charges, their failure to satisfy Hamilton's equations due to the flux term in (2.21) prevents a naive application of (2.27) to their brackets. Instead, Barnich and 8 These singularities are unlike conical defects, whose curvature is well-defined as a distribution and are therefore valid configurations in the path integral. 9 There are two related reasons for the minus sign appearing in (2.27). The first is that the Poisson bracket reproduces the Lie bracket [ξ,ζ] S of vector fields on S, which, as shown in (A.3), is minus the spacetime Lie bracket for field-independent vector fields. It arises because diffeomorphisms give a left action on spacetime, but a right action on S. The second reason is that the Hamiltonians are representing the Lie algebra of the diffeomorphism group, whose Lie bracket is minus the vector field Lie bracket [68].
Troessaert [41] proposed a modification to the bracket that accounts for the nonconservation of the charges due to the loss of flux from the subregion. When the corner term β is covariant, their bracket is given by where we see that the bracket is modified by the fluxes F ξ = ∂Σ IξE identified in the Wald-Zoupas construction. A heuristic way to understand this equation is as follows: imagine adding an auxiliary system which collects the flux lost through N when evolving along ξ a (for example, this could just be the phase space associated with the complementary region U). The total system consisting of the subregion and the auxiliary system is assumed to have a Poisson bracket defined on it, such thatξ is a symmetry of the bracket in the usual sense. The Hamiltonian forξ should be a sum of the quasilocal Hamiltonian H ξ and a term H aux ξ associated with the auxiliary system. Hamilton's equation for the total system then reads The contribution from {H aux ξ , H ζ } should compute the flux of H ζ into the auxiliary system due to an infinitesimal change of ∂Σ along ξ a , which is just the integral of i ξ IζE, given our identification of IζE with the flux density. Equation (2.29) then becomes which reduces to (2.28) after using the expression (2.21) for δH ζ . Going forward, we will take (2.28) as the definition of the bracket for the quasilocal charges, and delay further discussion of its interpretation to section 6.2.
An important property of the Barnich-Troessaert bracket is that it reproduces the Lie bracket algebra of the vector fields, up to abelian extensions [41,69]. This can be explicitly verified using the expression (2.20) for the quasilocal charges, and an exact expression for the extension K ξ,ζ can be given. After a short calculation (see appendix B), one finds Hence, we arrive at one of the main results of this work, namely, that the extension K ξ,ζ is determined entirely by the noncovariance of the boundary term, ∆ξ . As an immediate corollary, we see that the extension K ξ,ζ always vanishes if the boundary term is covariant with respect to the generators ξ a . Equation (2.32) remains valid even when boundary conditions are imposed to ensure the transformation has integrable generators. In this case, the fluxes in (2.28) vanish, and we see that the Barnich-Troessaert bracket reduces to a Dirac bracket on the subspace of field configurations that satisfy the boundary conditions. This therefore gives a universal formula for the central extension in these cases, in addition to the more general cases involving nonintegrable generators.
In general, the new generators K ξ,ζ are not central, since they are allowed to transform nontrivially under the action of another generator H χ . Instead, they give an abelian extension of the algebra by defining their brackets to be This algebra closes provided IχδK ξ,ζ is expressible as a sum of other generators K ξ ,ζ , and the Jacobi identity holds as long as K ξ,ζ satisfies a generalized cocycle condition [41], Of course, when the right hand side of (2.33) vanishes, K ξ,ζ represents a central extension of the algebra.
We verify the above cocycle condition for (2.32) in appendix B. We should expect this to be the case because K ξ,ζ in (2.32) is of the form of a trivial field-dependent 2-cocycle, in the terminology of [41]. That is, it can be expressed as Despite this terminology, K ξ,ζ is certainly not required to be trivial as a cocycle for the Lie algebra generated by the vector fields. This will be explicitly demonstrated for the algebra considered in section 4, in which case K ξ,ζ becomes the nontrivial central extension of the Witt algebra to Virasoro.
Finally, it is worth noting that the corner term β, although important in arriving at the Dirichlet form (2.24) or (2.25) for the flux, is not important for obtaining the correct algebra for the quasilocal charges, including the extension K ξ,ζ . Algebraically, the β term in the quasilocal charge is functioning as a trivial extension of the algebra, since the β terms do not mix with other terms when deriving the identity (2.31), as discussed in appendix B. This is the reason that the central charges computed in [10,32] were correctly identified, even without taking corner terms into account.

Symplectic potential on a null boundary
In this section, we apply the covariant phase space formalism to null boundaries. We decompose the symplectic potential into boundary, corner, and flux terms, and describe the resulting canonical pairs on the null surface. This generalizes the calculation in [17] (see also [19,47]) by weakening the boundary conditions imposed on the field configurations. The expression for the anomalous transformation of the boundary term under diffeomorphisms is derived, and shown to arise from fixing a choice of scaling frame on the null boundary.

Geometry of null hypersurfaces
We start by briefly reviewing the geometric fields on a null hypersurface and their salient properties, following [17]. For a detailed review see [70]. Consider a spacetime (M, g ab ) and a null hypersurface N in M. To begin with, we have the null normal l a to N . An important property of null surfaces is that l a has no preferred normalization, unlike for spacelike or timelike surfaces. Consequently, we can rescale it according to l a → e f l a . (3.1) We refer to a choice of f as a scaling frame. From l a we can construct the null generator tangent to N by raising the index, l a = g ab l b . Associated to the null generator is the inaffinity k, 10 defined by where we have introduced the notation = to denote equality at N . The inaffinity will play a central role in this paper.
We denote by Π a i the pullback to N . Recall that indices i, j, . . . are intrinsic to N . Using the pullback, we can now enumerate the various objects needed for our analysis. The (degenerate) induced metric q ij on N is simply the pullback of g ab , is actually intrinsic to N . Therefore, we denote it by and refer to it as the shape tensor, or Weingarten map [70]. We can extract the inaffinity from the shape tensor through S i j l j = kl i . From S i j , we can obtain the extrinsic curvature of N , which can be decomposed into its familiar form The inaffinity is often denoted κ, but we use k to distinguish it from the surface gravity κ, which is defined on N by the relation For Killing horizons, k = κ, but for general null surfaces, these two quantities differ; see, e.g., [71] for a discussion of the difference in the case of conformal Killing horizons. The definition (3.2) of the surface gravity is most directly related to its appearance in the Hawking temperature T H = κ 2π [72,73], which is why we continue to use κ to denote it, and instead use k for the inaffinity.
where σ ij is the shear and Θ is the expansion.
Lastly, we can define induced (d − 1) and (d − 2) volume forms on N as follows. Given a spacetime volume form , we can define a (d − 1) volume formη by Note thatη is fully determined by a choice of l a up to the addition of terms of the form l ∧ σ for some (d − 2) form σ. However, given a choice of l a , the pullback ofη to N is unique. We simply denote this pullback by η, as we will only be using the pullback henceforth. Given the pullback η, we can define a (d − 2) volume form µ by which is uniquely determined by η.
We now list the transformation properties of the geometric fields defined above under the rescaling (3.1): We emphasize that this corresponds to a rescaling in a given background geometry. In the next section we will discuss the scale factor f on field space.
We end this section by introducing an auxiliary null vector n a on N , as it will prove convenient in later computations. We fix the freedom in the relative normalization of n a by imposing l a n a = −1. We can use n a to write the pullback and induced metric as spacetime tensors, Raising the indices yields a tensor q ab that is tangent to N since q ab l b = 0. It therefore defines a tensor q ij intrinsic to N , which defines a partial inverse of q jk on the subspace of vectors that annihilate n i = Π a i n a . The mixed index tensor q i j = q ik q kj is then a projector onto this subspace.
We can also use n a to define the Háiček one-form, This pulls back to a one-form i on N , and under rescaling (3.1), it transforms by Using q ij to raise the index of K ij , we can give a complete decomposition of the shape tensor, This equation emphasizes the difference between the shape tensor S i j and the extrinsic curvature K ij on a null hypersurface, unlike the case of a spacelike or timelike hypersurface where the two quantities have essentially the same content. An important point to keep in mind is that the quantities on N that depend on n a are q ij , q i j , n i , K i j , and i , while the quantities appearing in (3.11) are independent of n a .

Boundary conditions
We now describe the field configuration space for gravitational theories with a null boundary N in terms of the boundary conditions imposed at N . An important part of this specification is the choice of a background structure derived from structures defined by the boundary. A background structure is a set of fields which are constant across the field space. Fixing these fields is the source of noncovariance in the gravitational charge algebra, and ultimately is responsible for the appearance of central charges.
To this aim, we start by letting N be a hypersurface embedded in M, specified by a normal covector field l a . We do not yet impose that N is a null surface. Consequently, since this specification is independent of the metric, it follows that 11 δl a = 0. (3.16) We take the background structure to solely consist of l a , since all other quantities relevant for the symplectic form decomposition are constructed from l a using the metric. 12 Now, in order to impose that N is a null surface for all points in the field space, we must constrain the metric perturbation δg ab . This amounts to the boundary condition We do not impose any further boundary conditions, so our field configuration space is simply the set of all metrics g ab on a manifold M with boundary N ⊂ ∂M such that (3.16) and (3.17) are satisfied. This background structure is natural, if not necessary, from the point of view of the gravitational path integral: when we integrate over bulk metrics, we want a null surface as a boundary condition, which must be imposed as a delta function constraint on the dynamical metric, leaving the normal to the surface a non-dynamical variable.
This is a larger field space than that of [17], where the boundary conditions δk = 0 and l b δg ab = 0 were additionally imposed. Although both sets of boundary conditions lead to the same solution space globally, they differ from the point of view of the subregion U, where they represent different choices of boundary degrees of freedom. Any additional boundary conditions, beyond the condition (3.17) to ensure N is null, eliminate physical degrees of freedom from the subregion, since these boundary conditions do not correspond to fixing a degenerate direction of the subregion symplectic form. Imposing the stronger boundary conditions is equivalent to gauge fixing the global field space using Gaussian null coordinates in the neighborhood of N , as was done in various works [74,75]. As we will see in section 4.3, the diffeomorphisms of interest to us satisfy neither δk = 0 nor l b δg ab = 0, so we cannot impose these conditions. In [17], these additional boundary conditions comprised the minimal set necessary for satisfying the Wald-Zoupas stationarity condition E(g 0 , δg) = 0 for all δg, where g 0 is a solution in which N is stationary. This stationarity condition has been argued to be a way of fixing the standard ambiguity in defining quasiloal charges [12,17]; however, we do not see it as being necessary for the construction to make sense. In its place, we have instead the Dirichlet flux condition (2.24). Thus, we have imposed the minimal set of boundary conditions needed to specify gravitational kinematics on a manifold with a null boundary.
We now derive expressions for the variations of k and Θ, which will be needed in the next section when decomposing the symplectic potential. To begin with, we note that 13 Using the definition Θ = q ab ∇ a l b of the expansion, and the decomposition (3.12b), we find Separately, using k = −n b l a ∇ a l b , we have In arriving at these expressions we have used that l a δn a = −n a δl a = 0, which is simply a result of fixing the relative normalization n a l a = −1 across phase space, combined with δl a = 0. In this sense, the expressions for δΘ and δk are independent of δn a . Thus, combining these two expression, we find Lastly, the variation of η is given by

Symplectic potential
So far we have only discussed the kinematics, which is valid for any theory of gravity. We now take our theory of gravity to be general relativity. By restricting the field space to on-shell configurations, i.e. metrics which solve Einstein's equations, we can obtain the associated covariant phase space P as outlined in section 2.1. The symplectic potential current in general relativity pulled back to N can be written (momentarily setting 16πG = 1) where the bolded tensor θ indicates that it has been pulled back to N . We wish to decompose the above expression into boundary, corner, and flux terms, according to the general construction described in section 2.2.
We start by noting that dµ = Θη. Using this relation, we have The second and first terms in (3.23) appear explicitly in (3.21) and (3.24) respectively, so we can simply solve for them using these relations. Combining this with (3.22), we can write the symplectic potential as We can shift the Θ contribution in the boundary term into the corner term by noting that δ(Θµ) = dδµ. Moreover, by making use of (3.18) we arrive at our desired decomposition of the symplectic potential: where, restoring the factors of 16πG, the various terms in the decomposition are (η a δl a + g ab δg ab µ), (3.28) This decomposition of the symplectic potential on a null boundary is essentially equivalent to the one found in [46], while it differs slightly from the expressions in [17][18][19] due to differences in choices of boundary conditions.
The flux terms in (3.26) are in Dirichlet form, as required by our general prescription. The quantity π ij defines the conjugate momenta to δq ij , the horizontal components of the variation of the induced degenerate metric on N . The d(d−3) 2 components of the shear make up the momenta associated with gravitons, while the scalar k + d−3 d−2 Θ is a scalar momentum identified in [19] as a gravitational pressure. The other momenta π i are conjugate to δl i . It can further be decomposed into a vector piece constructed from the Háiček form i conjugate to spatial variations of l i , and a scalar energy density constructed from Θ, conjugate to variations that stretch l i . Together, π ij and π i comprise the null analog of the Brown-York stress tensor, which is usually defined for timelike hypersurfaces [37]. 14 We now discuss the dependence of the terms in the decomposition on arbitrary choices of background quantities. In writing (3.26) we introduced a choice of auxiliary null normal n a . Fixing the relative normalization of n a still leaves the freedom n a → n a + V a + 1 2 V 2 l a , where V a is any vector such that n a V a = l a V a = 0. However, both the boundary term (3.27) and corner term (3.28) are manifestly independent of n a hence it follows that the flux term is independent of n a , since θ must be. While the total flux term is independent of n a , π ij and π i will in general transform into one another under a change of n a .
While we have fixed the fluctuation of the scale factor f when defining our phase space, we still would like to characterize how various quantities depend on its background value. From (3.11), we have the following transformation properties of the various terms in the decomposition (3.26) under a background rescaling:

Anomalous transformation of boundary term
Having fixed the boundary term, we now derive its noncovariance under diffeomorphisms. We will find that it transforms anomalously, with the anomaly arising directly from fixing a choice of scaling frame (3.16). To see this, we first compute £ ξ l a when ξ a is tangent to N , Recall that the anomaly operator is defined as ∆ξ = Lξ − £ ξ . Therefore, since δl a = 0, we find ∆ξl a = −w ξ l a .
We also need the noncovariance of the induced volume element. Since depends only on the metric, ∆ξ = 0. Therefore, using (3.22), we just have ∆ξη = w ξ η. (3.34) Moreover, applying the anomaly operator to l b ∇ b l a = kl a , we find Putting things together, we have the anomalous transformation of the boundary term: This is one of the main results of this paper. From (2.32), we see that the non-vanishing of the central charge is a consequence of choosing l a to be the background structure. We discuss the significance of this in section 6.1. In section 4.4, we evaluate this anomaly explicitly for the Virasoro generators on a Killing horizon.
The expression (2.28) for the Barnich-Troessaert bracket that we employ in the next section applies when β is covariant, without needing the corner improvements discussed in appendix C. It is easy to see that our choice of corner term (3.28) does in fact satisfy this. First note that ∆ξµ = 0, which handles the second term in (3.28). For the first term, we have ∆ξ(η a δl a ) = (∆ξη a )δl a + η a δ∆ξl a = w ξ η a δl a − η a δ(w ξ l a ) = 0, since δw ξ = 0. It follows that the corner term is covariant, ∆ξβ = 0, as desired.
As a final note, the fact that the central charge can be expressed as a trivial fielddependent cocycle [41] according to (2.36) means that there always exists a choice of the flux and boundary terms that makes any extensions in the quasilocal charge algebra vanish. Moreover, this choice of flux term would be covariant and rescaling invariant, and was the choice used in [19,21]. However, consider what would happen if a similar choice were made for asymptotic symmetries: for example, for AdS 3 asymptotics, one can choose a boundary term other than the Gibbons-Hawking-York term, in which case the Brown-Henneaux analysis would produce a central charge with c = 3R 2G , with R the AdS radius [26]. The flux term in these cases no longer corresponds to Dirichlet boundary conditions. In holographic setups, these modified boundary conditions lead to CFTs coupled to dynamical metrics [78], producing complications that are usually avoided in standard AdS/CFT with Dirichlet boundary conditions. We therefore draw inspiration from AdS/CFT in imposing that the flux term take Dirichlet form, complementary to the path integral argument in section 2.2.

Stretched horizon
We mentioned in section 3.1 that fixing l a corresponds to a type of frame choice. Here, we will relate this choice to the arbitrariness in choosing a sequence of stretched horizons that approach the null surface. A stretched horizon for a null surface plays a similar role to an asymptotic cutoff surface when discussing asymptotic infinity. These are especially relevant in AdS/CFT, where different choices of the radial cutoff correspond to different conformal frames in the dual theory. This then strengthens the relation between the scaling frame for l a and the choice of conformal frame for the degrees of freedom associated with the quasilocal charges.
To see the relation, we let X denote a function whose level sets define the sequence of stretched horizons approaching N at X = 0. We let l a be the (unnormalized) normal form to the X foliation, l a = ∇ a X, (3.37) which is spacelike for X > 0 and null at X = 0. Any reparameterization of the form X → F (X) defines the same foliation, and its effect on the normal is simply to rescale l a by F (X). Hence l a at N only rescales by a constant F (0). We therefore see that the scaling frame of l a is determined by the choice of stretched horizon foliation, up to overall constant rescalings.
A different foliation of stretched horizons can be obtained by reparameterizing by an arbitrary function of the coordinates X → F (X, x i ), subject to the constraint F (0, x i ) = 0, so that the foliation still approaches N . The null normal is now rescaled by the position dependent function ∂ X F (0, x i ), corresponding to a change of scaling frame.

Virasoro symmetry
As an application of the null boundary covariant phase space we have just constructed, we now specialize to the case of bifurcate, axisymmetric Killing horizons. These have been the subject of many previous analyses, in which quasilocal charge algebras have been used to derive expressions for the entropy of the Killing horizon [4,10,25,27,30,79]. The standard procedure is to find a set of vector fields in the near-horizon region whose Lie brackets yield one or two copies of the Witt algebra. Upon computing the quasilocal charge algebra, one generally finds a central extension. The resulting Virasoro algebra is the symmetry algebra of a 2D CFT, suggesting that the quantization of the near horizon charge algebra should have a CFT description. The asymptotic density of states in such a theory is controlled by the Cardy formula, and by applying it in conjunction with the central charge computed from the quasilocal charge algebra, one arrives at the Bekenstein-Hawking entropy.
This procedure for arriving at the horizon entropy has been applied in a variety of different situations, often differing in the precise details of which symmetry algebra is used and what boundary conditions are imposed [5,8,9,11,80]. Here, by means of example, we provide evidence for the claim that the central charge occurring in these setups is always computed by the general formula (2.32) in terms of the noncovariance of the boundary Lagrangian for the null surface. The example we will analyze is the set of symmetry generators found for axisymmetric Killing horizons in [32], which generalize the near horizon conformal symmetries of the Kerr black hole proposed by Haco, Hawking, Perry, and Strominger (HHPS) [10]. We show that the null surface Wald-Zoupas construction described above produces a for-mula for the central charge which, via the Cardy formula, leads to an entropy that is twice the Bekenstein-Hawking entropy of the horizon. We argue that this factor of 2 could arise if the central charge was sensitive to both sets of edge modes, one on either side of the bifurcation surface, coupled together by the Dirichlet flux matching condition. To make a contradistinction, we compare to the case where boundary conditions are found to make the quasilocal charges integrable, and show that a different central charge results, and no factor of 2 appears. This thereby gives a derivation of the appropriate "counterterms" (i.e. fluxes) that had previously been conjectured to be necessary for the construction in [10,32].

Near-horizon expansion
We begin by reviewing the expansion of the metric near a bifurcate Killing horizon, following a construction of Carlip [27,32]. Let l a be the horizon-generating Killing vector, which is timelike in the exterior region, and becomes the null normal on the bifurcate Killing horizon H. A canonical choice of radial vector can be made using the gradient of the norm of l a , where κ is the surface gravity, which is constant on account of the zeroth law of black hole mechanics [81]. The normalization of ρ a is chosen so that it coincides with l a on H, and as a consequence of Killing's equation, one finds that l · ρ = 0 and [l, ρ] = 0 everywhere. If in addition the horizon is axisymmetric, meaning it possesses a rotational Killing vector ψ a that commutes with l a , it follows that ψ · ρ = 0 and [ψ, ρ] = 0. This allows us to choose coordinates (t, r * , φ) such that (l a , ρ a , ψ a ) are the corresponding coordinate basis vectors, and in this coordinate system, g tr * = g φr * = 0. The radial coordinate r * is analogous to the tortoise coordinate in the Schwarzschild solution, with the horizon positioned at r * → −∞.
The remaining coordinates will be denoted θ A .
One can demonstrate that the norm of the radial vector near the horizon satisfies [27] ρ and hence as a function of r * , the Killing vector norm satisfies the differential equation where the integration constant has been absorbed by the shift freedom in the definition of the tortoise coordinate, r * → r * + f (θ A ). This behavior suggests a reparameterization of the radial coordinate, in terms of which the Killing vector norm has the expansion This also implies that ∂ a x is unit normalized to leading order in the near-horizon expansion, which means x coincides with the radial geodesic distance to the bifurcation surface at this order. This fully determines the x coordinate, and in terms of it, the near-horizon metric exhibits a Rindler-like expansion, where the . . . denotes higher order terms which do not play a role in the remainder of the analysis of the near horizon symmetries. Here, we have used the shift freedom φ → φ+G(θ A ) to eliminate any dφdθ A terms that generically appear.
The Rindler coordinates degenerate on the future and past horizons, so it is useful to define Kruskal coordinates which are regular on the horizon, in terms of which the metric becomes The Killing vector and radial vector have simple expressions in terms of Kruskal coordinates, which demonstrates that near the bifurcation surface at U = V = 0, l a acts like a boost while ρ a acts like a dilatation.
The future horizon H + in Kruskal coordinates is located at U = 0, and on the horizon the generator is l a = κV ∂ a V . The natural choice of auxiliary null covector there is then n a = − 1 κV ∇ a V + 1 2 dV κV 2 l a , where the term proportional to l a just ensures that n a is null on all of H + . The spacetime volume form is given by where the induced volume form on the horizon is The past horizon H − is at V = 0, where the generator is l a = −κU ∂ a U and the auxiliary null covector is n a = 1 κU ∇ a U + 1 2 dU κU 2 l a . The conventions we use to define the volume forms are slightly different than on the future horizon. We choose the volume form on the past horizon to be η = − 1 κU dU ∧ µ, (4.14) to maintain the relationship µ = i l η. This means that the spacetime volume is related to η on the past horizon by = l ∧ η, (4.15) and these conventions ensure that µ limits to the same volume form on the bifurcation surface when approached on H + or on H − . Because of (4.15), the decomposition of θ picks up an overall minus sign relative to the expression (3.23). This means that on H − , the boundary term has a relative minus sign compared to (3.27) = kη 8πG (on H − ).

Expression for the noncovariance
The results of section 2.3 show that any extension of the quasilocal symmetry algebra is determined by the noncovariance of the boundary term, ∆ξ . The noncovariance of this quantity and the various other structures defined on a generic null surface were determined in section 3.4 in terms of the scalar w ξ which shows up in the noncovariance of the normal form to the horizon, l a . To apply these formulas in computations of the algebra extensions, we therefore need an expression for w ξ on a Killing horizon.
This can be derived on H + by first noting that if ξ a is tangent to the null surface N = H + , the value of £ ξ l a does not depend on how l a is chosen away from N . Since l a and ρ a coincide on N , we can compute w ξ l a = £ ξ l a = £ ξ ρ a = ∇ a (ξ · ρ), since (dρ) ab = 0 due to its definition as a gradient in equation (4.1). To continue the calculation, we express ξ a in terms of the basis (l a , ρ a , ψ a , ∂ a A ) as ξ a = ξ ρ ρ a + V a , where V a is some combination of l a , ψ a , and ∂ a A . Since l · ρ = ψ · ρ = 0 everywhere, and ∂ A · ρ = O[x 3 ], when evaluated on the horizon, only the ξ ρ component survives in the gradient. Hence we find, using (4.2), ∇ a (ξ · ρ) = ξ ρ ∇ a (ρ · ρ) = −ξ ρ ∇ a (l · l) = 2κξ ρ l a . (4.17) This leads to the simple expression, so we see that the noncovariance comes entirely from the dilatation component of ξ a , i.e. the component parallel to ρ a . Note that although w ξ does not depend on how l a is extended off of N , it does depend on the extension of ξ a in the vicinity of N . To demonstrate this point, we note that because l a and ρ a coincide on N , one cannot separate ξ a into its l a and ρ a components using its value on N alone. Only after looking at its behavior as you move away from N can its l a and ρ a components be distinguished, and then only the ρ a component contributes to the noncovariance.
The analysis on the past horizon H − is similar and leads to w ξ = 2κξ ρ (on H − ).

Virasoro vector fields
Having introduced the near-horizon expansion of the metric, we now turn to the choice of vector fields generating the near-horizon symmetries. Motivated by the hidden conformal symmetry of scattering amplitudes in Kerr [29], HHPS proposed a set of vector fields for Kerr black holes whose algebra consisted of two commuting copies of the Witt algebra. This algebra was identified by foliating the near-horizon region by approximately AdS 3 slices, and writing down the corresponding asymptotic symmetry generators. The construction of these symmetry generators was extended to Schwarzschild black holes in [82], which also proposed a two-parameter generalization in the choice of vector fields, with the two parameters coinciding with notions of left and right temperatures. The construction was further extended to arbitrary axisymmetric Killing horizons in [32], which similarly identified an algebra Diff(S 1 ) α × Diff(S 1 )ᾱ, consisting of two commuting copies of the Witt algebra, and labeled by two parameters (α,ᾱ) which coincide with choices of temperatures. In this section, we will analyze this latter algebra for general choices of (α,ᾱ), and show in section 4.4 that the quasilocal charge algebra leads to an expression for the central charges.
One way to describe the symmetry algebra is to present it in terms of a geometric structure that it preserves. To this end, we define the following "conformal coordinates" depending on the two parameters (α,ᾱ) [32]: The 2π periodicity of φ requires that these coordinates be identified according to (W + , W − , y) ∼ (e 2πα W + , e 2πᾱ W − , e π(α+ᾱ) y). We then form the following tensor where the second equality demonstrates that C ab is well-defined in light of the periodicity of the conformal coordinates. The near-horizon symmetries are defined to simply be the transformations that preserve C ab . A trivial set of such transformations are simply those parallel to the transverse directions, V A ∂ A . They preserve the bifurcation surface of the horizon, and hence do not require the Wald-Zoupas prescription, nor do they lead to algebra extensions when represented in terms of quasilocal charges. We therefore focus on the nontrivial transformations that act in the (t, r * , φ) plane.
Using the first expression for C ab in (4.21), it is straightforward to see that the vector fields that satisfy £ ξ C ab = 0 are of the form ξ a n = F n (W + )∂ a + + In order to be single-valued, the functions F n ,F n must satisfy F n (W + e 2πα ) = F n (W + )e 2πα , F n (W − e 2πᾱ ) =F n (W − )e 2πᾱ , and hence they can be expanded in modes, We can then compute the Lie brackets of these vector fields, and find that their algebra is given by two commuting copies of the Witt algebra, Although preservation of the tensor C ab uniquely specifies the near-horizon symmetry generators, there is still a question as to why this is a useful criterion to impose. While we do not have a completely satisfactory answer, we can point out some interesting features of C ab that may inform future investigations into its significance. First we note that the vector fields also preserve the following contravariant tensor, for any choice of (α,ᾱ). From this, one can also construct the projectors which are also preserved. On H + , the upper index of (P + ) a b is parallel to the horizon generator, and so by pulling back the lower index to H + , one arrives at a vertical projector for vectors on H + onto l a . Such a projector is an example of an Ehresmann connection for the horizon, viewed as a fiber bundle with fibers consisting of the null flow lines of l a . It is, in fact, a flat connection, with horizontal directions given by the surfaces of constant W + . However, this connection produces a nontrivial holonomy upon completing a 2π rotation in φ, which results in V → V e −2πα (see [32] for a depiction of this spiraling behavior of the conformal coordinates). (P − ) a b similarly defines a flat Ehresmann connection on the past horizon, with 2π holonomy U → U e −2πᾱ .
The relevance of such Ehresmann connections in the study of Carroll geometries on null surfaces [83] was recently emphasized in [84], so investigating the relationship between Carroll geometries and the near-horizon Virasoro symmetries may lead to a deeper understanding as to their fundamental origin. Note, however, it is important that the generators are defined to preserve C ab in a neighborhood of the bifurcation surface; it is not enough to simply find vector fields that preserve P + and P − on each of the respective horizons. This is because the behavior of ξ a n off of the horizon determines the noncovariances, which in turn determine extensions of the quasilocal charge algebra. Since C ab contains the information about both projectors, the geometric interpretation of the symmetry generators seems to involve not only the Ehresmann connections on each individual horizon, but also how they relate to each other in forming a bifurcate horizon.
As discussed in section 4.2, the noncovariances depend on the ρ a component of the symmetry generators. This can be computed by transforming the vector fields (4.22) and (4.23) back to the (t, r * , φ) coordinate system, in which they are expressed in terms of l a , ρ a , and ψ a . Using (4.5), (4.8), and (4.20), this leads to ξ a n = Note that the prefactor (W + ) in α = V in α e inφ in ξ a n has an oscillating singularity as the past horizon at V → 0 is approached. This means that the ξ a n vector fields have no well-defined limit to the past horizon, and so their quasilocal charges will be constructed on the future horizon. Similarly, the prefactor (W − ) − in α = (−U ) − in α e −inφ inξ a n has no limit to the future horizon U → 0, and so the corresponding quasilocal charges will be evaluated on H − . With this in mind, we can read off the expression for the noncovariances associated with these vector fields using (4.18) and (4.19), which gives We now demonstrate that these vector fields do not preserve the boundary conditions δk = 0, δl a = 0, or n a δl a = 0 that have been employed in previous works [17,19,74,75]. On H + , which clearly violates all three conditions pointwise. These conditions are also violated pointwise by theξ a n generators on H − , This therefore necessitates the use of the weaker boundary conditions described in section 3.2.

Central charges
With all this in place, we can proceed to the calculation of the central extension of the quasilocal charge algebra. We denote the quasilocal charges for ξ a n by L n , and the charges forξ a n byL n . Their values are given by the general expression (2.20), evaluated on H + for the L n generators and on H − for theL n generators. Note that because the background is rotationally symmetric, all of the charges L n ,L n except for L 0 ,L 0 vanish, since the generators (4.32), (4.33) come with angular dependence e inφ , which integrates to zero on ∂Σ. Of course, their variations, which enter the calculation of the brackets, need not vanish. Since the vector fields ξ a 0 andξ a 0 are linear combinations of the horizon-generating and rotational Killing vectors, l a and ψ a , the L 0 ,L 0 charges will be linear combinations of the Noether charges for the Killing vectors, namely, the horizon area A and angular momentum J H . The zero mode generators evaluate to where the horizon angular momentum J H is given by the Noether charge for the rotational Killing vector ψ a , The area contribution has dropped from these expressions because the quasilocal charge H l for l a , which normally is proportional to the area, vanishes upon including the Dirichlet boundary term i l from (2.20). This is somewhat unintuitive because l a vanishes as the bifurcation surface is approached; however, the contraction with has a nonzero value in the limit. The vanishing of this boost Noether charge was similarly observed in the analysis of a phase space bounded by a timelike hypersurface with Dirichlet boundary conditions [35,61].
The discussion of section 2.3 showed that the Barnich-Troessaert bracket of the charges must reproduce the algebra of the vector fields, up to abelian extensions. Hence, for the ξ a n vector fields, the bracket of the charges can be written where K m,n is determined by the explicit formula (2.32), To evaluate this, we first note that the expression (3.36) for the noncovariance of kη and the expression (4.34) for w ξn gives l a ∇ a w ξn = η 8πG For the quantity i ξm η, note that the ψ a component will not contribute to this expression when evaluated on a surface of constant V . Recalling that ρ a = l a on H + , we have Then we find that , (4.47) and subtracting the term with m ↔ −m and integrating over the surface gives a result proportional to the horizon area A, . (4.50) The analysis for theξ a n generators is similar. The calculations need to be done on the past horizon due to the singularity inξ a n on the future horizon. As explained in section 4.1, this flips the sign of the boundary term in the decomposition of the symplectic form. This then gives From this last expression, we can compute the extension As before, theL n generators are then seen to satisfy a Virasoro algebra with central chargē , (4.56) which is the same value as c given in (4.50). Note that c,c given in (4.50), (4.56) are twice the values computed in [10,32]. This factor of 2 will have an effect on the entropy computed in section 5.1.

Frame dependence
Although the null normal is fixed to coincide with the Killing horizon generator in the definition of the near-horizon phase space, we would like to understand how the central charges depend on the choice of background scaling frame. This is relevant because the choice of frame was related to the choice of stretched horizon in section 3.5, and since this frame has parallels to a choice of Weyl frame in a CFT, we would like the central charge to be insensitve to this choice. Under the rescaling transformation (3.1), the parameter w ξ characterizing the noncovariance of l a transforms according to Using (3.36), this then leads to a change in the anomaly of the boundary term by For the ξ a n generators on H + , this results in an extra contribution to K m,−m given by the integral over the bifurcation surface of the following quantity: The term involving a total φ derivative integrates to zero, and hence does not affect the central charge. The term that can affect the result is the one proportional to V ∂f ∂V in the limit V → 0. If f is a regular function of V at V = 0, this term drops out and the central charge is unaffected. To get a nonzero contribution from it, we would need f ∼ λ log V , corresponding to a rescaling of l a by V λ . This then affects the rate at which l a vanishes (or blows up) as the bifurcation surface is approached. For example, given the form of l a in (4.10), we see that λ = −1 rescales l a to an affine parameterization, since V is an affine parameter.
In order to arrive at an unambiguous value of the central charge, we must disallow transformations that affect the rate at which l a vanishes as V → 0. This means choosing a normalization so that it vanishes linearly with respect to an affine parameter as bifurcation surface is approached, just as the horizon-generating Killing vector does. Note that this still allows for rescalings of the generator in a φ or θ A -dependent manner, or, relatedly, making a different choice of the affine parameter with respect to which l a vanishes linearly. However, it rules out using an affinely parameterized generator when analyzing bifurcate null horizons. Using the Killing parameterization of the null generator is natural for Killing horizons, but it may be that other choices are preferred for different setups. Note that in [10,32], it seems that a nonstandard choice of this normalization was used, which happened to set any contribution to the central charge from the flux to zero except the Háiček term. It would be interesting to explore these other normalizations in more detail in the future.

Entropy from the Cardy formula
The relevance of equations (4.50) and (4.56) for the central charges is that they contain information about the entropy of the horizon. To see how this comes about, we need to associate a quantum system with the near-horizon degrees of freedom. It is well known that in a theory with gauge symmetry such as general relativity, the introduction of a spatial boundary breaks some of the gauge invariance, thereby producing additional degrees of freedom on the boundary that would otherwise not have been present [7,22,23]. The edge modes that arise in this fashion are acted on by the quasilocal charges identified in the previous sections, and thus represent a classical system with Virasoro symmetry. The quantization of this system should respect the symmetry, and since two dimensional conformal field theories share this symmetry algebra, we are led to the postulate that the quantum system should be a 2D CFT. In such a theory, the asymptotic density of states depends in a universal way on the central charge according to the Cardy formula [28]. We will find that applying this formula in the context of a Killing horizon shows that the entropy of the CFT is directly related to the entropy of the horizon.

Canonical Cardy formula
The Cardy formula comes in two flavors: microcanonical and canonical. The canonical formula applies to a CFT in a thermal state at high temperatures, and states that the entropy is given by where T andT are known as the left and right temperatures; they are the thermodynamic potentials conjugate to the L 0 andL 0 charges.
To apply this formula in the context of a Killing horizon, we need to identify the temperatures. This can be done in a manner similar to the determination of the Hawking temperature in terms of the horizon surface gravity. We would expect the density matrix for quantum fields just outside of the horizon to be in the Frolov-Thorne vacuum [30,31,85], which is thermal with respect to the horizon-generating Killing vector l a . This means the density matrix should be of the form where ω l = −k a l a is the frequency of a mode with wavevector k a , relative to l a , and the coefficient 2π κ is the inverse Hawking temperature. Since l a can be expressed in terms of the left and right Virasoro vector fields via 1 κ l a = 1 α ξ a 0 + 1 αξ a 0 , the density matrix can equivalently be written where now ω 0 = −k a ξ a 0 ,ω 0 = k aξ a 0 are the frequencies with respect to the Virasoro zero mode generators. This then leads us to identify the left and right temperatures With these temperatures in hand, the Cardy formula (5.1) applied using the computed values (4.50), (4.56) for c,c yields Somewhat unexpectedly, we arrive at twice the entropy of the horizon. To interpret this result, recall that the central charges were computed using the Barnich-Troessaert bracket of quasilocal charges. This bracket was employed because the quasilocal charges are not integrable, since they are associated with evolution up the horizon, during which symplectic flux leaks out. In order to justify such a calculation, one should introduce an auxiliary system that collects the lost symplectic flux, allowing integrable generators and Poisson brackets to be defined on the total system. Since we postulated that the edge modes on one side of the horizon are described by a 2D CFT, it is equally natural to assume that the auxiliary system is another copy of the same CFT, associated with edge modes on the other side of the horizon. If we assume that the Barnich-Troessaert bracket computes the central charge of the total system, we would arrive at twice the value of the central charge for one of the CFTs. This would explain the appearance of the factor of 2 in (5.5), since it is counting the entropy associated with edge modes on both sides of the horizon. If we then traced out the auxiliary system, we would expect the entropy to be exactly half the value computed above, and hence would arrive at the correct horizon entropy, This conjectural resolution will be expanded upon in section 6.2. In order to support this interpretation by way of contrast, we turn now to a case where the quasilocal charges are in fact integrable, so that no fluxes or auxiliary systems are needed.

Integrable charges
The other possibility that would produce the correct entropy is if the boundary term were half the value given in equation (3.27). This would correspond to different boundary conditions than Dirichlet, since the flux would now contain an additional contribution proportional to δk. Although this appears unnatural from the perspective of gluing subregions discussed in section 2.2, if we were only interested in integrable charges so that the subregion could be treated as a closed system, any boundary condition that results in integrability is valid. In this section, we will show that such modified boundary conditions are necessary if demanding that the HHPS charges be integrable.
A useful property of the Barnich-Troessaert bracket is that if boundary conditions are imposed to make the charges integrable, the Barnich-Troessaert bracket reduces to the Dirac bracket of these charges on the submanifold of phase space defined by imposing the boundary conditions as constraints. The integrable charges therefore need not be considered quasilocal, but rather are legitimate Hamiltonians generating the symmetry on the constrained phase space. Note, however, that the vector fields generating the symmetry must preserve the boundary condition imposed, i.e. they must be tangent to the constraint submanifold, since otherwise they do not produce well-defined transformations of the constrained fields.
Finding a boundary condition that ensures vanishing symplectic flux but is also preserved by the vector fields (4.32) and (4.33) is somewhat nontrivial, since the vector fields tend to violate any local condition fixing the intrinsic or extrinsic quantities on the horizon, see equations (4.36), (4.37), (4.38), and (4.39). However, as discussed in [32], one can consider more general conditions that are preserved by the symmetry generators, involving integrals of variations of quantities over portions of the horizon. Assuming such a condition is found, the fact that the fluxes then vanish consequently implies that the bracket {L n , L −n } can be computed simply from contracting the vector fieldsξ n ,ξ −n into the symplectic form Ω. 15 This computation was already performed in [32], and the resulting central charges are On the other hand, the general formula (2.32) for the extension in terms of ∆ξ still remains valid, albeit with a possibly different choice of boundary term than = −k 8πG η. The simplest generalization is to take with a some constant. In order to ensure that the values of L 0 andL 0 are the same when computed on either the future or past horizon, we must then choose the boundary term on the past horizon to be ak 8πG η. Doing this produces the central charges c =c = 3aA πG(α +ᾱ) . (5.10) Equating the above two expressions for c andc yields the conditions The first condition restricts the parameters α,ᾱ defining the symmetry generators, and was identified in [32] as a necessary condition for integrability of the charges. The second condition a = 1 2 shows that the boundary term is half of the value used when imposing a Dirichlet flux condition. It implies that the central charges are now half of the value computed in section 4.4, , (5.12) and consequently the entropy coming from the canonical Cardy formula (5.1) now agrees with the horizon entropy,

Microcanonical Cardy formula
The canonical Cardy formula requires the left and right temperatures as inputs, which were identified for the horizon using properties of the Frolov-Thorne vacuum for quantum fields outside of the horizon. A more microscopic derivation of the entropy would utilize the microcanonical Cardy formula, which expresses the entropy in terms of the density of states at fixed, large values of L 0 ,L 0 . The microcanonical expression for the entropy is S µCardy = 2π cL 0 6 + cL 0 6 . (5.14) To apply this formula, we need the values of the charges L 0 andL 0 . Note that we should expect the microcanoncial formula to work only in the case that the charges are integrable, since only then do L 0 ,L 0 represent global charges for a closed system. This is consistent with standard thermodynamics, in which the microcanonical ensemble counts the number of states within a fixed energy band of a closed system, while the canonical ensemble is used for an open system interacting with a bath at fixed temperature.
According to the discussion in section 5.2, integrability of the charges requires that the boundary term be on future horizon , (5.15) and the past horizon expression is just = kη 16πG , which are half the values they take under Dirichlet flux matching. This boundary term enters explicitly into the expression for the charges via equation (2.20), and making the choice (5.15) is important for finding the right entropy from the microcanonical Cardy formula.
Including the contribution from the boundary term (5.15), we now find that the zero mode charges are where the latter equalities in these equations employ the integrability condition (5.11) determining α −ᾱ. Using these values in the microcanonical Cardy formula (5.14) with the central charges (5.12) gives 18) in agreement with the canonical result (5.13) and coinciding with the horizon entropy.

Discussion
In this work, we revisited the Wald-Zoupas construction of quasilocal charges and fluxes for subregions with null boundaries, with the goal of systematically deriving the central charges that have appeared in several recent works on symmetries near Killing horizons [10,11,[32][33][34]82]. This required generalizing the treatment in [17] of the Wald-Zoupas procedure for null boundaries by allowing for the most general boundary conditions consistent with the presence of a null hypersurface. In the process, we arrived at a general formula (2.32) for the algebra extension that appears in the quasilocal charge algebra, which would be applicable in other investigations of near horizon symmetries. We showed that the central charge arises from fixing l a as the background structure, which we related to a choice of stretched horizon. In this context, the central charge arises as an anomaly, in a manner quite analogous to the holographic Weyl anomaly appearing in AdS/CFT due to noncovariance of the gravitational action under changes in the radial cutoff. Applying the Cardy formula to the central charges of a bifurcate, axisymmetric Killing horizon obtained using the Dirichlet flux condition yielded twice the entropy of the horizon, and we argued that the factor of 2 could be indicative of a complementary set of edge modes on the other side of the horizon. We now expand upon the possible significance of these results, and end with some future directions.

Algebra extension as a scaling anomaly
The formula (2.32) for the algebra extension K ξ,ζ shows that extensions only arise when the boundary term is not covariant with respect to the transformations generated by ξ a , ζ a . In several other treatments of symmetries at null boundaries, the boundary term was chosen to be covariant, and equation (2.32) therefore explains the vanishing of the central extensions in those cases [17,19,21]. The fact that the extension is always of the form of a trivial field-dependent cocycle [41] given by equation (2.36), means that the boundary term can always be chosen to be covariant so as to eliminate the extension K ξ,ζ . However, such a choice is in conflict with the Dirichlet form of the flux, and hence describes a physically different setup. Put another way, there is nontrivial physics in the choice of boundary term, and we should not view different choices of this term as a type of gauge freedom.
By imposing the Dirichlet flux condition, we were inevitably led to fluxes and boundary terms that were not covariant under the boundary symmetries. This noncovariance seems to be a feature, rather than a bug, as it gives rise to the central charge which ultimately accounts for the horizon entropy. The source of noncovariance came from fixing a choice of the null normal l a . This can be viewed as a choice of frame, since there is generally no preferred normalization of l a when the surface is null. The choice of l a bears resemblance to the choice of radial cutoff when describing asymptotic symmetries, or, equivalently, the choice of conformal factor when dealing with the conformal compactification. In holographic renormalization, the appearance of conformal anomalies in the dual CFT is known to be related to anomalous transformations of boundary terms in the gravitational action with respect to the radial cutoff [42][43][44][45]86]. Changing the radial cutoff then affects the induced metric in the limit that the conformal boundary is approached, and hence coincides with a choice of Weyl frame in the CFT.
To strengthen the analogy between this notion of conformal frame and the scaling frame of l a , we showed in section 3.5 that a preferred normalization of l a is determined if one specifies a sequence of stretched horizons that asymptote to the null surface. As has been remarked before, there are multiple ways to stretch the horizon [87], and here we see that this ambiguity has a precise analog in terms of the scaling frame of l a . Furthermore, the ambiguity in stretching the horizon, or equivalently, choosing the scaling frame of l a , is actually responsible for the appearance of the central charges in the horizon symmetry algebra. The radial vector ρ a introduced in equation (4.1) generates transformations that change the stretched horizon foliation pointwise, acting like a dilatation about the bifurcation surface. Intriguingly, we showed in section 4.2 that the ρ a component of the symmetry generators is solely responsible for producing anomalous transformations of objects on the horizon. This suggests that ρ a should be thought of as generating changes in the scaling frame of the horizon CFT, just as the radial vector in AdS generates Weyl transformations for the holographic CFT. The central charge in the horizon quasilocal charge algebra appears as a classical diffeomorphism anomaly coming from ∆ξ , and experience with holographic anomalies tells us that it should be interpreted as a quantum anomaly in a dual quantum description [42][43][44][45]. The Virasoro central charge indeed has this interpretation in 2D CFTs, where it appears as an anomaly in the CFT stress tensor [88].
The interpretation of the central charge as an anomaly may help explain why computations involving the Cardy formula do such a good job of capturing the black hole entropy. It is somewhat surprising that a set of Virasoro symmetry generators appear for Killing horizons of arbitrary dimension, when standard holographic reasoning would suggest that a higher dimensional CFT should appear for higher dimensional black holes. It is also surprising that seemingly disparate symmetry algebras, including BMS 3 [5,9,80], Virasoro-Kač-Moody [11], Heisenberg [8], or just a single copy of Virasoro [4,27], all seem to reproduce the black hole entropy when a Cardy-like formula is available, even though each of these symmetries would coincide with physically different quantum theories. Some insight into this situation comes from recalling that the Cardy formula is derived using the anomalous tranformation of the stress tensor when performing a change in conformal frame from the plane to the cylinder [28,89]. The conformal anomaly determines the vacuum expectation value of the stress tensor, which is attributed to a Casimir energy associated with putting the theory on a cylinder. Modular invariance then relates this vacuum energy to the high temperature density of states, from which one arrives at the Cardy formula for a CFT. The central charge appears in this formula in its capacity as an anomaly coefficient, and it may be that this conformal anomaly controls the density of states in more general contexts when an exact 2D CFT description is not valid. 16 In such a scenario, the extension in the quasilocal algebra would continue to characterize the rescaling anomaly, and one might hope that a suitable generalization of the Cardy formula would still reproduce the black hole entropy.

Barnich-Troessaert bracket and Dirichlet matching
The Barnich-Troessaert bracket given in (2.28) played an important role in defining the algebra satisfied by the quasilocal charges. As of yet, however, there is no derivation of this bracket from first principles. The main technical problem is in coming up with an object which replaces the Poisson bracket when dealing with an open subsystem, which can lose symplectic flux through a boundary. There has been some work addressing this problem for general phase spaces with boundaries [91][92][93][94], but it remains to be seen exactly the connection between these works and the present context of quasilocal charges in gravity. The heuristic derivation of the bracket in section 2.3 describes how it might arise by including an auxiliary system which collects the lost symplectic flux, but it would clearly be interesting to carry out such a construction in full detail.
A step toward deriving the Barnich-Troessaert bracket was taken by Troessaert in [69], who interpreted the quasilocal symmetry transformations in terms of a family of phase spaces parameterized by a set of boundary sources. These boundary sources are simply the values taken by the fields appearing in the flux. For the Dirichlet form of the flux the, intrinsic metric q ij and null generator l i constitute the sources. This interpretation is inspired by holography, where the holographic dictionary relates boundary values of the fields to sources in the dual CFT, and their conjugate momenta to expectation values of the sourced operators [95,96]. In this case, the momenta π ij and π i from equations (3.29) and (3.30) should have the interpretation of the holographic stress tensor for the null boundary, similar to the Brown-York stress tensor on the timelike boundary in standard examples of AdS/CFT [43]. Dirichlet conditions also play an important role in holography, since other boundary conditions can lead to conformal field theories with fluctuating sources or metrics, whose interpretation as a well-defined theory is less clear [78]. Troessaert describes the quasilocal symmetries as "external symplectic symmetries," which are transformations that act on the boundary sources as well as the dynamical fields, and demonstrates that the Barnich-Troessaert bracket arises in a natural way on this enlarged phase space. External symplectic symmetries have also appeared in the context of asymptotically flat spaces, where superrotations have been shown to be of this character [97].
The interpretation of the Barnich-Troessaert bracket in terms of an enlarged phase space decomposed into smaller phase spaces of fixed Dirichlet field values is similar to the description of fixed area states in holography [98,99]. Specifically, in the latter construction, a bulk Cauchy slice is split across the Ryu-Takayanagi (RT) surface [100,101], and a general state in the gravitational Hilbert space is decomposed into superselection sectors corresponding to area eigenstates of the RT surface, each of which classically corresponds to a fixed Dirichlet boundary condition (albeit for a codimension-two boundary as opposed to a codimensionone boundary). This description in terms of fixed area states was important for reproducing the correct Renyi spectrum of holographic states. The analogue of the external symplectic transformations are operators that belong to neither the algebra of the entanglement wedge nor its complement. In other words, such transformations would not preserve the center. Fixed area states appeared earlier in a slightly different context in [38], where it was argued that the Bekenstein-Hawking entropy arises from summing over all fixed area configurations of a black hole in Euclidean gravity. Therefore, it might not be all that coincidental that we needed to fix the Dirichlet form in the symplectic potential in order to reproduce the Bekenstein-Hawking entropy from the Cardy formula; investigating the connection between the present work and these other works would be an interesting next step.
Ultimately, the Barnich-Troessaert bracket should arise from a Poisson bracket on a larger phase space, consisting of a subregion and its complement. When gluing together the two subregion phase spaces to construct the global phase space, each choice for the form of the flux E corresponds to a specific matching of the boundary variables. As discussed in section 2.2, the Dirichlet flux is used to kinematically match the metric on the dividing surface, while the discontinuity in momenta π ij and π i are dynamically set equal to the boundary stress energy by the combined variational principle for the subregion and its complement, yielding a version of the junction conditions for general relativity [66,67,102]. Matching the intrinsic data is preferred over matching the momenta, since jumps in intrinsic data lead to distributionally ill-defined curvatures, which we expect to be excluded from the gravitational path integral. In a complete derivation of the Barnich-Troessaert bracket, we therefore expect the Dirichlet flux condition to play an important role.

Edge modes and the factor of 2
A surprising result of this work is the appearance of the additional factor of 2 in the central charges (4.50), (4.56) and entropy (5.5) when using the Dirichlet flux condition to define the quasilocal charges. This hints at the existence of a pair of CFTs describing the degrees of freedom near the horizon. The gluing picture described in section 6.2 supports this interpretation, since in such a description, one would naturally construct a pair of quasilocal charge algebras before combining them into a global phase space. Once this procedure is carried out, it may be that the Barnich-Troessaert bracket computes the algebra associated with the global Virasoro charges of the two CFTs combined, which would lead to a central charge that is twice the value associated with the single CFT on one side. The canonical  Cardy formula then returns the total entropy assuming the CFT is in a global thermal state, but if we are interested in the entropy associated only with degrees of freedom outside of the horizon, we would first have to trace out the additional interior degrees of freedom. This would have the effect of halving the value of the entropy obtained, which leads to the correct entropy formula, S = A 4G . A contrasting setup was analyzed in sections 5.2 and 5.3, in which the quasilocal charges were specialized to integrable ones. This required a different boundary term that resulted in central charges and an entropy that were both half the values obtained using the Dirichlet flux, and hence correctly gave the horizon entropy. Integrability of the charges allows the subregion to be viewed as a closed system, in which case the central charge we compute would have to be associated with only a single CFT. A further consistency check in this case was agreement with the microcanonical Cardy formula, which holds since the system is isolated. The interpretation of the Dirichlet matching condition then seems to be that it necessarily entails a description in terms of an open system, and the Barnich-Troessaert bracket computes the total central charge associated with both sets of quasilocal charges. On the other hand, the boundary term necessary for integrable charges seems to be associated with one-sided generators, which, at least for the special choice of parameters given in equation (5.11), do not require a gluing construction. Of course, it may be that there is some other justification for using the alternative boundary term over the Dirichlet one in a gluing construction, and it would be interesting to explore this possibility further.
This picture in terms of a pair of CFTs arises naturally when interpreting the horizon entropy as an entanglement entropy. In a theory with gauge symmetry such as general relativity, the quantum mechanical Hilbert space does not factorize into a tensor product associated with a subregion and its complement. However, one can form an extended Hilbert space [103] that does factorize by introducing additional edge mode degrees of freedom on the boundary which are acted on by a quasilocal charge algebra closely related to the ones considering in the present work [7,24]. The physical Hilbert space is then identified with a particular subspace of the extended Hilbert space, which is constructed in a way analogous to the gluing construction described above. This gluing procedure produces entanglement between the edge modes, which ultimately contributes to the entropy of the state [103], and in some cases can be the dominant contribution.
In the context of this work, since the quasilocal symmetries contain a Virasoro algebra, we expect each set of edge modes to be described in terms of a CFT, and the gluing procedure should entangle these CFTs into something like a thermofield double state. This creates a picture that is quite familiar from holography, where entanglement between a pair of CFTs builds up a connected black hole geometry in the bulk [104][105][106] (see figure 2). The difference when working on the horizon is that when gluing at the bifurcation surface, the two sets of edge modes are coincident, as opposed to being spatially separated by the AdS interior. Nevertheless, one might attribute the smooth region to the future of the bifurcation surface as arising from the edge mode entanglement, similar to how smooth bulk geometries arise from entanglement in holography. If one instead worked on the stretched horizons, there would be a small spatial region between the gluing surfaces which could be thought of as built up from edge mode entanglement.
In a limit where the horizon approaches extremality with κ → 0, the stretched horizon picture begins to look like standard derivations of holographic dualities [107,108]. The additional ingredient in AdS/CFT is the appearance of a long AdS throat, separating the stretched horizon from what would have been a bifurcation surface, were it not infinitely far away. Associated with this throat is the existence of a decoupling limit between modes deep within the throat and excitations in the distant asymptotically flat region, which allows the CFT dual to the AdS throat to be treated as a closed system. This decoupling limit is not available for the nondegenerate horizons considered in this paper, and the CFT associated with the quasilocal charges must be thought of as interacting with degrees of freedom in the exterior. The need to employ the Wald-Zoupas procedure due to the presence of fluxes can be viewed as an indication of this lack of decoupling. Although nonstandard in traditional treatments of AdS/CFT, recent works on black hole evaporation in holography have employed a similar setup, where the standard Dirichlet boundary conditions in AdS are relaxed to allow fluxes of Hawking radiation to escape into an auxiliary asymptotically flat region [109,110]. Time translation in such a setup should then be viewed as an external symplectic symmetry of the AdS subregion, and the definitions of energy and the boundary symmetry algebra would require the Wald-Zoupas procedure and the Barnich-Troessaert bracket. Understanding the quasilocal symmetry algebras of horizons may therefore provide additional insights into the black hole evaporation process and information paradox.

Future work
This work raises a number of questions that motivate further investigation. Foremost amongst these is the interpretation of the Barnich-Troessaert bracket and its relation to the gluing of subregions. Deriving the bracket from a gluing construction would make progress towards confirming the conjectured origin of the factor of 2 appearing in the central charge with Dirichlet flux matching. Beyond that, the gluing construction would demonstrate a way to describe a localized subregion in gravity, from which one could ask additional questions about local gravitational observables. On the quantum side, this gluing procedure gives a way to embed the global gauge-invariant Hilbert space of the thoery into an extended Hilbert space, and allows notions of of entanglement entropy for a subregion to be defined. It should also have a description in terms of the sewing of path integrals [38,111,112], which may also lead to further justifications of the Dirichlet matching condition.
Although the main application of this work was an analysis of the Virasoro vector fields for Killing horizons, the general formalism we developed is much more broadly applicable. In particular, the expression (2.32) for the central extension in terms of the anomalous transformation of the boundary term in the action applies quite generally, and hence can be utilized for a variety of symmetry algebras and types of hypersurfaces. One interesting application would be to investigate the various extended symmetry algebras that have been proposed for asymptotically flat space with these methods [13,14,16,113,114]. In particular, there may be some connection between the null boundary stress tensor we found in this paper and the celestial stress tensor found for 4D asymptotically flat spaces in [115], although we expect that suitable counterterms to regulate this expression will be needed [63,65]. It would also be interesting to explore the relation between these boundary terms and fluxes and the recent work on effective actions for superrotation modes [116].
More generally, one could look at symmetry algebras associated with arbitrary null surfaces [17,21], and analyze the extensions that appear using the Dirichlet flux condition. One intriguing aspect of some of these symmetry algebras is that they include factors of Diff(S 2 ), which is known to have no nontrivial central extensions. However, the Barnich-Troessaert bracket generically produces abelian extensions, which do exist for Diff(S 2 ). It would be interesting to see if these extensions have any connection to anomalies in a putative quantum description, and whether one can find a Cardy-like formula related to the abelian extensions.
In [17] a BMS-like algebra was found on arbitrary null surfaces, which can be written as a semidirect sum diff(S 2 ) s, where s consists of the generators of the form ξ a = f l a . As discussed in section 3.2, [17] employed the boundary condition δk = 0, which constrains the function f to satisfy £ l (£ l + k)f = 0, so these generators form a pointwise R R subalgebra corresponding to position-dependent translations and boosts along the null surface, the former of which correspond to supertranslations. We can readily see from our general expression (2.32) along with the choice of boundary term (3.27) on a null surface that the δk = 0 boundary condition makes the central charge trivially vanish. As explained in [17], if we lift the δk = 0 condition, then the only modification to the algebra is that now f can be any function on the null surface; such vector fields were considered for example in [21]. In particular, if we consider two generators ξ a = f l a andξ a =f l a , the extension K ξ,ξ computed from (2.32) will be nonzero for an arbitary null surface. A step towards understanding the universality of the Bekenstein-Hawking entropy from the Cardy formula would therefore entail a better understanding of this enlargement of the R R subalgebra and the resulting abelian extension.
The Wald-Zoupas construction we described in this work required the symmetry generators to be tangent to a hypersurface that bounds the subregion of interest. However, diffeomorphisms which move the bounding hypersurface should also possess quasilocal charges. Treating such transformations would require additional analysis of the decomposition of the symplectic potential at the null surface, and a characterization of the noncovariances that can arise from such transformations, but in principle a similar set of techniques should allow quasilocal charges to be defined for these surface deformations. Carrying this out in detail would be a useful next step.
Another generalization would be to investigate higher curvature theories using the Wald-Zoupas procedure. We anticipate this being more challenging due to the presence of higher time derivatives in the action. In particular, we should not expect the Dirichlet flux condition to be available in general, with the exception of Lovelock theories, for which the null boundary terms corresponding to Dirichlet conditions are known [117]. Determining a suitable generalization of that condition would be the main obstacle one would need to overcome. The analysis of [118] on near horizon symmetries of extremal black holes in higher curvature theories may give some insights into this problem.
Finally, an open question related to the Virasoro symmetry generators considered in [10] is with regards to their geometrical significance. In the extremal limit, the generators become symmetries of a warped AdS 3 throat [30,31], but away from extremality their interpretation is less clear. In [29], the parameters α andᾱ were determined by a hidden conformal symmetry of the scalar wave equation in the near-horizon region. Determining how this symmetry relates to preservation of the tensor C ab defined in (4.21) would lead to further insights on the relation between the near-horizon Virasoro generators and null boundary data.
where the first equality used the relation (2.14) for E, the second equality expanded the variation of Q ζ via the third equality employed the identities where the S Lie bracket [ξ,ζ] S is related to the spacetime Lie bracket for field-independent generators by a minus sign according to (A.3). By integrating (B.2) over ∂Σ, we arrive at the desired identity for the bracket, noting that the exact term in (B.2) integrates to zero and i ξ i ζ (L + d ) pulls back to zero since ξ a and ζ a are tangent to the hypersurface N , so their transverse components to ∂Σ must be parallel to each other.
Note that if we examine the steps leading to (B.2), we see that the terms involving β do not mix with the other terms, i.e. we have an independent identity involving only β, − IξδIζβ + Iζi ξ dβ + i ξ ∆ζβ = I [ξ,ζ] β − di ξ Iζβ (B.7) This immediately implies that different choices of β in the decomposition (2.14) of θ do not affect the algebra or extension K ξ,ζ . Stated differently, different choices of how to separate off the corner term β from the flux E correspond to changes in the charges associated with trivial extensions, H ξ → H ξ + ∂Σ Iξ(β − β ). This explains why the choice of corner term did not enter into the results for the central charges reported in [10,32].
When utilizing the corner improvement described in section C, the modification of the charges and bracket amounts to shifting {H ξ , H ζ } by the term, where we have applied the relation (A.4). The first term is the contribution to improved charge −H [ξ,ζ] , while the second and third terms correct K ξ,ζ , and the last term integrates to zero. This then leads to the expression (C.7) for the central charge using the corner improvement.
Finally, we verify the cocycle identity (2.35) that must be satisfied by K ξ,ζ . Using the expression (2.36) for K ξ,ζ as a trivial field-dependent cocycle, we have

C Corner improvement
In deriving the expression (2.20) for the quasilocal charges, we assumed that the corner term was covariant, ∆ξβ = 0. Although we will find that for a null surface this condition is satisfied, it is still interesting to consider the case where the corner term is not covariant, as it leads to a useful improvement to the expression for the quasilocal charges and the extensions K ξ,ζ . Another reason to consider this case is to resolve an additional ambiguity that arises in the decomposition (2.14) of θ. Fixing the form of E still allows us to make the shifts → + da, β → β + δa. Under this transformation, the quasilocal charge transforms as H ξ → H ξ − ∂Σ ∆ξa, and hence H ξ is sensitive to this ambiguity if a is not covariant. Since we are allowing for noncovariance in , there is no reason to assume that β and a cannot similarly be constructed from noncovariant objects.
To handle the case where β is not covariant, we return to equation (2.19) and find that we need a way to separate ∆ξβ into a contribution to the charge and a contribution to the flux. Similar to how we handled θ, we look for a decomposition of β at ∂Σ of the form β = −δc + ε. (C.1) Note that this decomposition should be made on N without pulling back β to ∂Σ. In principle we could also include an exact contribution dγ in the decomposition, but these will always end up integrating to zero on ∂Σ. 17 This decomposition allows us to identify ε with a corner contribution to the flux, while c is the contribution to the charge.
The improved quasilocal charge can then be written and its variation satisfies an equation similar to (2.21), The continuity equation for the change in the charges between two cuts of N is IξE still interpreted as the flux, but with an anomalous source now given by As before, the ambiguities in the decomposition are fixed once we have specified the form of the corner flux term ε. We expect in this case a Dirichlet condition would fix the form of ε, and arguments based on the variational principle should relate the matching to codimension-2 junction conditions, such as those considered in [102]. Once this is done, the shift, β → β + δa causes c → c − a, while ε is invariant. Hence, the combination + dc is also insensitive to this shift, and can be viewed as the improvement to the boundary Lagrangian by a contribution from a corner Lagrangian c. We see that many of the improved formulas are obtained from those of previous sections by merely replacing with its invariant form, + dc.
Note that the formula for the improved quasilocal charges (C.3) can be used even in the case that β is already covariant. This could be useful in cases where one wishes for the corner flux to depend on the geometry of ∂Σ, in which case it will not be covariant with respect to transformations that move ∂Σ, even if β originally was.

D Checking extension is central
As discussed in section 2.3, the Barnich-Troessaert bracket of quasilocal charges generically produces an abelian extension of the associated algebra of vector fields. We found that for the generators ξ a n andξ a n , all of the extensions K m,n vanished in the Killing horizon background except for K m,−m . However, the quantities K m,n have nonzero variations, so in principle their brackets with the L n generators could show that the algebra is a nontrivial abelian extension of the Witt algebra. 18 Here we will demonstrate that in fact the extension is central, verifying that the resulting algebra is the Virasoro algebra.
The quantity to compute for χ c , ξ c and ζ c three of the ξ a n generators is (ignoring factors of 8πG) Iχδ i ξ ∆ζ = −i ξ Iχδ ηl c ∇ c w ζ (D.1) since δw ζ = 0, which follows from δw ζ l a = −δ∆ζl a = ∆ζδl a = 0. Then we have using that ∆χ(ηl c ) = 0 for any vector that preserves the horizon, and Iχδη = 0 for the Virasoro vector fields. The last line uses that l c = κ α ξ c 0 + κ αξ c 0 to compute the bracket with χ c , and has chosen χ c = ξ c n . Now setting ζ a = χ a m , and using the expression (4.34) for w ζ , w χ , we have that using that l c = κV ∂ c V on H + in Kruskal coordinates (4.10), and χ c = α W + in α W + ∂ c + + in 2α y∂ c y in conformal coordinates (4.22). This shows that the integrand in IχδK ξ,ζ vanishes. According to the definition (2.33) for the Barnich-Troessaert bracket of K ξ,ζ with the other generators, we see that this implies that K ξ,ζ commutes with all generators, and hence must be central. Thus we arrive at the advertised result, that we have the Virasoro algebra as our extension, as opposed to some other abelian extension. The analysis on the past horizon for theξ a n generator is analogous, and similarly confirms that theL n generators form a Virasoro algebra.