This is the first paper in a series devoted to understanding the classical and quantum nature of edge modes and symmetries in gravitational systems. The goal of this analysis is to: i) achieve a clear understanding of how different formulations of gravity provide non-trivial representations of different sectors of the corner symmetry algebra, and ii) set the foundations of a new proposal for states of quantum geometry as representation states of this corner symmetry algebra. In this first paper we explain how different formulations of gravity, in both metric and tetrad variables, share the same bulk symplectic structure but differ at the corner, and in turn lead to inequivalent representations of the corner symmetry algebra. This provides an organizing criterion for formulations of gravity depending on how big the physical symmetry group that is non-trivially represented at the corner is. This principle can be used as a “treasure map” revealing new clues and routes in the quest for quantum gravity. Building up on these results, we perform a detailed analysis of the corner pre-symplectic potential and symmetries of Einstein-Cartan-Holst gravity in [1], use this to provide a new look at the simplicity constraints in [2], and tackle the quantization in [3].

We propose an extension of the BMS group, which we refer to as Weyl BMS or BMSW for short, that includes super-translations, local Weyl rescalings and arbitrary diffeomorphisms of the 2d sphere metric. After generalizing the Barnich-Troessaert bracket, we show that the Noether charges of the BMSW group provide a centerless representation of the BMSW Lie algebra at every cross section of null infinity. This result is tantamount to proving that the flux-balance laws for the Noether charges imply the validity of the asymptotic Einstein’s equations at null infinity. The extension requires a holographic renormalization procedure, which we construct without any dependence on background fields. The renormalized phase space of null infinity reveals new pairs of conjugate variables. Finally, we show that BMSW group elements label the gravitational vacua.

We develop the covariant phase space formalism allowing for non-vanishing flux, anomalies, and field dependence in the vector field generators. We construct a charge bracket that generalizes the one introduced by Barnich and Troessaert and includes contributions from the Lagrangian and its anomaly. This bracket is uniquely determined by the choice of Lagrangian representative of the theory. We then extend the notion of corner symmetry algebra to include the surface translation symmetries and prove that the charge bracket provides a canonical representation of the extended corner symmetry algebra. This representation property is shown to be equivalent to the projection of the gravitational equations of motion on the corner, providing us with an encoding of the bulk dynamics in a locally holographic manner.

In this second paper of the series we continue to spell out a new program for quantum gravity, grounded in the notion of corner symmetry algebra and its representations. Here we focus on tetrad gravity and its corner symplectic potential. We start by performing a detailed decomposition of the various geometrical quantities appearing in BF theory and tetrad gravity. This provides a new decomposition of the symplectic potential of BF theory and the simplicity constraints. We then show that the dynamical variables of the tetrad gravity corner phase space are the internal normal to the spacetime foliation, which is conjugated to the boost generator, and the corner coframe field. This allows us to derive several key results. First, we construct the corner Lorentz charges. In addition to sphere diffeomorphisms, common to all formulations of gravity, these charges add a local $$ \mathfrak{sl} $$sl (2, ℂ) component to the corner symmetry algebra of tetrad gravity. Second, we also reveal that the corner metric satisfies a local $$ \mathfrak{sl} $$sl (2, ℝ) algebra, whose Casimir corresponds to the corner area element. Due to the space-like nature of the corner metric, this Casimir belongs to the unitary discrete series, and its spectrum is therefore quantized. This result, which reconciles discreteness of the area spectrum with Lorentz invariance, is proven in the continuum and without resorting to a bulk connection. Third, we show that the corner phase space explains why the simplicity constraints become non-commutative on the corner. This fact requires a reconciliation between the bulk and corner symplectic structures, already in the classical continuum theory. Understanding this leads inevitably to the introduction of edge modes.

A detailed analysis of the spherically symmetric isolated horizon system is performed in terms of the connection formulation of general relativity. The system is shown to admit a manifestly SU(2) invariant formulation where the (effective) horizon degrees of freedom are described by an SU(2) Chern-Simons theory. This leads to a more transparent description of the quantum theory in the context of loop quantum gravity and modifications of the form of the horizon entropy.

In the tetrad formulation of gravity, the so-called simplicity constraints play a central role. They appear in the Hamiltonian analysis of the theory, and in the Lagrangian path integral when constructing the gravity partition function from topological BF theory. We develop here a systematic analysis of the corner symplectic structure encoding the symmetry algebra of gravity, and perform a thorough analysis of the simplicity constraints. Starting from a precursor phase space with Poincaré and Heisenberg symmetry, we obtain the corner phase space of BF theory by imposing kinematical constraints. This amounts to fixing the Heisenberg frame with a choice of position and spin operators. The simplicity constraints then further reduce the Poincaré symmetry of the BF phase space to a Lorentz subalgebra. This picture provides a particle-like description of (quantum) geometry: the internal normal plays the role of the four-momentum, the Barbero-Immirzi parameter that of the mass, the flux that of a relativistic position, and the frame that of a spin harmonic oscillator. Moreover, we show that the corner area element corresponds to the Poincaré spin Casimir. We achieve this central result by properly splitting, in the continuum, the corner simplicity constraints into first and second class parts. We construct the complete set of Dirac observables, which includes the generators of the local $$ \mathfrak{sl}\left(2,\mathrm{\mathbb{C}}\right) $$sl 2 ℂ subalgebra of Poincaré, and the components of the tangential corner metric satisfying an $$ \mathfrak{sl}\left(2,\mathrm{\mathbb{R}}\right) $$sl 2 ℝ algebra. We then present a preliminary analysis of the covariant and continuous irreducible representations of the infinite-dimensional corner algebra. Moreover, as an alternative path to quantization, we also introduce a regularization of the corner algebra and interpret this discrete setting in terms of an extended notion of twisted geometries.