The Hyperboloidal and Spacetime Positive Mass Theorem in All Dimensions

Abstract: Using the recent work of Brendle--Wang on the Riemannian positive mass theorem, we prove the spacetime positive mass theorem for asymptotically flat and asymptotically hyperboloidal initial data sets in arbitrary dimension $n$.

• The paper extends the spacetime positive mass theorem to all dimensions by proving E ≥ |P| under the dominant energy condition for both asymptotically flat and hyperboloidal initial data sets.
• It uses a combination of the Jang equation, Lorentz invariance, and density arguments to manage singularities and secure non-negativity of mass.
• Results remove previous dimensional and topological restrictions, establish rigidity under equality cases, and pave the way for advances in high-dimensional geometric relativity.

The Hyperboloidal and Spacetime Positive Mass Theorem in All Dimensions: Technical Synthesis

Introduction and Context

This paper addresses the longstanding open problem of the spacetime positive mass theorem (PMT) $E \ge |P|$ for general asymptotically flat (AF) and asymptotically hyperboloidal (AH) initial data sets in arbitrary dimension $n \geq 3$. Historically, proofs of the PMT relied on spinor techniques or minimal surface methods, with limitations to spin manifolds or to dimensions $n \leq 7$ due to regularity obstructions in higher dimensions. The recent work of Brendle–Wang on the Riemannian PMT for all dimensions forms the backbone for the arguments herein, enabling the extension to the spacetime PMT for general $(M^n, g, k)$, under the dominant energy condition (DEC), in both AF and AH regimes (2604.24746).

Main Theorems and Rigidity Statements

The paper establishes:

• For AH initial data sets $(M^n, g, k)$, $E \ge |P|$ holds whenever $\mu \ge |J|_g$.
• For AF initial data sets $(M^n, g, k)$, the ADM energy-momentum vector satisfies $E_{\mathrm{ADM}} \ge |P_{\mathrm{ADM}}|$ under DEC.
• Rigidity: In the case $E = |P|$, equality characterizes isometric embedding of $n \geq 3$0 as spacelike hypersurfaces either in Minkowski space (if $n \geq 3$1 or spin), or more generally in pp-wave spacetimes with explicit metric form and superharmonicity constraints on the function $n \geq 3$2 (encoding gravitational waves).
• For AH, the rigidity in non-spin, non-time symmetric cases remains unresolved, indicating directions for further development.

These statements eliminate previous dimensional/topological restrictions, confirming the PMT universally for $n \geq 3$3.

Technical Approach and Novel Contributions

Reduction Arguments via Lorentz Invariance

Leveraging Lorentz invariance, the authors demonstrate that it suffices to prove non-negativity of energy in every admissible asymptotic chart. Boost transformations (SO(1, $n \geq 3$4) isometries) are used to rotate/boost the energy-momentum vector, exploiting classical techniques to reduce the general PMT to the case $n \geq 3$5 in each chart.

Density of Data with Wang Asymptotics

For AH initial data, a density result ensures that general data can be approximated (in energy-momentum) by data with Wang's asymptotics and strict DEC. This approximation allows the application of subsequent geometric measure theory and regularity results.

Jang Equation and Singular Graphs

The proof employs the Jang equation, whose regularized version yields weak solutions (Jang graphs) with robust geometric measure-theoretic properties. The compactness argument produces boundaries that are $n \geq 3$6-almost minimizing in $n \geq 3$7 and whose singular sets are shown to be of Minkowski dimension at most $n \geq 3$8, extending regularity results to all dimensions. A precise scalar curvature identity is used: the Jang metric's scalar curvature is weakly positive when DEC is satisfied.

Desingularization and Conformal Blow-Up

The potential accumulation of singularities near cylindrical ends is addressed by a refined conformal blow-up argument, based on the coercive weighted scalar curvature estimates for the Jang graph. Piecewise construction along the singular set ensures completeness of the desingularized metric, crucial for the application of the Brendle–Wang mass inequality.

Mass Formula and Nonnegativity

For asymptotically flat ends, the ADM mass is linked to expansions in terms of coordinate charts and parameters $n \geq 3$9, showing that the mass quantity derived from the Jang deformation is non-negative, and that $n \leq 7$0 is non-negative in all cases. Under equality, embedding into pp-wave spacetimes is established via prior results.

Extension to AH via Exact and Wang Asymptotics

For AH, reductions to AF using the work of Chruściel–Delay allow the PMT for AH manifolds with Wang asymptotics to follow from the AF PMT. The case of exact AdS–Schwarzschild ends is handled by replacing the hyperboloidal end with an AF Schwarzschild end and applying the result.

Numerical and Structural Outcomes

The singular set's dimension bound, $n \leq 7$1, is robust for all $n \leq 7$2, indicating minimal loss of regularity even in high dimensions. The coercive scalar curvature estimate, including weighted inequalities on Jang graphs, provides strong numerical control essential for the conformal blow-up technique and subsequent mass analysis.

Implications and Prospects

The results close the major theoretical gap in the PMT for general (not necessarily spin) initial data sets in all dimensions, solidifying the foundational link between geometry, energy-momentum, and gravitational theory. Practically, the removal of dimensional and topological restrictions will facilitate analysis of stability and rigidity for solutions of the Einstein equations in higher-dimensional, non-spin manifolds, potentially impacting research in mathematical relativity and geometric analysis.

Future developments will likely address the rigidity question in the AH, non-spin, non-time symmetric sector, and explore full extensions to AdS settings. Additionally, refinements in singularity analysis, blow-up methods, and further applications to quasi-local mass and evolution problems are anticipated.

Conclusion

This paper synthesizes recent advances in geometric measure theory, the Jang equation, and dimension descent schemes to establish the spacetime positive mass theorem in all dimensions for both AF and AH initial data sets under the dominant energy condition, accompanied by rigidity results and singular set dimension bounds. The systematic reduction, singularity handling, and conformal techniques employed widen applicability and set the stage for further theoretical exploration in high-dimensional geometric analysis (2604.24746).