REVIEW 2 major objections 4 minor 57 references
The positive mass theorem holds in every dimension even when the metric is only L∞ and has a singular set of Minkowski dimension less than n−3+2/n.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-12 12:41 UTC pith:EQC6V7J6
load-bearing objection Solid all-dimension singular PMT that cleanly upgrades Brendle–Wang to L∞ metrics with the natural Minkowski-dimension threshold; the argument holds. the 2 major comments →
Riemannian Positive Mass Theorem in All Dimensions in the Presence of Low-Codimension Singularities
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any complete asymptotically flat L∞-manifold whose metric is smooth outside a compact set S of Minkowski dimension less than n−3+2/n and whose scalar curvature is nonnegative on the regular set, the ADM mass of every end is nonnegative; if in addition dim_M S ≤ n−3+1/(n−1) and the mass of some end is zero, then the manifold is isometric to Euclidean space.
What carries the argument
A two-stage conformal blow-up: first a Green-function factor that removes the original singular set while preserving an asymptotically flat end and a weighted scalar-curvature inequality, followed by a μ-bubble whose own singular set is blown up in turn, producing a weak (n−1)-data set to which the same argument applies inductively.
Load-bearing premise
The singular set must have Minkowski dimension strictly less than n−3+2/n so that it has vanishing W^{1,2}-capacity and so that the Green potential used for the first blow-up is non-integrable along every path that approaches the set.
What would settle it
An explicit complete asymptotically flat L∞-metric with nonnegative scalar curvature on the regular set, a compact singular set of Minkowski dimension strictly between n−3+2/n and n−2, and strictly negative ADM mass would refute the claim.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves the Riemannian positive mass theorem for complete asymptotically flat L^∞-metrics that are smooth outside a compact singular set S of Minkowski dimension less than n-3+2/n, with nonnegative scalar curvature on the regular set. The ADM mass of every end is shown to be nonnegative; under the slightly stronger bound dim_M S ≤ n-3+1/(n-1), vanishing mass implies the manifold is Euclidean. The argument proceeds by a density theorem that produces strictly positive scalar curvature and harmonic asymptotics while preserving the mass up to an arbitrarily small error (Theorem 2.7), a Green-function conformal blow-up that removes S while retaining a weighted scalar-curvature inequality (Proposition 3.2), construction of stable µ-bubbles that descend the dimension (Propositions 3.4–3.6 and Theorem 3.7), and an inductive positive-mass statement for the resulting weak n-data sets (Theorem 4.2), reducing ultimately to a three-dimensional Gauss–Bonnet contradiction. Rigidity is obtained by establishing Ricci-flatness on the regular set, constructing global harmonic coordinates with Hölder control near S, and deriving weighted Hessian estimates via cut-offs adapted to the Minkowski dimension of S.
Significance. The result supplies a non-compact, asymptotically flat counterpart to Schoen’s codimension-three conjecture and extends the recent all-dimension positive-mass theorems of Bi–Hao–He–Shi–Zhu and Brendle–Wang to metrics with low-codimension singularities. The Minkowski-dimension threshold is sharp relative to the capacity and completeness estimates employed, and the concurrent compact counter-examples of Cecchini–Frenck–Zeidler underscore that the non-compact setting is more rigid. The technical contributions—capacity estimates across singular sets, a carefully calibrated Green-function blow-up, the notion of weak n-data sets, and the weighted Hessian control needed for rigidity—are substantial and of independent interest for singular scalar-curvature geometry.
major comments (2)
- [§5.2, display (5.36)–(5.37)] In the rigidity argument of §5.2 the weighted Hessian estimate (5.36) relies on the cut-off error term r^{2b(γ-1)+1-δ} vanishing as r o0. The exponent is made positive by choosing δ close to 1/(n-1) and ε small, but the Hölder exponent γ furnished by De Giorgi–Nash–Moser theory (Lemma 5.2) is not quantified. A short remark confirming that any γ∈(0,1) works under the stated Minkowski bound, or an explicit lower bound on γ in terms of the ellipticity constants, would close this minor gap.
- [Corollary 4.8 and Lemma 4.9] The inductive step (Corollary 4.8) produces a weak (n-1)-data set whose weight ρ' satisfies ρ'-1∈C^{2,α}_{3-n-q'}(E'). When the original end is only C^{2,α}-asymptotically flat of order q>(n-2)/2, the decay of the new weight is slightly weaker than the original. While the subsequent induction still reaches dimension 3, it would be useful to record that the decay remains strong enough for the monopole formula and the logarithmic cut-off argument of Lemma 4.9 to apply without further loss.
minor comments (4)
- [§2] Several displayed equations in §2 (e.g., (2.21), (2.28)) contain typographical artifacts of the form “n□” that should be restored to the correct Sobolev exponents n/(n-2) and 2n/(n-2).
- [Introduction] The definition of a weak n-data set is introduced only in §4; a one-sentence forward reference in the introduction would help the reader anticipate the inductive framework.
- [Proposition 3.2] In Proposition 3.2 the range of the conformal exponent a is stated as max{1,2/(n-2),1/(n-2-σ)}<a<n/(n-2). A brief parenthetical remark that this interval is non-empty precisely when σ<n-3+2/n would make the dimensional hypothesis more transparent.
- [References] References [3] and [6] are cited as arXiv preprints; if published versions have appeared by the time of revision they should be updated.
Circularity Check
No significant circularity: classical ADM mass and Minkowski-dimension thresholds are forced by capacity/Wolff estimates; Brendle–Wang and Bi–Hao–He–Shi–Zhu are used as independent black boxes.
full rationale
The derivation is a self-contained geometric-analysis argument. The density theorem (Thm 2.7) produces a nearby metric with positive scalar curvature and harmonic asymptotics by solving a linear elliptic equation whose coefficients satisfy a smallness condition coming from the classical Sobolev constant; the mass shift is the explicit monopole term of that solution. The conformal blow-up (Prop 3.2) uses a Green’s potential whose a-power is non-integrable precisely when dim_M S < n−3+2/n (Wolff-potential lower bound), producing a complete smooth manifold that still carries the original ADM mass. The subsequent µ-bubble reduction and induction on weak n-data sets (Thm 4.2) adapt the already-published Brendle–Wang scheme; the only self-citations are ordinary bibliographic references to concurrent or prior work by overlapping authors, none of which is load-bearing for a uniqueness claim that forces the present result. No parameter is fitted to data and then re-predicted, no quantity is defined in terms of the conclusion it is said to imply, and the final mass inequality is the classical ADM flux. The stricter dimension bound for rigidity is likewise forced by the weighted Hessian cut-off estimates near S. Consequently the chain does not reduce to its inputs by construction.
Axiom & Free-Parameter Ledger
axioms (4)
- standard math W^{1,2}-capacity of a compact set of Minkowski dimension < n−2 vanishes, permitting integration by parts across S (Prop. 2.8).
- domain assumption Existence and regularity of stable µ-bubbles with free boundary and the associated second-variation inequality (adapted from Brendle–Wang and Chodosh–Li).
- domain assumption The smooth all-dimension positive-mass theorem of Brendle–Wang (and the Green’s-function blow-up of Bi–Hao–He–Shi–Zhu) hold.
- standard math De Giorgi–Nash–Moser theory and Cheng–Yau gradient estimates remain valid for L∞ metrics across a set of vanishing capacity.
invented entities (1)
-
weak n-data set
no independent evidence
Cite this review
Pith. "Pith review of Riemannian Positive Mass Theorem in All Dimensions in the Presence of Low-Codimension Singularities." pith.science (2026). https://pith.science/paper/EQC6V7J6
@misc{pith2026260623529,
author = {Pith},
title = {Pith review of: Riemannian Positive Mass Theorem in All Dimensions in the Presence of Low-Codimension Singularities},
year = {2026},
howpublished = {\url{https://pith.science/paper/EQC6V7J6}},
note = {Machine review of arXiv:2606.23529}
}
read the original abstract
We prove the Riemannian positive mass theorem in all dimensions for asymptotically flat $L^\infty$-metrics with subcritical singular sets. More precisely, we consider complete asymptotically flat manifolds whose metrics are smooth away from a compact singular set of Minkowski dimension less than $n-3+\frac{2}{n}$, and whose scalar curvature is nonnegative on the regular set. We show that the ADM mass of each asymptotically flat end is nonnegative, and that the mass vanishes in some end only in the Euclidean case. For the rigidity statement, we require additionally that the Minkowski dimension of the singular set is not larger than $n-3+\frac{1}{n-1}$. This gives an asymptotically flat analogue of Schoen's codimension-three conjecture for positive scalar curvature. The proof combines a density theorem for singular asymptotically flat metrics, capacity estimates across the singular set, conformal blow-up inspired by Bi-Hao-He-Shi-Zhu [3], and a $\mu$-bubble dimension-descent argument adapted from Brendle-Wang [6].
Reference graph
Works this paper leans on
-
[1]
The mass of an asymptotically flat manifold.����� ���� ����� �����, 39(5):661–693, 1986
Robert Bartnik. The mass of an asymptotically flat manifold.����� ���� ����� �����, 39(5):661–693, 1986
1986
-
[2]
Boundary value problems for Dirac-type equations
Robert Bartnik and Piotr Chru´ sciel. Boundary value problems for Dirac-type equations. ������� �� �� ��� ����� ��� ���������� ����������, 579:13–73, 2005
2005
-
[3]
A proof for the riemannian positive mass theorem up to dimension 19
Yuchen Bi, Tianze Hao, Shihang He, Yuguang Shi, and Jintian Zhu. A proof for the riemannian positive mass theorem up to dimension 19. arXiv:2603.02769, 2026
arXiv 2026
-
[4]
Positive scalar curvature obstructions via singular dimension descent
Yuchen Bi and Jintian Zhu. Positive scalar curvature obstructions via singular dimension descent. arXiv:2606.20528, 2026
Pith/arXiv arXiv 2026
-
[5]
Proof of the Riemannian Penrose inequality using the positive mass theorem
Hubert Bray. Proof of the Riemannian Penrose inequality using the positive mass theorem. ������� �� ����������� ��������, 59(2):177–267, 2001
2001
-
[6]
A dimension descent scheme for the positive mass the- orem in arbitrary dimension
Simon Brendle and Yipeng Wang. A dimension descent scheme for the positive mass the- orem in arbitrary dimension. arXiv:2604.08473, 2026
Pith/arXiv arXiv 2026
-
[7]
On the spacetime positive energy theorem in arbitrary dimension
Simon Brendle and Yipeng Wang. On the spacetime positive energy theorem in arbitrary dimension. arXiv:2604.18561, 2026
Pith/arXiv arXiv 2026
-
[8]
SmoothingL ∞ Riemannian metrics with nonnegative scalar cur- vature outside of a singular set
Paula Burkhardt-Guim. SmoothingL ∞ Riemannian metrics with nonnegative scalar cur- vature outside of a singular set. arXiv:2406.04564, 2024
Pith/arXiv arXiv 2024
-
[9]
Positive scalar curvature with point singularities
Simone Cecchini, Georg Frenck, and Rudolf Zeidler. Positive scalar curvature with point singularities. arXiv:2407.20163, 2024
arXiv 2024
-
[10]
Quantitative stratification and the regularity of har- monic maps and minimal currents.�������������� �� ���� ��� ������� �����������, 66(6):965–990, 2013
Jeff Cheeger and Aaron Naber. Quantitative stratification and the regularity of har- monic maps and minimal currents.�������������� �� ���� ��� ������� �����������, 66(6):965–990, 2013
2013
-
[11]
Singular metrics with negative scalar curvature.������������� ������� �� �����������, 33(7):2250047, 2022
Man-Chuen Cheng, Man-Chun Lee, and Luen-Fai Tam. Singular metrics with negative scalar curvature.������������� ������� �� �����������, 33(7):2250047, 2022
2022
-
[12]
Generalized soap bubbles and the topology of manifolds with positive scalar curvature.������ �� �����������, 199(2):707–740, 2024
Otis Chodosh and Chao Li. Generalized soap bubbles and the topology of manifolds with positive scalar curvature.������ �� �����������, 199(2):707–740, 2024
2024
-
[13]
Generic regularity for minimizing hypersurfaces in dimensions 9 and 10
Otis Chodosh, Christos Mantoulidis, and Felix Schulze. Generic regularity for minimizing hypersurfaces in dimensions 9 and 10. arXiv:2302.02253, 2023
arXiv 2023
-
[14]
Generic regularity for minimizing hypersurfaces in dimension 11
Otis Chodosh, Christos Mantoulidis, Felix Schulze, and Zhihan Wang. Generic regularity for minimizing hypersurfaces in dimension 11. arXiv:2506.12852, 2025
Pith/arXiv arXiv 2025
-
[15]
Boundary conditions at spatial infinity from a Hamiltonian point of view
Piotr Chru´ sciel. Boundary conditions at spatial infinity from a Hamiltonian point of view. ���� ���� ���� ����� ���� �� ������, 138:49–59, 1986
1986
-
[16]
Positive scalar curvature and isolated conical singularity
Xianzhe Dai, Yukai Sun, and Changliang Wang. Positive scalar curvature and isolated conical singularity. arXiv:2412.02941, 2024
Pith/arXiv arXiv 2024
-
[17]
The positive mass theorem for asymp- totically flat manifolds with isolated conical singularities.������� ����� �����������, 68:1671–1686, 2025
Xianzhe Dai, Yukai Sun, and Changliang Wang. The positive mass theorem for asymp- totically flat manifolds with isolated conical singularities.������� ����� �����������, 68:1671–1686, 2025
2025
-
[18]
Singular metrics with nonnegative scalar curvature and rcd
Xianzhe Dai, Changliang Wang, Lihe Wang, and Guofang Wei. Singular metrics with nonnegative scalar curvature and rcd. arXiv:2412.09185, 2024
Pith/arXiv arXiv 2024
-
[19]
Gromov-Hausdorff limits of K¨ ahler manifolds and alge- braic geometry.���� �����, 213(1):63–106, 2014
Simon Donaldson and Song Sun. Gromov-Hausdorff limits of K¨ ahler manifolds and alge- braic geometry.���� �����, 213(1):63–106, 2014. 48 MARCUS KHURI, JIAN W ANG, AND JINMIN W ANG
2014
-
[20]
The plateau problem for marginally outer trapped surfaces.������� �� ����������� ��������, 83(3):551–583, 2009
Michael Eichmair. The plateau problem for marginally outer trapped surfaces.������� �� ����������� ��������, 83(3):551–583, 2009
2009
-
[21]
North-Holland, Amsterdam, 1978
Ryszard Engelking.��������� ������. North-Holland, Amsterdam, 1978
1978
-
[22]
Springer, 2015
David Gilbarg and Neil Trudinger.�������� ������� ����������� ��������� �� ������ �����. Springer, 2015
2015
-
[23]
Metric inequalities with scalar curvature.��������� ��� ���������� ����� ����, 28(3):645–726, 2018
Misha Gromov. Metric inequalities with scalar curvature.��������� ��� ���������� ����� ����, 28(3):645–726, 2018
2018
-
[24]
The Green function for uniformly elliptic equa- tions.����������� �����, 37(3):303–342, 1982
Michael Gr¨ uter and Kjell-Ove Widman. The Green function for uniformly elliptic equa- tions.����������� �����, 37(3):303–342, 1982
1982
-
[25]
American Mathematical Soc., 2011
Qing Han and Fanghua Lin.�������� ������� ����������� ���������, volume 1. American Mathematical Soc., 2011
2011
-
[26]
The hyperboloidal and spacetime positive mass theorem in all dimensions
Sven Hirsch, Marcus Khuri, Martin Lesourd, and Yiyue Zhang. The hyperboloidal and spacetime positive mass theorem in all dimensions. arXiv:2604.24746, 2026
Pith/arXiv arXiv 2026
-
[27]
A positive mass theorem for manifolds with boundary
Sven Hirsch and Pengzi Miao. A positive mass theorem for manifolds with boundary. ������ ������� �� �����������, 306(1):185–201, 2020
2020
-
[28]
Princeton University Press, Princeton, 1941
Witold Hurewicz and Henry Wallman.��������� ������, volume 4 of��������� ������ ������� ������. Princeton University Press, Princeton, 1941
1941
-
[29]
Removable singularity of positive mass theorem with continuous metrics.����� ��, 302(2):839–874, 2022
Wenshuai Jiang, Weimin Sheng, and Huaiyu Zhang. Removable singularity of positive mass theorem with continuous metrics.����� ��, 302(2):839–874, 2022
2022
-
[30]
Desingularizing positive scalar curvature 4-manifolds.������������� �������, 390:4951–4972, 2024
Demetre Kazaras. Desingularizing positive scalar curvature 4-manifolds.������������� �������, 390:4951–4972, 2024
2024
-
[31]
A positive mass theorem for lipschitz metrics with small singular sets.����������� �� ��� �������� ������������ �������, 141(11):3997–4004, 2013
Dan Lee. A positive mass theorem for lipschitz metrics with small singular sets.����������� �� ��� �������� ������������ �������, 141(11):3997–4004, 2013
2013
-
[32]
American Mathematical Society, 2021
Dan Lee.��������� ����������, volume 201. American Mathematical Society, 2021
2021
-
[33]
The positive mass theorem for manifolds with distributional curvature.�������������� �� ������������ �������, 339(1):99–120, 2015
Dan Lee and Philippe LeFloch. The positive mass theorem for manifolds with distributional curvature.�������������� �� ������������ �������, 339(1):99–120, 2015
2015
-
[34]
Density and positive mass theorems for in- complete manifolds.�������� �� ���������� ��� ������� ����������� ���������, 62(194), 2023
Dan Lee, Martin Lesourd, and Ryan Unger. Density and positive mass theorems for in- complete manifolds.�������� �� ���������� ��� ������� ����������� ���������, 62(194), 2023
2023
-
[35]
Continuous metrics and a conjecture of Schoen.������ ����� ����� ����, 378(3):1531–1550, 2025
Man-Chun Lee and Luen-Fai Tam. Continuous metrics and a conjecture of Schoen.������ ����� ����� ����, 378(3):1531–1550, 2025
2025
-
[36]
The positive mass theorem with arbi- trary ends.������� �� ����������� ��������, 128(1):257–293, 2024
Martin Lesourd, Ryan Unger, and Shing-Tung Yau. The positive mass theorem with arbi- trary ends.������� �� ����������� ��������, 128(1):257–293, 2024
2024
-
[37]
Positive scalar curvature with skeleton singularities
Chao Li and Christos Mantoulidis. Positive scalar curvature with skeleton singularities. ������������� �������, 374(1–2):99–131, 2019
2019
-
[38]
Littman, G
W. Littman, G. Stampacchia, and H. F. Weinberger. Regular points for elliptic equations with discontinuous coefficients.���� ������ ����� ���� ���� ��� ���� ���, 17:43–77, 1963
1963
-
[39]
The higher dimensional positive mass theorem I
Joachim Lohkamp. The higher dimensional positive mass theorem I. arXiv:math/0608795, 2006
Pith/arXiv arXiv 2006
-
[40]
The higher dimensional positive mass theorem II
Joachim Lohkamp. The higher dimensional positive mass theorem II. arXiv:1612.07505, 2016
Pith/arXiv arXiv 2016
-
[41]
Capacity, quasi-local mass, and singular fill-ins.������� �� �� ��� ����� ��� ���������� ����������, 768:55–92, 2020
Christos Mantoulidis, Pengzi Miao, and Luen-Fai Tam. Capacity, quasi-local mass, and singular fill-ins.������� �� �� ��� ����� ��� ���������� ����������, 768:55–92, 2020
2020
-
[42]
A positive mass theorem for continuous metrics
Liam Mazurowski and Xuan Yao. A positive mass theorem for continuous metrics. arXiv:2606.19123, 2026
Pith/arXiv arXiv 2026
-
[43]
On the positive mass theorem for manifolds with corners.�������������� �� ������������ �������, 313(2):425–443, 2012
Donovan McFeron and G´ abor Sz´ ekelyhidi. On the positive mass theorem for manifolds with corners.�������������� �� ������������ �������, 313(2):425–443, 2012
2012
-
[44]
Positive mass theorem on manifolds admitting corners along a hypersurface
Pengzi Miao. Positive mass theorem on manifolds admitting corners along a hypersurface. �������� �� ����������� ��� ������������ �������, 6(6):1163–1182, 2002
2002
-
[45]
The singular structure and regularity of stationary and minimizing varifolds.������ �� �����������, 190(2):413–565, 2019
Aaron Naber and Daniele Valtorta. The singular structure and regularity of stationary and minimizing varifolds.������ �� �����������, 190(2):413–565, 2019. RIEMANNIAN PMT WITH LOW-CODIMENSION SINGULARITIES 49
2019
-
[46]
On the proof of the positive mass conjecture in general relativity.�������������� �� ������������ �������, 65(1):45–76, 1979
Richard Schoen and Shing-Tung Yau. On the proof of the positive mass conjecture in general relativity.�������������� �� ������������ �������, 65(1):45–76, 1979
1979
-
[47]
Proof of the positive mass theorem
Richard Schoen and Shing-Tung Yau. Proof of the positive mass theorem. II.�������� ������� �� ������������ �������, 79(2):231–260, 1981
1981
-
[48]
International Press, Boston, 1994
Richard Schoen and Shing-Tung Yau.�������� �� ����������� ��������. International Press, Boston, 1994
1994
-
[49]
Positive scalar curvature and minimal hypersurface singularities
Richard Schoen and Shing-Tung Yau. Positive scalar curvature and minimal hypersurface singularities. In������� �� ����������� �������� ����� ����������� ��������� ���������� ������� ��� ������� ����������� ���� �, volume 24 of������� �� ����������� ��������, pages 441–480. International Press, Boston, MA, 2022
2022
-
[50]
Positive mass theorem and the boundary behaviors of compact manifolds with nonnegative scalar curvature.������� �� ����������� ��������, 62(1):79–125, 2002
Yuguang Shi and Luen-Fai Tam. Positive mass theorem and the boundary behaviors of compact manifolds with nonnegative scalar curvature.������� �� ����������� ��������, 62(1):79–125, 2002
2002
-
[51]
On the fill-in of nonnegative scalar curvature metrics.������������� �������, 379(1–2):235–270, 2021
Yuguang Shi, Wenlong Wang, Guodong Wei, and Jintian Zhu. On the fill-in of nonnegative scalar curvature metrics.������������� �������, 379(1–2):235–270, 2021
2021
-
[52]
Generic regularity of homologically area minimizing hypersurfaces in eight- dimensional manifolds.�������������� �� �������� ��� ��������, 1(2):217–228, 1993
Nathan Smale. Generic regularity of homologically area minimizing hypersurfaces in eight- dimensional manifolds.�������������� �� �������� ��� ��������, 1(2):217–228, 1993
1993
-
[53]
Positive mass theorem for initial data sets with arbitrary ends
Tin-Yau Tsang. Positive mass theorem for initial data sets with arbitrary ends. arXiv:2604.26978, 2026
Pith/arXiv arXiv 2026
-
[54]
Jian Wang, Jinmin Wang, and Zhizhang Xie.L ∞-metrics on tori and schoen’s conjecture. arXiv:2606.21325, 2026
Pith/arXiv arXiv 2026
-
[55]
Scalar curvature rigidity of spheres with subsets removed andL ∞ metrics
Jinmin Wang and Zhizhang Xie. Scalar curvature rigidity of spheres with subsets removed andL ∞ metrics. arXiv:2407.21312, 2024
Pith/arXiv arXiv 2024
-
[56]
A new proof of the positive energy theorem.�������������� �� ������ ������� �������, 80(3):381–402, 1981
Edward Witten. A new proof of the positive energy theorem.�������������� �� ������ ������� �������, 80(3):381–402, 1981
1981
-
[57]
Width estimate and doubly warped product.������������ �� ��� �������� ������������ �������, 374(2):1497–1511, 2021
Jintian Zhu. Width estimate and doubly warped product.������������ �� ��� �������� ������������ �������, 374(2):1497–1511, 2021. (Marcus Khuri)Department of Mathematics, Stony Brook University ����� �������:��������������������������� (Jian Wang)State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of S...
2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.