Geometric Stability of the Schoen-Yau Zero Mass Theorem
Pith reviewed 2026-05-10 05:09 UTC · model grok-4.3
The pith
The geometric notion of convergence that best captures stability of the Schoen-Yau zero-mass rigidity theorem remains an open question even in three dimensions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
While sequences of asymptotically flat manifolds with nonnegative scalar curvature and ADM mass tending to zero can fail to converge to Euclidean space under some geometric notions, progress has been made under others; nevertheless, the paper states that it is still unknown which notion of convergence best encodes the geometric stability of the zero-mass rigidity theorem, even in dimension three.
What carries the argument
Geometric notions of convergence (such as pointed C0, Gromov-Hausdorff, intrinsic flat, and volume convergence) applied to sequences of asymptotically flat manifolds whose ADM mass approaches zero.
If this is right
- Sequences whose mass tends to zero but whose geometry does not converge under a given notion demonstrate that the notion is too weak to capture stability.
- Convergences that do force the manifolds to become close to Euclidean space when mass is small provide quantitative versions of the zero-mass rigidity.
- The zero-mass case is recovered exactly when the mass reaches zero under any notion that is continuous with respect to mass.
- Additional assumptions such as uniform bounds on curvature or diameter allow some convergences to succeed where they otherwise fail.
- Identifying the optimal notion would turn the rigidity theorem into a stable statement useful for approximating physical spacetimes with tiny mass.
Where Pith is reading between the lines
- A convergence that works in three dimensions might extend to higher-dimensional stability questions for the same theorem.
- The problem suggests testing whether a hybrid convergence that controls both distances and volumes simultaneously could resolve the open issue.
- Numerical construction of near-zero-mass manifolds on a computer could be used to check which of the reviewed notions actually detect the expected closeness to flat space.
- Connections to other rigidity results in general relativity, such as stability of the Penrose inequality, may become clearer once the right convergence is fixed.
Load-bearing premise
The original Schoen-Yau theorem is valid and there exist sequences of manifolds with ADM mass approaching zero that fail to converge geometrically under at least some of the candidate notions.
What would settle it
A sequence of three-dimensional asymptotically flat manifolds with nonnegative scalar curvature, ADM mass less than 1/n for each n, whose intrinsic flat distance to Euclidean space stays bounded below by a positive constant would show that intrinsic flat convergence is too weak; a proof that any sequence with mass less than 1/n must have intrinsic flat distance less than epsilon(n) with epsilon(n) to zero would confirm that notion works.
Figures
read the original abstract
In 1979, Schoen and Yau proved their famous Positive Mass Theorem which is a combination of a comparison theorem: {\em a three dimensional asymptotically flat Riemannian manifold with nonnegative scalar curvature has nonnegative ADM mass}, and a rigidity theorem: {\em if such a manifold has zero ADM mass then it is isometric to Euclidean space}. Here we review results and open questions on the geometric stability of their zero mass rigidity theorem: {\em if such a manifold has almost zero mass, how close is its geometry to that of Euclidean space}? We review the geometry of these spaces, examples of sequences of such spaces with mass approaching zero, and a variety of geometric notions of convergence. Although there has been much progress, it is still an open question (even in dimension three): exactly which geometric notion of convergence works best to capture the geometric stability of this famous rigidity theorem.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript surveys results on the geometric stability of the rigidity statement in the Schoen-Yau Positive Mass Theorem. It recalls the 1979 theorem (nonnegative ADM mass for asymptotically flat 3-manifolds with nonnegative scalar curvature, with rigidity to Euclidean space when mass vanishes), reviews examples of sequences with ADM mass approaching zero that fail to converge geometrically under various notions, discusses several notions of geometric convergence, and concludes that determining the optimal notion remains open even in dimension three.
Significance. If the review is accurate, it provides a useful consolidation of the literature on stability for this foundational result in geometric analysis and mathematical relativity. By organizing examples of non-converging sequences and comparing convergence notions, the survey clarifies the current state of the open question and may help direct subsequent work on precise formulations of stability.
Simulated Author's Rebuttal
We thank the referee for their positive and accurate summary of our manuscript, as well as for the recommendation to accept. We are pleased that the survey is viewed as a useful consolidation of the literature on this topic.
Circularity Check
No significant circularity: survey of prior results with no derivations
full rationale
This manuscript is a review paper that summarizes the 1979 Schoen-Yau Positive Mass Theorem, known examples of sequences with ADM mass approaching zero, and various notions of geometric convergence from the existing literature. It advances no new theorems, equations, predictions, or fitted parameters. The central statement is that the optimal notion of convergence remains an open question even in dimension three. All references are to prior independent work; no load-bearing claim reduces by construction to a self-definition, self-citation chain, or fitted input. The paper is self-contained as a survey.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
FromL p bounds to Gromov–Hausdorff convergence of Riemannian mani- folds.Geom Dedicata, 218, 2024
B Allen. FromL p bounds to Gromov–Hausdorff convergence of Riemannian mani- folds.Geom Dedicata, 218, 2024
work page 2024
-
[2]
Brian Allen. Inverse mean curvature flow and the stability of the positive mass theorem.Communications in Analysis and Geometry, 31:2413–2470, 2023
work page 2023
-
[3]
Brian Allen and Edward Bryden. Sobolev inequalities and convergence of Riemann- ian manifolds.Annals of Global Analysis and Geometry,, June 2023
work page 2023
-
[4]
Volume above distance below with boundary II
Brian Allen and Edward Bryden. Volume above distance below with boundary II. Ann. Global Anal. Geom., 67(2):Paper No. 12, 12, 2025
work page 2025
-
[5]
Brian Allen and Raquel Perales. Intrinsic flat stability of manifolds with bound- ary where volume converges and distance is bounded below.Comm. Anal. Geom., 33(1):185–238, 2025
work page 2025
-
[6]
Brian Allen, Raquel Perales, and Christina Sormani. Volume above distance below. J. Differential Geom., 126(3):837–874, 2024
work page 2024
-
[7]
Contrasting various notions of convergence in geometric analysis.Pacific J
Brian Allen and Christina Sormani. Contrasting various notions of convergence in geometric analysis.Pacific J. Math., 303(1):1–46, 2019
work page 2019
-
[8]
Relating notions of convergence in geometric analysis.Nonlinear Anal., 200:111993, 33, 2020
Brian Allen and Christina Sormani. Relating notions of convergence in geometric analysis.Nonlinear Anal., 200:111993, 33, 2020. 40 CHRISTINA SORMANI
work page 2020
-
[9]
Metric measure spaces with Riemannian Ricci curvature bounded from below.Duke Math
Luigi Ambrosio, Nicola Gigli, and Giuseppe Savar´ e. Metric measure spaces with Riemannian Ricci curvature bounded from below.Duke Math. J., 163(7):1405–1490, 2014
work page 2014
-
[10]
Currents in metric spaces.Acta Math., 185(1):1–80, 2000
Luigi Ambrosio and Bernd Kirchheim. Currents in metric spaces.Acta Math., 185(1):1–80, 2000
work page 2000
-
[11]
Rectifiable sets in metric and Banach spaces
Luigi Ambrosio and Bernd Kirchheim. Rectifiable sets in metric and Banach spaces. Math. Ann., 318(3):527–555, 2000
work page 2000
-
[12]
Multi-localized time- symmetric initial data for the Einstein vacuum equations.J
John Anderson, Justin Corvino, and Federico Pasqualotto. Multi-localized time- symmetric initial data for the Einstein vacuum equations.J. Reine Angew. Math., 808:67–110, 2024
work page 2024
-
[13]
Gioacchino Antonelli, Mattia Fogagnolo, Stefano Nardulli, and Marco Pozzetta. Positive mass and isoperimetry for continuous metrics with nonnegative scalar cur- vature.arXiv:2403.15972, 2025
-
[14]
R. Arnowitt, S. Deser, and C. W. Misner. Coordinate invariance and energy expres- sions in general relativity.Phys. Rev. (2), 122:997–1006, 1961
work page 1961
-
[15]
Richard H. Bamler. A Ricci flow proof of a result by Gromov on lower bounds for scalar curvature.Math. Res. Lett., 23(2):325–337, 2016
work page 2016
-
[16]
The mass of an asymptotically flat manifold.Comm
Robert Bartnik. The mass of an asymptotically flat manifold.Comm. Pure Appl. Math., 39(5):661–693, 1986
work page 1986
-
[17]
J. Basilio and C. Sormani. Sequences of three dimensional manifolds with positive scalar curvature.Differential Geometry and its Applications, 77, 2021
work page 2021
-
[18]
Jorge Basilio, Jozef Dodziuk, and Christina Sormani. Sewing Riemannian manifolds with positive scalar curvature.Journal of Geometric Analysis, 28:3553–3602, 2018
work page 2018
-
[19]
Jorge Basilio, D. Kazaras, and C. Sormani. An intrinsic flat limit of Riemannian manifolds with no geodesics.Geom. Dedicata, 204:265–284, 2020
work page 2020
-
[20]
Filling minimality and Lipschitz-volume rigidity of convex bodies among integral current spaces.J
Giuliano Basso, Paul Creutz, and Elefterios Soultanis. Filling minimality and Lipschitz-volume rigidity of convex bodies among integral current spaces.J. Reine Angew. Math., 805:213–239, 2023
work page 2023
-
[21]
R. Beig and N. ´O Murchadha. Trapped surfaces due to concentration of gravitational radiation.Phys. Rev. Lett., 66(19):2421–2424, 1991
work page 1991
-
[22]
Isoperimetric sets in nonnegative scalar curva- ture and their role through various concepts of mass
Luca Benatti and Mattia Fogagnolo. Isoperimetric sets in nonnegative scalar curva- ture and their role through various concepts of mass. InAnisotropic isoperimetric problems and related topics, volume 62 ofSpringer INdAM Ser., pages 169–199. Springer, Singapore, [2024]©2024
work page 2024
-
[23]
On superposition of rela- tivistic point-sources.arXiv:2002.12281, 2020
Noah Benjamin, Will McDermott, and Iva Stavrov Allen. On superposition of rela- tivistic point-sources.arXiv:2002.12281, 2020
-
[24]
Brill-Lindquist-Riemann sums and their lim- its.arXiv:2103.11036, 2021
Tatiana Benko and Iva Stavrov Allen. Brill-Lindquist-Riemann sums and their lim- its.arXiv:2103.11036, 2021
-
[25]
Richard L. Bishop and Richard J. Crittenden.Geometry of manifolds, volume Vol. XV ofPure and Applied Mathematics. Academic Press, New York-London, 1964
work page 1964
-
[26]
Hubert L. Bray. Proof of the Riemannian Penrose inequality using the positive mass theorem.J. Differential Geom., 59(2):177–267, 2001
work page 2001
-
[27]
Hubert L. Bray, Demetre P. Kazaras, Marcus A. Khuri, and Daniel L. Stern. Har- monic functions and the mass of 3-dimensional asymptotically flat Riemannian man- ifolds.J. Geom. Anal., 32(6):Paper No. 184, 29, 2022
work page 2022
-
[28]
D. R. Brill. On the positive definite mass of the bondi–weber–wheeler time- symmetric gravitational waves.Ann. Physics, 7:466–483, 1959
work page 1959
-
[29]
Dieter R. Brill and Richard W. Lindquist. Interaction energy in geometrostatics. Phys. Rev. (2), 131:471–476, 1963
work page 1963
-
[30]
J. David Brown and James W. York, Jr. Quasilocal energy in general relativity. In Mathematical aspects of classical field theory (Seattle, WA, 1991), volume 132 of Contemp. Math., pages 129–142. Amer. Math. Soc., Providence, RI, 1992. GEOMETRIC STABILITY OF THE ZERO MASS RIGIDITY THEOREM 41
work page 1991
-
[31]
Edward T. Bryden. Stability of the positive mass theorem for axisymmetric mani- folds.Pacific J. Math., 305(1):89–152, 2020
work page 2020
-
[32]
Dimitri Burago and Sergei Ivanov. Area spaces: First steps, with appendix by Nigel Higson.Geometric and Functional Analysis, 19(3):662–677, 2009
work page 2009
-
[33]
American Mathematical Society, Prov- idence, RI, 2001
Dmitri Burago, Yuri Burago, and Sergei Ivanov.A course in metric geometry, vol- ume 33 ofGraduate Studies in Mathematics. American Mathematical Society, Prov- idence, RI, 2001
work page 2001
-
[34]
Pointwise lower scalar curvature bounds forC 0 metrics via regularizing Ricci flow.Geom
Paula Burkhardt-Guim. Pointwise lower scalar curvature bounds forC 0 metrics via regularizing Ricci flow.Geom. Funct. Anal., 29(6):1703–1772, 2019
work page 2019
-
[35]
Cabrera Pacheco, Carla Cederbaum, Stephen McCormick, and Pengzi Miao
Armando J. Cabrera Pacheco, Carla Cederbaum, Stephen McCormick, and Pengzi Miao. Asymptotically flat extensions of CMC Bartnik data.Classical Quantum Gravity, 34(10):105001, 15, 2017
work page 2017
-
[36]
Explicit Riemannian manifolds with unex- pectedly behaving center of mass.Ann
Carla Cederbaum and Christopher Nerz. Explicit Riemannian manifolds with unex- pectedly behaving center of mass.Ann. Henri Poincar´ e, 16(7):1609–1631, 2015
work page 2015
-
[37]
Jeff Cheeger. Differentiability of lipschitz functions on metric measure spaces.Geo- metric & Functional Analysis GAFA, 9(3):428–517, 1999
work page 1999
-
[38]
Jeff Cheeger and Tobias H. Colding. Lower bounds on Ricci curvature and the almost rigidity of warped products.Ann. of Math. (2), 144(1):189–237, 1996
work page 1996
-
[39]
Jeff Cheeger and Tobias H. Colding. On the structure of spaces with Ricci curvature bounded below. I.J. Differential Geom., 46(3):406–480, 1997
work page 1997
-
[40]
Ebin.Comparison theorems in Riemannian geometry
Jeff Cheeger and David G. Ebin.Comparison theorems in Riemannian geometry. AMS Chelsea Publishing, Providence, RI, 2008. Revised reprint of the 1975 original
work page 2008
-
[41]
Liang Cheng. The power series expansions of logarithmic sobolev, W-functionals and scalar curvature rigidity.arXiv:2409.06117, 2025
-
[42]
Isoperimetry, scalar curvature, and mass in asymptotically flat Riemannian 3-manifolds.Comm
Otis Chodosh, Michael Eichmair, Yuguang Shi, and Haobin Yu. Isoperimetry, scalar curvature, and mass in asymptotically flat Riemannian 3-manifolds.Comm. Pure Appl. Math., 74(4):865–905, 2021
work page 2021
-
[43]
P. T. Chrusciel. Mass and angular-momentum inequalities for axi-symmetric initial data sets, i: Positivity of mass.Ann. Physics, 323:2566–2590, 2008
work page 2008
-
[44]
Piotr T. Chru´ sciel and Erwann Delay. On mapping properties of the general rela- tivistic constraints operator in weighted function spaces, with applications.M´ em. Soc. Math. Fr. (N.S.), (94):vi+103, 2003
work page 2003
-
[45]
Tobias H. Colding. Ricci curvature and volume convergence.Ann. of Math. (2), 145(3):477–501, 1997
work page 1997
-
[46]
Scalar curvature deformation and a gluing construction for the Ein- stein constraint equations.Comm
Justin Corvino. Scalar curvature deformation and a gluing construction for the Ein- stein constraint equations.Comm. Math. Phys., 214(1):137–189, 2000
work page 2000
-
[47]
On the center of mass of isolated systems.Classical Quantum Gravity, 25(8):085008, 18, 2008
Justin Corvino and Haotian Wu. On the center of mass of isolated systems.Classical Quantum Gravity, 25(8):085008, 18, 2008
work page 2008
-
[48]
Rigidity of mass-preserving 1-Lipschitz maps from integral current spaces intoR n.J
Giacomo Del Nin and Raquel Perales. Rigidity of mass-preserving 1-Lipschitz maps from integral current spaces intoR n.J. Math. Anal. Appl., 526(1):Paper No. 127297, 17, 2023
work page 2023
-
[49]
Gromovl-Lawson tunnels with estimates
J´ ozef Dodziuk. Gromovl-Lawson tunnels with estimates. InAnalysis and geometry on graphs and manifolds, volume 461 ofLondon Math. Soc. Lecture Note Ser., pages 55–65. Cambridge Univ. Press, Cambridge, 2020
work page 2020
-
[50]
Some stability results of positive mass theorem for uniformly asymp- totically flat 3-manifolds.Ann
Conghan Dong. Some stability results of positive mass theorem for uniformly asymp- totically flat 3-manifolds.Ann. Math. Qu´ e., 48(2):427–451, 2024
work page 2024
-
[51]
Stability of Euclidean 3-space for the positive mass theorem.Invent
Conghan Dong and Antoine Song. Stability of Euclidean 3-space for the positive mass theorem.Invent. Math., 239(1):287–319, 2025
work page 2025
-
[52]
David A Edwards. The structure of superspace. InStudies in topology, pages 121–
-
[53]
Large-sphere and small-sphere limits of the Brown-York mass.Comm
Xu-Qian Fan, Yuguang Shi, and Luen-Fai Tam. Large-sphere and small-sphere limits of the Brown-York mass.Comm. Anal. Geom., 17(1):37–72, 2009. 42 CHRISTINA SORMANI
work page 2009
-
[54]
Herbert Federer and Wendell H. Fleming. Normal and integral currents.Ann. of Math. (2), 72:458–520, 1960
work page 1960
-
[55]
Doris Fischer-Colbrie and Richard Schoen. The structure of complete stable minimal surfaces in 3-manifolds of nonnegative scalar curvature.Comm. Pure Appl. Math., 33(2):199–211, 1980
work page 1980
-
[56]
Collapsing Riemannian manifolds to ones of lower dimensions.J
Kenji Fukaya. Collapsing Riemannian manifolds to ones of lower dimensions.J. Differential Geom., 25(1):139–156, 1987
work page 1987
-
[57]
R. Geroch. Energy extraction.Ann. New York Acad. Sci., 224:108–117, 1973
work page 1973
-
[58]
The splitting theorem in non-smooth context.Memoirs of the AMS, 317(1609), 2026
Nicola Gigli. The splitting theorem in non-smooth context.Memoirs of the AMS, 317(1609), 2026
work page 2026
-
[59]
M. Gromov. Positive curvature, macroscopic dimension, spectral gaps and higher signatures. InFunctional analysis on the eve of the 21st century, Vol. II (New Brunswick, NJ, 1993), volume 132 ofProgr. Math., pages 1–213. Birkh¨ auser Boston, Boston, MA, 1996
work page 1993
-
[60]
Mikhael Gromov and H. Blaine Lawson, Jr. Spin and scalar curvature in the presence of a fundamental group. I.Ann. of Math. (2), 111(2):209–230, 1980
work page 1980
-
[61]
Mikhael Gromov and H. Blaine Lawson, Jr. Positive scalar curvature and the Dirac operator on complete Riemannian manifolds.Inst. Hautes ´Etudes Sci. Publ. Math., (58):83–196, 1983
work page 1983
-
[62]
Birkh¨ auser Boston Inc., Boston, MA, 1981
Misha Gromov.Metric structures for Riemannian and non-Riemannian spaces, vol- ume 152 ofProgress in Mathematics. Birkh¨ auser Boston Inc., Boston, MA, 1981. 1999, Based on the 1981 French original [ MR0682063 (85e:53051)], With appen- dices by M. Katz, P. Pansu and S. Semmes, Translated from the French by Sean Michael Bates
work page 1981
-
[63]
Dirac and Plateau billiards in domains with corners.Cent
Misha Gromov. Dirac and Plateau billiards in domains with corners.Cent. Eur. J. Math., 12(8):1109–1156, 2014
work page 2014
-
[64]
Misha Gromov. Plateau-Stein manifolds.Cent. Eur. J. Math., 12(7):923–951, 2014
work page 2014
-
[65]
Metric inequalities with scalar curvature.Geom
Misha Gromov. Metric inequalities with scalar curvature.Geom. Funct. Anal., 28(3):645–726, 2018
work page 2018
-
[66]
Four lectures on scalar curvature
Misha Gromov. Four lectures on scalar curvature. InPerspectives in scalar curvature. Vol. 1, pages 1–514. World Sci. Publ., Hackensack, NJ, [2023]©2023
work page 2023
-
[67]
Juha Heinonen. Nonsmooth calculus.Bull. Amer. Math. Soc. (N.S.), 44(2):163–232, 2007
work page 2007
-
[68]
Mass of asymptotically flat 3- manifolds with boundary.Comm
Sven Hirsch, Pengzi Miao, and Tin-Yau Tsang. Mass of asymptotically flat 3- manifolds with boundary.Comm. Anal. Geom., 31(7):1611–1653, 2023
work page 2023
-
[69]
Lan-Hsuan Huang. Foliations by stable spheres with constant mean curvature for isolated systems with general asymptotics.Comm. Math. Phys., 300(2):331–373, 2010
work page 2010
-
[70]
Lan-Hsuan Huang and Dan A. Lee. Stability of the positive mass theorem for graph- ical hypersurfaces of Euclidean space.Comm. Math. Phys., 337(1):151–169, 2015
work page 2015
-
[71]
Lan-Hsuan Huang, Dan A. Lee, and Raquel Perales. Intrinsic flat convergence of points and applications to stability of the positive mass theorem.Ann. Henri Poincar´ e, 23(7):2523–2543, 2022
work page 2022
-
[72]
Lan-Hsuan Huang, Dan A. Lee, and Christina Sormani. Intrinsic flat stability of the positive mass theorem for graphical hypersurfaces of Euclidean space.J. Reine Angew. Math., 727:269–299, 2017
work page 2017
-
[73]
G Huisken. An isoperimetric concept for mass and quasilocal mass.Oberwolfach Reports, European Mathematical Society (EMS), Z¨urich, 3(1):87–88, 2006
work page 2006
-
[74]
The inverse mean curvature flow and the Rie- mannian Penrose inequality.J
Gerhard Huisken and Tom Ilmanen. The inverse mean curvature flow and the Rie- mannian Penrose inequality.J. Differential Geom., 59(3):353–437, 2001
work page 2001
-
[75]
Gerhard Huisken and Shing-Tung Yau. Definition of center of mass for isolated phys- ical systems and unique foliations by stable spheres with constant mean curvature. Invent. Math., 124(1-3):281–311, 1996. GEOMETRIC STABILITY OF THE ZERO MASS RIGIDITY THEOREM 43
work page 1996
-
[76]
Gerhard Huisken and Shing-Tung Yau. Definition of center of mass for isolated phys- ical systems and unique foliations by stable spheres with constant mean curvature. Invent. Math., 124(1-3):281–311, 1996
work page 1996
-
[77]
Gluing and wormholes for the Einstein constraint equations.Comm
James Isenberg, Rafe Mazzeo, and Daniel Pollack. Gluing and wormholes for the Einstein constraint equations.Comm. Math. Phys., 231(3):529–568, 2002
work page 2002
-
[78]
Semicontinuity of capacity under pointed intrinsic flat convergence.Comm
J Jauregui, R Perales, and J Portegies. Semicontinuity of capacity under pointed intrinsic flat convergence.Comm. Anal. Geom., 33(3):559–621, 2025
work page 2025
-
[79]
Jeffrey L. Jauregui and Dan A. Lee. Lower semicontinuity of mass underC 0 con- vergence and Huisken’s isoperimetric mass.J. Reine Angew. Math., 756:227–257, 2019
work page 2019
-
[80]
Jeffrey L. Jauregui and Dan A. Lee. Lower semicontinuity of ADM mass under intrinsic flat convergence.Calc. Var. Partial Differential Equations, 60(5):Paper No. 193, 42, 2021
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.