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.

Invertibility conditions for field transformations with derivatives: Toward extensions of disformal transformation with higher derivatives

Invertible disformal transformations with arbitrary higher-order derivatives

Generalisation of Conformal-Disformal Transformations of the Metric in Scalar-Tensor Theories

Generalization of conformal-disformal transformations of the metric in scalar-tensor theories

The Invariant-Relat Ed Unitary Transformation Method and the Evolution of a Dirac Field in Friedmann–Robertson–Walker Flat Spacetimes

Consistency of higher derivative couplings to matter fields in scalar-tensor gravity

Effective description of generalized disformal theories

Deformations and Inversion Formulas For Formal Automorphisms in Noncommutative Variables

On the KG-constrained general disformal transformation of the Einstein-Hilbert action

Representing Fields without Correspondences: the Lifted Euler Characteristic Transform

Auxiliary fields approach to shift-symmetric theories: the $φ^4$ derivative theory and the crumpled-to-flat transition of membranes at two-loop order

Is it possible to assign physical meaning to field theory with higher derivatives?

The dressing field method for diffeomorphisms: a relational framework

Field transformations and invariant quantities in scalar-teleparallel theories of gravity

Disformal symmetry in the Universe: mimetic gravity and beyond

Field transformations in functional integral, effective action and functional flow equations

On invariants of second-order ordinary differential equations $y''=f(x,y,y')$ via point transformations

Non-invertible duality interfaces in field theories with exotic symmetries