Spacetime boundaries do not break diffeomorphism and gauge symmetries

In General Relativity and gauge field theory, one often encounters a claim, which may be called the boundary problem, according to which “boundaries break diffeomorphism and gauge symmetries”. We argue that this statement has the same conceptual structure as the hole argument, and is thus likewise defused by the point-coincidence argument: We show that the boundary problem dissolves once it is understood that a physical region, thus its boundary, is relationally and invariantly defined. This insight can be technically implemented via the Dressing Field Method, a systematic tool to exhibit the gauge-invariant content of general-relativistic gauge field theories, whereby physical field-theoretical degrees of freedom co-define each other and define, coordinatize, the physical spacetime. We illustrate our claim with a simple application to the case of General Relativity.

💡 Research Summary

The paper addresses a widely cited “boundary problem” in General Relativity (GR) and gauge field theory (GFT), namely the claim that spacetime boundaries break diffeomorphism and gauge symmetries. The authors argue that this claim mirrors the logical structure of the classic hole argument and is therefore resolved by the same point‑coincidence reasoning that Einstein used to save determinism in GR.

First, the authors recall the hole argument: because the field equations are covariant under Diff(M) (and under an internal gauge group H), any solution ϕ can be transformed by a compactly supported diffeomorphism ψ (or gauge transformation γ) to produce a distinct mathematical configuration ϕ′ that coincides with ϕ outside the “hole” region Dψ (or Dγ) but differs inside it. This seems to imply an ill‑posed Cauchy problem and a loss of determinism. The point‑coincidence argument counters this by emphasizing that physical observables are not the individual field values at points of the background manifold M, but the coincidences of values of several fields at the same point. All configurations related by a diffeomorphism (or gauge transformation) therefore represent the same physical state; the manifold points themselves have no intrinsic physical meaning.

The paper then introduces the Dressing Field Method (DFM) as a systematic way to implement the point‑coincidence insight. A “dressing field” u (for internal gauge symmetries) or υ (for diffeomorphisms) is a smooth map extracted from the dynamical fields themselves, satisfying a transformation law that exactly cancels the original gauge or diffeomorphism action: uγ = γ⁻¹u, υψ = ψ⁻¹∘υ. By substituting the gauge parameter with the dressing field—what the authors call the “rule of thumb”—one constructs dressed fields ϕ_u or ϕ_υ that are invariant under the original symmetry group. Importantly, these dressed fields are not gauge‑fixed versions of the original fields; they are genuinely new, relational variables that encode the invariant relations among the physical degrees of freedom.

When applied to diffeomorphisms, the dressed fields live on “dressed regions” U_υ = υ⁻¹(U), which are themselves invariant under Diff(M). Consequently, the physical boundary ∂U_υ is also invariant, and no symmetry breaking occurs at the boundary. The authors show that the action integral over a region U can be rewritten as an integral over the dressed region U_υ of the dressed Lagrangian L(ϕ_υ), demonstrating that the dynamics is completely captured by the dressed variables without any residual boundary terms that would spoil invariance.

The paper provides a concrete illustration in GR. The metric g and a chosen dressing map υ define a dressed metric g_υ = υ* g and a dressed manifold M_υ = {U_υ | U ⊂ M}. Physical spacetime is identified with (M_υ, g_υ), a relational construct that does not rely on the background manifold M. Because the dressed metric and dressed regions are Diff‑invariant, the alleged “breaking of diffeomorphism symmetry at the boundary” disappears. The same reasoning applies to internal gauge symmetries, showing that edge modes or extra boundary degrees of freedom—often introduced to restore gauge invariance—are unnecessary once one works with dressed, relational variables.

In summary, the authors demonstrate that the boundary problem is a misinterpretation arising from treating mathematical fields and manifold points as physically real. By adopting the Dressing Field Method, one obtains a formulation of GR and GFT in which both the bulk and the boundary are manifestly invariant under diffeomorphisms and gauge transformations. This relational, invariant perspective not only resolves the conceptual puzzle but also suggests that many proposals involving edge modes or corner symmetries may be re‑examined within a dressed‑field framework, with potential implications for quantum gravity research.