{"id":"e266820c-de71-4dac-b476-213a001e6f8a","arxiv_id":"2607.17236","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A complete proof that for n≥4, nonnegative scalar curvature plus o(r^{2-n}) decay to the Euclidean metric forces flatness, completing Gromov's C^0 rigidity conjecture.","lead":"The paper proves a conjecture by Gromov: in four or more dimensions, any complete metric on Euclidean space with nonnegative scalar curvature that decays to the Euclidean metric faster than the Schwarzschild metric must actually be flat. It settles the remaining high-dimensional cases of a rigidity question about the positive mass theorem in general relativity.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Claim 5.2's Sobolev estimate is applied to a non-decaying spinor and (5.12) is false as written; the proof needs reworking with the decaying difference ψ_R−ψ∞.","rationale":"The reader's weakest assumption was the reliance on the unpublished stability theorem [13], which is a legitimate verification risk. However, my read found a more concrete and immediately checkable flaw in the paper's own spinorial argument. In Claim 5.2, the quantity w_R := |ψ_R|^{-1} is said to satisfy a Sobolev inequality, but since |ψ_R|→1 at infinity, w_R does not lie in the relevant Lebesgue space. The claimed bound (5.12) is therefore false as stated, and the estimates that follow are not justified. This is not a disagreement with consensus or a question of external verification; it is an internal gap in the proof of the central rigidity theorem. The gap appears reparable by using the decaying difference ψ_R − ψ∞, and the suggested concrete test would settle whether the intended argument goes through with the same decay powers. Because the error is local and likely fixable, I do not propose to change the reader's CONDITIONAL verdict, but I disagree with the reader's identification of the weakest point: the most load-bearing concern is the invalid Sobolev application, not the unpublished theorem, assuming [13] is correct. If the corrected estimates fail, the verdict would need to move to REJECT, as the main theorem would not be established.","tokens_in":16009,"tokens_out":18012,"duration_ms":148005,"concrete_test":"Rewrite the proof of Claim 5.2 with u_R := ψ_R − ψ∞ (or |ψ_R|−1) in place of w_R := |ψ_R|^{-1}. Verify that the estimates (5.12)–(5.16) can be rederived with ∥u_R∥_{L^{2n/(n−2)}} ≤ C E_R and ∫_{A(R,2R)} |u_R|^2 dvol ≤ C R^2 E_R^2 plus volume terms. In particular, check the powers of R in the bounds for I, II, III and confirm that the final inequality E_R^2 ≤ C ε_R(1+E_R^2) still follows with ε_R→0. If the corrected estimates hold, the concern is resolved; if not, the paper's conclusion E_R→0 is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Claim 5.2 (Section 5, around Eq. (5.12)), the authors define w_R := |ψ_R|^{-1}. However, by Lemma 5.1, ψ_R tends to a fixed unit constant spinor ψ∞ at infinity, so w_R tends to 1 and is not in L^{2n/(n−2)}(R^n). The Euclidean Sobolev inequality ∥w_R∥_{L^p} ≤ C∥∇w_R∥_{L^2} cannot be applied to a function that does not decay to zero. Moreover, the second estimate ∥∇(|ψ_R|^{-1})∥_{L^2} ≤ C ∥∇ψ_R∥_{L^2} is not justified, since |∇(|ψ|^{-1})| = |∇|ψ||/|ψ|^2, which can blow up where |ψ| is small and is not controlled by ∥∇ψ∥_{L^2} without extra information. The subsequent bounds (5.13)–(5.16), which are used to conclude E_R = ∥∇ψ_R∥_{L^2} → 0, depend critically on this invalid inequality. The natural correction is to work with the decaying difference u_R := ψ_R − ψ∞ (or |ψ_R|−1), which belongs to L^{2n/(n−2)}(R^n) with ∥∇u_R∥_{L^2} = E_R by Lemma 5.1. Replacing w_R accordingly may make the estimates valid, but this is not what is written. Since Claim 5.2 is the step that proves the limiting spinor is parallel, and Claim 5.3 relies on it to conclude flatness, this gap affects the central rigidity argument. It is internal to the paper and independent of the unpublished stability theorem [13] that the reader flagged.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":16433,"tokens_out":8540,"duration_ms":70927,"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":[{"comment":"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.","section":"§5, Claim 5.2, Eq. (5.12)"},{"comment":"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.","section":"§4, Theorem 2.1, Props. 4.1–4.3"}],"minor_comments":[{"comment":"The abstract and title line contain the typo 'F AST' instead of 'FAST'.","section":"Title and Abstract"},{"comment":"The expression 'O(|x|^{2-n}) ≤ o(|x|^{-1})' is nonstandard notation; use 'O(|x|^{2-n}) ⊂ o(|x|^{-1}) for n≥4'.","section":"Remark 1.1"},{"comment":"Bôcher's theorem is misspelled as 'Bˆocher'.","section":"Appendix A"},{"comment":"The exponent in 't1/2' should be typeset as t^{1/2}.","section":"Proposition 4.3"},{"comment":"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').","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is promising and the conjectured result is likely correct, but the current proof has a concrete and load-bearing technical error in Claim 5.2 that needs a substantive reworking, not just copy-editing. I also have a concern about the heavy reliance on the authors' own unpublished works, especially Theorem 2.1 from [13], which the referee cannot verify. If the authors can fix the Sobolev issue and supply a proof of the stability theorem, the paper would be a strong contribution. Otherwise, I cannot recommend acceptance."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper claims to settle Gromov's Euclidean C^0 rigidity conjecture in dimensions n≥4, complementing the n=3 cases. That is a big deal. The method — Ricci-DeTurck smoothing to regularize a C^0-fast-decaying metric, followed by spinorial rigidity — is genuinely new and gives a transparent dimension cutoff at n≥4. What I like: the structure is clear; the background Ricci flow is chosen carefully; the decay propagation in Section 4 is plausible; the appendix gives sharpness examples. The paper is honestly written, with dependence on unpublished work acknowledged.\n\nBut there is a serious internal gap in Claim 5.2, the step that makes the limiting spinor parallel. The authors set w_R := |ψ_R|^{-1} and apply the Euclidean Sobolev inequality to it. However, ψ_R tends to a unit constant spinor at infinity, so w_R tends to 1 and is not in L^{2n/(n-2)}(R^n). The Sobolev inequality cannot be applied. The second bound in (5.12), |∇w_R| ≤ C|∇ψ_R|, is also not justified, since |∇(|ψ|^{-1})| = |∇|ψ||/|ψ|^2 and can blow up where |ψ| is small. These estimates feed directly into (5.13)–(5.16), so E_R → 0 is not established. The natural fix is to work with the decaying difference u_R = ψ_R - ψ_∞, which by Lemma 5.1 belongs to the right L^p space and has the same gradient energy. That may well rescue the argument, but it is not what is written.\n\nThere is also the regularization step: Theorem 2.1 is taken from an unpublished preprint by the second author (in fact a paper on flying wing steady Ricci solitons, not a standard reference). If that theorem's hypotheses are not met, the smoothing collapses. The C^1 decay estimates in Section 4 are only sketched, with multiple 'similarly' steps. These are softer than the Claim 5.2 gap, but they compound the reliance on external unpublished results.\n\nThe theorem is likely true and the proof strategy is promising, but the submitted version does not establish it as written. The gap is internal and repairable, so I would not desk-reject. I would send to a qualified referee with a request to focus on Claim 5.2 and the unpublished stability theorem. If the authors fix the Sobolev argument and provide the missing details, this becomes a significant paper.","headline":"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.","tokens_in":16914,"tokens_out":5050,"would_cite":true,"duration_ms":40500,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53E20"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Scalar curvature","Positive mass theorem","C0 rigidity","Asymptotically flat manifolds","Ricci-DeTurck flow","Dirac operator","Fast metric decay","Euclidean rigidity"],"falsifier":"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.","tokens_in":15893,"feed_emoji":"📐","tokens_out":6685,"duration_ms":59087,"temperature":0.7,"pith_summary":"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.","feed_headline":"Metrics decaying faster than Schwarzschild are flat","feed_subtitle":"The proof runs Ricci flow from a rough metric and uses spinors to rule out every non-flat candidate in dimensions 4 and higher.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Ultra-fast decay forces flatness in dimensions 4+","Decay faster than Schwarzschild guarantees flat metric","Faster-than-Schwarzschild decay forces flatness for n≥4","In n≥4, decay o(|x|^{2-n}) implies flatness"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Ultra-fast decay forces flatness in dimensions 4+","Decay faster than Schwarzschild guarantees flat metric","Faster-than-Schwarzschild decay forces flatness for n≥4","In n≥4, decay o(|x|^{2-n}) implies flatness"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000998,"raw_usage":{"total_tokens":3999,"prompt_tokens":622,"completion_tokens":3377,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":366,"completion_tokens_details":{"reasoning_tokens":3303}},"tokens_in":366,"tokens_out":3377,"duration_ms":21114,"temperature":1.0,"reasoning_tokens":3303,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T18:38:56.835100+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}