We discuss an approach to characterizing local degrees of freedom of a subregion in diffeomorphism-invariant theories using the extended phase space of Donnelly and Freidel, [JHEP 2016[JHEP (2016. Such a characterization is important for defining local observables and entanglement entropy in gravitational theories. Traditional phase space constructions for subregions are not invariant with respect to diffeomorphisms that act at the boundary. The extended phase space remedies this problem by introducing edge mode fields at the boundary whose transformations under diffeomorphisms render the extended symplectic structure fully gauge invariant. In this work, we present a general construction for the edge mode symplectic structure. We show that the new fields satisfy a surface symmetry algebra generated by the Noether charges associated with the edge mode fields. For surface-preserving symmetries, the algebra is universal for all diffeomorphism-invariant theories, comprised of diffeomorphisms of the boundary, SL(2, R) transformations of the normal plane, and, in some cases, normal shearing transformations. We also show that if boundary conditions are chosen such that surface translations are symmetries, the algebra acquires a central extension.

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.

We show that the linearized higher derivative gravitational field equations are equivalent to an equilibrium condition on the entanglement entropy of small spherical regions in vacuum. This extends Jacobson's recent derivation of the Einstein equation using entanglement to include general higher derivative corrections. The corrections are naturally associated with the subleading divergences in the entanglement entropy, which take the form of a Wald entropy evaluated on the entangling surface. Variations of this Wald entropy are related to the field equations through an identity for causal diamonds in maximally symmetric spacetimes, which we derive for arbitrary higher derivative theories. If the variations are taken holding fixed a geometric functional that we call the generalized volume, the identity becomes an equivalence between the linearized constraints and the entanglement equilibrium condition. We note that the fully nonlinear higher curvature equations cannot be derived from the linearized equations applied to small balls, in contrast to the situation encountered in Einstein gravity. The generalized volume is a novel result of this work, and we speculate on its thermodynamic role in the first law of causal diamond mechanics, as well as its possible application to holographic complexity.

No abstract