{"id":"169fbac9-a188-4afc-8b8e-5d9e4dff1665","arxiv_id":"2607.25015","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.5,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A contractible complete 3-manifold with nonnegative scalar curvature is diffeomorphic to R³, and an open handlebody interior admits such a metric only if its genus is at most 1.","lead":"Contractible 3-manifolds with complete nonnegative scalar curvature must be ordinary Euclidean 3-space, and open handlebody interiors can carry such metrics only for genus at most one. The result closes two long-standing questions of Wang and Gromov without the extra curvature or Green-function hypotheses used in earlier partial answers.","discovery_kind":"extension","skeptic_critique":{"model":"moonshotai/kimi-k3","headline":"The blow-up contradiction rests on the level-set identity (5.7) holding across critical Green levels with no defect; the least secure input is Lemma 5.3's claim, imported from [6, App. A], that A is absolutely continuous and B1 has a continuous representative across critical levels.","rationale":"I read the paper in good faith and re-verified the load-bearing algebra wherever it was derivable in-house: the pole asymptotics (A(s)=4pi+O(s), B1(s)=8pi+O(s)) match the cancellations required in (5.7); the genus-gap bookkeeping (5.23)-(5.25) and the ODE comparison in Proposition 5.8 (including the equality of the two forms of (5.30) and the value of c*) check out; the Hadamard variation and nonnegative-jump bookkeeping in section 4 are standard and correctly assembled; the Kazdan first variation of the Neumann eigenvalue in Proposition 7.2 (gradient term vanishing because v0 is constant, volume variation killed by R=0, divergence terms integrating to zero) is correct; the Evans-potential construction in Proposition 1.9 (harmonicity of h_T in the conformal metric via the ODE H''+2(F'/F)H'=0, constancy of the flux J(t), and the exact capacity J/(I_infty)=J epsilon F(b) > 0) is internally consistent; and the topological lemmas 2.1-2.4 plus the flat-branch packing argument in section 8 use established results in standard ways. The BV no-defect argument of Lemma 5.4, which the reader flagged, I found sound on inspection: every cited property of BV derivatives is applied within its hypotheses, and the H^2(Z)=0 conclusion follows from the Hardt-Hoffmann-Ostenhof-Nadirashvili H^1 bound. Accordingly I locate the weak point not in Lemma 5.4 itself but in the immediately preceding Lemma 5.3, whose regularity conclusions (continuous representatives for A, B1; absolute continuity of A; the a.e. identity (5.3)) are asserted by localization to Colding-Minicozzi's Appendix A rather than proved, and whose failure mode (a jump of B1 at a critical level) maps precisely onto the reader's feared defect in the integral Riccati comparison. This is a verification task, not an identified error: the integrated identity (5.7) is confirmed in the flat model, and all in-paper derivations I could check are consistent. Hence I agree with the reader's ACCEPT with MODERATE confidence, with the Morse-critical-level computation above as the gating referee task; my agreement is partial only because I reassign the fragile sub-step from Lemma 5.4 to Lemma 5.3 within the same passage.","tokens_in":41174,"tokens_out":1481,"duration_ms":564508,"concrete_test":"Verify the identity across one Morse critical level analytically. Near a nondegenerate critical point of b (normal form b = r_c + Q(x) + higher order, Q a nondegenerate quadratic form), compute the one-sided limits of A(r) and B1(r) as r approaches r_c from below and above by blow-up analysis of the level integrals, and check (i) the two limits of B1 agree, and (ii) the band identity (5.12) holds for a band {alpha < b < beta} straddling r_c with no extra term. If the one-sided limits of B1 differ, Lemma 5.3's continuity claim fails and (5.7)/(5.25) acquire a per-critical-level defect; since the number of critical levels of G_tau is uncontrolled as tau grows, that would break the tau-uniformity of c* and hence the contradiction (6.3). This finite-dimensional computation is tractable and settles whether the critical-level analysis lands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The chain after section 5.2 is, on my reading, internally consistent: I checked (5.7) against the flat model b=rho in R^3 (A=4pi, B1=8pi, B=0, kappa=4pi: 8pi r = 16pi r - 8pi r, OK), verified the constants in (5.23)-(5.30) including the partial-fraction integration behind (5.30), the Riccati comparison phi(r)=2(3r-r1)/(3r+r1), and the capacity computation (7.8). I also traced Lemma 5.4 line by line: semiconvexity of W=|grad b^2| from the triangle inequality on the C^2 map Y, d_i W in BV, H^1(Z) finite from [12] (valid in smooth harmonic coordinates) hence H^2(Z)=0, jump part absolutely continuous w.r.t. H^2 and Cantor part vanishing on sigma-finite H^2 sets, giving W in W^{2,1}_loc, then Gauss-Green for a W^{1,1} field. That argument appears sound. The residual soft spot is one step earlier: Lemma 5.3 asserts that the regular-value functions A and B1 admit continuous representatives on all of (0,infinity) and that A is locally absolutely continuous with rA' = B1/2 - A a.e. This is not derived in the paper; it is imported from the appendix of the 2025 Colding-Minicozzi preprint via a cutoff argument, and continuity of B1 across a critical level is a strong claim since its integrand Hess(b^2)(nu,nu) degenerates as |grad b| -> 0 at the critical point. If B1 jumped at a critical level r_c, the integrated identity (5.7) and hence (5.25) would acquire a defect at r_c; because the outer domains D_tau have Green functions with uncontrolled numbers of critical levels as tau grows, per-level defects could not be absorbed into the tau-independent constant c*, and (6.2)-(6.3) would fail. The weight of both main theorems passes through exactly this un-re-derived regularity assertion.","agreement_with_reader":"partial"},"referee_report":{"model":"moonshotai/kimi-k3","summary":"The paper proves that a contractible complete Riemannian 3-manifold with R_g ≥ 0 is diffeomorphic to R³ (Theorem 1.1), and that the interior M_γ of a compact genus-γ handlebody admits a complete metric with R_g ≥ 0 only if γ ≤ 1 (Theorem 1.2), answering questions of Wang and Gromov with no auxiliary hypotheses (removing the bounded-geometry assumption of Chodosh–Lai–Xu and the Ricci/Green-function assumptions of Yan–Zhu). The argument has three modules: (i) a topological reduction (Proposition 1.6) to a \"low-genus separator\" property (LG); (ii) Theorem 1.5, showing that a one-ended nonparabolic metric with R_g ≥ 0 and b_1 < ∞ forces (LG), via a bounded-gradient Morse exhaustion, Hadamard variation of Robin constants with nonnegative jumps at outer critical values, and an inner Colding–Minicozzi level-set analysis of Dirichlet Green functions culminating in a uniform quadratic lower bound A(r) ≥ c*r² (Proposition 5.8) and the blow-up contradiction (6.3) against the global Robin bound (4.5); (iii) a metric-replacement theorem (Theorem 1.10: Kazdan deformation to R > 0 plus an Evans-potential conformal deformation to nonparabolicity) and an elementary flat branch (Lemma 8.1 packing argument).","tokens_in":25243,"tokens_out":8297,"duration_ms":202191,"significance":"If correct, this is a strong result: it settles two named open problems in scalar-curvature geometry in full generality, with no free parameters and no invented geometric entities beyond the (LG) definition. The argument is a direct derivation from R_g ≥ 0 to topology, built from published or standard inputs (Husch–Price, Wang's torus rigidity, Moise, Kazdan, Hansen–Netuka, Hardt et al.). I independently checked the algebraic core: identity (5.7) against the flat model, the constants in (5.23)–(5.30) including the partial-fraction integration in (5.30), the Riccati comparison φ(r) = 2(3r−r₁)/(3r+r₁), the trace-free estimate (5.18)–(5.19), and the capacity computation (7.8); all are consistent. The BV/semiconvexity argument of Lemma 5.4 (no defect measure on the critical set) is given in full detail and appears sound. The overall architecture is modular and each module is testable in isolation, which adds to confidence.","major_comments":[{"comment":"This lemma is the load-bearing analytic input: the entire blow-up contradiction depends on the level-set identity (5.7) holding across critical Green levels with no defect, and that rests on A and B1 admitting continuous representatives on all of (0,∞) with rA′ = B1/2 − A a.e. The proof is a two-paragraph appeal to [6, Appendix A] via a cutoff argument, and [6] is an unpublished 2025 preprint. Two specific requests. (1) State precisely which assertions are imported from [6] (ideally with theorem numbers) and expand the reduction so that a reader can verify, without consulting the preprint, that the compact-band cutoff χ introduces no boundary terms in the first-variation and coarea arguments. (2) Address explicitly the continuity of B1 across a critical level r_c. On this point I note the apparent difficulty is milder than it first looks: Hess(b²)(ν,ν) = 2b·Hess(b)(ν,ν) + 2|∇b|² is bound","section":"§5.2, Lemma 5.3"},{"comment":"The integrated Hadamard identity (4.9) with nonnegative jumps is used in (6.3) to force m_{D_b} → ∞. The argument given (monotonicity + monotone convergence on regular subintervals) is correct, but one point deserves a sentence of justification: the one-sided limits m(c_j±) are taken through regular parameters only, and the domain family D_τ is defined for all τ while monotonicity of m is established only on the regular set. Please confirm (and state) that the regular-parameter monotone function is locally bounded on both sides at each c_j — the upper bound by m_{D_b} is given, but the lower bound as τ ↓ c_j uses nesting D_τ ⊃ D_{c_j−ε}, which requires comparing domains across the critical value; this is fine by Lemma 3.2(ii) but should be said explicitly, since the finiteness of the jumps J_{c_j} is what legitimizes dropping them in (4.10).","section":"§4.3, Proposition 4.3"}],"minor_comments":[{"comment":"Several run-together words, apparently a typesetting artifact: 'contractible3-manifold', 'interiorMγ', 'thenγ≤1'. Please fix spacing.","section":"Abstract"},{"comment":"Run-together sentence: 'Adjointheclosuresofallremainingcomponentsto Qτ anddenote...' needs respacing.","section":"§3.2, proof of Lemma 3.2"},{"comment":"Typo: 'the first-variation arguments in of [6, Appendix A]' — delete 'in' or 'of'.","section":"§5.2, proof of Lemma 5.3"},{"comment":"The competing-interest declaration reads 'The author declares that he has no known competing financial interests', but the paper has two authors.","section":"Declarations"},{"comment":"Since the constant L enters quantitatively in (4.7) and (6.3), consider stating the proposition with the explicit value (L = 3, or L = 3+ε) rather than 'a finite constant L'.","section":"§3.1, Proposition 3.1"},{"comment":"The convention of assigning B2 = κ = 0 on the (null) set of critical values is stated mid-proof; it would help the reader to make this convention at the definitions in §5.2, since (5.23)–(5.24) later rely on estimates holding 'for almost every parameter'.","section":"§5.2, Proposition 5.5"},{"comment":"Two load-bearing citations are preprints: [6] (Colding–Minicozzi, 2025) for Lemma 5.3 and [27] (Yan–Zhu, 2026) for the one-endedness facts in Corollaries 1.7–1.8 and Theorem 1.1. The latter are standard and could be re-proved in a line or cited to a published source; the former should be tracked, and the manuscript should note the dependence explicitly (see Major Comment 1).","section":"References"}],"recommendation":"minor_revision","confidential_remarks":"The central claim is strong and, on my reading, internally consistent; I verified the computational core (§5.3–5.5, §7.2) independently. The one step I could not fully verify from the manuscript alone is Lemma 5.3, which rests on the appendix of the unpublished Colding–Minicozzi preprint [6]; the cutoff reduction described is standard and plausible, and the integrand of B1 is in fact bounded near the critical set, so I do not believe there is a hidden defect — but if the editor wants certainty on this point, a second opinion from someone close to the CM level-set framework would be well spent. I recommend revision rather than acceptance only because a load-bearing lemma should not rest on a two-paragraph appeal to a preprint."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper removes every auxiliary hypothesis from the two named test cases and gets the full topological conclusions: contractible complete 3-manifolds with Rg≥0 are diffeomorphic to R3, and open handlebody interiors force genus ≤1. That is the real advance over Chodosh–Lai–Xu (bounded geometry) and Yan–Zhu (Ricci lower bound plus Green vanishing).\n\nThe architecture is modular and easy to audit. Topological reduction to the low-genus separator property (LG) is clean. The outer filled Morse exhaustion with bounded gradient produces a Hadamard formula for the Robin constant; the inner Dirichlet Green levels convert a uniform genus-two gap into a uniform L2 lower bound on the boundary flux via an integral Riccati comparison; metric replacement (Kazdan plus exterior Evans potential) reduces the non-flat case to the nonparabolic setting; the flat branch is a short packing argument. Domain monotonicity, one-endedness, and the global Green barrier are used carefully and without circularity. Citations track the actual inputs (Husch–Price, Wang torus rigidity, Moise, Hardt et al., Hansen–Netuka, Kazdan).\n\nThe soft spot is real but narrow. The critical-level Colding–Minicozzi identity (Prop. 5.5) and the absolute continuity of A rest on Lemma 5.3, which imports continuity of B1 and absolute continuity of A from the 2025 CM appendix via a cutoff. The paper’s own BV argument (Lemma 5.4) that there is no defect measure looks solid on a line-by-line check, and the flat-model identity holds. Still, continuity of the Hess(b2)(ν,ν) integral across critical levels is a strong claim, and every outer domain can introduce more critical levels. If a jump survived, the uniform c* would fail. That is the one place a specialist referee must sit down with the CM preprint. Everything else is standard or carefully written.\n\nThis is for people working on scalar curvature and open 3-manifolds. It deserves a serious referee, not a desk reject. I would bring it to reading group and expect to cite the unconditional statements once the regularity step is signed off.","headline":"Unconditional resolution of Wang’s and Gromov’s questions via a clean outer-Morse/inner-Green scheme; residual risk is concentrated in one imported CM regularity claim, not in the architecture.","tokens_in":25844,"tokens_out":547,"would_cite":true,"duration_ms":11367,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53C24","31C12","57K30"],"pacs":[],"model":"grok-4.5","headline":"A contractible 3-manifold with complete nonnegative scalar curvature must be diffeomorphic to ordinary Euclidean 3-space, and open handlebodies of genus two or higher cannot carry such a metric.","keywords":["nonnegative scalar curvature","open 3-manifold","contractible 3-manifold","handlebody interior","Dirichlet Green function","Robin constant","low-genus separator","Evans potential"],"falsifier":"Exhibit a complete metric of nonnegative scalar curvature on a contractible 3-manifold that is not diffeomorphic to R^3, or on the interior of a handlebody of genus at least 2; alternatively, produce a Dirichlet Green function on a 3-manifold domain whose critical levels contribute a positive defect to the Colding–Minicozzi identity so that the quadratic lower bound on A(r) fails.","tokens_in":25490,"feed_emoji":"🌐","tokens_out":1067,"duration_ms":19378,"temperature":0.7,"pith_summary":"This paper settles two long-standing questions in three-dimensional geometry: if a contractible 3-manifold admits any complete metric with nonnegative scalar curvature, it must be diffeomorphic to R^3; and if the interior of a handlebody of genus gamma carries such a metric, then gamma is at most 1. Earlier answers needed extra assumptions such as bounded curvature, a lower Ricci bound, or a Green function that vanishes at infinity. The authors remove every such hypothesis. They first reduce both problems to a topological property called the low-genus separator property: every compact set sits inside a domain whose boundary is a sphere or a torus. For nonparabolic metrics they prove that property by combining a carefully filled Morse exhaustion with Robin-constant monotonicity for Dirichlet Green functions and a level-set analysis that forces the Robin constant to blow up unless the boundaries stay low-genus. A conformal metric-replacement step then reduces the general case to the nonparabolic one, while the remaining flat case is ruled out by elementary packing or Euclidean rigidity. The result is a clean topological classification under the single geometric hypothesis of nonnegative scalar curvature.","feed_headline":"Contractible 3-manifolds with nonnegative scalar curvature are R³","feed_subtitle":"Handlebody interiors of genus two or higher are likewise ruled out, with no extra curvature bounds required.","key_machinery":"The low-genus separator property (LG): every compact set is contained in an admissible domain whose boundary is connected of genus at most one. The authors force (LG) by a bounded-gradient filled Morse exhaustion whose Robin constants for Dirichlet Green functions are controlled by a critical-level Colding–Minicozzi identity and an integral Riccati comparison that yields uniform quadratic growth of a level-set quantity; the resulting blow-up of the Robin constant contradicts the global minimal Green function unless (LG) holds.","core_discovery":"A complete Riemannian 3-manifold that is contractible and has nonnegative scalar curvature is diffeomorphic to R^3. Independently, the interior of a compact handlebody of genus gamma admits a complete metric of nonnegative scalar curvature only when gamma is 0 or 1. Both statements hold with no auxiliary bounds on curvature, injectivity radius, or Green-function decay.","pith_inferences":["The same Robin-constant-plus-Green-level strategy may extend to other rigidity questions for open 3-manifolds once a suitable topological separator property is identified.","If the no-defect argument for critical Green levels can be made dimension-independent, analogous separator theorems might become available in higher dimensions under nonnegative scalar curvature.","The flat-branch packing argument suggests that free groups of rank ≥ 2 are incompatible with any complete flat metric on an open 3-manifold that deformation-retracts onto a wedge of circles."],"forward_implications":["Any complete contractible 3-manifold with Rg ≥ 0 is diffeomorphic to Euclidean 3-space, closing Wang’s question without extra hypotheses.","Open handlebodies of genus ≥ 2 admit no complete metric of nonnegative scalar curvature, answering Gromov’s question in full.","The only remaining complete one-ended 3-manifolds with Rg ≥ 0 that could fail to satisfy (LG) must have infinite first Betti number or more than one end.","Metric replacement shows that positivity of scalar curvature can be arranged while preserving completeness and creating nonparabolicity whenever the metric is not flat."],"fun_headline_variants":["Contractible 3-manifolds with nonnegative scalar curvature are R³","Nonnegative scalar curvature forces contractible 3-manifolds onto R³","Handlebody interiors admit nonnegative scalar curvature only for genus ≤1","Genus ≥2 handlebody interiors cannot carry complete nonnegative scalar curvature","Contractible 3-manifold with complete nonnegative scalar curvature is diffeomorphic to R³"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The argument needs the level-set formulae for the Green-distance function to pick up no extra singular mass at critical levels; if a defect measure survived there, the uniform lower bound that drives the Robin-constant contradiction would fail.","fun_headline_variants_meta":{"raw":{"variants":["Contractible 3-manifolds with nonnegative scalar curvature are R³","Nonnegative scalar curvature forces contractible 3-manifolds onto R³","Handlebody interiors admit nonnegative scalar curvature only for genus ≤1","Genus ≥2 handlebody interiors cannot carry complete nonnegative scalar curvature","Contractible 3-manifold with complete nonnegative scalar curvature is diffeomorphic to R³"]},"model":"grok-4.5","effort":"low","cost_usd":0.00442,"raw_usage":{"total_tokens":1181,"prompt_tokens":612,"num_sources_used":0,"completion_tokens":80,"cost_in_usd_ticks":44204000,"prompt_tokens_details":{"text_tokens":612,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":489,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":612,"tokens_out":80,"duration_ms":8109,"temperature":1.0,"reasoning_tokens":489,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-31T03:29:16.640450+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a complete metric of nonnegative scalar curvature on a contractible 3-manifold that is not diffeomorphic to R^3, or on the interior of a handlebody of genus at least 2; alternatively, produce a Dirichlet Green function on a 3-manifold domain whose critical levels contribute a positive defect to the Colding–Minicozzi identity so that the quadratic lower bound on A(r) fails.","supporting_citations":[],"review_version":1}