Abstract:The dressing field method is a tool to reduce gauge symmetries. Here we extend it to cover the case of diffeomorphisms. The resulting framework is a systematic scheme to produce Diff(M)-invariant objects, which has a natural relational interpretation. Its precise formulation relies on a clear understanding of the bundle geometry of field space. By detailing it, among other things we stress the geometric nature of field-independent and field-dependent diffeomorphisms, and highlight that the heuristic "extended bracket" for field-dependent vector fields often featuring in the covariant phase space literature can be understood as arising from the Frölicher-Nijenhuis bracket. Furthermore, by articulating this bundle geometry with the covariant phase space approach, we give a streamlined account of the elementary objects of the (pre)symplectic structure of a Diff(M)-theory: Noether charges and their bracket, as induced by the standard prescription for the presymplectic potential and 2-form. We give conceptually transparent expressions allowing to read the integrability conditions and the circumstances under which the bracket of charge is Lie, and the resulting Poisson algebras of charges are central extensions of the Lie algebras of field-independent ($\mathfrak{diff}(M)$) and field-dependent vector fields. We show that, applying the dressing field method, one obtains a Diff(M)-invariant and manifestly relational formulation of a general relativistic field theory. Relying on results just mentioned, we easily derive the "dressed" (relational) presymplectic structure of the theory. This reproduces or extends results from the gravitational edge mode and gravitational dressing literature. In addition to simplified technical derivations, the conceptual clarity of the framework supplies several insights and allows us to dispel misconceptions.

Hamiltonian Reduction of Diffeomorphism-Invariant Field Theories

Modular Hamiltonian in the semi infinite line, Part II: dimensional reduction of Dirac fermions in spherically symmetric regions

Towards field theory of multiple D0-branes. Hamiltonian mechanics and quantization of simplest 3D prototype of multiple D0-brane system

Hamiltonian analysis of metric-affine-R 2 theory

Modular Hamiltonian in the semi infinite line. Part II. Dimensional reduction of Dirac fermions in spherically symmetric regions

Hamiltonian analysis of metric-affine-$R^2$ theory

Global realisation of magnetic fields as 1$\frac{1}{2}$D Hamiltonian systems

The dressing field method for diffeomorphisms: a relational framework

Some 1d (Supersymmetric) Quantum Field Theories Reduced from Chern-Simons Gauge Theories

Inverting the Hamiltonian Reduction in String Theory

Fluctuations in 2D reversibly-damped turbulence

Solutions of the Klein-Gordon equation on manifolds with variable geometry including dimensional reduction

Quantum Hamiltonian Reduction of Super Kac-Moody Algebra II

Hamiltonian BRST deformation of a class of n-dimensional BF-type theories

Field Theory on Newton-Cartan Backgrounds and Symmetries of the Lifshitz Vacuum

Tagging the Teleman Corpus

A modest redirection of quantum field theory solves all current problems

Hamiltonian Renormalisation II. Renormalisation Flow of 1+1 dimensional free scalar fields: Derivation

Singular reduction of implicit Hamiltonian systems

Hamiltonization of solids of revolution through reduction