Pith. sign in

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 →

arxiv 2607.17236 v1 pith:ICMBJZP5 submitted 2026-07-19 math.DG

classification math.DG MSC 53C2153E20
keywords ScalarcurvaturePositivemasstheoremC0rigidityAsymptoticallyflatmanifoldsRicci-DeTurckflowDiracoperatorFastmetricdecayEuclidean
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that in dimensions four and higher, a complete metric on Euclidean space with nonnegative scalar curvature cannot be non-flat if its deviation from the Euclidean metric decays at infinity faster than the Schwarzschild rate |x|^{2-n}. The three-dimensional case was already settled elsewhere, so this completes the conjecture in all dimensions. The proof works by running Ricci-DeTurck flow from the rough, rapidly decaying metric, smoothing it while preserving nonnegative scalar curvature and converting the C^0 tail into genuine first-derivative decay. Once the metric is asymptotically flat in the classical sense, a spinor argument adapted from the positive mass theorem shows the generalized mass is zero, forcing the existence of a nonzero parallel spinor and hence flatness. An appendix supplies non-flat scalar-flat metrics with exactly the critical decay, showing the decay assumption is optimal.

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.

Watch

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

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)
  1. [§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.
  2. [§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)
  1. [Title and Abstract] The abstract and title line contain the typo 'F AST' instead of 'FAST'.
  2. [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'.
  3. [Appendix A] Bôcher's theorem is misspelled as 'Bˆocher'.
  4. [Proposition 4.3] The exponent in 't1/2' should be typeset as t^{1/2}.
  5. [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

0 steps flagged · score 0.0 of 10

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 0 free parameters · 6 assumptions · 0 invented entities

No free parameters are fitted to data; the auxiliary constants (ε0, β0, r0, T) are existential proof constants whose precise values are irrelevant. The real upstream content is the chain of cited geometric-analysis theorems, several of which are unpublished preprints by the authors.

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.
    Stated as a black box in Section 2 with proof deferred to an unpublished preprint by the second author. Load-bearing for the smoothing construction in Propositions 4.1-4.3.
  • domain assumption Localized maximum principle preserves scal≥0 along the Ricci-DeTurck flow (Lee-Tam [26]).
    Used in Proposition 4.1 to ensure the flowed metric has nonnegative scalar curvature; cited rather than proved.
  • domain assumption The n=3 case of Conjecture 1.1 is true, as established by You-Zhang [39] and Mazurowski-Yao [31].
    Theorem 1.1 claims all n≥3; the n=3 part is imported from two preprints and is not reproved here.
  • domain assumption Positive mass theorem rigidity via Witten spinors (Lee-LeFloch [25] and standard references) holds for the regularized metrics.
    The n≥5 shortcut uses Lee-LeFloch [25]; the unified proof uses the standard spinor mass formula in Lemma 5.1.
  • standard math Standard Sobolev, Kato, and Bochner identities from spin geometry on R^n.
    Used throughout Section 5: Sobolev embedding, Kato inequality, Lichnerowicz formula, and the Bochner formula for parallel spinors.
  • standard math Shi's existence theorem for complete bounded-curvature Ricci flow from bounded-curvature initial data.
    Used in Lemma 3.2 to produce the background reference flow.

how reviews work

0 comments
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.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 8 linked inside Pith

  1. [13]

    Chan, P.-Y.; Lai, Y.; Lee, M.-C.,Higher-dimensional flying wing Steady Ricci Solitons, preprint, arXiv:2510.23005

  2. [27]

    Lee, M.-C.,Uniqueness of Ricci flow with scaling invariant estimates, arXiv:2503.20292, to appear in Duke Math. J

  3. [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

  4. [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

  5. [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

  6. [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

  7. [5]

    Pure Appl

    Bartnik, R.,The mass of an asymptotically flat manifold, Comm. Pure Appl. Math. 39 (1986), no. 5, 661–693

  8. [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

Show all 40 references
  1. [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

  2. [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

  3. [9]

    Brendle, S.; Wang, Y.,A dimension descent scheme for the positive mass theorem in high dimensions, preprint, arXiv:2604.08473

  4. [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

  5. [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

  6. [12]

    Cai J.-B.; Wang, B.,The Ricci-DeTurck flow on complete manifolds, preprint, arXiv:2603.22834

  7. [14]

    Differential Geom

    Chen, B.-L.,Strong uniqueness of the Ricci flow, J. Differential Geom. 82 (2009), no. 2, 363–382

  8. [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...

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [23]

    Koch, H.; Lamm, T.,Geometric flows with rough initial data, Asian J. Math. 16 (2012), no. 2, 209–235

  17. [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

  18. [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

  19. [26]

    Lee, M.-C.; Tam, L.-F.,Some local maximum principles along Ricci flows, Canad. J. Math. 74 (2022), no. 2, 329–348

  20. [28]

    Lee, M.-C.,Quantification of scalar curvature underC 0 convergence using smoothing, preprint, arXiv:2604.17759

  21. [29]

    Mazurowski, L.; Yao, X.,Quantification ofC 0 Convergence in Dimension Three, preprint, arXiv:2604.14087

  22. [30]

    Mazurowski, L.; Yao, X.,Rigidity in the positive mass theorem withC 0 decay, preprint, arXiv:2605.29915

  23. [31]

    Mazurowski, L.; Yao, X.,A positive mass theorem for continuous metrics, preprint, arXiv:2606.19123

  24. [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

  25. [33]

    Graduate Texts in Mathematics,

    Petersen, P.,Riemannian geometry, Third edition. Graduate Texts in Mathematics,

  26. [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

  27. [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

  28. [36]

    Differential Geom

    Shi, W.-X.,Deforming the metric on complete Riemannian manifolds, J. Differential Geom. 30 (1989), no. 1, 223–301

  29. [37]

    Simon, M.,Deformation ofC 0 Riemannian metrics in the direction of their Ricci curvature, Comm. Anal. Geom. 10 (2002), no. 5, 1033–1074

  30. [38]

    Witten, E.,A new proof of the positive energy theorem, Comm. Math. Phys. 80 (1981), no. 3, 381–402

  31. [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 ...

  32. [171]

    xviii+499 pp

    Springer, Cham, 2016. xviii+499 pp. ISBN: 978-3-319-26652-7; 978-3-319-26654-1

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.