Boundary effects in General Relativity with tetrad variables

TL;DR

This paper investigates boundary effects in General Relativity using tetrad variables, revealing how gauge symmetries and boundary conditions influence the variational principle and the construction of conserved charges.

Contribution

It introduces an alternative approach to boundary variations with tetrads, clarifies the impact of gauge symmetries, and compares different methods for defining surface charges in covariant phase space.

Findings

Tetrad boundary variations differ from metric ones by an exact 3-form.

The boundary variation simplifies gluing hypersurfaces, including non-orthogonal corners.

Tetrad and metric charges coincide only under specific cohomological prescriptions.

Abstract

Varying the gravitational Lagrangian produces a boundary contribution that has various physical applications. It determines the right boundary terms to be added to the action once boundary conditions are specified, and defines the symplectic structure of covariant phase space methods. We study general boundary variations using tetrads instead of the metric. This choice streamlines many calculations, especially in the case of null hypersurfaces with arbitrary coordinates, where we show that the spin-1 momentum coincides with the rotational 1-form of isolated horizons. The additional gauge symmetry of internal Lorentz transformations leaves however an imprint: the boundary variation differs from the metric one by an exact 3-form. On the one hand, this difference helps in the variational principle: gluing hypersurfaces to determine the action boundary terms for given boundary conditions is simpler, including the most general case of non-orthogonal corners. On the other hand, it affects the construction of Hamiltonian surface charges with covariant phase space methods, which end up being generically different from the metric ones, in both first and second-order formalisms. This situation is treated in the literature gauge-fixing the tetrad to be adapted to the hypersurface or introducing a fine-tuned internal Lorentz transformation depending non-linearly on the fields. We point out and explore the alternative approach of dressing the bare symplectic potential to recover the value of all metric charges, and not just for isometries. Surface charges can also be constructed using a cohomological prescription: in this case we find that the exact 3-form mismatch plays no role, and tetrad and metric charges are equal. This prescription leads however to different charges whether one uses a first-order or second-order Lagrangian, and only for isometries one recovers the same charges.