Crossed product algebras and generalized entropy for subregions

In gravity, spacelike separated regions can be dependent on each other due to the constraint equations. In this paper, we give a natural definition of subsystem independence and gravitational dressing of perturbations in classical gravity. We find that extremal surfaces, non-perturbative lumps of matter, and generic trapped surfaces are structures that enable dressing and subregion independence. This leads to a simple intuitive picture for why extremal surfaces tend to separate independent subsystems. The underlying reason is that localized perturbations on one side of an extremal surface contribute negatively to the mass on the other side, making the gravitational constraints behave as if there exist both negative and positive charges. Our results support the consistency of islands in massless gravity, shed light on the Python’s lunch, and provide hints on the nature of the split property in perturbatively quantized general relativity. We also prove a theorem bounding the area of certain surfaces in spherically symmetric asymptotically de Sitter spacetimes from above and below in terms of the horizon areas of de Sitter and Nariai. This theorem implies that it is impossible to deform a single static patch without also deforming the opposite patch, provided we assume spherical symmetry and an energy condition.

Section: Gravitational Splitting and Local Algebrasmentioning

confidence: 99%

Subregion independence in gravity

Folkestad

2024

State-independent black hole interiors from the crossed product

Krishnan,

Mohan

2024

Opinion is divided about the nature of state dependence in the black hole interior. Some argue that it is a necessary feature, while others argue it is a bug. In this paper, we consider the extended half-sided modular translation U (s0) (with s0 > 0) of Leutheusser and Liu that takes us inside the horizon. We note that we can use this operator to construct a modular Hamiltonian H and a conjugation J on the infalling time-evolved wedges. The original thermofield double translates to a new cyclic and separating vector in the shifted algebra. We use these objects and the Connes’ cocycle to repeat Witten’s crossed product construction in this new setting, and to obtain a Type II∞ algebra that is independent of the various choices, in particular that of the cyclic separating vector. Our emergent times are implicitly boundary-dressed. But if one admits an “extra” observer in the interior, we argue that the (state-independent) algebra can be Type I or Type II1 instead of Type II∞, depending on whether the observer’s light cone contains an entire Cauchy slice or not. Along with these general considerations, we present some specific calculations in the setting of the Poincare BTZ black hole. We identify a specific pointwise (as opposed to non-local) modular translation in BTZ-Kruskal coordinates that is analytically tractable, exploiting a connection with AdS-Rindler. This modular translation can reach the singularity.

Algebras and their covariant representations in quantum gravity

Bahiru

2024

We study a physically motivated representation of an algebra of operators in gravitational and non gravitational theories called the covariant representation of an algebra. This is a representation where the symmetries of the operator algebra are implemented unitarily on the Hilbert space. We emphasize the very close similarity of this representation to the crossed product of an algebra. In fact, as an example of (and sometimes identified with) a covariance algebra, the crossed product of an algebra is in one to one correspondence with the covariant representation of the algebra. This will in turn illuminate physically what the crossed product algebra is in the context of quantum gravity.