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.

Conformal and projective tractors from 2-frame bundlesby the dressing field method

Conformal and projective tractors from 2-frame bundles by the dressing field method

Subtleties concerning conformal tractor bundles

Tractors and Twistors from conformal Cartan geometry: a gauge theoretic approach I. Tractors

About complex structures in conformal tractor calculus

Conformal theory of curves with tractors

Normal tractor conformal bundles and codimension two spacelike submanifolds in Lorentzian manifolds

Projective Geometry I: Principles and Properties

Standard Tractors and the Conformal Ambient Metric Construction

Conformally Kähler structures

Tractor Geometry of Asymptotically Flat Spacetimes

The conformal limit and projective structures

The dressing field method for diffeomorphisms: a relational framework

On Relative Tractor Bundles

On left invariant CR structures on SU(2)

Conformally invariant powers of the Laplacian, Q-curvature, and tractor calculus

Geometric Structures on the Complement of a Projective Arrangement

Conformal Mapping of Non-Lorentzian Geometries in SU(1,2) Conformal Field Theory

Conformal structures with $G_2$-symmetric twistor distribution

Geometric realization of algebraic conformal field theories

A nonstandard operator for almost Grassmannian geometries with a torsion