{"id":"7001570d-c59b-4c77-897f-ff9960237a62","arxiv_id":"2509.06168","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every closed orientable 3-manifold admits a codimension-1 spun embedding into a finite connected sum of S^2×S^2 and S^2~×S^2, constructed from sphere twists.","lead":"Every closed orientable 3-dimensional manifold can be placed inside a 4-dimensional space made from simple spherical blocks, while keeping its book-page structure intact. The paper builds these embeddings explicitly using sphere twist maps and gives new examples including lens spaces, Seifert spaces, and the Poincare homology sphere.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Theorem 1.1 depends on the unproved assertion that the twist subgroup of Diff_∂(#^n_b(S^2×[0,1])) is (Z_2)^n; if this is false or unjustified, the reduction to W_{i,j} fails. The reader's conditional verdict is appropriate.","rationale":"The reader's weakest_assumption correctly identifies the twist subgroup assertion as the load-bearing step in Theorem 1.1. I read the proof of Theorem 1.1 as a three-step construction: (1) embed the page into V^n and realize each page Dehn twist by an ambient sphere twist; (2) reduce the product of ambient sphere twists to a product of core sphere twists using the structure of the twist subgroup; (3) identify the resulting open book as a connected sum of S^2-bundles over S^2. Step (2) is exactly where the paper says 'Recall ... Twist(V^n) = (Z_2)^n' without proof or reference. This is not a minor omission: if the twist subgroup had additional generators or relations, the ambient open book could be a more complicated 4-manifold, and the theorem's conclusion that the ambient is W_{i,j} with i+j=n would not follow. The fact is likely true and consistent with known results for the double #^n(S^2×S^1), but the paper must supply a proof or citation. I also note the secondary issue in the proof of Theorem 1.3, where the obstruction to embedding a non-spin summand in R^{n+3} is asserted without justification; this does not affect the main theorem. Since the reader already flagged the twist subgroup as the weakest assumption, and my reading agrees, the conditional verdict is appropriate. No change to the reader's verdict is needed.","tokens_in":17,"tokens_out":23575,"duration_ms":771156,"concrete_test":"Verify that the homology class map Twist(V^n) → H_2(V^n;Z_2), σ_S ↦ [S], is an isomorphism. If this map has a nontrivial kernel (e.g., a product of core sphere twists is isotopic to the identity), then the exponents β_i in the proof of Theorem 1.1 are not independent and the ambient open book is not the claimed W_{i,j}. A minimal check is to compute the twist subgroup for n=2 using the mapping class group of a 3-ball with two holes; if it is not (Z_2)^2, the reduction in Theorem 1.1 already fails for the lens space examples.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 1.1 (Section 3), an arbitrary monodromy of the planar page is converted into a product of sphere twists along embedded 2-spheres in V^n = #^n_b(S^2×[0,1]), and then this product is normalized to a product of powers of the n core sphere twists. The normalization step contains the sentence: 'Recall that every σ_{γ_i} is a composition of twists along the boundary spheres S_1,S_2,...,S_n and Twist(V^n) = (Z_2)^n.' No proof or citation is given for either half of this statement. The first half is plausible from the tube relation σ_{S_{ij}} = σ_{S_i}^{-1}σ_{S_j}^{-1}, which follows from Proposition 2.2, but the second half is a nontrivial algebraic fact about Diff_∂(V^n). If Twist(V^n) were larger than (Z_2)^n, or if additional relations among the core twist generators existed, then ∏ σ_{γ_i}^{α_i} would not reduce to an independent product of core twists, and the ambient open book OB(V^n, ∏ σ_{γ_i}^{α_i}) would not be diffeomorphic to a connected sum of n S^2-bundles over S^2. The theorem's conclusion W_{i,j} with i+j=n would then be unsupported. This is the most load-bearing issue in the paper because the entire main theorem depends on this algebraic reduction. A secondary concern appears in the proof of Theorem 1.3, where the assertion that a non-spin summand S^2~×S^{n-1} cannot embed in R^{n+3} is stated without justification; this affects only that side result.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies codimension-1 embeddings that preserve open book decompositions. Its main result, Theorem 1.1, states that every closed orientable 3-manifold M=OB(Σ_{0,n+1},φ_M) admits a codimension-1 spun embedding into W_{i,j}=(#^i S^2×S^2)#(#^j S^2~×S^2) for some i,j with i+j=n. The proof embeds the planar page in V^n=#^n_b(S^2×[0,1]), encodes each Dehn twist of the monodromy by a sphere twist along a tubed core sphere, and then uses the asserted fact Twist(V^n)=(Z_2)^n to reduce the monodromy to a product of powers of the n core sphere twists. The paper also gives explicit planar open book embeddings for lens spaces, Seifert fibered spaces, the Poincaré homology sphere, and examples in S^4 and S^5, and it proves nontriviality of a sphere twist along a nonseparating sphere in Diff_∂^+(S^1×S^{n-1}#V).","tokens_in":16199,"tokens_out":9857,"duration_ms":84237,"significance":"If the main theorem is correct, it is a genuinely new and useful result: it extends the spun-embedding program from the codimension-2 setting to codimension-1, and the explicit planar-page constructions are concrete and potentially applicable. The paper is self-contained in its geometric constructions, does not fit parameters to its conclusions, and gives a simple open-book proof of nontriviality of sphere twists. The central claim, however, rests on an unproved and nontrivial algebraic assertion about the twist subgroup of Diff_∂(#^n_b(S^2×[0,1])), so the significance is real but conditional on closing that gap.","major_comments":[{"comment":"The reduction from an arbitrary product of sphere twists to a product of powers of the n core sphere twists uses the sentence 'Recall that every σ_{γ_i} is a composition of twists along the boundary spheres S_1,S_2,...,S_n and Twist(V^n)=(Z_2)^n.' Neither half of this statement is proved or given a precise reference. Proposition 2.2 only records the single relation that the product of twists along the n+1 boundary spheres of D^3_n is isotopic to the identity; it does not identify the full twist subgroup. If Twist(V^n) is larger than (Z_2)^n, or if the core twist generators satisfy additional relations, then ∏σ_{γ_i}^{α_i} need not collapse to an independent product of core twists, and the conclusion that OB(V^n,∏σ_{γ_i}^{α_i}) is diffeomorphic to (#^i S^2×S^2)#(#^j S^2~×S^2) with i+j=n is unsupported. This is the load-bearing step of Theorem 1.1 and should be proved or cited to a source that computes Twist(V^n).","section":"Section 3, proof of Theorem 1.1"},{"comment":"The claim that a sphere twist along a tubed sphere S_{ij} induces a Dehn twist along the curve γ_{ij} on the embedded page is stated as 'As observed before' but is not proved in the paper. This is the geometric bridge between the 3-dimensional page monodromy and the 4-dimensional sphere twists, and it is used for every curve γ_i in the monodromy presentation. A proof or a precise reference is needed; without it the passage from Dehn twists on Σ_{0,n+1} to sphere twists on V^n is not established.","section":"Section 3, proof of Theorem 1.1"},{"comment":"The proof relies on the assertion that 'S^2~×S^{n-1} is not spin' and hence that S^1×S^n#S^2~×S^{n-1} does not embed in R^{n+3}. This is not justified, and in the case n=2 it appears to be false: if S^2~×S^1 denotes the nontrivial S^1-bundle over S^2, then this is the Hopf fibration S^3, which is spin. More generally, non-spinness is not by itself an embedding obstruction into Euclidean space. The argument needs a correct invariant, or a restriction on n such that the stated nonembedding is true, or a different proof of nontriviality of the sphere twist.","section":"Section 4, proof of Theorem 1.3"}],"minor_comments":[{"comment":"The sentence 'Thus, Theorem 3.1 implies the following' should refer to Theorem 2.4, since the corollary follows from the open-book construction just proved together with Kastenholz's result.","section":"Section 2.5"},{"comment":"The text contains the placeholder 'Figure ***' when referring to the surgery diagram of a small Seifert manifold; an actual figure reference is needed.","section":"Section 3.2"},{"comment":"The statement of Lemma 4.1 uses the symbol '§' between S^1×D^n and S^n×[0,1], where the later proof indicates that a boundary connected sum is intended; this should be written as #_b or described in words.","section":"Section 4"},{"comment":"There are several typos, including 'recieved' and 'orienteable' in Section 1, and references [3] and [7] do not appear to be cited in the text.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The main theorem is interesting and likely correct, but the proof as written skips a nontrivial algebraic identification of the twist subgroup. If the authors can supply a proof or a precise reference for Twist(V^n)=(Z_2)^n and for the induced-Dehn-twist statement, the paper would be acceptable. The proof of Theorem 1.3 should be carefully rechecked, because the non-spin/nonembedding step is doubtful at least for n=2."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThe headline: this is a new and useful structural result. Theorem 1.1 — every closed orientable 3-manifold, presented as a planar open book, admits a codimension-1 spun embedding into a connected sum of n copies of S^2×S^2 and S^2~×S^2 — is clean and, as far as I can tell, genuinely new. The proof is geometric and mostly elementary: embed the page in V^n = #^n_b(S^2×[0,1]), realize Dehn twists on the page as sphere twists in V^n, then use relations among sphere twists to rewrite the monodromy as a product of core twists. The explicit examples (lens spaces, Seifert fibered spaces, and the Poincare sphere, which gets a spun embedding into #^8 S^2×S^2) are a real plus.\n\nWhat should worry you is the unproved 'Recall that Twist(V^n) = (Z_2)^n' in the proof of Theorem 1.1. This is load-bearing: without it, the reduction from an arbitrary product of sphere twists to a product of core twists fails, and the target manifold might not be W_{i,j}. The statement is true, and the authors can prove it with their own spinness trick — any non-empty product of core twists gives a non-spin open book, while the identity gives a spin one — but as written it is asserted without proof or citation. A referee should demand a lemma. This is a repairable gap, not a fatal flaw.\n\nThere is a smaller issue in the proof of Theorem 1.3. The line 'since S^2~×S^{n-1} is not spin, S^1×S^n#S^2~×S^{n-1} does not embed in R^{n+3}' is not justified. Spinness alone does not obstruct codimension-2 embeddings; the relevant obstructions for 4-manifolds, for instance, involve the intersection form and Euler characteristic. As stated, the argument is incomplete, and for some n the premise may even be false. This only affects the side theorem (non-triviality of sphere twists), which is likely obtainable by other means.\n\nThe citation pattern is honest; the paper builds on Hatcher–Wahl, Hsueh, and Kegel–Schmaschke without overclaiming. I recommend sending it to a serious referee. The main theorem deserves publication, but only after the twist-subgroup gap is closed and the proof of Theorem 1.3 is either fixed or replaced.","headline":"New structural result: every closed orientable 3-manifold admits a codimension-1 spun embedding into a sum of n S^2-bundles; the proof has a repairable gap about the twist subgroup.","tokens_in":16694,"tokens_out":36257,"would_cite":true,"duration_ms":294701,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K30","57K40","57R40","57R52"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every closed orientable 3-manifold admits a codimension-1 spun embedding into a connected sum of S^2×S^2 and the non-spin S^2-bundle over S^2, preserving its planar open book.","keywords":["embedding","open book","diffeomorphism","sphere twist map","push map","planar open book","codimension-1 embedding","3-manifold"],"falsifier":"Compute $\\mathrm{Diff}_\\partial(\\#^n_b(S^2\\times[0,1]))$ for $n=2$ or $n=3$ and test whether Proposition 2.2's boundary-sphere relation together with $\\sigma_{S_{ij}}=\\sigma_{S_i}^{-1}\\sigma_{S_j}^{-1}$ generates exactly $(\\mathbb{Z}_2)^n$; any extra relation or non-abelian generator would produce a monodromy word that cannot be collapsed to core sphere twists, directly upsetting Theorem 1.1 for some planar open book.","tokens_in":15585,"feed_emoji":"🌀","tokens_out":17058,"duration_ms":135713,"temperature":0.7,"pith_summary":"This paper proves that every closed orientable 3-manifold, presented as a planar open book with page a punctured sphere, admits a codimension-1 spun embedding into a 4-manifold built from $S^2 \\times S^2$ and $S^2 \\tilde{\\times} S^2$ summands. The embedding preserves the open book structure: the 3-manifold sits as the page of an ambient open book whose monodromy is a product of sphere twists. The proof turns each Dehn twist in the page monodromy into a twist along a tubed sphere in $V^n = \\#^n_b(S^2 \\times [0,1])$, then collapses the whole word to powers of the $n$ core sphere twists using the asserted relation $\\sigma_{S_{ij}} = \\sigma_{S_i}^{-1}\\sigma_{S_j}^{-1}$ and the assertion that the twist subgroup is $(\\mathbb{Z}_2)^n$. If these steps hold, every such 3-manifold spun embeds in exactly $n$ copies of $S^2 \\times S^2$ or $S^2 \\tilde{\\times} S^2$, with the parity of the exponents deciding which summand appears. The paper also gives explicit spun embeddings for lens spaces, small Seifert fibered spaces, and the binary icosahedral homology 3-sphere (the last into $\\#^8(S^2 \\times S^2)$), and proves non-triviality of sphere twists along non-separating spheres.","feed_headline":"Every closed 3-manifold fits in a sum of S^2-bundles","feed_subtitle":"Planar-page monodromy becomes sphere twists, so each 3-manifold sits in a connected sum of S^2-bundles.","key_machinery":"The central object is the sphere twist map $\\sigma_S$ along an embedded 2-sphere $S$, defined on a tubular neighborhood $S^2\\times[0,1]$ by $(y,t)\\mapsto(\\alpha(t)\\cdot y,t)$, where $\\alpha$ generates $\\pi_1(SO(3))\\cong\\mathbb{Z}_2$; it is supported near $S$ and induces a Dehn twist on a page that intersects $S$ in a curve. The matching open book lemma (Lemma 2.1) says $\\mathrm{OB}(S^2\\times[0,1],\\mathrm{id})=S^2\\times S^2$ and $\\mathrm{OB}(S^2\\times[0,1],\\sigma)=S^2\\tilde{\\times} S^2$, which converts algebraic data about the monodromy into the diffeomorphism type of the ambient 4-manifold. The other ingredient is the push map, obtained by pushing a sphere boundary component around a loop and back; it realizes the relators in the fundamental group construction and produces the $S^4$ and $S^5$ examples. The load-bearing identity is $\\sigma_{S_{ij}}=\\sigma_{S_i}^{-1}\\sigma_{S_j}^{-1}$ for a sphere obtained by tubing $S_i$ and $S_j$, together with the asserted reduction $\\mathrm{Twist}(V^n)=(\\mathbb{Z}_2)^n$, which lets every sphere-twist word be replaced by powers of the $n$ core sphere twists.","core_discovery":"Let $M = \\mathrm{OB}(\\Sigma_{0,n+1},\\varphi_M)$ be a closed orientable 3-manifold written as a planar open book. Theorem 1.1 claims that $M$ open book embeds in $W_{i,j} = (\\#^i S^2\\times S^2)\\#(\\#^j S^2\\tilde{\\times} S^2)$ for some $i,j$ with $i+j=n$, where the embedding restricts to a proper embedding of the page $\\Sigma_{0,n+1}$ into $V^n = \\#^n_b(S^2\\times[0,1])$ and intertwines the monodromies up to isotopy. The numbers $i$ and $j$ are read from a Dehn twist presentation of $\\varphi_M$: after identifying each boundary-parallel curve $\\delta_k$ with the core circle of the $k$-th copy of $S^1\\times[0,1]$, a twist along a curve homologous to $\\delta_i+\\delta_j$ is realized by a twist along the tubed sphere $S_{ij}$, with $\\sigma_{S_{ij}} = \\sigma_{S_i}^{-1}\\sigma_{S_j}^{-1}$. Since the paper asserts $\\mathrm{Twist}(V^n)=(\\mathbb{Z}_2)^n$, any product of such sphere twists reduces to $\\prod_{q=1}^n \\sigma_{S_q}^{\\beta_q}$, and Lemma 2.1 identifies each summand as $S^2\\times S^2$ or $S^2\\tilde{\\times} S^2$ according as $\\beta_q$ is even or odd.","pith_inferences":["The paper leaves implicit that even if the exact $(\\mathbb{Z}_2)^n$ assertion fails, the same construction on $V^N$ for $N\\ge n$ would embed $M$ in a connected sum with $N$ summands, so the load-bearing content is the minimal number of $S^2$-bundle summands rather than existence of some spun embedding.","A testable extension is to apply the parity condition $\\sum_i c_{ij}\\alpha_i\\equiv 0\\pmod 2$ for a spin target to arbitrary planar open books; this converts the embedding problem into a linear algebra check over $\\mathbb{Z}_2$ on the Dehn twist word.","The non-triviality proof suggests a transferable invariant: any relative diffeomorphism whose mapping torus is non-spin while the identity mapping torus is spin is automatically non-trivial, a cheap detection tool for twist maps in settings where classical invariants vanish."],"forward_implications":["Every closed orientable 3-manifold admits a codimension-1 spun embedding into a connected sum of $n$ copies of $S^2\\times S^2$ or $S^2\\tilde{\\times} S^2$, where $n$ is the number of strands in a surgery presentation.","The parity of the exponents $\\beta_q$ in the collapsed monodromy decides the target: even exponents contribute $S^2\\times S^2$ and odd exponents contribute $S^2\\tilde{\\times} S^2$.","Lens spaces $L(p,q)$ spun embed in $\\#^k S^2\\times S^2$ when all continued-fraction coefficients $a_i$ are even, and in $\\#^k S^2\\tilde{\\times} S^2$ otherwise.","The binary icosahedral homology 3-sphere spun embeds in $\\#^8(S^2\\times S^2)$, a concrete improvement over previously known embeddings of that manifold in spin 4-manifolds.","Every finitely presented group is the fundamental group of a closed oriented 4-manifold with simplicial volume zero, obtained as a 4-dimensional open book with push-map monodromy."],"supporting_citations":[{"why":"Establishes that every closed orientable 3-manifold is obtained by ±1 surgery along a link of unknots, the input for the planar open book.","marker":"[21]"},{"why":"The companion surgery representation theorem, used together with [21] to start the construction.","marker":"[28]"},{"why":"Supplies the lemmas converting 0- and ±1-surgery along a page into open book modifications, yielding the page and monodromy.","marker":"[8]"},{"why":"Constructs planar open book decompositions from pure braid presentations of surgery links, giving the planar open book used in Theorem 1.1.","marker":"[23]"},{"why":"Provides the relation that the composition of twists along boundary spheres of $D^3_n$ is isotopic to identity, used to simplify sphere twist words.","marker":"[12]"},{"why":"Provides the planar open book recipe for lens spaces from continued fractions, used in Theorem 3.2.","marker":"[27]"},{"why":"Identifies push-map open books including $\\mathrm{OB}(W^n, P^n)=S^{n+1}$ and 4-dimensional open book constructions used for the $S^4$ targets.","marker":"[13]"},{"why":"Gives simple open book decompositions of $S^5$ with prescribed binding, used for the codimension-1 embedding in $S^5$.","marker":"[25]"}],"fun_headline_variants":["All closed 3-manifolds embed in S^2-bundle sums via open books","Sphere twist maps yield spun embeddings for every closed 3-manifold","Every 3-manifold fits a codim-1 spun embedding in S^2×S^2 sums","Open book monodromy becomes sphere twists: 3-manifold embedding","Codim-1 spun embeddings: all 3-manifolds in S^2-bundle connected sums"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the paper's unproved 'Recall' that the twist subgroup of $\\mathrm{Diff}_\\partial(V^n)$, for $V^n=\\#^n_b(S^2\\times[0,1])$, is exactly $(\\mathbb{Z}_2)^n$ and that a twist along a tubed sphere $S_{ij}$ equals $\\sigma_{S_i}^{-1}\\sigma_{S_j}^{-1}$; if that subgroup is larger or non-abelian, the page monodromy cannot in general be collapsed to powers of the $n$ core sphere twists, and the claimed embedding in $W_{i,j}$ need not follow.","fun_headline_variants_meta":{"raw":{"variants":["All closed 3-manifolds embed in S^2-bundle sums via open books","Sphere twist maps yield spun embeddings for every closed 3-manifold","Every 3-manifold fits a codim-1 spun embedding in S^2×S^2 sums","Open book monodromy becomes sphere twists: 3-manifold embedding","Codim-1 spun embeddings: all 3-manifolds in S^2-bundle connected sums"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000254,"raw_usage":{"total_tokens":1616,"prompt_tokens":1039,"completion_tokens":577,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":655,"completion_tokens_details":{"reasoning_tokens":459}},"tokens_in":655,"tokens_out":577,"duration_ms":5016,"temperature":1.0,"reasoning_tokens":459,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T16:22:23.050749+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $\\mathrm{Diff}_\\partial(\\#^n_b(S^2\\times[0,1]))$ for $n=2$ or $n=3$ and test whether Proposition 2.2's boundary-sphere relation together with $\\sigma_{S_{ij}}=\\sigma_{S_i}^{-1}\\sigma_{S_j}^{-1}$ generates exactly $(\\mathbb{Z}_2)^n$; any extra relation or non-abelian generator would produce a monodromy word that cannot be collapsed to core sphere twists, directly upsetting Theorem 1.1 for some planar open book.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes that every closed orientable 3-manifold is obtained by ±1 surgery along a link of unknots, the input for the planar open book."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The companion surgery representation theorem, used together with [21] to start the construction."},{"cited_title":"Onaran,Planar open book decompositions of3-manifolds, Rocky Mountain Journal of Math- ematics, 2014;4(5): 1621-1630","cited_arxiv_id":null,"evidence_quote":"Constructs planar open book decompositions from pure braid presentations of surgery links, giving the planar open book used in Theorem 1.1."},{"cited_title":"Hatcher, N","cited_arxiv_id":null,"evidence_quote":"Provides the relation that the composition of twists along boundary spheres of $D^3_n$ is isotopic to identity, used to simplify sphere twist words."},{"cited_title":"Sch¨ onenberger,Planar open books and symplectic fillings, PhD","cited_arxiv_id":null,"evidence_quote":"Provides the planar open book recipe for lens spaces from continued fractions, used in Theorem 3.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Identifies push-map open books including $\\mathrm{OB}(W^n, P^n)=S^{n+1}$ and 4-dimensional open book constructions used for the $S^4$ targets."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives simple open book decompositions of $S^5$ with prescribed binding, used for the codimension-1 embedding in $S^5$."}],"review_version":2}