{"id":"a651f8df-4128-4bc8-88e7-16ba3c64feb1","arxiv_id":"2507.15719","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A complete metric of uniformly positive scalar curvature forces a suitably connected contractible open 5-manifold to be R^5, and positive isotropic curvature or pinched Ricci conditions with convex boundary force compact contractible manifolds to be disks.","lead":"The paper proves new rigidity theorems: an open 5-manifold that is the interior of a sufficiently connected compact contractible 5-manifold with boundary, and carries a complete metric of uniformly positive scalar curvature, must be diffeomorphic to Euclidean 5-space. It also identifies stronger interior and boundary curvature conditions that force compact contractible manifolds to be disks.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 4.2's n=3 argument invokes an undefined 'L = M = 0' step and an unspecified Taubes theorem; as written it does not rule out nontrivial connected sums of Poincaré homology spheres as boundaries of contractible 4-manifolds.","rationale":"The reader's verdict of CONDITIONAL seems right. I independently checked the main geometric pipeline for Theorem A and the n=4/n≥12 parts of Theorem B: the µ-bubble arguments are standard, and Corollary 3.17, Lemma 3.2, and Theorem 3.3 form a coherent route to Theorem A; Proposition 4.1's use of the PIC classification is acceptable, though it is a strong external input. The weakest point is in Proposition 4.2, n=3: the step 'one concludes L = M. Then, by a theorem of Taubes [62], we conclude L = M = 0' is not an argument as written. L and M are undefined, and no theorem from [62] is quoted. Since the d-invariant only forces equality of the numbers of P and -P summands, the proof leaves open the possibility that ∂X = P#(-P) or a larger balanced sum, which is a homology sphere with vanishing d-invariant. Unless Taubes [62] contains a result precisely excluding such balanced connected sums from bounding smooth contractible 4-manifolds, Theorem B(ii) with n=3 is not established. This is load-bearing because Theorem B(ii) explicitly includes n=3. The reader's additional claim that Corollary C's n=3 case collapses is not right: Corollary C's n=3 conclusion is proved in Proposition 4.3 via Wang's contractibility criterion, Hamilton's Ricci-positive classification, Sjerve's theorem, and the d-invariant of the Poincaré sphere; it does not use the Taubes step from Proposition 4.2. Thus my agreement is partial, but the main concern is the same as the reader's. A conditional acceptance is appropriate: the central claims are plausible and much of the argument is checkable, but this one cited step needs to be supplied or the n=3 case of Theorem B(ii) should be deleted.","tokens_in":18921,"tokens_out":30061,"duration_ms":328243,"concrete_test":"Read the statement of the theorem from Taubes [62] that the phrase 'by a theorem of Taubes' is meant to cite, and check whether it implies that a homology 3-sphere bounding a smooth contractible 4-manifold cannot be diffeomorphic to a nontrivial connected sum of Poincaré homology spheres. In particular, determine whether the theorem applies to P#(-P), which has vanishing d-invariant. If no such statement appears in [62], or if P#(-P) is not excluded, declare the n=3 case of Theorem B(ii) unproved and revise the theorem accordingly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The n=3 case of Theorem B(ii) is not proved as written. In Proposition 4.2, after Perelman's classification and the homology-sphere condition, the boundary ∂X is identified with a connected sum of J copies of the Poincaré homology sphere P and K copies of its reverse -P. The text then states 'one concludes L = M. Then, by a theorem of Taubes [62], we conclude L = M = 0,' but L and M are never defined and the quoted Taubes result is not stated. The preceding d-invariant argument can at best force J=K (or L=M) when d(P)≠0; it cannot eliminate, for example, P#(-P), which has vanishing d-invariant. Unless Taubes [62] contains a precise theorem ruling out such connected sums as boundaries of smooth contractible 4-manifolds, the n=3 assertion of Theorem B(ii) lacks a valid proof. I do not see this gap affecting Theorem A, Theorem B(i), or the n=4 case of Theorem B(ii); the n=3 case of Corollary C is argued separately in Proposition 4.3 and does not rely on the Taubes step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper addresses two related questions in positive curvature topology: whether an open contractible manifold with a complete metric of uniformly positive scalar curvature must be Euclidean space, and whether a compact contractible manifold with boundary and stronger curvature conditions must be a disk. Theorem A proves that if M is the interior of a compact contractible 5-manifold X with boundary satisfying π3(X, ∂X)=0, and M admits a complete metric of uniformly positive scalar curvature, then M is diffeomorphic to R^5. Theorem B establishes disk recognition under condition (C1) (positive isotropic curvature and 2-convex boundary) in dimensions n=4 and n≥12, and under condition (C2) (pinched Ricci curvature and convex boundary) in dimensions n=3 and n=4 with an additional topological hypothesis in the latter case. Corollary C applies Wang's condition (C3) to dimensions n=3,4,5. The proofs combine µ-bubble methods, classification results for positive scalar curvature and positive isotropic curvature, Heegaard-Floer correction terms, and algebraic topology of boundaries of contractible manifolds.","tokens_in":19167,"tokens_out":17817,"duration_ms":188390,"significance":"If the results hold, Theorem A is a natural five-dimensional analogue of the Chodosh-Maximo-Mukherjee theorem for open 4-manifolds, and Theorem B provides new positive answers to the disk-recognition question under hypotheses substantially weaker than positive sectional curvature with convex boundary. The paper is well organized and mostly assembles external tools without introducing free parameters or circular reasoning; the use of PIN classification results, µ-bubbles, and the d-invariant is appropriate. The main caveats are that two proof steps are currently incomplete as written: the n=3 case of Theorem B(ii) relies on an informal argument with undefined symbols and an unspecified cited theorem, and Proposition 4.1 omits part of the homology argument needed for odd-dimensional spherical space form summands. These are local and likely repairable, but they affect the rigor of the paper's central claims.","major_comments":[{"comment":"The n=3 case of Proposition 4.2 is not proved as written. The outline says 'one concludes L = M. Then, by a theorem of Taubes [62], we conclude L = M = 0', but L and M are never defined, and the cited Taubes theorem is not stated. The preceding d-invariant information can at best force equality of the numbers of Poincare homology sphere summands with opposite orientations; it does not by itself rule out a connected sum such as P # (-P). Since Theorem B(ii) for n=3 depends on this step, the author should either replace the outline with a precise citation that proves exactly the needed statement (for instance [19, Prop. 4.2], if it indeed covers this case), or state the Taubes theorem explicitly and define the symbols L and M.","section":"Section 4, Proposition 4.2"},{"comment":"In the odd-n case of Proposition 4.1, the conclusion that each summand Sn/Γj is an integral homology sphere is not justified by the displayed homology computation. The displayed range 2 ≤ i ≤ n-1 omits H1, and the argument that H1(∂X)=0 forces the abelianization of each Γj to be trivial is absent. One must use the connected-sum formula H1(∂X)=⊕ H1(Sn/Γj) together with H1(∂X)=0 from Proposition 3.1 before applying Theorem 3.3. Without this step, the vanishing of J for odd n≥12 is not fully proved.","section":"Section 4, Proposition 4.1"},{"comment":"Corollary 3.17 is stated as 'Let X^{n+1}, n∈{4,5}, be a compact, contractible n-manifold with boundary', but the notation X^{n+1} and the subsequent proof indicate that X should be an (n+1)-manifold. The same dimensional error appears in Corollary 3.19. Since these statements are used in the proof of Theorem A, the dimensions should be corrected to avoid ambiguity. Additionally, the degree argument in the proof of Corollary 3.17 should explicitly address the case where ∂Ωi has several components; the current sentence 'the restriction π|∂Ωi has non-zero degree' is only implicit and the total degree of the disconnected domain is what is needed.","section":"Section 3, Corollaries 3.17 and 3.19"}],"minor_comments":[{"comment":"There are several typos: 'nonnegateve' should be 'nonnegative', 'the only open 2 2-manifold' has a duplicated '2', and 'Theorem B' proof begins 'Let X n+1 is a compact'.","section":"Section 1"},{"comment":"The proof of Proposition 3.14 is labelled a sketch and the displayed function τ2 in (3.2) should be τ+. Since this proposition is a known result of Gromov and is used later, please either provide a complete derivation of the inequalities leading to (3.6) or clearly relegate the proof to [30, Section 3.7] and [19, Prop. 3.10].","section":"Section 3.2.1, Proposition 3.14"},{"comment":"The term 'Heegard-Floer' should be 'Heegaard-Floer'. Also, the sentence 'By applying the Heegard-Floer d-invariant [44, Theorem 1.2, Proposition 4.2, Proposition 4.3, Section 8.1, and Proposition 9.9] one concludes L = M' should state which property of the d-invariant is being used and why it gives equality rather than vanishing.","section":"Section 4, Proposition 4.2"},{"comment":"In the n=5 case of Proposition 4.3, after concluding that a finite cover of ∂X is homotopy equivalent to S^5, the proof should explicitly mention that this implies ∂X is covered by S^5 and then apply Theorem 3.3 to conclude π1(∂X)=0 before invoking Milnor's result. The current text skips this step.","section":"Section 4, Proposition 4.3"},{"comment":"The sentence 'Then X homeomorphic to the (n+1)-disk' is missing the verb 'is'.","section":"Section 4, proof of Corollary C"}],"recommendation":"major_revision","confidential_remarks":"The n≥12 part of Theorem B(i) depends on the classification of Huang [36], which is a recent preprint. Please confirm that this result is published or otherwise accepted, since the paper treats it as an established theorem. The n=3 case of Theorem B(ii) should be checked carefully: if [19, Prop. 4.2] does prove the needed statement, the author should cite it directly and remove the confusing informal Taubes argument; if not, the Taubes theorem must be stated precisely."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is worth a serious look. Theorem A is a genuine new result: it extends the Chodosh–Maximo–Mukherjee theorem from dimension 4 to dimension 5 under the hypothesis π3(X,∂X)=0, and the proof via µ-bubbles, the CLL degree theorem, and the homology-sphere covering result is coherent. Theorem B and Corollary C introduce new boundary curvature conditions (C1), (C2), and (C3) that distinguish the disk; these are interesting and the arguments mostly consist of appropriate applications of known classification results for PIC and PSC manifolds. There is no fitted data, no circularity, and no self-citation burden. The citation pattern looks honest.\n\nThe biggest soft spot is Proposition 4.2, n=3. The text says \"one concludes L = M. Then, by a theorem of Taubes [62], we conclude L = M = 0,\" but L and M are never defined and the Taubes theorem is not stated. The preceding d-invariant argument can at most force equality of the numbers of P and −P summands; it does not explain why the connected sum must vanish. The paper does cite [19] for the same conclusion, so this may be repairable by either citing the precise result in [19] or giving a complete proof. As written, that step is opaque and should be fixed before publication. The other issues are minor: Proposition 3.14 is sketched rather than proved, and Proposition 4.1's odd-n case leaves the H1=0 argument implicit. These are routine to fill in and do not threaten the main results.\n\nThis paper is for specialists in scalar curvature, µ-bubbles, and the topology of contractible manifolds. The writing is clear and the organization is sensible. The main theorem appears solid, the secondary results are plausible, and the n=3 gap is localized and probably fixable. I would send it to peer review with a request that the author spell out the Taubes step and tighten the sketches.","headline":"Theorem A is a real new result and the strategy is sound, but the n=3 part of Theorem B(ii) has an opaque, undefined step that needs repair; overall the paper deserves peer review.","tokens_in":19688,"tokens_out":21127,"would_cite":true,"duration_ms":210653,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C21","53C24","57K40"],"pacs":[],"model":"deepseek-v4-flash","headline":"Uniformly positive scalar curvature forces the interior of a suitably connected contractible 5-manifold to be diffeomorphic to $\\mathbb{R}^5$, and stronger boundary-curvature conditions force compact contractible manifolds to be…","keywords":["positive scalar curvature","contractible manifolds","mu-bubbles","positive isotropic curvature","mean convex boundary","Ricci pinching","homology spheres","Mazur manifolds"],"falsifier":"Build a compact, contractible 4-manifold whose boundary is a nontrivial connected sum of Poincaré homology 3-spheres and give it a Ricci-pinched metric with convex boundary; even one such example would contradict the three-dimensional conclusion of Theorem B(ii). A less geometric check is to compute the correction invariant (d-invariant) of that connected sum and verify whether it, together with the cited gauge-theoretic theorem, actually forces the standard 3-sphere as the only boundary.","tokens_in":18728,"feed_emoji":"📐","tokens_out":18494,"duration_ms":176189,"temperature":0.7,"pith_summary":"This paper asks which curvature conditions force an open contractible manifold to be Euclidean space and a compact contractible manifold with boundary to be a standard disk. Its first result shows that if a 5-manifold is the interior of a compact contractible manifold with boundary $X$ satisfying $\\pi_3(X,\\partial X)=0$, and it admits a complete metric of uniformly positive scalar curvature, then it is diffeomorphic to $\\mathbb{R}^5$. For compact manifolds with boundary, the paper shows that positive scalar curvature with mean convex boundary is too weak: many non-disk contractible manifolds admit such metrics. It then proves that two stronger conditions do distinguish the disk—positive isotropic curvature (a positivity condition on the Riemann curvature over isotropic two-planes) with 2-convex boundary in dimensions $4$ and $n\\geq 12$, and a Ricci-pinching condition with convex boundary in dimensions $3$ and $4$—together with a related boundary-convexity condition giving disk conclusions in dimensions $3,4,5$. The proofs use $\\mu$-bubbles to turn interior curvature into positively curved hypersurfaces near the boundary, then feed that information into known classifications of closed manifolds with positive scalar or isotropic curvature.","feed_headline":"Curvature forces contractible 5-manifolds to be R^5","feed_subtitle":"And stronger boundary curvature conditions single out the disk in many dimensions.","key_machinery":"The engine of the proof is the $\\mu$-bubble: a minimizer of an area functional with a carefully chosen weight function that tends to $+\\infty$ on one boundary component and $-\\infty$ on the other. In a manifold of uniformly positive scalar curvature, $\\mu$-bubbles produce smooth embedded hypersurfaces that separate boundary components and themselves carry Riemannian metrics of positive scalar curvature. Applied to an exhaustion of the open 5-manifold, this yields hypersurfaces near the boundary with positive scalar curvature; a non-zero-degree projection to the boundary then lets the classification of closed manifolds with positive scalar curvature in dimensions four and five restrict what the boundary can be. For the compact theorems, the same separation mechanism is replaced by direct boundary curvature transfer: condition (C1) is deformed by a positivity-preserving deformation to make the boundary totally geodesic, so the boundary inherits positive isotropic curvature; condition (C2) is shown by the Gauss equations and the standard rearrangement trick for scalar curvature to imply the boundary has positive scalar curvature. The final step in every case is purely topological: a homology-sphere boundary that is covered by a sphere must be simply connected (except for the binary icosahedral group in dimension three), and a simply connected homology sphere is a homotopy sphere, which by known classification theorems yields a disk.","core_discovery":"The central discovery is that, in the right topology, uniform positive scalar curvature is a rigidity condition rather than merely a constraint: for a 5-manifold that is the interior of a compact contractible manifold with boundary $X$ and $\\pi_3(X,\\partial X)=0$, a complete metric of uniformly positive scalar curvature forces the manifold to be diffeomorphic to $\\mathbb{R}^5$. The compact analogue is subtler. The paper exhibits, via known constructions, many compact contractible manifolds with boundary that support positive scalar curvature and mean convex boundary, so those hypotheses alone cannot characterize the disk. It then shows that adding a stronger boundary/interior curvature condition does characterize the disk: under condition (C1), positive isotropic curvature with 2-convex boundary, the boundary is diffeomorphic to a sphere in dimensions $n=4$ and $n\\geq 12$; under condition (C2), the Ricci pinching $n g \\leq \\mathrm{Ric} \\leq \\frac{1}{2}n(n+1)g$ with convex boundary, the boundary is homeomorphic to a sphere for $n=3,4$ (with $\\pi_3(X,\\partial X)=0$ when $n=4$). From a spherical boundary, h-cobordism and 4-manifold topology results imply the whole manifold is homeomorphic to a disk, and diffeomorphic in several cases. The paper also derives disk conclusions from a boundary-convexity condition (C3) in dimensions $3,4,5$ under the same relative-homotopy hypotheses.","pith_inferences":["A natural testable extension is to push the same $\\mu$-bubble strategy to contractible 6-manifold interiors with complete uniformly positive scalar curvature, where the geometric separation machinery still works; the missing ingredient would be a closed-manifold positive-scalar-curvature classification in dimension six.","The paper effectively isolates the boundary homeomorphism type as the place where rigidity happens: if future results produced other homology-sphere boundaries carrying the relevant curvature, the disk conclusions would extend, and the examples show why boundary conditions cannot simply be dropped.","The three-dimensional dependence on a gauge-theoretic step suggests a concrete project: a purely four-dimensional proof that a connected sum of Poincaré homology spheres cannot bound a contractible 4-manifold would remove the most delicate assumption in condition (C2).","The high-dimensional range $n\\geq 12$ in condition (C1) is tied to the currently available classification of closed manifolds with positive isotropic curvature; improved classification in lower dimensions would bring the disk conclusion to those dimensions as well."],"forward_implications":["If Theorem A is correct, the interior of any compact contractible 5-manifold with boundary satisfying $\\pi_3(X,\\partial X)=0$ and admitting a complete uniformly positive scalar curvature metric is the standard smooth $\\mathbb{R}^5$, so no exotic smooth structure on $\\mathbb{R}^5$ can arise from this construction.","Under condition (C1), a compact contractible manifold with boundary is homeomorphic to a disk in dimensions 4 and $n\\geq 12$, and diffeomorphic when $n\\geq 12$, so positive isotropic curvature plus 2-convex boundary is a genuine disk-detecting hypothesis.","Under condition (C2), Ricci pinching with convex boundary forces the disk in dimensions 3 and 4, showing that a curvature condition strictly weaker than positive sectional curvature can still single out the disk among contractible manifolds.","Corollary C extends the disk conclusion to Wang's boundary-convexity condition (C3) in dimensions 3, 4, and 5, reinforcing that the boundary curvature is what carries the compact rigidity.","The contrast between the open and compact cases is sharp: positive scalar curvature plus mean convex boundary does not characterize the disk, since many non-disk contractible manifolds admit such metrics, whereas the interior version with completeness is rigid in dimension 5."],"supporting_citations":[{"why":"supplies the $\\mu$-bubble separation theorem that produces positively curved hypersurfaces in the exhaustion.","marker":"[30]"},{"why":"gives the rigorous existence and regularity of $\\mu$-bubble minimizers used throughout.","marker":"[70]"},{"why":"provides the classification of closed positive-scalar-curvature manifolds in dimensions four and five used to restrict the boundary.","marker":"[18]"},{"why":"states that only the binary icosahedral group gives a non-trivial homology sphere covered by a sphere, used to force simple connectivity.","marker":"[57]"},{"why":"supplies the topological classification of simply connected 4-manifolds that turns a spherical boundary into a disk.","marker":"[24]"},{"why":"gives the h-cobordism propositions that convert a spherical boundary into a disk homeomorphism or diffeomorphism.","marker":"[43]"},{"why":"deforms positive isotropic curvature with 2-convex boundary to totally geodesic boundary so the boundary inherits the condition.","marker":"[20]"},{"why":"classifies closed manifolds with positive isotropic curvature in the n=4 and n>=12 ranges, identifying the boundary under condition (C1).","marker":"[14, Main Theorem] or [36, Theorem 1.1]"},{"why":"supplies the Heegaard–Floer d-invariant constraints used to exclude non-standard 3-sphere boundaries in the (C2) case.","marker":"[44]"},{"why":"is the cited gauge-theoretic result that completes the exclusion of connected sums of Poincaré homology spheres in dimension three.","marker":"[62]"}],"fun_headline_variants":["Positive curvature forces contractible 5-manifolds to be R^5","Curvature conditions that single out Euclidean space and disk","Uniform positive scalar curvature implies R^5 in contractible case","Stronger curvature criteria force disk topology in many dimensions","Contractible manifolds with positive curvature: rigidity results"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"In the three-dimensional case, the proof assumes that a gauge-theoretic theorem, together with the standard correction invariant for homology spheres, rules out every nontrivial connected sum of Poincaré homology spheres as the boundary of a contractible 4-manifold; the paper does not state that theorem or define the symbols in the step where it is used.","fun_headline_variants_meta":{"raw":{"variants":["Positive curvature forces contractible 5-manifolds to be R^5","Curvature conditions that single out Euclidean space and disk","Uniform positive scalar curvature implies R^5 in contractible case","Stronger curvature criteria force disk topology in many dimensions","Contractible manifolds with positive curvature: rigidity results"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000216,"raw_usage":{"total_tokens":1452,"prompt_tokens":988,"completion_tokens":464,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":604,"completion_tokens_details":{"reasoning_tokens":380}},"tokens_in":604,"tokens_out":464,"duration_ms":5687,"temperature":1.0,"reasoning_tokens":380,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T15:27:27.556318+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Build a compact, contractible 4-manifold whose boundary is a nontrivial connected sum of Poincaré homology 3-spheres and give it a Ricci-pinched metric with convex boundary; even one such example would contradict the three-dimensional conclusion of Theorem B(ii). A less geometric check is to compute the correction invariant (d-invariant) of that connected sum and verify whether it, together with the cited gauge-theoretic theorem, actually forces the standard 3-sphere as the only boundary.","supporting_citations":[{"cited_title":"Four lectures on scalar curvature","cited_arxiv_id":null,"evidence_quote":"supplies the $\\mu$-bubble separation theorem that produces positively curved hypersurfaces in the exhaustion."},{"cited_title":"Width estimate and doubly warped product","cited_arxiv_id":null,"evidence_quote":"gives the rigorous existence and regularity of $\\mu$-bubble minimizers used throughout."},{"cited_title":"Classifying sufficiently connected PSC manifolds in 4 and 5 dimensions","cited_arxiv_id":null,"evidence_quote":"provides the classification of closed positive-scalar-curvature manifolds in dimensions four and five used to restrict the boundary."},{"cited_title":"Homology spheres which are covered by spheres","cited_arxiv_id":null,"evidence_quote":"states that only the binary icosahedral group gives a non-trivial homology sphere covered by a sphere, used to force simple connectivity."},{"cited_title":"The topology of four-dimensional manifolds","cited_arxiv_id":null,"evidence_quote":"supplies the topological classification of simply connected 4-manifolds that turns a spherical boundary into a disk."},{"cited_title":"Lectures on the h-cobordism theorem","cited_arxiv_id":null,"evidence_quote":"gives the h-cobordism propositions that convert a spherical boundary into a disk homeomorphism or diffeomorphism."},{"cited_title":"Positivity of curvature on manifolds with boundary","cited_arxiv_id":null,"evidence_quote":"deforms positive isotropic curvature with 2-convex boundary to totally geodesic boundary so the boundary inherits the condition."},{"cited_title":"Absolutely graded Floer homologies and intersec- tion forms for four-manifolds with boundary","cited_arxiv_id":null,"evidence_quote":"supplies the Heegaard–Floer d-invariant constraints used to exclude non-standard 3-sphere boundaries in the (C2) case."},{"cited_title":"Gauge theory on asymptotically periodic 4-manifolds","cited_arxiv_id":null,"evidence_quote":"is the cited gauge-theoretic result that completes the exclusion of connected sums of Poincaré homology spheres in dimension three."}],"review_version":1}