The DOI matches its Crossref record; 35 of the 36 references it cites were found in a registry or an index; none of the 16 sources its claims cite is checked for support yet.
Equality in the Spacetime Positive Mass Theorem
Open accessAbstract
We affirm the rigidity conjecture of the spacetime positive mass theorem in dimensions less than eight. Namely, if an asymptotically flat initial data set satisfies the dominant energy condition and has E=|P|\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E=|P|$$\end{document}, then E=|P|=0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E=|P|=0$$\end{document}, where (E, P) is the ADM energy-momentum vector. The dimensional restriction can be removed if we assume the positive mass inequality holds. Previously the result was only known for spin manifolds (Beig and Chruściel in J Math Phys37(4):1939–1961, 1996; Chruściel and Maerten in J Math Phys 47(2), 2006).
Overview
CoChat Summary
TL;DR
The paper proves the rigidity case of the spacetime positive mass theorem: for asymptotically flat initial data sets satisfying the dominant energy condition, \(E=|P|\) forces \(E=|P|=0\), in dimensions \(3\le n\le 7\), and more generally whenever the positive mass inequality holds near the data. The proof is variational, using a modified Regge-Teitelboim Hamiltonian and the modified constraint operator, and does not assume spin.
Key findings
- Theorem 1: for \(3\le n\le 7\), if an \(n\)-dimensional asymptotically flat initial data set satisfies the dominant energy condition and has \(E=|P|\), then \(E=|P|=0\).
- Theorem 3: for \(n\ge 3\), if the positive mass inequality holds near \((g,k)\), then \(E=|P|\) again implies \(E=|P|=0\); the dimensional restriction can be removed under this assumption.
- The result affirms the rigidity conjecture of the spacetime positive mass theorem, previously known for spin manifolds by Beig-Chruściel in three dimensions and Chruściel-Maerten in higher dimensions.
- Combined with prior \(E=0\) characterization results, the theorem implies the equality case embeds into Minkowski spacetime with induced second fundamental form \(k\) (with an additional \(n=3\) decay assumption \(\operatorname{tr}_g k=O(|x|^{-s})\), \(s>2\)).
Methods
- The proof uses a variational approach: a modified Regge-Teitelboim Hamiltonian built from the modified constraint operator \(\Phi_{(g,\pi)}\) of Huang-Corvino, replacing the usual constraint operator.
- Under \(E=|P|\), the Sobolev positive mass inequality is used to show \((g,k)\) locally minimizes this Hamiltonian on its \(\Phi_{(g,\pi)}\) level set; Lagrange multipliers then produce a lapse-shift pair \((f,X)\) in the kernel of the adjoint linearized modified constraint operator, asymptotic to \((E,-2P)\).
- A separate theorem, adapting Beig-Chruściel’s argument, shows that such an asymptotically translational vacuum Killing lapse-shift pair forces \(E=|P|=0\).
Limitations
- The paper states the dimensional restriction \(3\le n\le 7\) comes from possible singularities of marginally outer trapped hypersurfaces in the positive mass inequality; the restriction is removed only if the positive mass inequality is assumed near \((g,k)\).
- The paper notes the nonstandard technical assumption \(q+\alpha>n-2\) in Definition 2.5 is needed only for Theorem 5.4/Lemma A.10, not elsewhere.
- Remark 2.11 states that a weaker regularity assumption in a prior paper was insufficient and that stronger hypotheses are needed for the adjoint-equation unique continuation argument; the present proof relies on the positive mass inequality as an input rather than proving it in all dimensions.
Model-written summary. Check it against the paper before relying on it.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
0 Valid · 0 Not valid · 12 Not checked · 30 Own results and interpretations
A result the paper states — it cites no source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Let (M, g, π) be asymptotically flat of type (p, q, q 0 , α) satisfying the dominant energy condition.Assume that the positive mass inequality holds near (g, π).If E = |P |, then there exists a lapse-shift pair (f, X) ∈ C 2,α loc (M ) solving (DΦ (g,π) ) * (f, X) = 0 in M (f, X) = (E, -2P ) + O 2,α (|x| -q ).”
§ EQUALITY IN THE SPACETIME POSITIVE MASS THEOREM > 5. Main argument
plainstates a cause- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Rests on an assumption not shown here.
A result the paper states — it cites no source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Let (M, g, π) be asymptotically flat of type (p, q, q 0 , α) with the dominant energy condition.Suppose the positive mass inequality holds near (g, π).Then there is an open ball U of (g, π) in W 2,p -q × W 1,p -1-q such that if (γ, τ ) ∈ U and Φ (g,π) (γ, τ ) = Φ (g,π) (g, π), we have E(γ, τ ) ≥ |P (γ, τ )|.”
§ EQUALITY IN THE SPACETIME POSITIVE MASS THEOREM > Theorem 4.1 (Sobolev version of positive mass inequality).
plainstates an association- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Rests on an assumption not shown here.
A result the paper states — it cites no source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“We claim that that (g, π) is a local minimizer of H in C (g,π) .”
§ EQUALITY IN THE SPACETIME POSITIVE MASS THEOREM > 5. Main argument
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Rests on an assumption not shown here.
In the paper
“Then H is differentiable at (g, π) with derivative given by DH (g,π) (h, w) = - M (h, w) • (DΦ (g,π) ) * (f 0 , X 0 ) dµ g for all (h, w) ∈ W 2,p -q × W 1,p -1-q .”
§ EQUALITY IN THE SPACETIME POSITIVE MASS THEOREM > 5. Main argument
What the sources say
- Not checked yetcites [4] Bartnik, R.: Phase space for the Einstein equations. Commun. Anal. Geom. 13(5), 845–885 (2005). MR 2216143 source
plainstates a cause- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A check of a cited source is scheduled, or we don’t hold its full text yet; the claim is checked once it runs.
In the paper
“if an asymptotically flat initial data set satisfies the dominant energy condition and has E = |P |, then E = |P | = 0”
- Also stated in: § 1. Introduction · plain
“Let 3 ≤ n ≤ 7. Let (M, g, k) be an n-dimensional asymptotically flat initial data set that satisfies the dominant energy condition and has E = |P |, where (E, P ) is the ADM energymomentum vector.Then E = |P | = 0.”
§ EQUALITY IN THE SPACETIME POSITIVE MASS THEOREM > Abstract
What the sources say
- Not checked yetcites [11] Eichmair, M., Huang, L.-H., Lee, D., Schoen, R.: The spacetime positive mass theorem in dimensions less than eight. J. Eur. Math. Soc. (JEMS) 18(1), 83–121 (2016). MR 3438380 source
A check is scheduled.
plainstates a cause- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Also stated in: § 1. Introduction · plain
28 more claims
Create a free account to see all 42 claims and to verify the 16 references still open.
- It may state two separate claims as one. 9
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
Each contradiction between two passages listed here was confirmed by an independent check.
Rated minor: it would not touch a result — a value no result rests on, a p-value that stays on the same side of the significance level, or a conflict that is clerical, resolved elsewhere in the paper, or outside its own findings.
In the paper
§ EQUALITY IN THE SPACETIME POSITIVE MASS THEOREM > Appendix A. Asymptotically Killing lapse-shift pair
“2(n -1)E(nρ 4 |x| -n-2 -ρ 2 |x| -n ) -2E(nρ 4 |x| -n-2 -(n -1)ρ 2 |x| -n )”
§ EQUALITY IN THE SPACETIME POSITIVE MASS THEOREM > Appendix A. Asymptotically Killing lapse-shift pair
“= -2Eρ 4 |x| -n-2 + O 0,α (|x| 2-n-q 1 ).”
Citations
Cites
Elliptic Partial Differential Equations of Second Order
Gilbarg, D., & Trudinger, N. S. (2001) · Classics in Mathematics · doi:10.1007/978-3-642-61798-0 · Cited by 18,587
Optimization by Vector Space Methods
(1970) · Students Quarterly Journal · doi:10.1049/sqj.1970.0088 · Cited by 6,017
A new proof of the positive energy theorem
Witten, E. (1981) · Communications in Mathematical Physics · doi:10.1007/bf01208277 · Cited by 1,595
Role of surface integrals in the Hamiltonian formulation of general relativity
Regge, T., & Teitelboim, C. (1974) · Annals of Physics · doi:10.1016/0003-4916(74)90404-7 · Cited by 1,424
On the proof of the positive mass conjecture in general relativity
Schoen, R., & Yau, S.-T. (1979) · Communications in Mathematical Physics · doi:10.1007/bf01940959 · Cited by 870
The mass of an asymptotically flat manifold
Bartnik, R. (1986) · Communications on Pure and Applied Mathematics · doi:10.1002/cpa.3160390505 · Cited by 689
Coordinate Invariance and Energy Expressions in General Relativity
Arnowitt, R., Deser, S., & Misner, C. W. (1961) · Physical Review · doi:10.1103/physrev.122.997 · Cited by 541
Proof of the positive mass theorem. II
Schoen, R., & Yau, S.-T. (1981) · Communications in Mathematical Physics · doi:10.1007/bf01942062 · Cited by 533
Schoen, R. M. (1989) · Lecture Notes in Mathematics · doi:10.1007/bfb0089180 · Cited by 522
On Witten's proof of the positive energy theorem
Parker, T., & Taubes, C. H. (1982) · Communications in Mathematical Physics · doi:10.1007/bf01208569 · Cited by 324
Research works printed but not linked: 1
- Meyers, N.: An expansion about infinity for solutions of linear elliptic equations. J. Math. Mech. 12, 247–264 (1963). MR 0149072
Cited by
The hyperbolic positive energy theoremPreprint
Chruściel, P. T., & Delay, E. (2019) · arXiv (Cornell University) · doi:10.48550/arxiv.1901.05263 · Cited by 40
Mass Rigidity for Hyperbolic Manifolds
Huang, L.-H., Jang, H. C., & Martin, D. (2019) · Communications in Mathematical Physics · doi:10.1007/s00220-019-03623-0 · Cited by 38
Self-citationHirsch, S., Kazaras, D., & Khuri, M. (2022) · Journal of Differential Geometry · doi:10.4310/jdg/1669998184 · Cited by 34
The general relativistic constraint equations
Carlotto, A. (2021) · Living Reviews in Relativity · doi:10.1007/s41114-020-00030-z · Cited by 28
Localized deformation for initial data sets with the dominant energy condition
Corvino, J., & Huang, L.-H. (2020) · Calculus of Variations and Partial Differential Equations · doi:10.1007/s00526-019-1679-9 · Cited by 23
Self-citationThe Jang Equation and the Positive Mass Theorem in the Asymptotically Hyperbolic Setting
Sakovich, A. (2021) · Communications in Mathematical Physics · doi:10.1007/s00220-021-04083-1 · Cited by 20
Eichmair, M., Galloway, G. J., & Mendes, A. (2021) · Communications in Mathematical Physics · doi:10.1007/s00220-021-04033-x · Cited by 19
Spacetime Positive Mass Theorems for Initial Data Sets with Non-Compact Boundary
Almaraz, S. D. M., de Lima, L. L., & Mari, L. (2020) · International Mathematics Research Notices · doi:10.1093/imrn/rnaa226 · Cited by 18
Spacetime Harmonic Functions and Applications to Mass
Bray, H. L., Hirsch, S., Kazaras, D., Khuri, M., & Zhang, Y. (2023) · WORLD SCIENTIFIC eBooks · doi:10.1142/9789811273230_0017 · Cited by 17
Density and Positive Mass Theorems for Initial Data Sets with Boundary
Lee, D. A., Lesourd, M., & Unger, R. (2022) · Communications in Mathematical Physics · doi:10.1007/s00220-022-04439-1 · Cited by 16
Self-citationGluing Small Black Holes into Initial Data Sets
Hintz, P. (2024) · Communications in Mathematical Physics · doi:10.1007/s00220-024-04989-6 · Cited by 15
Stability of the Spacetime Positive Mass Theorem in Spherical Symmetry
Bryden, E., Khuri, M., & Sormani, C. (2020) · Journal of Geometric Analysis · doi:10.1007/s12220-020-00431-0 · Cited by 14
Bartnik mass minimizing initial data sets and improvability of the dominant energy scalar
Huang, L.-H., & Lee, D. A. (2024) · Journal of Differential Geometry · doi:10.4310/jdg/1712344222 · Cited by 14
Self-citationRigidity results for initial data sets satisfying the dominant energy condition
Bär, C., Brendle, S., Chow, T.-K. A., & Hanke, B. (2025) · Journal für die reine und angewandte Mathematik (Crelles Journal) · doi:10.1515/crelle-2025-0080 · Cited by 12
The Case of Equality for the Spacetime Positive Mass Theorem
Hirsch, S., & Zhang, Y. (2022) · Journal of Geometric Analysis · doi:10.1007/s12220-022-01060-5 · Cited by 11
Scalar curvature deformation and mass rigidity for ALH manifolds with boundary
Huang, L.-H., & Jang, H. C. (2022) · Transactions of the American Mathematical Society · doi:10.1090/tran/8755 · Cited by 9
Self-citationOn a spacetime positive mass theorem with cornersPreprint
Tsang, T.-Y. (2021) · arXiv (Cornell University) · doi:10.48550/arxiv.2109.11070 · Cited by 8
Equality in the spacetime positive mass theorem II
Huang, L.-H., & Lee, D. A. (2025) · Calculus of Variations and Partial Differential Equations · doi:10.1007/s00526-025-02947-1 · Cited by 7
Self-citationConserved Quantities in General Relativity: The Case of Initial Datasets with a Non-compact Boundary
de Lima, L. L. (2023) · WORLD SCIENTIFIC eBooks · doi:10.1142/9789811273230_0015 · Cited by 6
Positive Mass Theorems for Spin Initial Data Sets With Arbitrary Ends and Dominant Energy Shields
Cecchini, S., Lesourd, M., & Zeidler, R. (2024) · International Mathematics Research Notices · doi:10.1093/imrn/rnad315 · Cited by 5
Initial data sets with dominant energy condition admitting no smooth DEC spacetime extension
Glöckle, J. (2024) · Proceedings of the American Mathematical Society Series B · doi:10.1090/bproc/232 · Cited by 4
Initial data set rigidity results for polyhedra
Chai, X., & Wan, X. (2026) · Transactions of the American Mathematical Society · doi:10.1090/tran/9810 · Cited by 2
Rigidity of Asymptotically Hyperboloidal Initial Data Sets with Vanishing Mass
Hirsch, S., Jang, H. C., & Zhang, Y. (2025) · Communications in Mathematical Physics · doi:10.1007/s00220-025-05485-1 · Cited by 2
Bartnik–Hilbert manifold structure on fibers of the scalar curvature and the constraint operator
Delay, E. (2023) · Communications in Analysis and Geometry · doi:10.4310/cag.2023.v31.n5.a8 · Cited by 2
V-Static Metrics and the Volume-Renormalised Mass
McCormick, S. (2025) · Journal of Geometric Analysis · doi:10.1007/s12220-025-01939-z · Cited by 1
Trapped Surfaces, Topology of Black Holes, and the Positive Mass Theorem
Huang, L.-H., & Lee, D. A. (2022) · Notices of the American Mathematical Society · doi:10.1090/noti2453 · Cited by 1
Self-citationHyperbolic positive energy theoremsPreprint
Chruściel, P. T. (2021) · arXiv (Cornell University) · doi:10.48550/arxiv.2112.01364 · Cited by 1
Asymptotically flat Einstein–Maxwell fields are inheriting
Chruściel, P. T., Nguyen, L., Tod, P., & Vasy, A. (2021) · Communications in Analysis and Geometry · doi:10.4310/cag.2021.v29.n3.a2
Book Review: Geometric relativity
Huang, L.-H. (2021) · Bulletin of the American Mathematical Society · doi:10.1090/bull/1736
Self-citationThe positive energy theorem for weighted asymptotically anti-de Sitter spacetimes
Wang, Y., & Zhang, X. (2024) · Science China Mathematics · doi:10.1007/s11425-023-2274-4
A survey on the positive mass theorem for asymptotically flat initial data sets
Huang, L.-H. (2025) · Comptes Rendus Mécanique · doi:10.5802/crmeca.270
Self-citation
Metadata
- Authors
- Huang, L.-H., & Lee, D. A.
- Affiliations
- University of Connecticut (US)
- Queens College, CUNY (US)
- Corresponding author
- Huang, Lan-Hsuan
- ORCID
- Huang, Lan-Hsuan
- Venue
- Communications in Mathematical Physics
- Published
- 2019-11-18
- Volume
- 376
- Issue
- 3
- Pages
- 2379-2407
- ISSN
- 0010-3616 (ISSN-L)
- 1432-0916
- OpenAlex
- W2986722835
- Semantic Scholar
- da6313edfcb122642e605d584cdcd0ec94e239cb
- Cited by
- 32
- References
- 36
- Citations by year
- 2026: 1 · 2025: 5 · 2024: 5 · 2023: 3 · 2022: 5 · 2021: 8 · 2020: 3 · 2019: 2
- FWCI
- 3.74
- Type
- journal article
- Language
- en
- Open access
- green
- arxiv.org
- Licence
- www.springer.com/tdm (tdm)
- www.springer.com/tdm (vor)
- Locations
- Communications in Mathematical Physics (publishedVersion)
- arXiv (Cornell University) (submittedVersion)
- arXiv (Cornell University)
- Funders
- National Science Foundation (DMS~1452477)
- Simons Foundation (Simons Fellowship)
- Institute for Advanced Study (von Neumann Fellowship)
- Topics
- Physical Sciences › Mathematics › Applied Mathematics › Geometric Analysis and Curvature Flows
- Physical Sciences › Physics and Astronomy › Astronomy and Astrophysics › Relativity and Gravitational Theory
- Physical Sciences › Physics and Astronomy › Nuclear and High Energy Physics › Black Holes and Theoretical Physics
- Keywords
- asymptotically flat initial data, dominant energy condition, spin manifolds
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
A language model drew the claims from the paper on 2026-11-14, under version 3 of the claim definition (model deepseek-v4.1-flash, prompt extract-v3).
A second model labelled each claim on 2026-11-14 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
