On the spacetime positive energy theorem in arbitrary dimension

Abstract: We describe how the spacetime positive energy theorem in dimension $n \geq 4$ follows from our recent work on the Riemannian version of the positive mass theorem. Our proof builds on the fundamental work of Schoen and Yau and the remarkable work of Eichmair, and uses the Jang equation with a capillary term. We also use the shielding principle from the work of Lesourd-Unger-Yau.

• The paper establishes the ADM energy's strict positivity in dimensions n ≥ 4 using a novel regularization technique on the Jang equation.
• It integrates advanced barrier constructions, metric estimates, and the shielding principle to extend classical mass positivity results.
• The study provides explicit quantitative bounds and a robust analytical framework that informs numerical relativity and high-dimensional gravitational models.

The Spacetime Positive Energy Theorem in Arbitrary Dimension

Overview

This essay analyzes the paper "On the spacetime positive energy theorem in arbitrary dimension" (2604.18561), which establishes the spacetime positive energy theorem for dimensions $n \geq 4$ using a novel synthesis of recent advances in geometric analysis. The authors leverage their prior work on the Riemannian positive mass theorem, extend fundamental results of Schoen and Yau, and integrate the Jang equation with a capillary regularization. The core argument is further strengthened via the shielding principle from Lesourd-Unger-Yau, resulting in a rigorous proof of positive energy in higher-dimensional settings.

Mathematical Formulation and Main Result

Let $(M,g)$ denote an $n$-dimensional Riemannian manifold ($n \geq 4$), with $q$ a symmetric $(0,2)$-tensor. The scalar function $\mu$ and one-form $J$ are defined as:

• $$\mu = \frac{1}{2}(R_g - |q|_g^2 + \mathrm{tr}_g(q)^2)$$
• $$J_k = g^{ij}(D_i q_{jk} - D_k q_{ij}) = g^{ij} D_i q_{jk} - \partial_k \mathrm{tr}_g(q)$$

Under precise asymptotic and positivity conditions (paralleling those in three- and lower-dimensional cases), the main theorem asserts:

If the coordinate asymptotics and decay conditions are satisfied, and if $(M,g)$0 in $(M,g)$1 and dominates $(M,g)$2 near infinity, then the asymptotic parameter $(M,g)$3 is strictly positive.

This implies positivity of the ADM energy in general relativity for initial data sets in these dimensions, generalizing the physical intuition that gravitational mass is nonnegative in any spacetime.

Analytical Framework and Methodology

The proof synthesizes several foundational and recent mathematical techniques:

• Jang Equation with Capillary Regularization: A regularized form of the Jang equation, introduced by Schoen and Yau, reduces the spacetime positive energy theorem to the Riemannian positive mass theorem. This device is crucial for dealing with singularities and marginally trapped surfaces. The regularization via a capillary term allows for controlled boundary behavior and avoids blow-up issues documented in earlier works.
• Barrier Construction: Following Eichmair’s approach ($(M,g)$4), explicit barriers ensure the asymptotic maximum principle applies even in higher dimensions, permitting effective control of the solution to the regularized Jang equation. Strong decay estimates for $(M,g)$5 and its derivatives are established via perturbative arguments (Savin's $(M,g)$6 theorem).
• Metric and Energy Estimates: A constructed metric $(M,g)$7 captures the geometric deformation induced by the Jang graph, and the associated one-form $(M,g)$8 encodes residual contributions from $(M,g)$9 and $n$0. Lemmas establish integrability of relevant curvature and divergence terms and ensure admissibility of weak solutions.
• Schoen-Yau Identity Adaptation: The authors employ a generalized identity tying the scalar curvature of $n$1 to the energy density $n$2, the momentum $n$3, and the deformation field from $n$4. Quadratic form estimates and integration by parts yield positivity of a weighted energy integral, which is central to the argument.
• Shielding Principle and Dimension Descent: Building on Lesourd-Unger-Yau’s shielding principle and the authors' earlier dimension descent scheme (Brendle et al., 9 Apr 2026), the proof leverages localized positivity to perform a contradiction argument. Any violation of positive energy (negativity for $n$5) is ruled out, as it would contradict the global mass positivity for the reduced dimension case.

Numerical Bounds and Strong Claims

The proof is underpinned by explicit quantitative bounds such as:

• $n$6 in the asymptotic region,
• $n$7 for derivatives,
• Integrability of curvature and divergence terms under these bounds.

The claim that the parameter $n$8 establishes unconditional positivity of ADM energy in arbitrary dimension under the stipulated decay and positivity conditions. The argument is robust against the known barriers in prior approaches, including those of Lohkamp (Lohkamp, 2016).

Implications and Future Directions

This result settles the spacetime positive energy theorem for arbitrary dimension, extending the classical scope of Schoen-Yau and Eichmair beyond $n$9 and $n \geq 4$0. In particular:

• The approach demonstrates that regularization techniques and advanced barrier constructions suffice to guarantee positivity in higher-dimensional gravitational settings.
• The shielding principle offers a modular framework adaptable to settings with nontrivial asymptotic ends or multiple boundary components.
• The dimension descent method potentially informs further generalizations to non-scalar curvature settings, including those relevant to stability and rigidity results.
• The explicit analytic estimates inspire further investigation into generalized quasi-local mass definitions and their interplay with geometric flows.

Practically, this theorem underpins numerical relativity in high-dimensional models and motivates the study of gravitational energy in string theory and other fields where higher-dimensional manifolds occur.

Conclusion

The paper rigorously establishes the spacetime positive energy theorem for dimensions $n \geq 4$1 through an overview of the regularized Jang equation, advanced barrier arguments, and the shielding principle. The result confirms strict positivity of the ADM energy and closes the dimension gap in classical mass positivity theorems, reinforcing the foundational structure of general relativity and geometric analysis in higher dimensions. Future work may extend these methods to more general energy conditions and non-Euclidean asymptotics.