Abstract:We remind how relationality arises as the core insight of general-relativistic gauge field theories from the articulation of the generalised hole and point-coincidence arguments. Hence, a compelling case for a manifestly relational framework ensues naturally. We propose our formulation for such a framework, based on a significant development of the dressing field method of symmetry reduction.
We first develop a version for the group $\text{Aut}(P)$ of automorphisms of a principal bundle $P$ over a manifold $M$, as it is the most natural and elegant, and as $P$ hosts all the mathematical structures relevant to general-relativistic gauge field theory. Yet, as the standard formulation is local, on $M$, we then develop the relational framework for local field theory. It manifestly implements the generalised point-coincidence argument, whereby the physical field-theoretical degrees of freedoms co-define each other and define, coordinatise, the physical spacetime itself. Applying the framework to General Relativity, we obtain relational Einstein equations, encompassing various notions of "scalar coordinatisation" à la Kretschmann-Komar and Brown-Kuchař.
General Relativity and Quantum Cosmology,High Energy Physics - Theory,Mathematical Physics
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to construct a framework of general - relativistic gauge field theory that can clearly reflect relationality. Specifically, starting from the core insights regarding relationality in general relativity and gauge field theory, the authors propose a new method to construct such a framework. This method is based on the Dressing Field Method (DFM) of symmetry reduction and aims to achieve this goal through geometric methods.
### Main content and methods of the paper
1. **Core insights of relationality**:
- **Relationality in general relativity**: Through the "hole argument" and the "point - coincidence argument", Einstein realized that space - time points and regions are defined by the coincidence relations of field values, so the physical degrees of freedom are also relational.
- **Relationality in gauge field theory**: The gauge principle requires that physical laws are insensitive to gauge choices, which means that field equations must be gauge - tensorial. Through the "internal hole argument" and the "internal point - coincidence argument", it can be concluded that the physical degrees of freedom in gauge field theory are also relational.
2. **Dressing Field Method (DFM)**:
- **Global field space**: First, the authors consider the global field space, that is, the space of fields (differential forms) on a finite - dimensional principal bundle \(P\). This global field space is described as an infinite - dimensional principal bundle, whose structure group is the automorphism group \(\text{Aut}(P)\) of \(P\), which contains the diffeomorphisms of the base manifold \(M\) and vertical automorphisms (i.e., the gauge group \(H\)).
- **Application of the dressing field method**: DFM is a systematic algorithm for constructing basic objects on the global field space and the regional bundle. In the case of the regional bundle, the concept of field - dependent regions naturally emerges.
3. **Local field theory**:
- **Local field space**: Standard field theory is carried out on the base manifold \(M\), not on the principal bundle \(P\). Therefore, the authors discuss in detail the bundle geometry of the local field space, where the structure group is \(\text{Diff}(M)\rtimes H_{\text{loc}}\), where \(H_{\text{loc}}\) is the local gauge group.
- **Integration theory**: The authors frame the integration theory as an operation on the associated regional bundle of \(M\). DFM is then used to construct basic objects on the local field space and its associated regional bundle. The physical - relation space - time naturally emerges from the concept of dressed integration.
### Main contributions of the paper
- **Explicit relationality framework**: Through DFM, a framework of general - relativistic gauge field theory with explicit relationality is constructed, making observables and fundamental degrees of freedom easier to identify, and the field equations have a well - posed Cauchy problem and may be more amenable to quantization.
- **Unified geometric method**: Unify the relationality insights of general relativity and gauge field theory in a geometric framework, providing a deeper understanding.
- **Application examples**: The authors apply this framework to general relativity and general relativity coupled with scalar electromagnetism, demonstrating its effectiveness and practicality.
### Conclusion
This paper successfully constructs a framework of general - relativistic gauge field theory with explicit relationality through the dressing field method, which not only deepens the understanding of the relationality insights in general relativity and gauge field theory but also provides powerful tools and methods for future research.