Abstract:We perform a complete and systematic analysis of the solution space of six-dimensional Einstein gravity. We show that a particular subclass of solutions -- those that are analytic near $\mathcal{I}^+$ -- admit a non-trivial action of the generalised Bondi-Metzner-van der Burg-Sachs (GBMS) group which contains \emph{infinite-dimensional} supertranslations and superrotations. The latter consists of all smooth volume-preserving Diff$\times$Weyl transformations of the celestial $S^4$. Using the covariant phase space formalism and a new technique which we develop in this paper (phase space renormalization), we are able to renormalize the symplectic potential using counterterms which are \emph{local} and \emph{covariant}. The Hamiltonian charges corresponding to GBMS diffeomorphisms are non-integrable. We show that the integrable part of these charges faithfully represent the GBMS algebra and in doing so, settle a long-standing open question regarding the existence of infinite-dimensional asymptotic symmetries in higher even dimensional non-linear gravity. Finally, we show that the semi-classical Ward identities for supertranslations and superrotations are precisely the leading and subleading soft-graviton theorems respectively.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the asymptotic symmetries in high - dimensional gravitational theories and the calculation of the associated charges. Specifically, the objectives of the paper can be summarized as follows:
1. **Define the minimal solution space**: The paper aims to find the minimal solution space that can accommodate supertranslations and superrotations as asymptotic symmetries and clarify what the boundary conditions corresponding to these symmetries are. This involves analyzing the solution space in six - dimensional Einstein gravity and identifying those solutions that are analytic near infinity (i.e., at the conformal infinity \( \mathcal{I}^- \)).
2. **Properties of the presymplectic form**: Investigate whether the presymplectic form on the above - mentioned solution space is finite and invertible. If there are divergences, how to regulate and renormalize them in a local and covariant manner. This includes dealing with large - \( r \) divergences and large - \( u \) divergences to ensure the finiteness and invertibility of the presymplectic form.
3. **Gauge transformation properties of supertranslations and superrotations**: Explore whether supertranslations and superrotations are canonical transformations and their roles in the phase space. The paper finds that although supertranslations and superrotations are not canonical transformations, the corresponding Hamiltonian charges can be constructed by extracting the integrable part of the presymplectic form.
4. **Central extension of the charge algebra**: Study the algebraic structure of supertranslation and superrotation charges, especially whether there is a central extension in these charge algebras. The paper shows that these charge algebras faithfully represent the generalized BMS algebra (GBMS algebra).
5. **Relationship between asymptotic symmetries and soft theorems**: Explore how these asymptotic symmetries are related to the soft - graviton theorems. The paper proves that the semiclassical Ward identities correspond to the soft - graviton theorems for supertranslations and superrotations, namely the leading and subleading soft - graviton theorems respectively.
### Specific problems and solutions
- **Definition of the minimal solution space**:
- By analyzing the solution space of six - dimensional Einstein gravity, the paper defines a minimal solution space \( S_{\text{analytic}} \) that contains supertranslations and superrotations. This solution space is defined by the analytic condition at the conformal infinity \( \mathcal{I}^- \) and does not contain logarithmic terms.
- Specific solution space data include radiation \( r^{(2)}_{AB}(u, x) \), mass surface \( M(x) \), angular momentum surface \( N_A(x) \), four - dimensional diffeomorphisms \( \chi^A(x) \), Weyl factor \( \Phi(x) \) and scalar function \( C(x) \).
- **Properties of the presymplectic form**:
- The paper finds that the presymplectic form has divergences at large \( r \), but these divergences can be attributed to boundary terms. By introducing local and covariant counterterms, these divergences can be eliminated, making the presymplectic form finite as \( r \to \infty \).
- The large - \( u \) divergence is more complicated and needs to be dealt with by freezing certain degrees of freedom (such as the volume form on \( I^+ \)).
- **Gauge transformation properties of supertranslations and superrotations**:
- The paper proves that supertranslations and superrotations are not gauge transformations because their corresponding charges are not integrable. However, by extracting the integrable part of the presymplectic form, Hamiltonian charges that faithfully represent the GBMS algebra can be constructed.
- **Central extension of the charge algebra**:
- The paper shows the algebraic structure of supertranslation and superrotation charges and proves that these charge algebras faithfully represent the GBMS algebra without central extension.
- **Relationship between asymptotic symmetries and soft theorems**:
- By quantizing the classical phase space, the paper constructs the asymptotic Hilbert space of the theory and defines creation and annihilation operators. By introducing the antipole matching condition, the consistency between the Ward identities and the soft - graviton theorems is proved.
Overall, this paper...