Pith. sign in

REVIEW 1 major objections 1 cited by

Smooth metrics on R^3 with nonnegative scalar curvature and decay O(|x|^{-1-τ}) for τ>0 must be flat.

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 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-29 05:34 UTC pith:LBS5O7XO

load-bearing objection The paper records that O(r^{-1-τ}) C^0 decay forces ADM mass to zero and thus flatness via standard rigidity; the scaling argument holds but adds little beyond that observation. the 1 major comments →

arxiv 2605.29915 v2 pith:LBS5O7XO submitted 2026-05-28 math.DG

Rigidity in the Positive Mass Theorem with C⁰ Decay

Liam Mazurowski , Xuan Yao This is my paper
classification math.DG
keywords rigiditypositive mass theoremscalar curvatureasymptotically flatEuclidean metricdecay estimatesthree-manifolds
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper establishes a rigidity theorem: any smooth metric on three-dimensional Euclidean space that has nonnegative scalar curvature and approaches the flat metric at a rate faster than 1 over distance to the origin must in fact be exactly flat. This extends earlier rigidity statements in the positive mass theorem by weakening the decay hypothesis from stronger pointwise or integral conditions to a simple C^0 bound. A sympathetic reader would care because the result identifies a precise threshold at which asymptotic flatness plus curvature nonnegativity collapses all possible deformations back to the Euclidean geometry.

Core claim

If g is a smooth metric on R^3 with nonnegative scalar curvature satisfying |g(x) - g_euc(x)| = O(|x|^{-1-τ}) for some τ > 0, then g coincides with the Euclidean metric.

What carries the argument

The C^0 decay condition of order strictly greater than 1 combined with the pointwise nonnegativity of scalar curvature, which together trigger the rigidity conclusion of the positive mass theorem.

Load-bearing premise

The metric is smooth everywhere on R^3 so that scalar curvature is defined at every point.

What would settle it

Exhibiting any non-flat smooth metric on R^3 with nonnegative scalar curvature whose difference from the Euclidean metric satisfies |g(x) - g_euc(x)| = O(|x|^{-1-τ}) for some τ > 0 would falsify the claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The metric must have vanishing scalar curvature at every point.
  • The only asymptotically flat manifold satisfying the hypotheses is the flat Euclidean space itself.
  • Positive mass is necessarily zero under these decay and curvature assumptions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar decay thresholds might control rigidity statements in dimensions other than three.
  • The result indicates that exactly order-1/r decay is the borderline case worth testing for possible counterexamples.
  • One could ask whether the smoothness hypothesis can be relaxed while preserving the conclusion.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 0 minor

Summary. The manuscript claims to prove a rigidity result extending the positive mass theorem: any smooth metric g on R^3 with non-negative scalar curvature satisfying |g(x) - g_euc(x)| = O(|x|^{-1-τ}) for some τ > 0 must be the flat Euclidean metric.

Significance. If correct, the result would weaken the decay hypotheses in the rigidity statement of the positive mass theorem from the usual asymptotic flatness conditions (typically requiring decay on both the metric and its first derivatives) to a pure C^0 decay condition on the metric. This could broaden applicability in settings where only pointwise closeness to Euclidean space is controlled. No machine-checked proofs or parameter-free derivations are mentioned.

major comments (1)
  1. [Main result / proof of mass vanishing] The central argument appears to rely on showing that the given C^0 decay forces the ADM mass to vanish (allowing application of the standard rigidity case of the PMT). However, the ADM mass integrand involves first derivatives of g, and the hypothesis |g - δ| = O(r^{-1-τ}) does not automatically imply ∂g = O(r^{-2-τ}) or the necessary integrand decay O(r^{-2-τ}) that would make the surface integral over S_r tend to zero. This step is load-bearing for the claim but is not justified by the stated hypotheses alone.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying a key point in the argument for mass vanishing. We respond to the major comment below.

read point-by-point responses

  1. Referee: The central argument appears to rely on showing that the given C^0 decay forces the ADM mass to vanish (allowing application of the standard rigidity case of the PMT). However, the ADM mass integrand involves first derivatives of g, and the hypothesis |g - δ| = O(r^{-1-τ}) does not automatically imply ∂g = O(r^{-2-τ}) or the necessary integrand decay O(r^{-2-τ}) that would make the surface integral over S_r tend to zero. This step is load-bearing for the claim but is not justified by the stated hypotheses alone.

    Authors: We agree that the C^0 decay hypothesis alone does not automatically yield the derivative decay required to ensure the ADM surface integral vanishes in the usual way, and that this needs explicit justification in the manuscript. The non-negative scalar curvature is used in the proof to obtain the necessary control (via the structure of the positive mass theorem and an approximation argument), but the current write-up does not spell out the passage from C^0 decay to the required integrability of the mass integrand. We will revise the manuscript to add a dedicated lemma establishing that the surface integrals tend to zero under the stated hypotheses. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper states a direct rigidity implication: under smoothness on R^3, non-negative scalar curvature, and the stated C^0 decay, the metric must be flat. This follows from the standard positive mass theorem rigidity once the decay is shown to force ADM mass zero via surface integral estimates that vanish at infinity; no equations, parameters, or premises in the given claim reduce to self-definition, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation chain is self-contained against external benchmarks (the classical PMT) and does not exhibit any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Ledger constructed from abstract only; full text unavailable to identify additional parameters or entities.

axioms (2)
  • domain assumption g is a smooth Riemannian metric on R^3
    Required for scalar curvature to be defined pointwise and for the statement to be meaningful.
  • domain assumption Scalar curvature of g is non-negative
    Explicit hypothesis of the theorem stated in the abstract.

pith-pipeline@v0.9.1-grok · 5571 in / 1269 out tokens · 31798 ms · 2026-06-29T05:34:06.848038+00:00 · methodology

0 comments
read the original abstract

Let $g$ be a smooth metric on $\mathbb R^3$ with non-negative scalar curvature. We show that if $g$ satisfies $\vert g(x)-g_{\text{euc}}(x)\vert = O(\vert x\vert^{-1-\tau})$ for some $\tau > 0$ then $g$ must be flat.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Gromov's Euclidean Endpoint $C^0$ Rigidity for the Positive Mass Theorem

    math.DG 2026-06 unverdicted novelty 6.0

    Proves that a smooth complete metric g on R^3 with Scal(g) >= 0 and |g - g_Euc| = o(r^{-1}) as r -> infinity is isometric to Euclidean space.

Reference graph

Works this paper leans on

23 extracted references · 4 canonical work pages · cited by 1 Pith paper · 3 internal anchors

  1. [1]

    A Green’s function proof of the positive mass theorem.Communications in Mathematical Physics, 405(2):54, 2024

    Virginia Agostiniani, Lorenzo Mazzieri, and Francesca Oronzio. A Green’s function proof of the positive mass theorem.Communications in Mathematical Physics, 405(2):54, 2024

    2024

  2. [2]

    A Ricci flow proof of a result by Gromov on lower bounds for scalar curvature.Mathematical Research Letters, 23(2):325–337, 2016

    Richard Bamler. A Ricci flow proof of a result by Gromov on lower bounds for scalar curvature.Mathematical Research Letters, 23(2):325–337, 2016

    2016

  3. [3]

    The mass of an asymptotically flat manifold.Communications on pure and applied mathematics, 39(5):661–693, 1986

    Robert Bartnik. The mass of an asymptotically flat manifold.Communications on pure and applied mathematics, 39(5):661–693, 1986

    1986

  4. [4]

    Nonlinear isocapacitary concepts of mass in 3-manifolds with nonnegative scalar curvature.SIGMA

    Luca Benatti, Mattia Fogagnolo, Lorenzo Mazzieri, et al. Nonlinear isocapacitary concepts of mass in 3-manifolds with nonnegative scalar curvature.SIGMA. Symmetry, Integrability and Geometry: Methods and Applications, 19:091, 2023

    2023

  5. [5]

    Scalar curvature rigidity of convex polytopes.Inventiones mathematicae, 235(2):669–708, 2024

    Simon Brendle. Scalar curvature rigidity of convex polytopes.Inventiones mathematicae, 235(2):669–708, 2024

    2024

  6. [6]

    Pointwise lower scalar curvature bounds forC 0 metrics via regularizing Ricci flow.Geo- metric and Functional Analysis, 29(6):1703–1772, 2019

    Paula Burkhardt-Guim. Pointwise lower scalar curvature bounds forC 0 metrics via regularizing Ricci flow.Geo- metric and Functional Analysis, 29(6):1703–1772, 2019

    2019

  7. [7]

    ADM mass forC 0 metrics and distortion under Ricci-DeTurck flow.Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 2024(806):187–245, 2024

    Paula Burkhardt-Guim. ADM mass forC 0 metrics and distortion under Ricci-DeTurck flow.Journal f¨ ur die reine und angewandte Mathematik (Crelles Journal), 2024(806):187–245, 2024

    2024

  8. [8]

    Springer, 1998

    David Gilbarg and Neil S Trudinger.Elliptic partial differential equations of second order. Springer, 1998

    1998

  9. [9]

    Dirac and Plateau billiards in domains with corners.Central European Journal of Mathematics, 12(8):1109–1156, 2014

    Misha Gromov. Dirac and Plateau billiards in domains with corners.Central European Journal of Mathematics, 12(8):1109–1156, 2014

    2014

  10. [10]

    Four lectures on scalar curvature.arXiv preprint arXiv:1908.10612, 2019

    Misha Gromov. Four lectures on scalar curvature.arXiv preprint arXiv:1908.10612, 2019

    work page arXiv 1908

  11. [11]

    The Green function for uniformly elliptic equations.Manuscripta mathe- matica, 37(3):303–342, 1982

    Michael Gr¨ uter and Kjell-Ove Widman. The Green function for uniformly elliptic equations.Manuscripta mathe- matica, 37(3):303–342, 1982

    1982

  12. [12]

    An isoperimetric concept for the mass in general relativity

    Gerhard Huisken. An isoperimetric concept for the mass in general relativity. InOberwolfach Reports. European Mathematical Society, Z¨ urich, 2006

    2006

  13. [13]

    ADM mass and the capacity-volume deficit at infinity.Communications in Analysis and Ge- ometry, 31(6):1565–1610, 2024

    Jeffrey L Jauregui. ADM mass and the capacity-volume deficit at infinity.Communications in Analysis and Ge- ometry, 31(6):1565–1610, 2024

    2024

  14. [14]

    A note on Huisken’s isoperimetric mass.Letters in Mathematical Physics, 114(6):134, 2024

    Jeffrey L Jauregui, Dan A Lee, and Ryan Unger. A note on Huisken’s isoperimetric mass.Letters in Mathematical Physics, 114(6):134, 2024

    2024

  15. [15]

    The positive mass theorem for manifolds with distributional curvature

    Dan A Lee and Philippe G LeFloch. The positive mass theorem for manifolds with distributional curvature. Communications in Mathematical Physics, 339(1):99–120, 2015

    2015

  16. [16]

    Quantification of scalar curvature under $C^0$ convergence using smoothing

    Man-Chun Lee. Quantification of scalar curvature underC 0 convergence using smoothing.arXiv preprint arXiv:2604.17759, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  17. [17]

    A polyhedron comparison theorem for 3-manifolds with positive scalar curvature.Inventiones mathemat- icae, 219(1):1–37, 2020

    Chao Li. A polyhedron comparison theorem for 3-manifolds with positive scalar curvature.Inventiones mathemat- icae, 219(1):1–37, 2020

    2020

  18. [18]

    Quantification of $C^0$ Convergence in Dimension Three

    Liam Mazurowski and Xuan Yao. Quantification ofC 0 convergence in dimension three.arXiv preprint arXiv:2604.14087, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  19. [19]

    Scalar curvature under weak limits of manifolds

    Liam Mazurowski and Xuan Yao. Scalar curvature under weak limits of manifolds.arXiv preprint arXiv:2605.03136, 2026

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  20. [20]

    AnL p-estimate for the gradient of solutions of second order elliptic divergence equations

    Norman G Meyers. AnL p-estimate for the gradient of solutions of second order elliptic divergence equations. Annali della Scuola Normale Superiore di Pisa-Scienze Fisiche e Matematiche, 17(3):189–206, 1963

    1963

  21. [21]

    On the proof of the positive mass conjecture in general relativity.Commu- nications in Mathematical Physics, 65(1):45–76, 1979

    Richard Schoen and Shing-Tung Yau. On the proof of the positive mass conjecture in general relativity.Commu- nications in Mathematical Physics, 65(1):45–76, 1979

    1979

  22. [22]

    Proof of the positive mass theorem

    Richard Schoen and Shing-Tung Yau. Proof of the positive mass theorem. II.Communications in Mathematical Physics, 79(2):231–260, 1981

    1981

  23. [23]

    A new proof of the positive energy theorem.Communications in Mathematical Physics, 80(3):381– 402, 1981

    Edward Witten. A new proof of the positive energy theorem.Communications in Mathematical Physics, 80(3):381– 402, 1981. Department of Mathematics, Lehigh University, Bethlehem, Pennsylvania, 18015, United States Email address:lim624@lehigh.edu Department of Mathematics, Princeton University, Princeton, NJ 08540 Email address:xy1216@princeton.edu

    1981