arxiv: 2604.24746 · v1 · submitted 2026-04-27 · 🧮 math.DG · gr-qc· math.AP

Recognition: unknown

The Hyperboloidal and Spacetime Positive Mass Theorem in All Dimensions

Sven Hirsch , Marcus Khuri , Martin Lesourd , Yiyue Zhang

Authors on Pith no claims yet

Pith reviewed 2026-05-08 01:16 UTC · model grok-4.3

classification 🧮 math.DG gr-qcmath.AP

keywords positive mass theoremspacetime initial dataasymptotically flathyperboloidal asymptoticsdominant energy conditionhigher dimensionsgeneral relativity

0 comments

The pith

The spacetime positive mass theorem holds in all dimensions for asymptotically flat and hyperboloidal initial data sets.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the spacetime positive mass theorem, which asserts nonnegativity of mass for initial data sets obeying the dominant energy condition, extends to all dimensions. This is achieved by leveraging Brendle and Wang's recent proof of the Riemannian positive mass theorem. A reader would care because earlier results were often limited to three dimensions or specific cases, while higher-dimensional gravity models are common in theoretical physics. The proof applies equally to asymptotically flat and asymptotically hyperboloidal data sets.

Core claim

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

What carries the argument

Reduction of the spacetime positive mass inequality to the Riemannian positive mass theorem through the dominant energy condition and the given asymptotic boundary conditions.

If this is right

The positive mass inequality holds without upper bounds on dimension for both types of asymptotic data.
The result applies directly to hyperboloidal initial data sets in addition to the flat case.
Any future strengthening of the Riemannian theorem immediately yields a corresponding strengthening for the spacetime version.
Initial data sets that violate the dominant energy condition are not constrained by the mass inequality.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same reduction technique may apply to other asymptotic regimes or to the Penrose inequality in higher dimensions.
Numerical simulations of initial data in dimension 4 could provide independent checks of the mass lower bound.
This removes an obstruction to using the positive mass theorem in Kaluza-Klein reductions or other higher-dimensional models.

Load-bearing premise

The argument assumes that Brendle and Wang's Riemannian positive mass theorem is valid, together with the standard definitions of asymptotic flatness and asymptotic hyperboloidality.

What would settle it

An explicit asymptotically flat initial data set in dimension 4 or higher that satisfies the dominant energy condition yet has negative ADM mass would falsify the claim.

read the original 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$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper extends the spacetime and hyperboloidal positive mass theorems to arbitrary dimensions by reducing them directly to Brendle-Wang's Riemannian result.

read the letter

The main point is that this paper proves the spacetime positive mass theorem for both asymptotically flat and asymptotically hyperboloidal initial data sets in every dimension. It does the same for the hyperboloidal case specifically. The proof comes from applying Brendle and Wang's recent Riemannian positive mass theorem after a standard reduction. What is new here is the arbitrary dimension part for the spacetime and hyperboloidal settings. Earlier results covered lower dimensions or only one asymptotic type at a time. The authors do not introduce new techniques but show that the existing Riemannian theorem applies once you build the right auxiliary manifold from the initial data. The paper does this reduction well. It confirms that the dominant energy condition gives nonnegative scalar curvature on the constructed manifold, and the decay rates at infinity match the requirements for the Riemannian theorem. The mass is defined in the usual way, so the nonnegativity transfers without extra work. This keeps the argument short and focused. Soft spots are limited. The whole thing rests on Brendle-Wang being correct, which is a recent result, but that is not a flaw in this paper. The asymptotics and boundary terms at infinity are handled with the conventional definitions, and the stress test shows no additional assumptions were slipped in. If there is any weakness, it is that the paper is short on explicit verification steps in the abstract, but the full text likely fills that in with standard calculations. This work is for mathematicians and physicists working on higher-dimensional general relativity. It provides a basic nonnegativity result that supports further work on stability, black hole uniqueness, and numerical methods. Anyone who has used the positive mass theorem in three or four dimensions will see the value in having it available in all dimensions. The paper shows clear thinking by sticking to the literature and avoiding unnecessary complications. It deserves a serious referee because the claim is important and the method is sound. I recommend sending it to peer review.

Referee Report

0 major / 1 minor

Summary. The manuscript claims to prove the spacetime positive mass theorem for asymptotically flat initial data sets and the positive mass theorem for asymptotically hyperboloidal initial data sets, both in arbitrary dimension n, by reducing each case to the Riemannian positive mass theorem of Brendle and Wang. The reduction constructs an auxiliary Riemannian manifold with nonnegative scalar curvature from initial data satisfying the dominant energy condition, preserving the standard asymptotic flatness or hyperboloidality and the conventional definitions of the mass.

Significance. If the reduction is valid, the result is significant as it extends both the spacetime and hyperboloidal positive mass theorems to all dimensions by building directly on the recent Riemannian case. The paper explicitly credits the Brendle-Wang theorem and employs only standard definitions and decay rates, with the construction preserving the hypotheses exactly and without additional regularity assumptions.

minor comments (1)

The introduction would benefit from a short paragraph outlining the key steps of the reduction construction (e.g., how the auxiliary metric and scalar curvature are defined from the initial data) to improve accessibility, even though the steps are standard in the field.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The referee's summary accurately captures our main result: a reduction of the spacetime positive mass theorem for asymptotically flat initial data and the positive mass theorem for asymptotically hyperboloidal initial data, both in arbitrary dimension, to the Riemannian positive mass theorem of Brendle and Wang. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via external theorem

full rationale

The paper's central argument reduces the spacetime and hyperboloidal positive mass theorems to the Riemannian positive mass theorem of Brendle-Wang via a standard construction that produces an asymptotically flat or hyperbolic manifold with nonnegative scalar curvature from initial data satisfying the dominant energy condition. This reduction uses conventional definitions of asymptotic flatness, hyperboloidality, and mass, with no fitted parameters, self-definitional loops, or load-bearing self-citations inside the paper. Brendle-Wang is an independent external result, and the derivation chain does not rename known results or smuggle ansatzes via self-citation. The paper is therefore self-contained against external benchmarks with no reduction of its claims to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the external Brendle-Wang theorem, standard definitions of asymptotic flatness and hyperboloidality, and the usual regularity and decay assumptions on the initial data; no new free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Brendle-Wang Riemannian positive mass theorem holds
Invoked explicitly in the abstract as the starting point for the spacetime extension.
domain assumption Initial data sets satisfy standard asymptotic flat or hyperboloidal decay conditions
Required for the statement of the theorem in arbitrary dimension.

pith-pipeline@v0.9.0 · 5323 in / 1278 out tokens · 44808 ms · 2026-05-08T01:16:11.845894+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Positive mass theorem for initial data sets with arbitrary ends
math.DG 2026-04 unverdicted novelty 6.0

The positive mass theorem holds for complete asymptotically hyperbolic manifolds satisfying the dominant energy condition, including those with arbitrary ends.

Reference graph

Works this paper leans on

46 extracted references · 9 canonical work pages · cited by 1 Pith paper · 3 internal anchors

[1]

Andersson, M

L. Andersson, M. Cai, and G. J. Galloway, Rigidity and positivity of mass for asymptotically hyperbolic manifolds,Ann. Henri Poincar’e9 (2008), no. 1, 1–33

2008
[2]

Bartnik, New definition of quasi-local mass,Phys

R. Bartnik, New definition of quasi-local mass,Phys. Rev. Lett.62 (1989), no. 20, 2346–2348

1989
[3]

Beig and P

R. Beig and P. T. Chru´ sciel, Killing vectors in asymptotically flat space-times: I. Asymptotically translational Killing vectors and the rigid positive energy theorem,J. Math. Phys.37(1996), no. 4, 1939– 1961

1996
[4]

Y. Bi, T. Hao, S. He, Y. Shi, and J. Zhu, A proof for the Riemannian positive mass theorem up to dimension 19, preprint, arXiv:2603.02769, 2026

work page arXiv 2026
[5]

A dimension descent scheme for the positive mass theorem in arbitrary dimension

S. Brendle and Y. Wang, A dimension descent scheme for the positive mass theorem in high dimensions, preprint, arXiv:2604.08473, 2026

work page internal anchor Pith review Pith/arXiv arXiv 2026
[6]

On the spacetime positive energy theorem in arbitrary dimension

S. Brendle and Y. Wang, On the spacetime positive energy theorem in arbitrary dimension,arXiv:2604.18561, preprint (2026). 24 HIRSCH, KHURI, LESOURD, AND ZHANG

work page internal anchor Pith review Pith/arXiv arXiv 2026
[7]

Cecchini, M

S. Cecchini, M. Lesourd, and R. Zeidler, Positive mass theorems for spin initial data sets with arbitrary ends and dominant energy shields, Int. Math. Res. Not. IMRN2024, no. 9, 7870–7890
[8]

Chen, M.-T

P.-N. Chen, M.-T. Wang, and S.-T. Yau, Conserved quantities on asymptotically hyperbolic initial data sets,Adv. Theor. Math. Phys. 20(2016), no. 6, 1337–1375

2016
[9]

Chodosh, C

O. Chodosh, C. Mantoulidis, and F. Schulze, Generic regularity for minimizing hypersurfaces in dimensions 9 and 10, preprint, arXiv:2302.02253

work page arXiv
[10]

Chodosh, C

O. Chodosh, C. Mantoulidis, F. Schulze, and Z. Wang, Generic regularity for minimizing hypersurfaces in dimension 11, preprint, arXiv:2506.12852

work page arXiv
[11]

Christodoulou and N

D. Christodoulou and N. ´O Murchadha, The boost problem in general relativity,Comm. Math. Phys.80(1981), no. 2, 271–300

1981
[12]

P. T. Chru´ sciel and E. Delay, The hyperbolic positive energy theo- rem, to appear inJ. Eur. Math. Soc. (JEMS), accepted 2026; preprint, arXiv:1901.05263

work page internal anchor Pith review Pith/arXiv arXiv 2026
[13]

P. T. Chru´ sciel and G. J. Galloway, Positive mass theorems for asymptotically hyperbolic Riemannian manifolds with boundary,Class. Quantum Grav.38(2021), no. 23, 237001

2021
[14]

P. T. Chru´ sciel and M. Herzlich, The mass of asymptotically hyperbolic Riemannian manifolds,Pacific J. Math.212(2003), no. 2, 231–264

2003
[15]

P. T. Chru´ sciel, J. Jezierski, and S. Leski, The Trautman-Bondi mass of hyperboloidal initial data sets,Adv. Theor. Math. Phys.8(2004), no. 1, 83–139

2004
[16]

P. T. Chru´ sciel and D. Maerten, Killing vectors in asymptotically flat space-times: II. Asymptotically translational Killing vectors and the rigid positive energy theorem in higher dimensions,J. Math. Phys.47 (2006), no. 2, 022502

2006
[17]

P. T. Chru´ sciel, D. Maerten, and P. Tod, Rigid upper bounds for the angular momentum and centre of mass of non-singular asymptotically anti-de Sitter space-times,J. High Energy Phys.2006(2006), no. 11, 084

2006
[18]

Dahl and A

M. Dahl and A. Sakovich, A density theorem for asymptotically hyper- bolic initial data satisfying the dominant energy condition, Pure Appl. Math. Q.17 (2021), no. 5, 1669–1710; MR4376092

2021
[19]

Eichmair, The Plateau problem for marginally outer trapped sur- faces,J

M. Eichmair, The Plateau problem for marginally outer trapped sur- faces,J. Differential Geom.83(2009), no. 3, 551–583

2009
[20]

Eichmair, The Jang equation reduction of the spacetime positive energy theorem in dimensions less than eight,Comm

M. Eichmair, The Jang equation reduction of the spacetime positive energy theorem in dimensions less than eight,Comm. Math. Phys.319 (2013), no. 3, 575–593

2013
[21]

Eichmair, L.-H

M. Eichmair, L.-H. Huang, D. A. Lee, and R. Schoen, The spacetime positive mass theorem in dimensions less than eight,J. Eur. Math. Soc. (JEMS)18(2016), no. 1, 83–121. HYPERBOLOIDAL AND SPACETIME PMT IN ALL DIMENSIONS 25

2016
[22]

Eichmair, and J

M. Eichmair, and J. Metzger,Jenkins-Serrin-type results for the Jang equation, J. Differential Geom.,102(2016), no. 2, 207–242

2016
[23]

Focardi, A

M. Focardi, A. Marchese, and E. Spadaro, Improved estimate of the singular set of Dir-minimizing Q-valued functions via an abstract reg- ularity result,J. Funct. Anal.268(2015), no. 11, 3290–3325

2015
[24]

Hardt and L

R. Hardt and L. Simon, Area minimizing hypersurfaces with isolated singularities,J. Reine Angew. Math.362(1985), 102–129

1985
[25]

Hirsch and L.-H

S. Hirsch and L.-H. Huang, Monotonicity of Causal Killing Vectors and Geometry of ADM Mass Minimizers, preprint, arXiv:2510.10306, 2025

work page arXiv 2025
[26]

Hirsch, H

S. Hirsch, H. C. Jang, and Y. Zhang, Rigidity of asymptotically hyper- boloidal initial data sets with vanishing mass,Comm. Math. Phys.406 (2025), no. 12, Paper No. 307

2025
[27]

Hirsch, D

S. Hirsch, D. Kazaras, and M. Khuri, Spacetime harmonic functions and the mass of 3-dimensional asymptotically flat initial data for the Einstein equations,J. Differential Geom.122(2022), no. 2, 223–258

2022
[28]

Hirsch and Y

S. Hirsch and Y. Zhang, The case of equality for the spacetime positive mass theorem,J. Geom. Anal.33(2023), Paper No. 30

2023
[29]

Hirsch and Y

S. Hirsch and Y. Zhang, Initial data sets with vanishing mass are contained in pp-wave spacetimes,J. Eur. Math. Soc. (JEMS)(2025), published online first

2025
[30]

Hirsch and Y

S. Hirsch and Y. Zhang, Causal character of imaginary Killing spinors and spinorial slicings, preprint, arXiv:2512.14569, 2025

work page arXiv 2025
[31]

Huang, H

L.-H. Huang, H. C. Jang, and D. Martin, Mass rigidity for hyperbolic manifolds,Comm. Math. Phys.376(2020), no. 3, 2329–2349

2020
[32]

Huang and D

L.-H. Huang and D. A. Lee, Equality in the spacetime positive mass theorem,Comm. Math. Phys.376(2020), no. 3, 2379–2407

2020
[33]

Huang and D

L.-H. Huang and D. A. Lee, Bartnik mass minimizing initial data sets and improvability of the dominant energy scalar,J. Differential Geom. 126(2024), no. 2, 741–800

2024
[34]

P. S. Jang,On the positivity of energy in general relativity, J. Math. Phys.,19(1978), 1152–1155

1978
[35]

D. Lee, M. Lesourd, and R. Unger, Density and Positive Mass Theorems for Initial Data Sets with Boundary,Comm. Math. Phys.395(2022), pages 643–677

2022
[36]

Lesourd, R

M. Lesourd, R. Unger, and S.-T. Yau, The positive mass theorem with arbitrary ends,J. Differential Geom.128(2024), no. 1, 257–293

2024
[37]

D. Lundberg, On Jang’s equation and the positive mass theorem for asymptotically hyperbolic initial data sets with dimensions above three and below eight, preprint, arXiv:2309.11330, 2023

work page arXiv 2023
[38]

Parker and C

T. Parker and C. H. Taubes, On Witten’s proof of the positive energy theorem,Comm. Math. Phys.84(1982), no. 2, 223–238

1982
[39]

Sakovich, The Jang equation and the positive mass theorem in the asymptotically hyperbolic setting,Comm

A. Sakovich, The Jang equation and the positive mass theorem in the asymptotically hyperbolic setting,Comm. Math. Phys.386(2021), no. 2, 903–973. 26 HIRSCH, KHURI, LESOURD, AND ZHANG

2021
[40]

Schoen and S.-T

R. Schoen and S.-T. Yau, On the proof of the positive mass conjecture in general relativity,Comm. Math. Phys.65(1979), no. 1, 45–76

1979
[41]

Schoen, and S.-T

R. Schoen, and S.-T. Yau,Proof of the positive mass theorem II, Comm. Math. Phys.,79(1981), 231–260

1981
[42]

Simon,Lectures on Geometric Measure Theory, Proceedings of the Centre for Mathematical Analysis, Australian National University, 1983

L. Simon,Lectures on Geometric Measure Theory, Proceedings of the Centre for Mathematical Analysis, Australian National University, 1983

1983
[43]

Smale, Generic regularity of homologically area minimizing hyper- surfaces in eight-dimensional manifolds,Comm

N. Smale, Generic regularity of homologically area minimizing hyper- surfaces in eight-dimensional manifolds,Comm. Anal. Geom.1(1993), no. 2, 217–228

1993
[44]

Wang, The mass of asymptotically hyperbolic manifolds,J

X. Wang, The mass of asymptotically hyperbolic manifolds,J. Differ- ential Geom.57(2001), no. 2, 273–299

2001
[45]

Witten, A new proof of the positive energy theorem,Comm

E. Witten, A new proof of the positive energy theorem,Comm. Math. Phys.80(1981), no. 3, 381–402

1981
[46]

Zhang, A definition of total energy-momenta and the positive mass theorem on asymptotically hyperbolic 3-manifolds

X. Zhang, A definition of total energy-momenta and the positive mass theorem on asymptotically hyperbolic 3-manifolds. I,Comm. Math. Phys.249(2004), no. 3, 529–548. Columbia University, 2990 Broadway, New York, NY 10027, USA Email address:sven.hirsch@columbia.edu Department of Mathematics, Stony Brook University, Stony Brook, NY, 11794, USA Email address:...

2004