{"id":"fd78628a-6f20-4a00-bc90-84333fa77814","arxiv_id":"2510.12673","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Metrics with small scale-invariant curvature concentration can be locally smoothed by Ricci flow using only Sobolev and volume-growth controls, yielding compactness and Euclidean-diffeomorphism results.","lead":"This paper proves a local smoothing theorem for Riemannian metrics with small L^{n/2} curvature concentration, replacing the usual Ricci curvature assumptions with Sobolev and volume-growth bounds. The result yields compactness and a topological gap theorem, including that certain small-curvature manifolds are diffeomorphic to Euclidean space.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Sobolev-to-entropy conversion [Mar25a, Lemma 3.2] is the unexamined hinge; if its hypotheses are stricter than (a)–(c), the induction has no base case.","rationale":"The central claim is a local smoothing theorem that explicitly avoids Ricci lower bounds. The proof's strategy is to maintain a local entropy lower bound along an inductively constructed Ricci flow, and that entropy bound is obtained initially from the Sobolev inequality via [Mar25a, Lemma 3.2]. Every subsequent estimate—Lemma 2.1, Proposition 2.4, Proposition 2.15, and the inductive step (III)—presupposes such an entropy bound. Thus the weakest point of the argument is the Sobolev-to-entropy conversion, exactly as the reader identified. I verified the internal construction as far as possible: the possible gap in Claim 3.4 concerning the radius ρ_k against L√α0 t_k is absorbed by the very large choice of L; the application of Lemma 2.16 on intervals with s2=1+μ slightly exceeds the quoted range 0≤s1≤s2≤1, but this is a harmless rescaling issue. Neither is load-bearing. The genuinely load-bearing concern is the unproven black-box bridge: if [Mar25a, Lemma 3.2] requires hypotheses beyond (a)–(c), the induction has no starting point. This does not demonstrate a false theorem, but it justifies keeping the verdict at CONDITIONAL rather than full ACCEPT.","tokens_in":20933,"tokens_out":32650,"duration_ms":259124,"concrete_test":"Read [Mar25a, Lemma 3.2] and its proof. Determine whether its hypotheses are satisfied by a metric satisfying only (a) Vol(B(x,r))≤v0 r^n and (b) the unit-ball Sobolev inequality, without invoking (c). If the lemma requires a lower volume bound Vol(B(x,1))≥v1, an injectivity radius bound, or a smallness threshold on ||Rm||_{L^{n/2}} that is not implied by (a)–(c), then the first paragraph of the proof of Theorem 1.1 is missing an assumption and the entropy induction lacks a base case. A complementary numerical/analytical check: on B^n(0,1) with n≥5, take the Euclidean metric modified by a small L^{n/2} conformal spike and compute ν(B(0,1),g,2) as the spike shrinks; if it is not bounded below by a function of Cs alone, Lemma 3.2 is false in the required form.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.1 removes the Ricci lower bound and replaces it with assumption (b): a uniform Sobolev inequality on every unit ball. The proof's first step is to convert this Sobolev bound into a lower entropy bound ν(B_g0(x,1),g0,2)≥−A0(n,Cs) by invoking [Mar25a, Lemma 3.2], before any use of the small curvature concentration (c). This entropy bound is the base of the entire induction: it enters P(0), is propagated through Lemma 2.16, and is used in Lemma 2.1, Proposition 2.4 and Proposition 2.15 to control curvature and injectivity radius. If Lemma 3.2 actually requires a lower volume bound, an injectivity or pointwise curvature control, or a smallness condition on ||Rm||_{L^{n/2}} that is stronger than the ε allowed here, then the base case is not established and the induction collapses. The paper does not state or prove the lemma's precise hypotheses, so this is not a verifiable step within the manuscript. The local entropy functional contains a scalar-curvature term, and a unit-ball Sobolev inequality alone gives no direct control on the negative part of R; whether [Mar25a] supplies that control under the stated assumptions is the load-bearing question. I am not claiming the theorem is false—only that the central argument's base case is exactly this black-box bridge, whose applicability to the full hypotheses of Theorem 1.1 is unverified.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a local Ricci-flow smoothing theorem (Theorem 1.1) for manifolds with small L^{n/2} curvature concentration, assuming only a local Sobolev inequality and an upper volume-growth bound, with no Ricci curvature lower bound. The proof constructs a local Ricci flow by an induction that alternately improves curvature estimates and extends the flow, using local entropy as the main mechanism. The paper then applies this smoothing to prove a compactness theorem for manifolds with bounded curvature concentration (Theorem 1.3) and a gap theorem showing that complete manifolds with Euclidean Sobolev inequality, Euclidean volume growth, and small total curvature concentration are diffeomorphic to R^n (Theorem 1.4).","tokens_in":21293,"tokens_out":16019,"duration_ms":131285,"significance":"If the central theorem is correct, it is a substantial advance: prior Ricci-flow smoothing results in this direction required a Ricci lower bound, and the present paper removes it while also localizing the argument. The proof is nontrivial and carefully structured, with an induction that explicitly tracks constants, and the paper is honest about several open questions. The applications to compactness and rigidity are natural and would be influential. The main caveats are that several load-bearing analytic inputs are invoked from very recent external sources without statements, and one estimate in Theorem 1.1 appears not to follow from the written proof as quantified. These issues are fixable in principle, but they need to be addressed before the central claims can be accepted.","major_comments":[{"comment":"Theorem 1.1 asserts |Rm(g(t))| ≤ Λ1 ε t^{-1} for every ε∈(0,δ1], with Λ1 independent of ε. In the proof, however, the constant ε1 is chosen before ε and is independent of it, and Claim 3.3 concludes |Rm(z,t)| ≤ 2ε1Λ0 t^{-1}. Since ε can be arbitrarily small compared with ε1, no fixed Λ1 can make 2ε1Λ0 ≤ Λ1 ε uniformly. The final 'relabelling' cannot repair this, because the theorem's constants are not allowed to depend on ε. The proof as written would establish the weaker bound |Rm(g(t))| ≤ Λ t^{-1}; if (1) is intended, the proof must be reworked to produce a genuinely ε-proportional estimate, or the statement must be changed. The same issue affects Theorem 3.11(1).","section":"Theorem 1.1(1), §3 (constants list and Claim 3.3)"},{"comment":"The proof opens by invoking [Mar25a, Lemma 3.2] to obtain ν(B_{g0}(x,1),g0,2) ≥ −A0(n,Cs) from the local Sobolev inequality. This lemma is not stated, and its hypotheses are not verified. This entropy lower bound is the base case of the induction: it is propagated by Lemma 2.16 and used in Lemma 2.1, Proposition 2.4, and Proposition 2.15. If [Mar25a, Lemma 3.2] requires any extra hypothesis beyond (a)–(c)—for example a lower volume bound, an injectivity or pointwise curvature control, or a stronger smallness condition on ||Rm||_{L^{n/2}}—then the induction has no base case. Similarly, Lemma 2.1 relies on [Mar25a, Lemma 3.3(2)] to convert the entropy bound into a Sobolev inequality at later times; that lemma is also not stated. Please state both lemmas and explicitly verify their hypotheses under exactly (a)–(c).","section":"Proof of Theorem 1.1, first paragraph; Lemmas 2.1, 2.16"},{"comment":"The proof of Theorem 1.4 is a one-line appeal to [HP25, Theorem 1.1] after Theorem 5.1. The diffeomorphism-to-R^n conclusion is therefore entirely outsourced to an external result whose precise hypotheses are not given. If [HP25, Theorem 1.1] requires conditions not met by the flow constructed in Theorem 5.1—for instance a specific global curvature decay or a control on the full curvature tensor beyond |Rm(g(t))| ≤ Λε t^{-1}—then Theorem 1.4 does not follow. State the quoted theorem and verify its hypotheses explicitly.","section":"Theorem 1.4, §5"}],"minor_comments":[{"comment":"The symbol δ1 is used both for the threshold in Theorem 1.1 and for a constant in Lemma 2.1 with a different role; this is confusing and should be relabelled.","section":"Throughout"},{"comment":"The notation ε1 is introduced as a threshold, but later in Claim 3.3 it appears in the curvature estimate in a way that suggests it might be the input ε. Please clarify the intended roles of ε and ε1.","section":"§3, constants list"},{"comment":"The statement of Lemma 2.1 uses δ1 for the smallness constant but does not explicitly connect it to the δ1 later used in Proposition 2.4. Adding a sentence such as 'where δ1(n,A) is the constant from Lemma 2.1' in Proposition 2.4 would help, as would stating the dependence of δ1 in Lemma 2.1.","section":"§2, Lemma 2.1"},{"comment":"In the proof of Claim 2.6, the line 'if α0 ≤ min{(8C0)^{-2} T̃ δ1, C0^{-2}(4C1/3)^{-2} δ^2}' appears to contain a typo: the final δ^2 should likely be δ1^2.","section":"§3, Claim 2.6"}],"recommendation":"major_revision","confidential_remarks":"The theorem's quantifier issue in (1) is the most serious technical problem; if it is a typo, the paper is close to correct modulo the external inputs. Given the heavy reliance on very recent preprints ([Mar25a], [Che25], [Lee25], [HP25]) for load-bearing statements, the editor may wish to ensure that those results are publicly available and match how they are used here. The paper would be substantially strengthened by stating the external lemmas used, at least in an appendix."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nYou should know upfront: this paper does what it says. The main theorem—local smoothing under unit-ball Sobolev bounds, volume growth, and small L^{n/2} curvature concentration, with no Ricci lower bound—is a genuine extension of [CHL24], and the compactness and Euclidean-diffeomorphism applications are new. The induction in Section 3 is carefully assembled: each extension step is designed to preserve curvature decay, entropy lower bound, injectivity radius, and the radius decay, and the constants are explicit enough to see the logic.\n\nThe soft spot is exactly the one flagged in the stress-test. The base case of the induction is the conversion of a unit-ball Sobolev inequality into a lower bound on the local ν-entropy, done by invoking [Mar25a, Lemma 3.2]. The manuscript gives neither the statement nor the hypotheses of that lemma. It is not a small technicality: the entropy bound is the starting point for Lemma 2.1, Proposition 2.4, and the inductive control (III). If Lemma 3.2 requires a Ricci lower bound, an injectivity radius, or a stronger smallness condition than the ε allowed here, the whole construction has no base. I read the passage carefully; the paper simply says 'By [Mar25a, Lemma 3.2]' with no further detail. The onus is on the authors to state the lemma and verify its assumptions are satisfied. This is the main reason I would not call the paper fully verified.\n\nThere are smaller issues. Theorem 5.1 states constants independent of v0, but the proof uses v0; either the constants should include v0 or the volume growth assumption should be removed or absorbed. That's a fixable omission, not a fatal flaw. The final diffeomorphism conclusion also leans on [HP25], another recent external result, so the gap theorem inherits that dependency. The citation pattern is otherwise legitimate: self-citations are used as analytic tools, not as the target conclusion.\n\nDo not desk reject this. It is exactly the kind of paper that needs a referee who can check the external lemmas. Send it out, and make sure the referee has access to [Mar25a]. If the bridge holds, this is a strong result.","headline":"A real advance—local Ricci-flow smoothing without any Ricci lower bound—but the base of the induction is a black-box Sobolev-to-entropy lemma whose hypotheses are never stated, and the referee needs to verify that bridge.","tokens_in":21750,"tokens_out":2092,"would_cite":true,"duration_ms":17515,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53E20","53C21","53C23"],"pacs":[],"model":"deepseek-v4-flash","headline":"Small curvature concentration alone yields local Ricci smoothing","keywords":["curvature concentration","Ricci flow","local smoothing","log-Sobolev entropy","Sobolev inequality","Gromov-Hausdorff compactness","topological gap theorem","Ahlfors regularity"],"falsifier":"Find a sequence of metrics satisfying the local volume growth and unit-ball Sobolev bounds with ε → 0 whose Ricci flow, within the claimed time T̂, has a point where the curvature at time t exceeds Λ1 ε/t while the initial concentration on that ball is below ε. Equivalently, compute the local log-Sobolev entropy on unit balls of such a sequence: if the entropy is not uniformly bounded below as ε → 0, the Sobolev-to-entropy lemma used in the proof fails.","tokens_in":20829,"feed_emoji":"🌀","tokens_out":6960,"duration_ms":59076,"temperature":0.7,"pith_summary":"This paper proves that a metric with small local L^(n/2) curvature concentration can be smoothed by the Ricci flow for a uniform short time, assuming only Euclidean-type local volume growth and a uniform Sobolev inequality on unit balls. No lower bound on Ricci curvature is needed, removing the condition that anchored all prior local smoothing results. The flow has instantaneous curvature bound proportional to ε/t, injectivity radius at least √t, and distances Hölder-equivalent to the original metric. The authors use this to show that Gromov–Hausdorff limits of compact manifolds with bounded Sobolev constant, volume growth, and curvature concentration are topological manifolds outside finitely many points, and that complete manifolds with Euclidean Sobolev inequality, Euclidean volume growth, and small total curvature concentration are diffeomorphic to R^n. They also flag open points: whether the singular set in the compactness limit is always smooth, and whether curvature concentration can jump when the initial metric has unbounded curvature.","feed_headline":"Small curvature concentration alone yields local Ricci smoothing","feed_subtitle":"Volume growth plus a Sobolev constant replace Ricci lower bounds, unlocking compactness and gap theorems.","key_machinery":"The central object is the local log-Sobolev entropy functional ν(Ω,g,τ), which measures the best weighted log-Sobolev constant of a domain at scale τ. The proof converts the initial unit-ball Sobolev inequalities into a uniform lower bound on this entropy, then runs four intertwined estimates: a persistence lemma showing that small curvature concentration remains small while an entropy lower bound holds; a priori bounds converting volume growth, Sobolev control, and small initial concentration into improved curvature decay; an inductive extension scheme that patches local Ricci flows across time steps using a short-time existence theorem for incomplete metrics with bounded curvature; and a r","core_discovery":"The central claim, stated as Theorem 1.1, is that under the conditions Vol_{g0}(B(x,r)) ≤ v0 r^n, a unit-ball Sobolev inequality with constant Cs, and ||Rm(g0)||_{L^(n/2)(B(x,1))} ≤ ε with ε below a threshold δ1, a smooth Ricci flow exists on B_{g0}(x0,1+r̄)×[0,T̂] starting at g0, with |Rm(g(t))| ≤ Λ1 ε/t, injectivity radius at least √t, local entropy bounded below, and distances at positive times Hölder-equivalent to the initial ones, with constants depending only on n, v0, and Cs. Because the hypotheses are purely local and involve no Ricci lower bound, the theorem is a local mollification statement. Global versions produce a complete flow on non-compact manifolds and yield two geometric a","pith_inferences":["A natural test is whether the local smoothing remains stable under Gromov–Hausdorff limits; if so, the finite singular set in the compactness theorem should be removable, upgrading the topological manifold structure to a smooth structure, as the authors conjecture.","The same Sobolev-to-entropy bridge could be applied to other scale-invariant integral curvature controls, such as norms of the trace-free Ricci or Weyl curvature, yielding analogous local smoothing under curvature concentration alone.","In odd dimensions the paper's arguments do not settle whether the smallness assumption on ||Rm||_{L^(n/2)} is necessary for the diffeomorphic conclusion; an odd-dimensional example with small but nonzero total curvature and Euclidean volume growth would clarify the gap phenomenon.","If the volume-growth hypothesis in the complete non-compact theorem can be replaced by a Kato-class decay of the negative part of Ricci, as the authors suggest, the conclusion would become a purely Sobolev-plus-curvature rigidity statement."],"forward_implications":["On every ball where the three hypotheses hold, the metric admits a uniform-time Ricci flow whose time-t metric has pointwise curvature at most Λ1 ε/t and injectivity radius at least √t.","A sequence of compact manifolds with uniformly bounded Sobolev constant, at-most-Euclidean volume growth, bounded L^(n/2) curvature norm, and bounded diameter subsequentially converges in the Gromov–Hausdorff sense to a space that is a topological manifold away from finitely many singular points.","If the global L^(n/2) curvature norm of the sequence is below the threshold in Theorem 1.1, the singular set is empty and the limit carries a smooth structure.","A complete non-compact manifold with a Euclidean Sobolev inequality, Euclidean volume growth, and sufficiently small total L^(n/2) curvature concentration has a global Ricci flow with curvature decay ε/t and injectivity radius at least √t, and is diffeomorphic to R^n.","The long-time version of the flow keeps the local curvature concentration bounded by ε along the flow, and the curvature eventually decays faster than t^(-1), which is the input that forces the Euclidean topology."],"fun_headline_variants":["Curvature concentration alone suffices for local smoothing","No Ricci bound needed: local smoothing from small curvature","Local smoothing without Ricci curvature condition","Small curvature concentration implies local mollification"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof depends on converting unit-ball Sobolev inequalities into uniform lower bounds on the local log-Sobolev entropy, via a quoted lemma; if that Sobolev-to-entropy bridge fails at some scale, or if the entropy lower bound is lost during the inductive patching, the local smoothing does not go through.","fun_headline_variants_meta":{"raw":{"variants":["Curvature concentration alone suffices for local smoothing","No Ricci bound needed: local smoothing from small curvature","Local smoothing without Ricci curvature condition","Small curvature concentration implies local mollification"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000428,"raw_usage":{"total_tokens":1984,"prompt_tokens":662,"completion_tokens":1322,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":406,"completion_tokens_details":{"reasoning_tokens":1266}},"tokens_in":406,"tokens_out":1322,"duration_ms":9961,"temperature":1.0,"reasoning_tokens":1266,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T09:53:25.082400+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a sequence of metrics satisfying the local volume growth and unit-ball Sobolev bounds with ε → 0 whose Ricci flow, within the claimed time T̂, has a point where the curvature at time t exceeds Λ1 ε/t while the initial concentration on that ball is below ε. Equivalently, compute the local log-Sobolev entropy on unit balls of such a sequence: if the entropy is not uniformly bounded below as ε → 0, the Sobolev-to-entropy lemma used in the proof fails.","supporting_citations":[],"review_version":1}