Dressed Subsystems in Gravitational Theory

Local subsystems play a fundamental role in theoretical physics, but they are usually defined in terms of background spacetime structures, in particular a Lorentzian metric. In gravity there are no such structures and the metric becomes dynamical. I will argue that nevertheless subsystems can be constructed in relation to other degrees of freedom, subject to the requirement that those variables reside within the subsystem itself. In operational terms an observer located within the system should be able to determine its edge by taking measurements within that region only. Within the context of classical field theory, I will demonstrate that this guarantees that the observables describing the system constitute a closed Poisson algebra. I'll discuss some examples, explain how surface charges generating subsystem symmetries, including the Bekenstein-Hawking area entropy, are incorporated, and make some remarks about how this can be extended to a fully quantum treatment within the framework of deformation quantization.