REVIEW 2 major objections 5 minor 40 references
Rigidity of positive mass theorem with fast metric decay
T0 review · 2 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read A smooth metric on R^n with nonnegative scalar curvature whose deviation from the Euclidean metric decays faster than |x|^{2-n} must be flat, settling the remaining dimensions of Gromov's rigidity conjecture.
desk verdict The n≥4 proof of Gromov's C^0 rigidity has a real gap in the spinorial Sobolev estimate, but the whole approach is promising and the result is important enough for a serious referee. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing construction is the Ricci-DeTurck flow g(t) run with respect to a carefully chosen background flow that starts from a metric equal to g_0 on a large ball and Euclidean outside a larger ball. The background flow supplies uniform curvature and injectivity bounds, so a stability theorem lets the flow start from g_0 even though only C^0 closeness is known. Propositions 4.2 and 4.3 show the flow preserves the o(|x|^{2−n}) decay and improves it to t^{1/2}|∇g(t)|=o(|x|^{2−n}), turning C^0 decay into the C^1 asymptotic flatness needed for a mass-type argument. The rigidity step then uses compactly supported modifications g_R=g_euc+φ_R(g−g_euc), whose ADM mass is zero, together with
What would settle it
Produce a smooth complete non-flat metric on R^4 with scal≥0 and |g−g_euc|(x)=o(|x|^{-2}) at infinity; Theorem 1.1 asserts none exists, so an explicit or constructed example would refute it. Short of that, the sharpest test is computational: run the Ricci-DeTurck flow from a metric with a o(r^{2−n}) C^0 tail and check whether the C^1 decay predicted by Propositions 4.2–4.3 actually appears; a failure there would pinpoint the unproven stability input.
Extended reading notes
Core claim
On its own terms, the paper establishes Theorem 1.1: for n≥3, any smooth complete metric g_0 on R^n satisfying scal(g_0)≥0 and |g_0−g_euc|(x)=o(|x|^{2−n}) as x→∞ is flat on R^n. Since n=3 had been proven by previous authors, the new content is n≥4, where the authors regularize g_0 by Ricci-DeTurck flow and then invoke spinorial rigidity: the regularized metric can be approximated by compactly modified metrics of zero ADM mass, the Lichnerowicz formula gives a coercivity estimate for the Dirac operator, and the constructed harmonic spinors converge to a nonzero parallel spinor; Bochner's formula then forces Ricci-flatness, and volume comparison forces Euclidean geometry. An appendix produces
Load-bearing premise
The load-bearing premise is the flow-smoothing estimate: a Ricci-DeTurck flow can start from a metric only uniformly close to a controlled background, preserve nonnegative scalar curvature, and convert the o(|x|^{2−n}) spatial tail into first-derivative decay; this estimate is imported from an earlier preprint, and if that smoothing step breaks at the stated decay, the reduction to positive-mass rigidity has no starting point.
Editorial extensions
If this is right
- If the central claim is correct, the positive mass theorem has a pure C^0 rigidity endpoint: flatness is forced by the decay rate alone, with no mass-like quantity needed.
- The same smoothing method yields Theorem 5.2: a complete spin manifold of dimension ≥4 with one end whose metric decays o(|x|^{2−n}) and scal≥0 is isometric to Euclidean space, so the result is not special to R^n.
- The appendix's scalar-flat examples at decay O(|x|^{2−n}) show the o(|x|^{2−n}) assumption is optimal; rigidity is a strictly sub-Schwarzschild phenomenon.
- The flow-regularization route converts a C^0 curvature condition into classical asymptotic flatness, so it may make other positive-mass rigidity statements accessible to continuous metrics.
Reading between the lines
- An immediate editorial extension: the C^1-decay assumption in Theorem 5.1 may itself be removable by pushing the parabolic bootstrapping in Remark 4.1 to higher order, so the flow argument rather than spinors would carry the full C^0 statement.
- The coercivity estimate in Claim 5.1 is a linearization of scalar curvature; a similar linearized comparison might yield quantitative stability rates (how flatness approaches Euclidean as the decay exponent grows), a testable refinement not stated in the paper.
- Because the proof is localized to one end, it should transfer to multi-ended asymptotically flat spin manifolds with fast decay on at least one end, with the other ends possibly Schwarzschild-like; the paper does not claim this.
- A concrete open extension: replacing the spin assumption in Theorem 5.2 by a non-spin topology would require a different rigidity mechanism, since Dirac techniques fail; the conjecture for non-spin ends remains unaddressed.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a Euclidean rigidity theorem (Theorem 1.1): a smooth complete metric on R^n, n≥3, with nonnegative scalar curvature and |g-g_euc|(x)=o(|x|^{2-n}) as |x|→∞ must be flat. For n=3 this is imported from two independent recent preprints [31,39]; for n≥4 the paper develops a Ricci-DeTurck flow smoothing argument that converts the C^0 decay into a C^1 asymptotically flat metric, and then applies a spinorial positive-mass rigidity argument (Theorem 5.1). The authors also state a version for complete spin manifolds with one asymptotically flat end (Theorem 5.2). The proof depends on a stability theorem for the Ricci-DeTurck flow (Theorem 2.1) taken from an unpublished preprint by the second author and collaborators. The paper includes an appendix constructing metrics with exactly the critical decay rate, showing the decay assumption is sharp.
Significance. If correct, the result settles Gromov's Euclidean C^0 rigidity conjecture in all dimensions, complementing the n=3 work of Mazurowski-Yao and You-Zhang. The strategy is attractive: it uses Ricci flow smoothing to bridge from very weak C^0 decay to a setting where classical spinor methods apply, and the dimension cutoff n≥4 is natural. The appendix provides a standard but useful sharpness construction. However, the central spinorial argument contains a serious technical gap in Claim 5.2 (invalid Sobolev inequality applied to a non-decaying function), and the smoothing step depends on an unpublished stability theorem. The paper's significance will be realized only if these issues are repaired.
major comments (2)
- [§5, Claim 5.2, Eq. (5.12)] The proof introduces w_R := |ψ_R|^{-1} and asserts the Sobolev bound ∥w_R∥_{L^{2n/(n-2)}} ≤ C'∥∇_{g_R}w_R∥_{L^2} ≤ C''∥∇_{g_R}ψ_R∥_{L^2}. This is not valid as written. By Lemma 5.1, ψ_R tends to a fixed unit constant spinor ψ_∞ at infinity, so |ψ_R|→1 and w_R→1; hence w_R is not in L^{2n/(n-2)}(R^n). Moreover, |∇w_R| = |∇|ψ_R||/|ψ_R|^2 is not bounded by C|∇ψ_R| without a positive lower bound on |ψ_R|. The subsequent estimates (5.13)–(5.16) and the conclusion E_R→0 rely on (5.12); Claim 5.3 also invokes (5.12) to infer |ψ|=1. This is a load-bearing gap in the rigidity argument. The natural repair is to replace w_R by a decaying quantity such as u_R = ψ_R − ψ_∞ (or |ψ_R|^2 − 1), which lies in the appropriate L^p space and satisfies ∇u_R = ∇ψ_R, and to rework the annulus estimates accordingly.
- [§4, Theorem 2.1, Props. 4.1–4.3] The regularization of the C^0 metric into a C^1 asymptotically flat metric with the same decay relies entirely on Theorem 2.1, whose proof is cited to an unpublished preprint of the second author [13]. Since Propositions 4.1–4.3 are the bridge between the original decay assumption and the metric to which the spinorial theorem is applied, the main theorem is conditional on the correctness of this external result. The authors should either give a self-contained proof of Theorem 2.1 in an appendix or provide a definitive reference to a peer-reviewed or fully verifiable source. The same applies in part to [27] (Duke Math. J., but still 'to appear'). Without this, the foundation of the smoothing step cannot be checked.
minor comments (5)
- [Title and Abstract] The abstract and title line contain the typo 'F AST' instead of 'FAST'.
- [Remark 1.1] The expression 'O(|x|^{2-n}) ≤ o(|x|^{-1})' is nonstandard notation; use 'O(|x|^{2-n}) ⊂ o(|x|^{-1}) for n≥4'.
- [Appendix A] Bôcher's theorem is misspelled as 'Bˆocher'.
- [Proposition 4.3] The exponent in 't1/2' should be typeset as t^{1/2}.
- [References] Several references are preprints (e.g., [8], [9], [13], [27], [31], [39]); please ensure the list is formatted consistently and indicates status (e.g., 'preprint' vs. 'to appear').
Circularity Check
No circularity found: the derivation relies on independent Ricci-flow and spinor tools, not on the conclusion being assumed.
full rationale
The paper's derivation chain is not circular. Each load-bearing input is an external analytic theorem or a direct computation whose hypotheses do not contain Conjecture 1.1. Theorem 2.1 (from [13], with related references) supplies Ricci-DeTurck flow existence and stability under curvature, injectivity-radius, and L∞-closeness hypotheses; it does not assume fast decay, vanishing mass, or flatness. Propositions 4.1–4.3 use that theorem together with the assumed o(r^{2−n}) decay to construct a regularized metric, and the scalar-curvature preservation is cited to [26]/[28], again independent analytic tools. In Section 5, Claim 5.1 derives the needed spinor coercivity from scal(g_R) ≥ 0 via a divergence-form estimate, and Lemma 5.1 (cited to [24]) converts coercivity into a spinor with vanishing mass contribution because the cutoff metrics g_R have ADM mass zero. No fitted parameter is renamed as a prediction, and no claimed result is defined in terms of the conclusion. The n=3 case is imported from [31,39], but the n≥4 argument is independent. The self-citations to [13,26,27,28] involve the second author, but they are parameter-free theorems with assumptions disjoint from the target rigidity; under the review rules they therefore count as real evidence and do not raise the circularity score. A separate possible technical gap around the non-decaying weight w_R = |ψ_R|^{-1} in Claim 5.2 would be a correctness concern, not a circularity, since it does not make the conclusion equivalent to the hypotheses.
Assumptions & free parameters
assumptions (6)
- domain assumption Ricci-DeTurck stability estimate (Theorem 2.1, from Chan-Lai-Lee [13]) holds for L∞-close metrics and gives long-time existence with L∞ bounds.
- domain assumption Localized maximum principle preserves scal≥0 along the Ricci-DeTurck flow (Lee-Tam [26]).
- domain assumption The n=3 case of Conjecture 1.1 is true, as established by You-Zhang [39] and Mazurowski-Yao [31].
- domain assumption Positive mass theorem rigidity via Witten spinors (Lee-LeFloch [25] and standard references) holds for the regularized metrics.
- standard math Standard Sobolev, Kato, and Bochner identities from spin geometry on R^n.
- standard math Shi's existence theorem for complete bounded-curvature Ricci flow from bounded-curvature initial data.
Cite this review
Pith. "Pith review of Rigidity of positive mass theorem with fast metric decay." pith.science (2026). https://pith.science/paper/ICMBJZP5
@misc{pith2026260717236,
author = {Pith},
title = {Pith review of: Rigidity of positive mass theorem with fast metric decay},
year = {2026},
howpublished = {\url{https://pith.science/paper/ICMBJZP5}},
note = {Machine review of arXiv:2607.17236}
}
read the original abstract
In this work, we consider metrics on Euclidean space with nonnegative scalar curvature and rapid decay at infinity. We show that, in dimensions four and higher, any such metric is necessarily flat if its decay rate exceeds that of the Schwarzschild metric. This complements recent works by Mazurowski-Yao and You-Zhang, thereby establishing Gromov's conjecture on the rigidity of the positive mass theorem under fast metric decay in all dimensions.
Reference graph
Works this paper leans on
-
[13]
Chan, P.-Y.; Lai, Y.; Lee, M.-C.,Higher-dimensional flying wing Steady Ricci Solitons, preprint, arXiv:2510.23005
-
[27]
Lee, M.-C.,Uniqueness of Ricci flow with scaling invariant estimates, arXiv:2503.20292, to appear in Duke Math. J
-
[1]
Agostiniani, V.; Mazzieri, L.; Oronzio, F.,A Green’s function proof of the positive mass theorem, Comm. Math. Phys. 405 (2024), no. 2, Paper No. 54, 23 pp
2024
-
[2]
Appleton, A.,Scalar curvature rigidity and Ricci DeTurck flow on perturbations of Euclidean space, Calc. Var. Partial Differential Equations 57 (2018), no. 5, Paper No. 132, 23 pp
2018
-
[3]
W.,Coordinate invariance and energy expressions in general relativity, Phys
Arnowitt, R.; Deser, S.; Misner, C. W.,Coordinate invariance and energy expressions in general relativity, Phys. Rev. (2) 122 (1961), 997–1006
1961
-
[4]
H.,A Ricci flow proof of a result by Gromov on lower bounds for scalar curvature, Math
Bamler, R. H.,A Ricci flow proof of a result by Gromov on lower bounds for scalar curvature, Math. Res. Lett. 23(2), 325–337
-
[5]
Pure Appl
Bartnik, R.,The mass of an asymptotically flat manifold, Comm. Pure Appl. Math. 39 (1986), no. 5, 661–693
1986
-
[6]
SIGMA Symmetry Integrability Geom
Benatti, L.; Fogagnolo, M.; Mazzieri, L.,Nonlinear isocapacitary concepts of mass in 3-manifolds with nonnegative scalar curvature. SIGMA Symmetry Integrability Geom. Methods Appl. 19 (2023), Paper No. 091, 29 pp
2023
Show all 40 references
-
[7]
Pure Appl
Benatti, L.; Fogagnolo, M.; Mazzieri, L.,On the isoperimetric Riemannian Penrose inequality, Comm. Pure Appl. Math. 78 (2025), no. 5, 1042–1085
2025
-
[8]
Bi, Y., Hao, T.; He, S.; Shi, Y.; Zhu, J.,A proof for the Riemannian positive mass theorem up to dimension 19, preprint, arXiv:2603.02769
-
[9]
Brendle, S.; Wang, Y.,A dimension descent scheme for the positive mass theorem in high dimensions, preprint, arXiv:2604.08473
-
[10]
Burkhardt-Guim, P.,Pointwise lower scalar curvature bounds forC 0 metrics via reg- ularizing Ricci flow, Geom. Funct. Anal. 29 (2019), no. 6, 1703–1772
2019
-
[11]
Reine Angew
Burkhardt-Guim, P.,ADM mass forC 0 metrics and distortion under Ricci–DeTurck flow, J. Reine Angew. Math. 806 (2024), 187–245
2024
-
[12]
Cai J.-B.; Wang, B.,The Ricci-DeTurck flow on complete manifolds, preprint, arXiv:2603.22834
-
[14]
Differential Geom
Chen, B.-L.,Strong uniqueness of the Ricci flow, J. Differential Geom. 82 (2009), no. 2, 363–382
2009
-
[15]
Chow, B.; Chu, S.-C.; Glickenstein, D.; Guenther, C.; Isenberg, J.; Ivey, T.; Knopf, D.; Lu, P.; Luo, F.; Ni, L.,The Ricci flow: techniques and applications. Part II. An- alytic aspects, Mathematical Surveys and Monographs, 144. American Mathematical Society, Providence, RI, 2...
2008
-
[16]
Chu, J.; Lee, M.-C.,Ricci-DeTurck flow from rough metrics and applications to scalar curvature problems, J. Funct. Anal. 289 (2025), no. 2, Paper No. 110916, 41 pp
2025
-
[17]
Fogagnolo, M.; Gatti, G.; Pluda, A.,Scalar curvature bounds for 3D continuous met- rics through the Inverse Mean Curvature Flow, preprint, arXiv:2605.20114
-
[18]
Gromov, M.,Dirac and Plateau billiards in domains with corners, Cent. Eur. J. Math. 12 (2014), no. 8, 1109–1156. 20 Jianchun Chu, Man-Chun Lee, Jingbo Wan
2014
-
[19]
1, World Scientific, Hackensack, NJ, 2023, 1–514
Gromov, M.,Four lectures on scalar curvature,inPerspectives in Scalar Curvature, Vol. 1, World Scientific, Hackensack, NJ, 2023, 1–514
2023
-
[20]
1, 87–88
Huisken, G.,An isoperimetric concept for mass and quasilocal mass, Oberwolfach Reports, European Mathematical Society (EMS), Z¨ urich 3 (2006), no. 1, 87–88
2006
-
[21]
L.,ADM mass and the capacity-volume deficit at infinity
Jauregui, J. L.,ADM mass and the capacity-volume deficit at infinity. Comm. Anal. Geom. 31 (2023), no. 6, 1565–1610
2023
-
[22]
L.; Lee, D
Jauregui, J. L.; Lee, D. A.; Unger, R.,A note on Huisken’s isoperimetric mass, Lett. Math. Phys. 114 (2024), no. 6, Paper No. 134, 7 pp
2024
-
[23]
Koch, H.; Lamm, T.,Geometric flows with rough initial data, Asian J. Math. 16 (2012), no. 2, 209–235
2012
-
[24]
A.,Geometric Relativity, Graduate Studies in Mathematics, vol
Lee, D. A.,Geometric Relativity, Graduate Studies in Mathematics, vol. 201, Ameri- can Mathematical Society, Providence, RI, 2019
2019
-
[25]
A.; LeFloch, P
Lee, D. A.; LeFloch, P. G.,The positive mass theorem for manifolds with distributional curvature, Comm. Math. Phys. 339 (2015), no. 1, 99–120
2015
-
[26]
Lee, M.-C.; Tam, L.-F.,Some local maximum principles along Ricci flows, Canad. J. Math. 74 (2022), no. 2, 329–348
2022
-
[28]
Lee, M.-C.,Quantification of scalar curvature underC 0 convergence using smoothing, preprint, arXiv:2604.17759
-
[29]
Mazurowski, L.; Yao, X.,Quantification ofC 0 Convergence in Dimension Three, preprint, arXiv:2604.14087
-
[30]
Mazurowski, L.; Yao, X.,Rigidity in the positive mass theorem withC 0 decay, preprint, arXiv:2605.29915
-
[31]
Mazurowski, L.; Yao, X.,A positive mass theorem for continuous metrics, preprint, arXiv:2606.19123
-
[32]
H.,On Witten’s proof of the positive energy theorem, Comm
Parker, T.; Taubes, C. H.,On Witten’s proof of the positive energy theorem, Comm. Math. Phys. 84 (1982), no. 2, 223–238
1982
-
[33]
Graduate Texts in Mathematics,
Petersen, P.,Riemannian geometry, Third edition. Graduate Texts in Mathematics,
-
[34]
Schoen, R.; Yau, S.-T.,On the proof of the positive mass conjecture in general rela- tivity, Comm. Math. Phys. 65 (1979), 45–76
1979
-
[35]
Lecture Notes in Mathematics 1365
Schoen, R.,Variational theory for the total scalar curvature functional for Riemannian metrics and related topics, Topics in Calculus of Variations (Montecatini Terme, Italy 1987), 120–154. Lecture Notes in Mathematics 1365. Berlin: Springer, 1989
1987
-
[36]
Differential Geom
Shi, W.-X.,Deforming the metric on complete Riemannian manifolds, J. Differential Geom. 30 (1989), no. 1, 223–301
1989
-
[37]
Simon, M.,Deformation ofC 0 Riemannian metrics in the direction of their Ricci curvature, Comm. Anal. Geom. 10 (2002), no. 5, 1033–1074
2002
-
[38]
Witten, E.,A new proof of the positive energy theorem, Comm. Math. Phys. 80 (1981), no. 3, 381–402
1981
-
[39]
You, J.; Zhang, H.,Gromov’s Euclidean endpointC 0 rigidity for the positive mass theorem, preprint, arXiv:2606.15372. C 0-Rigidity of positive mass Theorem 21 School of Mathematical Sciences, Peking University, Yiheyuan Road 5, Beijing 100871, People’s Republic of China Email ...
-
[171]
xviii+499 pp
Springer, Cham, 2016. xviii+499 pp. ISBN: 978-3-319-26652-7; 978-3-319-26654-1
2016
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.