The dressing field method for diffeomorphisms: a relational framework

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.

arXiv comment62 pages. Update: short descriptions of the action Lie groupoid and algebroid of field space are added

References in corpus (70)

• Black Hole Entropy is Noether Charge
• Massive Gravity
• Symmetries of asymptotically flat 4 dimensional spacetimes at null infinity revisited
• Dust as a Standard of Space and Time in Canonical Quantum Gravity
• The Stueckelberg Field
• BMS charge algebra
• Local subsystems in gauge theory and gravity
• Partial observables
• Diffeomorphism-invariant observables and their nonlocal algebra
• Edge modes of gravity -- I: Corner potentials and charges
• Covariant phase space with boundaries
• Quasilocal mass in general relativity
• Observables, gravitational dressing, and obstructions to locality and subsystems
• Local phase space and edge modes for diffeomorphism-invariant theories
• The Weyl BMS group and Einstein's equations
• Extended corner symmetry, charge bracket and Einstein's equations
• Edge modes and corner ambiguities in 3d Chern-Simons theory and gravity
• Why Gauge?
• GPS observables in general relativity
• Relational Observables in Gravity: a Review
• Edge modes of gravity -- II: Corner metric and Lorentz charges
• Embeddings and Integrable Charges for Extended Corner Symmetry
• Edge modes of gravity. Part III. Corner simplicity constraints
• Revisiting observables in generally covariant theories in the light of gauge fixing methods
• Manifestly Gauge-Invariant General Relativistic Perturbation Theory: I. Foundations
• Anomalies in gravitational charge algebras of null boundaries and black hole entropy
• Lorentz-diffeomorphism edge modes in 3d gravity
• Hidden Gravity in Open-String Field Theory
• Covariant Poisson Brackets in Geometric Field Theory
• A unified geometric framework for boundary charges and dressings: non-Abelian theory and matter
• Null Conservation Laws for Gravity
• Covariant phase space, constraints, gauge and the Peierls formula
• A general framework for gravitational charges and holographic renormalization
• The Observer's Ghost: a field-space connection-form and its application to gauge theories and general relativity
• Geometric formulation of the Covariant Phase Space methods with boundaries
• Gravitational dressing, soft charges, and perturbative gravitational splitting
• Absolute Objects and Counterexamples: Jones-Geroch Dust, Torretti Constant Curvature, Tetrad-Spinor, and Scalar Density
• Extended actions, dynamics of edge modes, and entanglement entropy
• A note on gauge systems from the point of view of Lie algebroids
• Artificial vs Substantial Gauge Symmetries: a Criterion and an Application to the Electroweak Model
• A Unified Geometric Framework for Boundary Charges and Particle Dressings
• Gauge-invariant observables, gravitational dressings, and holography in AdS
• The Generalized Peierls Bracket
• Gauging the Boundary in Field-space
• Gauge invariant composite fields out of connections, with examples
• Gauge invariant variables for cosmological perturbation theory using geometrical clocks
• The Lie group of bisections of a Lie groupoid
• Wald-Zoupas prescription with (soft) anomalies
• The Nontriviality of Trivial General Covariance: How Electrons Restrict 'Time' Coordinates, Spinors (Almost) Fit into Tensor Calculus, and 7/16 of a Tetrad Is Surplus Structure
• Bundle geometry of the connection space, covariant Hamiltonian formalism, the problem of boundaries in gauge theories, and the dressing field method
• The dressing field method of gauge symmetry reduction, a review with examples
• Gauge-invariant observables in gravity and electromagnetism: black hole backgrounds and null dressings
• Empirical Equivalence, Artificial Gauge Freedom and a Generalized Kretschmann Objection
• Coordinates, observables and symmetry in relativity
• Covariant phase space for gravity with boundaries: metric vs tetrad formulations
• Tractors and Twistors from conformal Cartan geometry: a gauge theoretic approach I. Tractors
• Homological perspective on edge modes in linear Yang-Mills and Chern-Simons theory
• Tractors and Twistors from conformal Cartan geometry: a gauge theoretic approach II. Twistors
• Symplectic reduction of Yang-Mills theory with boundaries: from superselection sectors to edge modes, and back
• Diffeomorphism-invariant observables and dynamical frames in gravity: reconciling bulk locality with general covariance
• Note on the bundle geometry of field space, variational connections, the dressing field method, & presymplectic structures of gauge theories over bounded regions
• Geometrical tools for embedding fields, submanifolds, and foliations
• Gravitational observables, intrinsic coordinates, and canonical maps
• Multisymplectic formalism and the covariant phase
• Palatini gravity with nonmetricity, torsion, and boundaries in metric and connection variables
• Null Hamiltonian Yang-Mills theory: Soft symmetries and memory as superselection
• Dynamical diffeomorphisms
• Hamiltonian gauge theory with corners: constraint reduction and flux superselection
• The Covariant Phase Space of Gravity with Boundaries
• Noether charges: the link between empirical significance of symmetries and non-separability

Cited by in corpus (9)

• Geometric relational framework for general-relativistic gauge field theories
• On the Meaning of Local Symmetries: Epistemic-Ontological Dialectics
• Off-shell supersymmetry via manifest invariance
• Unconventional Supersymmetry via the Dressing Field Method
• Note on the group of vertical diffeomorphisms of a principal bundle, and its relation to the Frölicher-Nijenhuis bracket
• Spacetime boundaries do not break diffeomorphism and gauge symmetries
• Raising galaxy rotation curves via dressing
• Toward Manifest Relationality in Transformers via Symmetry Reduction
• Mechanics as a general-relativistic gauge field theory, and Relational Quantization