Student or educator? Sign up with your school email and get 6 months of Pro free.
Cited by 82Geometric Analysis and Curvature FlowsRelativity and Gravitational TheoryBlack Holes and Theoretical Physics

The DOI matches its Crossref record; 36 of the 36 references it cites were found in a registry or an index; none of the 31 sources its claims cite is checked for support yet.

The spacetime positive mass theorem in dimensions less than eight

Open access
Eichmair, Michael, Huang, Lan-Hsuan, Lee, Dan A., Schoen, Richard·2015·Journal of the European Mathematical Society

Abstract

We prove the spacetime positive mass theorem in dimensions less than eight. This theorem asserts that for any asymptotically flat initial data set that satisfies the dominant energy condition, the inequality E ≥ | P | holds, where (E, P) is the ADM energy-momentum vector. Previously, this theorem was only known for spin manifolds [38]. Our approach is a modification of the minimal hypersurface technique that was used by the last named author and S.-T. Yau to establish the time-symmetric case of this theorem [30, 27]. Instead of minimal hypersurfaces, we use marginally outer trapped hypersurfaces (MOTS) whose existence is guaranteed by earlier work of the first named author [14]. An important part of our proof is to introduce an appropriate substitute for the area functional that is used in the time-symmetric case to single out certain minimal hyper surfaces. We also establish a density theorem of independent interest and use it to reduce the general case of the spacetime positive mass theorem to the special case of initial data that has harmonic asymptotics and satisfies the strict dominant energy condition.

Overview

CoChat Summary

TL;DR

The paper proves the spacetime positive mass theorem \(E \ge |P|\) for asymptotically flat initial data satisfying the dominant energy condition in dimensions \(3 \le n < 8\), without a spin assumption. The proof is by contradiction and induction, using marginally outer trapped hypersurfaces and a density theorem reducing to harmonic asymptotics with strict dominant energy condition.

Key findings

  • Main theorem: for \(3 \le n < 8\), any \(n\)-dimensional asymptotically flat initial data set \((M,g,k)\) satisfying the dominant energy condition has ADM energy-momentum vector \((E,P)\) satisfying \(E \ge |P|\).
  • The proof is self-contained rather than by reduction to a known case; it gives a new proof of the \(E \ge 0\) theorem for non-time-symmetric data.
  • The \(n=3\) case is completed by contradiction to the Gauss-Bonnet theorem; for \(3 < n < 8\), the proof is by induction and contradicts the time-symmetric positive mass theorem in dimension \(n-1\).
  • A density theorem shows that an asymptotically flat initial data set satisfying the dominant energy condition can be perturbed to one with harmonic asymptotics and strict dominant energy condition \(\mu > |J|\), with small changes in \(g\), \(\pi\), \(E\), and \(P\).

Methods

  • Proof by contradiction and induction on dimension. Assuming \(E < |P|\), the authors use the density theorem to assume harmonic asymptotics and strict dominant energy condition, with \(P\) pointing in the vertical direction.
  • They construct stable marginally outer trapped hypersurfaces (MOTS) \(\Sigma_{\rho,h}\) in vertical cylinders \(C_\rho\) between barrier planes, then extract a complete MOTS limit \(\Sigma_\infty\) as \(\rho \to \infty\).
  • For \(n=3\), stability and Gauss-Bonnet give a contradiction. For \(3 < n < 8\), they introduce a functional \(F\), pick a height \(h_\rho\) and vector field \(X\) satisfying \(D\theta^+|_{\Sigma_{\rho,h_\rho}}(X)=0\) and \(DF|_{\Sigma_{\rho,h_\rho}}(X)\ge 0\), derive a stability-like inequality, and use a conformal change to produce an asymptotically flat scalar-flat metric of negative energy, contradicting the time-symmetric theorem in dimension \(n-1\).
  • The theory of \(\lambda\)-minimizing currents substitutes for a variational principle for MOTS; the assumption \(n<8\) ensures the relevant MOTS are smooth.

Limitations

  • The paper states that the theorem does not include a characterization of the equality case \(E=|P|\); the natural conjecture is that \(E=|P|=0\) and \((M,g)\) embeds isometrically into Minkowski space with second fundamental form \(k\), but the proof by contradiction means the equality case requires a substantially new idea.
  • The paper states that the restriction \(n<8\) is used only for regularity of the MOTS; for \(n>8\), the lemma still holds except that the \(\lambda\)-minimizing boundaries are only regular away from a thin singular set.
  • Evident from the text: the method is non-constructive for the equality case and relies on perturbation to harmonic asymptotics and strict dominant energy condition, so it does not directly address rigidity or higher-dimensional singularities.

Model-written summary. Check it against the paper before relying on it.

Integrity signals

Registry

Crossref · 10.4171/jems/584

Cites

36 of 36 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Verification

Claims the paper makes

0 Valid · 1 Not valid · 25 Not checked · 56 Own results and interpretations

47 more claims

Create a free account to see all 82 claims and every source verdict.

See all claims — free account
  • Probably not a substantial claim. 13
  • The quote only partly states this claim. 3
  • It may state two separate claims as one. 16

Create a free account to see these claims.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

1 more claim about this paper

Create a free account to see every claim other papers make about this one.

See all claims — free account

Citations

Cites

Show all 36 references

Research works printed but not linked: 2

  1. Chruściel, P. T.: On the energy of the gravitational field at spatial infinity. In: Conference on Mathematical Relativity (Canberra, 1988), Proc. Centre Math. Anal. Austral. Nat. Univ. 19, Austral. Nat. Univ., Canberra, 9-33 (1989) Zbl 0687.53069 MR 1020788
  2. Schoen, R.: Mean curvature in Riemannian geometry and general relativity. In: Global Theory of Minimal Surfaces, Clay Math. Proc. 2, Amer. Math. Soc., Providence, RI, 113-136 (2005) Zbl 1101.53038 MR 2167257

Cited by

Metadata

Authors
Eichmair, M., Huang, L.-H., Lee, D. A., & Schoen, R.
Affiliations
  • University of Vienna (AT)
  • University of Connecticut (US)
  • City University of New York (US)
  • University of California, Irvine (US)
Venue
Journal of the European Mathematical Society
Published
2015-12-16
Volume
18
Issue
1
Pages
83-121
ISSN
  • 1435-9855 (ISSN-L)
  • 1435-9863
OpenAlex
W1703994914
Cited by
82
References
36
Citations by year
2026: 2 · 2025: 8 · 2024: 12 · 2023: 3 · 2022: 10 · 2021: 13 · 2020: 3 · 2019: 4 · 2018: 4 · 2017: 4 · 2016: 5 · 2015: 8
FWCI
6.75
Type
journal article
Language
en
Open access
Locations
  • Journal of the European Mathematical Society (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • arXiv (Cornell University)
Funders
  • National Science Foundation (1404966, 1005560, 0903467, 1105323, 0906038, 1308837)
  • Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung (140467, 200021)
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, minimal hypersurfaces, density theorem

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.