We consider the problem of defining localized subsystems in gauge theory and gravity. Such systems are associated to spacelike hypersurfaces with boundaries and provide the natural setting for studying entanglement entropy of localized subsystems. We present a general formalism to associate a gauge-invariant classical phase space to a spatial slice with boundary by introducing new degrees of freedom on the boundary. In Yang-Mills theory the new degrees of freedom are a choice of gauge on the boundary, transformations of which are generated by the normal component of the nonabelian electric field. In general relativity the new degrees of freedom are the location of a codimension-2 surface and a choice of conformal normal frame. These degrees of freedom transform under a group of surface symmetries, consisting of diffeomorphisms of the codimension-2 boundary, and position-dependent linear deformations of its normal plane. We find the observables which generate these symmetries, consisting of the conformal normal metric and curvature of the normal connection. We discuss the implications for the problem of defining entanglement entropy in quantum gravity. Our work suggests that the Bekenstein-Hawking entropy may arise from the different ways of gluing together two partial Cauchy surfaces at a cross-section of the horizon.

A cornerstone of the loop quantum gravity program is the fact that the phase space of general relativity on a fixed graph can be described by a product of SU(2) cotangent bundles per edge. In this paper we show how to parametrize this phase space in terms of quantities describing the intrinsic and extrinsic geometry of the triangulation dual to the graph. These are defined by the assignment to each face of its area, the two unit normals as seen from the two polyhedra sharing it, and an additional angle related to the extrinsic curvature. These quantities do not define a Regge geometry, since they include extrinsic data, but a looser notion of discrete geometry which is twisted in the sense that it is locally well-defined, but the local patches lack a consistent gluing among each other. We give the Poisson brackets among the new variables, and exhibit a symplectomorphism which maps them into the Poisson brackets of loop gravity. The new parametrization has the advantage of a simple description of the gauge-invariant reduced phase space, which is given by a product of phase spaces associated to edges and vertices, and it also provides an Abelianization of the SU(2) connection. The results are relevant for the construction of coherent states and, as a byproduct, contribute to clarify the connection between loop gravity and its subset corresponding to Regge geometries.

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 discuss the issue of parity violation in quantum gravity. In particular, we study the coupling of fermionic degrees of freedom in the presence of torsion and the physical meaning of the Immirzi parameter from the viewpoint of effective field theory. We derive the low-energy effective Lagrangian which turns out to involve two parameters: one measuring the nonminimal coupling of fermions in the presence of torsion, the other being the Immirzi parameter. In the case of nonminimal coupling the effective Lagrangian contains an axial-vector interaction leading to parity violation. Alternatively, in the case of minimal coupling there is no parity violation and the effective Lagrangian contains only the usual axial-axial interaction. In this situation the real values of the Immirzi parameter are not at all constrained. On the other hand, purely imaginary values of the Immirzi parameter lead to violations of unitarity for the case of nonminimal coupling. Finally, the effective Lagrangian blows up for the positive and negative unit imaginary values of the Immirzi parameter.