{"id":"3ab684d2-a08f-40c6-8e5f-84611069f704","arxiv_id":"2607.19481","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper constructs infinite families of topologically standard but smoothly exotic proper Möbius strips and annuli in R^4 that cannot be built by end-summing with exotic planes, via a new standardization theorem for generalized Casson handles.","lead":"The paper builds infinitely many 'exotic' surfaces in 4-dimensional space: each is topologically the same as an ordinary surface but cannot be smoothly deformed into one. It does this by proving that a very broad family of handle-like building blocks are all secretly the standard open handle.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2 rests on Casson's unproven-for-new-handles proper homotopy property; if it fails for triangular/banded/BH_m handles, topological standardness and the main theorem collapse.","rationale":"The reader identified the same load-bearing assumption: Theorem 2.2(3) is inherited from Casson's appendix rather than proved for the new handle classes, and all topological standardness claims depend on it. My independent reading confirms this is the most critical unverified link; other issues (garbled stabilization count, asserted Seifert surfaces, sketchy small-plane genus argument) are either typographical, easily patched, or less central. The verdict CONDITIONAL is appropriate: the main theorem is plausible and the proof strategy is coherent, but the argument depends on an external theorem whose hypotheses are not checked for the new constructions. I would not change the verdict, so UNCHANGED.","tokens_in":25412,"tokens_out":21422,"duration_ms":191968,"concrete_test":"Check Casson–Siebenmann [6, Appendix A] to confirm that Theorem 2.2(3) is proved from exactly the three conditions of Definition 2.1; then verify the BH_m exhaustion satisfies condition (1) by explicitly constructing the diffeomorphisms θ_k for the first few stages. If the appendix uses additional hypotheses (on nullhomotopies or framings), prove those for the triangular/banded/BH_m handles, or construct a direct proper deformation retraction of BH_m onto J×R^2.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction depends on Theorem 1.2, which asserts every generalized Casson handle is homeomorphic to an open 2-handle. The proof builds a proper h-cobordism W and requires, in Step 3, that the inclusion J×R^2 ⊂ S^1×R^2 = ∂V into V is a proper homotopy equivalence (Theorem 2.2(3)). This is not proved for the new triangular, banded, and BH_m handles; it is attributed verbatim to Casson's Appendix A [6], based on the abstract conditions of Definition 2.1. It is not verified that Casson's proof applies to this exact abstraction, nor that the specific exhaustions of §3.3 (especially the absorption condition n_k h_{k+1} ≅ h_k for BH_m) satisfy every hypothesis of that proof. If property (3) fails for any of these handles, the proper h-cobordism W is not an h-cobordism, so the topological standardness of the Möbius strips/annuli, and hence the existence of the irreducible family in Theorem 1.1, collapses. Minor typographical issues (e.g., the repeated stabilization count in Theorem 4.2) do not affect this central dependency.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs an explicit infinite family of topologically standard but smoothly exotic proper open Möbius strips and open annuli in R^4, proving they are irreducible (not end-sums of standard surfaces with exotic planes) and remain nonisotopic after end-summing with small exotic planes (Theorem 1.1). The central technical tool is a new class of 'generalized Casson handles' and the claim that every such handle is homeomorphic to an open 2-handle (Theorem 1.2), proved via a proper h-cobordism argument and a proper h-cobordism theorem of Freedman-Quinn. The paper also gives applications: exotic open 2-handles with no smooth core disk (Theorem 1.5), new Stein exotic R^4's detected by end Floer homology (Theorem 1.4), and a family of topologically slice links from banded ramified Whitehead doubling (Theorem 1.6).","tokens_in":25684,"tokens_out":8255,"duration_ms":80748,"significance":"If the results hold, Theorem 1.1 answers Gompf's question for the topological types of proper open annuli and Möbius strips, and Theorem 1.2 provides a broad standardization tool: it covers Casson handles, triangular and banded Casson handles, Gompf's generalized Casson handles, and all open infinite towers, giving topologically flat core disks in settings where previously only growth conditions or skyscraper constructions were known. The paper is highly constructive, with explicit Kirby diagrams and detailed arguments for Stein structures and genus computations. The main theorem is supported by two independent-looking detection mechanisms (genus functions and end Floer homology), and the manuscript is careful to flag the iterative logic of the standardization argument. The central weakness is a load-bearing reliance on a Casson appendix property that is not verified for the newly introduced handles.","major_comments":[{"comment":"The proof that V×{1}→W is a proper homotopy equivalence uses Theorem 2.2(3): the inclusion J×R^2⊂S^1×R^2=∂V into V is a proper homotopy equivalence. This is attributed to Casson's Appendix A for all generalized Casson handles, but no verification is given that the new triangular, banded, and BH_m handles satisfy every hypothesis of Casson's theorem. The exhaustion of §3.3 for BH_m is only sketched; in particular the absorption condition n_k h_{k+1} ≅ h_k is asserted rather than proved. If property (3) fails for any BH_m, the proper h-cobordism W is not an h-cobordism, and Theorem 1.2 together with the topological standardness of the Möbius strips and annuli in Theorem 1.1 collapses. The authors should either reproduce the argument for Definition 2.1 or prove property (3) directly for the examples used later.","section":"§2, Theorem 2.2(3); Step 3 of proof of Theorem 1.2"},{"comment":"The family BH_m is the input to Theorem 1.1. The proof that each BH_m is a generalized Casson handle is a short paragraph; the decomposition into n_k, h_k and the isomorphisms θ_k: n_k h_{k+1} ≅ h_k are not written down. Given that condition (1) of Definition 2.1 is exactly what makes Casson's property Theorem 2.2(3) non-formal, a diagrammatic or explicit verification for the mixed first stage B(m,CH) followed by B(2,CH) stages is needed. Without this verification, Proposition 3.8 is incomplete, and with it the main theorem depends on an unproven-for-these-examples assertion.","section":"§3.3, Definition 3.7 and Proposition 3.8"}],"minor_comments":[{"comment":"In the sentence beginning 'Thus, we must stabilize it', the stabilization counts are printed as '2n−1 or 2n−1 times'. For attaching a Legendrian with tb=2n−1 to achieve 0- or −1-framing, the counts should be 2n−2 and 2n−1 respectively. This typo should be corrected; the stated rotation numbers 2m−2 and 2m−1 suggest the intended counts are exactly those.","section":"§4, Theorem 4.2"},{"comment":"The phrase 'the obvious Seifert surface shows the minimal genus equals 2' is terse. The surface is presumably obtained by resolving the two positive double points of the immersed core disk in T_k; this should be stated explicitly, since a height-1 reader may otherwise not see the realization of the bound.","section":"§4, Proposition 4.4"},{"comment":"The grading argument showing that the spin^c summands do not cancel is compressed. The step 'Since the cobordism X'_j \\setminus B^4 has b_2^+ > 1 it follows that F^+_{W_{1,j},t} ∘ F^+_{V,t}(θ) projects to a nonzero element of HF_red(Y_j,t|_Y_j)' is asserted without a full justification. This does not affect Theorem 1.1, but Theorem 1.4 rests on it and the proof should be expanded.","section":"§5.1, Theorem 5.7"},{"comment":"The notation for the three exotic R^4's in Proposition 5.8 uses 'R, R and their end sum R♮R' in the text; the reversed-orientation manifold should be introduced explicitly before this sentence, as the current notation is confusing.","section":"§5.2"}],"recommendation":"major_revision","confidential_remarks":"The central issue is the unverified Casson property for the new handles. This is a fixable gap: if the authors supply a complete proof that Definition 2.1 matches Casson's hypotheses and verify the exhaustion condition for BH_m, I would support acceptance. The rest of the paper appears carefully constructed, but the main theorem currently rests on that missing verification."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Good to know before reading: this is a serious paper, and the main theorems are new and important. It constructs infinite families of exotic proper Möbius strips and open annuli in R^4 that are irreducible under end-summing with exotic planes, answering Gompf's Question 4.5 for these topological types. The engine is Theorem 1.2: every generalized Casson handle — including triangular, banded, and BH_m handles — is homeomorphic to an open 2-handle. That lifts a standardness result that was previously only announced by Freedman. I would not desk-reject this.\n\nWhat is genuinely new: the class of generalized Casson handles defined via Casson's abstract conditions, the standardization theorem, the infinite irreducible families, and the new topologically slice links from banded ramified Whitehead doublings. The proofs are organized well; the paper is explicit about where it is bootstrapping (Remark 2.3) and about reliance on Casson's appendix and the Freedman-Quinn proper h-cobordism theorem. The use of genus functions and end Floer homology to distinguish surfaces is coherent, and the dependence on the author's own [9] is minor.\n\nSoft spots, in order of importance. First, Theorem 1.2 rests on Theorem 2.2(3) from Casson's Appendix A: the inclusion J×R^2 ⊂ S^1×R^2 = ∂V into V is a proper homotopy equivalence. The paper does not re-prove this for triangular, banded, or BH_m handles; it inherits it from the abstract definition. That is a reasonable citation strategy, but a referee will want to see a careful check that these new handles satisfy every hypothesis of Casson's proof, especially the absorption condition n_k h_{k+1} ≅ h_k for BH_m. This is the weakest point in the chain. Second, some steps are sketched: the collar-push in Step 2 of Theorem 1.2, the basepoint-change diagrams, and the 'obvious Seifert surface' upper bound in Theorem 4.7. These look fillable but should be written out. Third, there is a typo in the stabilization count in Theorem 4.2 — '2n−1 or 2n−1' should presumably be '2n−2 or 2n−1' — and a few other minor issues. None of these undermine the main argument as far as I can tell.\n\nWho should read this: anyone working on exotic 4-manifolds, proper 2-knots, or Casson handles. It deserves a serious referee. If the Casson property check passes, this is a significant advance.\n\nRecommendation: send to peer review.","headline":"A strong, novel preprint on exotic proper surfaces and generalized Casson handles; the main theorems are important and the argument is coherent, but Theorem 1.2 leans on Casson's unpublished appendix property and needs referee verification.","tokens_in":26180,"tokens_out":4624,"would_cite":true,"duration_ms":40184,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K40","57K45","57K10","57R58"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs infinite families of smoothly exotic, topologically standard open Möbius strips and annuli in 4-space that are irreducible and remain nonisotopic after end-summing with small exotic planes.","keywords":["exotic 4-manifolds","Casson handles","proper 2-knots","open annuli and Möbius strips","end-sum","genus function","end Floer homology","topologically slice links"],"falsifier":"For one of the new handles, say TH, check directly whether the inclusion of the band $J\\times\\mathbb{R}^2$ into TH is a proper homotopy equivalence by computing the proper homotopy groups at its unique end; a single missing isomorphism, or a compact set whose preimage under a candidate homotopy inverse is noncompact, would invalidate Theorem 1.2 and with it the topological standardness of the branch surfaces.","tokens_in":1725,"feed_emoji":"🌀","tokens_out":3522,"duration_ms":105112,"temperature":0.7,"texified_at":"2026-08-05T21:33:48.789209+00:00","pith_summary":"This paper tackles the question of how many smooth proper 2-knots — properly embedded noncompact surfaces in $\\mathbb{R}^4$ — can share one topological type, up to end-summing with exotic planes. It answers this for open annuli and Möbius strips: for each of infinitely many parameters there are topologically standard, smoothly exotic examples, and these are irreducible — not end-sums of standard surfaces with exotic planes — and remain pairwise smoothly nonisotopic even after end-summing with any small exotic plane. The engine is a broad standardization theorem: any generalized Casson handle, a noncompact 4-manifold built by stacking self-plumbed 2-handles according to abstract criteria, is homeomorphic rel boundary to the standard open 2-handle, so its attaching circle bounds a topologically flat disk. A sympathetic reader should care because this turns the search for exotic proper 2-knots into a search for generalized Casson handles with good branched-cover properties, and it supplies a toolbox that also yields new topologically slice links.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":5771,"prompt_tokens":870,"completion_tokens":4901,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":870,"completion_tokens_details":{"reasoning_tokens":4088}},"feed_headline":"Found: infinitely many exotic surfaces in R^4","feed_subtitle":"All are topologically standard, none is an end-sum with an exotic plane, and adding small exotic planes keeps them distinct.","key_machinery":"The central object is the generalized Casson handle $(V, \\partial V)$: a noncompact 4-manifold with attaching region $S^1\\times\\mathbb{R}^2$, built from compact pieces that become standard 2-handles after attaching 2-handles to special loops, with the attaching region componentwise nullhomotopic in each piece. The load-bearing mechanism is the standardization proof: one builds the cobordism $W = (h\\times[0,1)) \\cup (V\\times\\{1\\})$ from the given handle to the standard open 2-handle h, shows both inclusions are proper homotopy equivalences using the proper Whitehead theorem together with a quoted property about the inclusion of a band of the attaching boundary into V, and then applies the proper h-cobordism theorem to conclude that V","core_discovery":"The central claim is that every generalized Casson handle, a noncompact 4-manifold with attaching region $S^1\\times\\mathbb{R}^2$ assembled from compact pieces that become standard 2-handles after 2-handles are attached to special loops, is homeomorphic relative to its attaching boundary to the standard open 2-handle $D^2\\times\\mathbb{R}^2$. The proof constructs a proper h-cobordism from the handle to the open 2-handle, verifies the boundary inclusions are proper homotopy equivalences, and invokes the relevant proper h-cobordism theorem. Using these handles, the paper produces topologically standard open annuli and Möbius strips in $\\mathbb{R}^4$ whose double branched covers are distinct exotic smoothings of $S^2\\times\\mathbb{R}^2$ and $\\mathbb{CP}^2$ minus a p","pith_inferences":["If the standardization theorem is as general as its hypotheses suggest, then future constructions of open 2-handles only need to satisfy the abstract criteria — triangular, banded, or hybrid — to automatically gain a topologically flat core disk, avoiding a case-by-case disk-embedding argument.","The slice-genus-2 attaching circle of TH sets up a dichotomy the author leaves open: if TH is a Casson handle, then Casson handles can have slice genus 2 and different signed trees can produce distinct handles; if not, the generalized class is strictly larger. Either resolution would sharpen the classification of exotic open 2-handles.","The banded ramified Whitehead-slice family is a natural testing ground for concordance invariants: because the band choices are arbitrary, any invariant that obstructs one member would imply the flat-disk conclusion fails, effectively calibrating the reach of disk-embedding theory.","The paper's closing remark suggests that varying the framing in the construction likely yields a family that is invisible to end Floer homology, pointing toward the need for finer invariants to detect those particular exotic planes."],"forward_implications":["Every open infinite tower — a disk-embedding-theoretic generalization built from surface stages — is homeomorphic to an open 2-handle and has a topologically flat core disk, with no growth-condition assumptions needed.","The handles BH_m produce explicit infinite families of exotic smoothings of CP^2\\pt and S^2×R^2; their second-homology minimal genus is m, which grows without bound, so the corresponding branch surfaces in R^4 are pairwise smoothly distinct.","The exotic plane recently constructed in the literature is reproven exotic: its branched double cover is a small Stein exotic R^4 that embeds in standard R^4, and this manifold, its reverse, and their end-sum are three distinct exotic R^4's.","The handle TH is a Stein exotic open 2-handle whose attaching circle has smooth slice genus 2, so it is not diffeomorphic to previously studied exotic open 2-handles with smooth core disks.","Any link obtained by at least four rounds of banded ramified Whitehead doubling of one component of a Hopf link is topologically slice, including arbitrary choices of bands at each stage."],"fun_headline_variants":["Infinite irreducible exotic surfaces in R^4","Exotic surfaces in R^4: infinitely many, none decomposable","New exotic 2-knots: infinite irreducible family","Infinitely many exotic surfaces, all topologically standard","Exotic knotted surfaces: infinite family, irreducible"],"cache_read_input_tokens":27520,"weakest_assumption_plain":"The entire standardization argument rests on a property quoted from the literature: that a band of the attaching circle's boundary embeds into each generalized handle as a proper homotopy equivalence; the paper does not reprove this property for its new triangular, banded, and $BH_m$ handles, and if it fails for any of them the constructed cobordism is not a proper h-cobordism and the claimed topological standardness collapses.","fun_headline_variants_meta":{"raw":{"variants":["Infinite irreducible exotic surfaces in R^4","Exotic surfaces in R^4: infinitely many, none decomposable","New exotic 2-knots: infinite irreducible family","Infinitely many exotic surfaces, all topologically standard","Exotic knotted surfaces: infinite family, irreducible"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000209,"raw_usage":{"total_tokens":1193,"prompt_tokens":643,"completion_tokens":550,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":387,"completion_tokens_details":{"reasoning_tokens":470}},"tokens_in":387,"tokens_out":550,"duration_ms":5448,"temperature":1.0,"reasoning_tokens":470,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T12:37:32.479323+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For one of the new handles, say TH, check directly whether the inclusion of the band $J\\times\\mathbb{R}^2$ into TH is a proper homotopy equivalence by computing the proper homotopy groups at its unique end; a single missing isomorphism, or a compact set whose preimage under a candidate homotopy inverse is noncompact, would invalidate Theorem 1.2 and with it the topological standardness of the branch surfaces.","supporting_citations":[],"review_version":1}