{"id":"d1ea8d75-a29f-4fc7-90e4-cb329aa15dbe","arxiv_id":"2508.04173","paper_version":2,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"An orientable 3-manifold with positive scalar curvature decaying at rate C > 2/3 must be a connected sum of spherical manifolds and S^2 x S^1 pieces, and the threshold 2/3 is optimal.","lead":"This paper proves a sharp cutoff for how slowly positive curvature can decay on an infinite 3-dimensional shape while still forcing the shape to decompose into standard pieces. The result improves earlier classification theorems and partially settles a conjecture of Gromov.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Supplied text is abstract-only; the μ-bubble exhaustion lemma that carries the proof is unstated, so the C>2/3 classification is not yet verified.","rationale":"The reader's weakest assumption is exactly the μ-bubble exhaustion estimate; I agree. In the supplied version the FULL TEXT section is empty, so this is not merely an abstract-level omission but a missing proof. Still, this does not change the conditional status of the paper: the core mathematical statement may be true, and the μ-bubble technique is appropriate, but the decisive quantitative estimate is unavailable. The natural next step is to check the full paper's lemma; if it holds, the theorem is likely correct, if not, the result fails. Hence I keep the reader's verdict unchanged. No ad hominem or manufactured objection is intended; the concern is the single load-bearing missing proof.","tokens_in":741,"tokens_out":9907,"duration_ms":114003,"concrete_test":"Pull down the complete arXiv source for 2508.04173 and locate the μ-bubble exhaustion lemma (search for 'exhaustion' and 'μ-bubble'). Verify the lemma states a uniform estimate, e.g., Area(∂Ω_i) ≤ A(r_i) with A(r_i)/r_i^2 → 0, and that the proof handles arbitrarily large exhaustions with scalar curvature bounded below by C/r^2. Then trace the decomposition step to confirm each bubble's area/energy bounds imply the bubble is a spherical or S^2×S^1 piece. If the lemma is missing from the text, or if the uniform bound depends on radius in a way that worsens as r→∞, the theorem is unproved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The decisive step is the 'new exhaustion result using μ-bubbles' announced in the abstract. To get the topological conclusion from scalar curvature decay, the exhaustions of M must yield stable μ-bubbles with uniform area and energy bounds as the exhaustion radius grows; the threshold C>2/3 must be exactly where these estimates remain controlled. In the text supplied here, the FULL TEXT section is blank: neither the statement of the exhaustion result nor its proof is present. If the uniform bubble-control estimate fails at any radius, or if its constants depend on C−2/3 in a way that vanishes at the threshold, the decomposition of M into spherical and S^2×S^1 summands does not follow, and neither does the uniform PSC metric. This is a proof-level premise rather than a disagreement with known results; the theorem is not internally contradicted, but its central claim is unsupported in the provided manuscript.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript, as submitted, consists solely of an abstract and a blank full-text section. The abstract announces a theorem for orientable 3-manifolds: if a complete Riemannian metric has positive scalar curvature with at most C-quadratic decay at infinity for some C > 2/3, then the manifold decomposes as a (possibly infinite) connected sum of spherical manifolds and S^2 x S^1 summands, and hence admits a uniformly positive scalar curvature metric. The abstract further states that the constant 2/3 is sharp, with a supporting example on R^2 x S^1, and claims extensions to dimensions 4 and 5. The main tool is described as a new exhaustion result using mu-bubbles.","tokens_in":975,"tokens_out":1668,"duration_ms":19858,"significance":"If the announced result is correct, it would improve the recent result of Balacheff, Gil Moreno de Mora Sardà, and Sabourau, provide a partial answer to a conjecture of Gromov, and add new topological obstructions in dimensions 4 and 5. The sharpness of the decay constant is a natural and potentially valuable contribution. However, because the full text is absent, no proof, statement of the mu-bubble exhaustion lemma, or details of the sharpness construction are available. The significance is therefore conditional on the unstated technical content being valid.","major_comments":[{"comment":"The full-text section is blank, so the central theorem is unverifiable. In particular, the announced 'new exhaustion result using mu-bubbles' is not stated. The classification for C > 2/3 depends on the existence of stable mu-bubbles with uniform area and energy bounds along exhaustions of M. Without those estimates, the topological decomposition into spherical and S^2 x S^1 summands does not follow. This is a load-bearing gap, not a presentation issue.","section":"Full Text"},{"comment":"The claimed sharpness of the constant 2/3 is asserted but not demonstrated. No metric family on R^2 x S^1 is given, and there is no computation showing that no C <= 2/3 is possible or that the threshold is exact. For the sharpness claim to be assessed, the construction and decay-rate computation must be supplied.","section":"Abstract (sharpness claim)"},{"comment":"The extensions to dimensions 4 and 5 are stated only in vague terms: 'topological obstructions' on 'certain noncompact contractible n-manifolds.' No precise statement of these obstructions, the relevant manifolds, or the comparison theorems used is provided. Without these statements, the higher-dimensional contribution cannot be evaluated.","section":"Abstract (higher-dimensional claims)"}],"minor_comments":[{"comment":"The term 'C-quadratic decay at infinity' is not defined. Since the threshold C = 2/3 is central, the normalization of C should be specified.","section":"Abstract"},{"comment":"No references are listed. The improvement over Balacheff--Gil Moreno de Mora Sardà--Sabourau and the connection to Gromov's conjecture should be explicitly cited and stated.","section":"Abstract"},{"comment":"The phrase 'uniformly positive scalar curvature metric' should be defined or clarified, especially since it appears as the conclusion of the main theorem.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is abstract-only. This is not adequate for refereeing at a serious journal. The correct course is to return the submission and ask the authors to provide the full manuscript, including the mu-bubble exhaustion lemma and its proof, the sharpness example, and precise higher-dimensional statements. The announced results are plausible and of interest, but the burden of proof is entirely absent."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main thing to know: this is a sharp-constant result in scalar curvature geometry. The 2/3 threshold for positive scalar curvature with quadratic decay on 3-manifolds is a clean improvement over Balacheff–Gil Moreno–Sabourau, and the announced extension to dimensions 4 and 5 gives new topological obstructions. The sharpness example on R^2 × S^1 is concrete. I cannot verify any of it from what was circulated, because the full text is blank: all we have is the abstract plus the name of the main tool, a new exhaustion result using μ-bubbles.\n\nWhat the paper does well, at the statement level: the theorem is precise, the constant 2/3 is the kind of threshold that suggests real content, and the sharpness direction is explicitly tied to a specific manifold. The result also sits honestly in the literature—it improves a known theorem and gives a partial answer to Gromov’s conjecture rather than claiming the whole conjecture. No circularity is visible, and the cited prior work looks like the right context. The dimension 4 and 5 obstructions are announced as extensions, not as afterthoughts.\n\nThe soft spot is exactly where the stress-test note points: the μ-bubble exhaustion lemma is load-bearing and unstated. The topological decomposition into spherical and S^2 × S^1 summands depends on obtaining stable μ-bubbles with uniform area and energy bounds along every exhaustion radius; if the constant in those estimates degenerates as C approaches 2/3, or if some radius fails, the conclusion does not follow. That may be fine in the full paper, but I cannot tell from the abstract. This is a missing proof, not a visible error, so the paper deserves refereeing rather than dismissal.\n\nWho is this for: differential geometers working on scalar curvature, noncompact manifolds, and minimal surface methods; also anyone tracking Gromov’s conjecture. If the full proof delivers the stated estimates, this will be a paper people cite. My recommendation: send it to referees when the full manuscript is available, and ask the referee to scrutinize the μ-bubble exhaustion estimates specifically. For my own work, I wouldn’t cite the theorem until I’ve seen the proof.","headline":"A sharp 2/3 decay constant for PSC on 3-manifolds, with a new μ-bubble exhaustion as the key tool—but abstract-only, so treat the theorem as unverified until the full proof is available.","tokens_in":1405,"tokens_out":2073,"would_cite":false,"duration_ms":23298,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","57K30"],"pacs":[],"model":"deepseek-v4-flash","headline":"An orientable 3-manifold with positive scalar curvature decaying no faster than $C/r^2$ for $C>2/3$ must be a connected sum of spherical manifolds and $\\mathbb{S}^2\\times\\mathbb{S}^1$; the constant $2/3$ is sharp.","keywords":["positive scalar curvature","quadratic decay","3-manifold topology","connected sum decomposition","mu-bubbles","sharp decay constant","noncompact manifolds","scalar curvature rigidity"],"falsifier":"Find an orientable 3-manifold whose prime decomposition contains a factor that is neither spherical nor $\\mathbb{S}^2\\times\\mathbb{S}^1$ (for example, a hyperbolic homology sphere) together with a complete metric satisfying $R>0$ and $R\\ge C/r^2$ for some $C>2/3$. The central theorem says no such manifold can exist.","tokens_in":678,"feed_emoji":"📐","tokens_out":12426,"duration_ms":134333,"temperature":0.7,"pith_summary":"This paper establishes a sharp numerical threshold for when scalar-curvature decay forces topological rigidity. It proves that if an orientable 3-manifold admits a complete metric with positive scalar curvature bounded below by $C/r^2$ at infinity for some $C>2/3$, then the manifold splits as a possibly infinite connected sum of spherical space forms and $\\mathbb{S}^2\\times\\mathbb{S}^1$ pieces. Since those pieces admit uniformly positive scalar curvature metrics, the existence of the slowly decaying metric implies the existence of a complete metric of uniformly positive scalar curvature. The constant $2/3$ cannot be improved, and in dimensions 4 and 5 the same method gives topological obstructions for certain contractible manifolds under the analogous bound $C>(n-1)/n$.","feed_headline":"Sharp curvature-decay cutoff splits positive-curvature 3-manifolds","feed_subtitle":"Above the 2/3 decay constant, positive scalar curvature forces a 3-manifold into simple connected-sum pieces.","key_machinery":"The central tool is the $\\mu$-bubble: a hypersurface minimizing a weighted area functional in which a prescribed function $\\mu$ acts as background mean curvature. Stability of these surfaces yields a second-variation inequality that, combined with the positive scalar curvature lower bound, gives control of their area and energy. The new exhaustion theorem asserts that along a compact exhaustion of $M$, $\\mu$-bubbles can be chosen with uniform bounds, so their limits decompose $M$ into the allowed prime pieces.","core_discovery":"The central claim is a rigidity statement in dimension three: any orientable 3-manifold carrying a complete metric whose scalar curvature is positive and decays no faster than $C/r^2$ with $C>2/3$ has prime decomposition consisting only of spherical manifolds (quotients of the 3-sphere) and $\\mathbb{S}^2\\times\\mathbb{S}^1$ summands. Consequently the manifold also carries a complete metric of uniformly positive scalar curvature. The exponent $2/3$ is shown to be sharp by explicit metrics on $\\mathbb{R}^2\\times\\mathbb{S}^1$. The proof is carried by a new exhaustion result for $\\mu$-bubbles, which produces stable separating surfaces with uniform area and energy bounds; in dimensions 4 and 5, th","pith_inferences":["A natural extrapolation the paper does not claim: in dimension $n$, rigidity may hold exactly for $C>(n-1)/n$, with $2/3 = (3-1)/3$; a dimension-independent theorem would unify the 3-, 4-, and 5-dimensional cases.","The $\\mu$-bubble exhaustion method could likely adapt to decay bounds that are not radial, e.g., bounds depending on each end or on rays, yielding finer restrictions for manifolds with multiple ends.","The borderline metrics at the critical constant suggest that exactly at $C=(n-1)/n$ one may be able to construct examples with richer topology; producing such examples in $n\\ge4$ would test whether the conjectured threshold is genuinely sharp in all dimensions."],"forward_implications":["Every orientable 3-manifold with $R\\ge C/r^2$ at infinity for some $C>2/3$ admits a complete metric of uniformly positive scalar curvature.","Its prime factors are restricted to spherical space forms and $\\mathbb{S}^2\\times\\mathbb{S}^1$; no hyperbolic or other exotic pieces can appear.","The decay constant $2/3$ is optimal: examples at the borderline value escape the uniform positivity conclusion.","In dimensions 4 and 5, the same mechanism yields topological obstructions to such metrics on certain contractible manifolds for $C>(n-1)/n$.","The results confirm the expected sharp exponent for a scalar-curvature rigidity conjecture in dimension 3, and extend the obstruction picture to higher dimensions."],"supporting_citations":[],"fun_headline_variants":["Sharp 2/3 decay threshold splits 3-manifolds into spheres and tubes","Positive curvature with weak decay forces simple 3D topology","Optimal decay constant: 3-manifolds become sums of spherical parts","New bubble proof sharpens curvature decay split for 3-manifolds","Decay beyond 2/3: manifolds decompose into basic building blocks"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The proof depends on a new exhaustion estimate: at every scale, the $\\mu$-bubble barriers must be constructible with uniformly bounded area and energy; if this uniform bound fails, the topological decomposition into spherical and $\\mathbb{S}^2\\times\\mathbb{S}^1$ pieces is not established.","fun_headline_variants_meta":{"raw":{"variants":["Sharp 2/3 decay threshold splits 3-manifolds into spheres and tubes","Positive curvature with weak decay forces simple 3D topology","Optimal decay constant: 3-manifolds become sums of spherical parts","New bubble proof sharpens curvature decay split for 3-manifolds","Decay beyond 2/3: manifolds decompose into basic building blocks"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000837,"raw_usage":{"total_tokens":3511,"prompt_tokens":796,"completion_tokens":2715,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":540,"completion_tokens_details":{"reasoning_tokens":2617}},"tokens_in":540,"tokens_out":2715,"duration_ms":25635,"temperature":1.0,"reasoning_tokens":2617,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T00:48:31.311828+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find an orientable 3-manifold whose prime decomposition contains a factor that is neither spherical nor $\\mathbb{S}^2\\times\\mathbb{S}^1$ (for example, a hyperbolic homology sphere) together with a complete metric satisfying $R>0$ and $R\\ge C/r^2$ for some $C>2/3$. The central theorem says no such manifold can exist.","supporting_citations":[],"review_version":1}