Gauging spacetime inversions in quantum gravity
Daniel Harlow, Tokiro Numasawa
TL;DR
The paper argues that spacetime inversion symmetries, notably CRT, must be gauge symmetries in quantum gravity and develops a framework for their gauging. It shows that gauging CRT is naturally realized by summing over Euclidean spacetime topologies, implies a real Hilbert space for quantum gravity in closed universes, and necessitates including Lorentzian time-nonorientable manifolds to reproduce boundary duals in AdS/CFT. Through background-field constructions, explicit AdS/CFT examples, and discussions of chronology and spin structure, the authors derive concrete consequences for topology, causality, and fermions, while connecting to JT gravity and matrix ensembles. The work advances a coherent picture in which topology and symmetry gauging shape the nonperturbative structure of quantum gravity and holography, with implications for completeness, fractionalization, and the emergence of conventional quantum mechanics from a real-structure foundation.
Abstract
Spacetime inversion symmetries such as parity and time reversal play a central role in physics, but they are usually treated as global symmetries. In quantum gravity there are no global symmetries, so any spacetime inversion symmetries must be gauge symmetries. In particular this includes $\mathcal{CRT}$ symmetry (in even dimensions usually combined with a rotation to become $\mathcal{CPT}$), which in quantum field theory is always a symmetry and seems likely to be a symmetry of quantum gravity as well. In this article we discuss what it means to gauge a spacetime inversion symmetry, and we explain some of the more unusual consequences of doing this. In particular we argue that the gauging of $\mathcal{CRT}$ is automatically implemented by the sum over topologies in the Euclidean gravity path integral, that in a closed universe the Hilbert space of quantum gravity must be a real vector space, and that in Lorentzian signature manifolds which are not time-orientable must be included as valid configurations of the theory. In particular we give an example of an asymptotically-AdS time-unorientable geometry which must be included to reproduce computable results in the dual CFT.
