{"id":"eb794e7c-e778-4aba-b2bd-469cedabb85b","arxiv_id":"2505.19343","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A handle-exchange construction produces new open book decompositions in all dimensions n≥3 and shows every trivial-monodromy open book stabilizes to a page made of trivial disk bundles over spheres.","lead":"This paper builds handle decompositions of high-dimensional manifolds that directly encode open book decompositions, then uses handle slides to produce new open books on the same manifold. This yields explicit stabilizations, new monodromies on standard pages, and a common-page stabilization result for trivial-monodromy open books.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.7's crucial split—that the handles left after exchange moves coincide with the induced decomposition on the exchanged page—is asserted without handle-by-handle verification; all subsequent theorems depend on it.","rationale":"The reader's weakest assumption and my concern coincide: Theorem 4.7's proof is a sketch at exactly the point where all later results bite. I read Definition 4.6 and the displayed 'Consequently' in the proof of Theorem 4.7 as the only justification for Corollary 4.8, and no detailed handle calculus argument is supplied there. Because the paper is otherwise explicit about handle decompositions, this is an addressable gap rather than an indication that the theorem is false; hence CONDITIONAL is the right verdict and no change is needed. I agree with the reader's identification, and I would not move the verdict. I also note the manuscript's own admission that Claim 2 in Theorem 1.3 is omitted; that is a distinct gap but secondary, since Theorem 1.3's existence statement does not need it.","tokens_in":17424,"tokens_out":15955,"duration_ms":149411,"concrete_test":"Take the minimal nontrivial case: page M = D^{n-1} with one canceling (k-1)- and k-handle pair, selection A = {k-handle}, monodromy id, for n = 4 and k = 2 (and repeat for n = 5, k = 2,3). Write out the induced decomposition h ∪_id h* on Ob(M,id), apply Definition 4.6 move-by-move, and compare the resulting handle counts and attaching regions with the decomposition induced by h^A on M^A = S^{n-k} × D^{k-1}. Concretely, verify that the moved dual (n-k)-handle is attached to the 0-handle by an identity map (GS99, Example 4.1.4(d)) and that the 'remaining handles' are exactly h^A plus (h^A)*. If any unselected handle's attaching sphere meets the belt sphere of the removed selected handle, the split asserted in Theorem 4.7 fails for that configuration.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing concern is the handle-by-handle split in the proof of Theorem 4.7. After the exchange moves of Definition 4.6, the proof states, without verification, that (a) the 0-handle, all 1-handles, the unselected handles, and the duals of selected handles form a handle decomposition of hob(M^A), and (b) the remaining handles—the n-handle, the (n-1)-handles, the selected handles, and the unselected duals—form a relative handle decomposition on (hob(M^A), DM^A). The argument only says 'Consequently... coincides with' and does not check the attaching spheres or handle counts. In particular, Definition 4.6's move (2) slides a selected page handle's attaching sphere into the n-handle; this is not a standard same-index handle slide, and the preservation of the diffeomorphism type asserted in Corollary 4.8 depends on the two moves together being allowable handle moves. The later theorems (1.1, 1.2, 1.3, 1.4) all invoke Corollary 4.8, so if the split is not justified in even one configuration, the main applications lose their foundation. A separate, explicitly admitted gap is the omitted proof of Claim 2 in Theorem 1.3 ('Since proofs of Claims 1 and 2 are similar, we omit the latter'); it affects the non-isotopy assertion, not the existence of the open books.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper develops a handle-calculus framework for open book decompositions in dimension at least three. It constructs a handle decomposition of the open book Ob(M, φ) from a handle decomposition h of the page M, defines a notion of 'exchangeable selection' of handles, and introduces 'exchange moves' consisting of handle slides that replace selected page handles by their dual handles. The main technical result (Theorem 4.7) asserts that these moves yield the induced handle decomposition of the open book whose page is the 'exchanged page' M^A and whose monodromy is a new map φ_A. Corollary 4.8 concludes that the underlying manifold is unchanged. From this the paper derives k-stabilizations and a middle-dimensional stabilization (Theorems 1.1 and 1.2), explicit open books on spheres with non-isotopic monodromies (Theorem 1.3), and a general stabilization result for trivial-monodromy open books to pages that are boundary connected sums of sphere times disks (Theorem 1.4 and Corollary 1.5).","tokens_in":17690,"tokens_out":4723,"duration_ms":41752,"significance":"The framework is potentially useful and original: it offers a uniform high-dimensional generalization of known stabilization operations and connects them to handle slides, recovering Quinn's almost-canonical pages and Harer's Hopf plumbing in special cases. The constructions are explicit and concrete, and the claimed applications are falsifiable and well stated. However, the central Theorem 4.7 is currently supported by a sketch argument, so the significance is conditional on a complete proof of the handle-by-handle identification of the two handle decompositions.","major_comments":[{"comment":"The sentence 'Consequently, the union of the 0-handle, all µ1 1-handles, the handles h^ℓ_i with (i,ℓ)∉A, and the dual handles h^{k*}_j with (j,k)∈A coincides with a handle decomposition on the half open book with the exchanged page M^A' is asserted without verifying that the attaching spheres, handle indices, and handle counts match the induced decomposition h^A constructed in Definition 4.3, nor that the dual handles' attaching maps after the slides are those prescribed by Lemma 3.5 for the exchanged page. Because every subsequent statement (Corollary 4.8, Theorems 1.1, 1.2, 1.3, 1.4) relies on this identification, the proof needs a handle-by-handle verification or a precise reference to a lemma that establishes the split.","section":"Section 4, proof of Theorem 4.7"},{"comment":"The exchange move (2) slides the attaching sphere of a selected page handle h^k_j into the n-handle, which is not a standard same-index handle slide; the paper appeals to [GS99] for preservation of diffeomorphism type, but for the slide to be an allowable handle move one must express it as a sequence of slides in the dual decomposition or verify that the resulting attaching data is obtained by legitimate handle slides. Without this justification, the diffeomorphism-type statement of Corollary 4.8 is not established for the two moves in combination.","section":"Section 4, Definition 4.6"},{"comment":"The proof of non-isotopy omits Claim 2 ('Since the proofs of Claims 1 and 2 are similar, we omit the latter'). The page (S^{k-1}×D^{n-k}) ♮ (S^{n-k}×D^{k-1}) is not symmetric under the map k ↦ n−k+1 when k ≤ n/2, so Claim 2 is not a formal consequence of Claim 1 and the homology computation for τ_{n-k+1} must be supplied for the theorem's conclusion.","section":"Section 5, proof of Theorem 1.3"}],"minor_comments":[{"comment":"The phrase 'Hopf plumings' should be 'Hopf plumbings', and the spelling of 'stabilization' is inconsistent in a few places.","section":"Introduction"},{"comment":"The selection condition depends on the chosen handle decomposition h; the paper should clarify whether M^A is intended to depend on h or to be independent up to diffeomorphism, and if the latter, provide a proof.","section":"Definition 4.1"},{"comment":"The schematic in Figure 6 would benefit from more detailed labeling of the handles before and after the exchange moves, so that the reader can follow which handle is slid along which path.","section":"Figure 6"},{"comment":"The convention for the orientation-reversing gluing map φ : ∂X → ∂X is terse; a sentence explaining the orientation convention in the double construction would improve readability.","section":"Definition 2.4"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is well-organized and the writing is mostly clear. The main reasons for major revision are the sketch-level proof of Theorem 4.7 and the omitted Claim 2; both are fixable in revision. I would not recommend rejection, as the construction appears sound and the applications are interesting."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me cut to the chase: this paper has a genuinely new construction—handle exchange moves on open books—and several concrete payoffs, but the proof of the central theorem is a sketch, not a complete argument. I'd engage with it, but not before the author fills in the missing handle-by-handle verification.\n\nWhat's actually new: the exchange-move construction (Def 4.6, Thm 4.7) is not in the literature. It gives an explicit way to change the page and monodromy without changing the underlying manifold, and it recovers Quinn's almost-canonical pages and the familiar contact stabilizations as special cases. The explicit monodromies on barbell pages in Thm 1.3, and the common-page stabilization for trivial monodromy in Thm 1.4/Cor 1.5, are new results that would be useful. The paper is well-written, honest about its dependencies, and the reliance on the author's earlier Lemma 2.8 is legitimate.\n\nThe soft spot is Theorem 4.7. The proof asserts that after the exchange moves, the leftover handles split into a handle decomposition of hob(MA) plus a relative handle decomposition on (hob(MA), DMA). That split is the whole game: it's what makes the diagram in Figure 7 commute and what Cor 4.8 and all later theorems rest on. But the proof doesn't verify handle-by-handle that the attaching spheres and handle counts line up. In particular, move (2) in Def 4.6 slides a selected page handle's attaching sphere into the n-handle; that's not a standard same-index handle slide, and the diffeomorphism-type claim depends on the two moves together being allowable. This is a real gap, not a manufactured one. It looks addressable—the pieces plausibly fit—but a rigorous version needs the details.\n\nA smaller issue: Theorem 1.3 explicitly omits the proof of Claim 2 ('we omit the latter'). That omission affects the non-isotopy assertion, not the existence of the open books, but a referee should ask for it.\n\nBottom line: this is a promising contribution with a load-bearing sketch in the middle. The intended reader is someone working in open books, contact topology, or high-dimensional handle calculus; they'll find the construction valuable once the proof is solid. I'd send it to a serious journal, but conditional on a major revision that fills in Thm 4.7 and Claim 2.","headline":"Genuinely new handle-exchange construction, but the main theorem is a sketch that needs to be filled in before the applications are fully load-bearing.","tokens_in":18251,"tokens_out":2666,"would_cite":false,"duration_ms":23793,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K45","57M50"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes that exchange moves on an open book's handle decomposition change the page and monodromy in a controlled way while leaving the underlying manifold unchanged, recovering stabilizations and reducing trivial-monodromy…","keywords":["handle calculus","open books","stabilization","monodromy","handle slides","boundary connected sum","trivial monodromy","exchanged page"],"falsifier":"Take a page with one 1-handle and one 2-handle in canceling position, select the 2-handle, and carry out the exchange moves. The theorem predicts that the leftover handles form a handle decomposition of the half open book on the exchanged page, with the 2-handle replaced by $S^{n-2} \\times D^1$; drawing the attaching spheres after the exchange and checking the handle count and attaching maps against Table 1 would settle whether Theorem 4.7 holds in the simplest nontrivial case.","tokens_in":17198,"feed_emoji":"🧩","tokens_out":8593,"duration_ms":73544,"temperature":0.7,"pith_summary":"This paper produces handle decompositions that encode open book decompositions of $n$-manifolds for $n \\geq 3$, and then shows that certain handle slides, called exchange moves, turn one open book into a different open book on the same underlying manifold. The main technical statement, Theorem 4.7, says that an exchangeable choice of handles on the page replaces those handles by complementary disk-bundle summands and produces a new page with a new monodromy, while the ambient manifold does not change. Because handle slides never change the manifold, this gives a uniform explanation of known stabilization operations for open books, and yields explicit new sphere open books with non-isotopic monodromies. As an application, every open book with trivial monodromy in dimension at least four can be stabilized so that its page is a boundary connected sum of trivial disk bundles over spheres.","feed_headline":"Sliding handles builds new open books on the same manifold","feed_subtitle":"In every dimension n≥3, a handle exchange replaces a page handle by a dual product and keeps the manifold fixed.","key_machinery":"The central object is the exchange move, applied to the induced symmetric handle decomposition $h \\cup_{\\varphi} h^{*}$ of $\\operatorname{Ob}(M, \\varphi)$. A selection $A$ picks handles of index at least two whose monodromy restriction is isotopic to the identity; an exchangeable selection means no unselected handle is forced to intersect a selected handle's belt sphere. For each selected $k$-handle, the move slides the attaching sphere of its dual, an $(n-k)$-handle, into the $0$-handle and slides the selected handle itself into the $n$-handle, which replaces the handle by a boundary connected summand $S^{n-k} \\times D^{k-1}$. The exchanged page $M^A$ is the page obtained by performing these replacements, and Theorem 4.7 gives the new monodromy $\\varphi_A$ by patching the old monodromy on unselected handles with the new attaching data on the summands.","core_discovery":"On the paper's own terms, the central discovery is that handle slides on the open book's handle decomposition are not merely moves that preserve the manifold: they are moves that change the page and monodromy in a controlled way. Given an open book $(M, \\varphi)$ and a handle decomposition $h$ of $M$, choose a 'selection' $A$ of handles of index at least $2$ on which $\\varphi$ is isotopic to the identity. The exchange move slides the dual of each selected handle into the $0$-handle and the selected handle into the $n$-handle; Theorem 4.7 asserts that the result is the handle decomposition of $\\operatorname{Ob}(M^A, \\varphi_A)$ induced by the exchanged page $M^A$, whose handle decomposition $h^A$ is obtained by replacing each selected $k$-handle with an $S^{n-k} \\times D^{k-1}$ boundary summand. Hence $\\operatorname{Ob}(M, \\varphi)$ and $\\operatorname{Ob}(M^A, \\varphi_A)$ are diffeomorphic. From this, Theorems 1.1 and 1.2 recover $k$-stabilizations and middle-dimensional stabilizations, Theorem 1.3 gives explicit sphere open books with non-isotopic monodromies, and Theorem 1.4 reduces trivial-monodromy open books to boundary connected sums of disk bundles over spheres.","pith_inferences":["If Theorem 4.7 is correct, exchange moves give a purely smooth handle-calculus proof of stabilizations that contact geometry usually produces via Weinstein handles and Dehn–Seidel twists, which may help transfer Giroux-style stabilization questions to higher-dimensional smooth topology.","The exchange construction suggests a duality on handle decompositions: selecting handles and then selecting the complementary dual handles may exchange the page again, potentially generating a graph of pairwise diffeomorphic open books; the paper does not explore this iteration.","The trivial-monodromy theorem can be read as a normal form in which page complexity is traded for monodromy complexity, so explicitly computing $\\sigma_\\mu$ in low dimensions could yield new handle diagrams for high-dimensional open books.","A testable extension would be to drop the exchangeability assumption and allow monodromy that is nontrivial on selected handles, asking whether a generalized move with compensating twists yields analogous stabilizations; Theorem 1.2 hints that such moves may exist."],"forward_implications":["For every open book in dimension $n \\geq 3$ and every $k \\in [2, n-1]$, there is a $k$-stabilization whose page is $M \\natural (S^{k-1} \\times D^{n-k}) \\natural (S^{n-k} \\times D^{k-1})$, with the new monodromy restricting to the old one, and the resulting open book is not equivalent to the original.","An odd-dimensional open book whose page has dimension $2\\ell$ admits a middle-dimensional stabilization with page $M \\natural (S^{\\ell} \\times D^{\\ell})$, matching a standard contact stabilization.","For each $n \\geq 3$ and $k \\in [2, n-1]$, the sphere $S^n$ admits explicit open books with page $(S^{k-1} \\times D^{n-k}) \\natural (S^{n-k} \\times D^{k-1})$; for $k \\leq \\lfloor n/2 \\rfloor$ the monodromies $\\tau_k$ and $\\tau_{n-k+1}$ are non-isotopic relative to the boundary.","Any open book with trivial monodromy in dimension $n \\geq 4$ can be stabilized to one whose page is $\\natural_{i=1}^{n-2} \\natural_{\\mu_i} (S^i \\times D^{n-1-i})$ for an explicit tuple $\\mu$, with the original manifold unchanged.","Two trivial-monodromy open books whose pages have equal Euler characteristic, or equal Euler characteristic modulo $2$ when the pages are even-dimensional, can be stabilized to open books with a common page."],"supporting_citations":[{"why":"Supplies the standard handle decomposition facts, including that handle slides preserve diffeomorphism type and the examples of attaching maps used throughout the proofs.","marker":"[GS99]"},{"why":"Provides the half-open-book construction and the induced handle decomposition from a page decomposition, as well as the 4-dimensional trivial-monodromy result generalized here.","marker":"[Hsu24]"},{"why":"Establishes existence of open books and almost canonical pages, which Remark 4.9 recovers as a consequence of the exchange moves.","marker":"[Qui79]"},{"why":"Defines Hopf plumbings, which the paper uses to identify the 2-stabilization with plumbing twice and to connect the constructions to 3-dimensional stabilization.","marker":"[Har82]"},{"why":"Introduces barbell diffeomorphisms and barbell manifolds, which the paper uses to identify the monodromies for the explicit sphere open books in Theorem 1.3.","marker":"[BG25]"},{"why":"Gives the contact stabilization via Weinstein handles and Dehn–Seidel twists that Theorem 1.2 parallels in the smooth setting.","marker":"[vK17]"},{"why":"Provides the 3-dimensional stable equivalence criterion for open books that motivates the paper's stabilization language and its comparison with known operations.","marker":"[GG06]"}],"fun_headline_variants":["Handle slides swap page, keep manifold, yield new open books","Handle slides reveal stabilizations on same manifold","Sliding handles changes open books, keeps n-manifold fixed","Open book stabilizations via handle slides reveal new pages","Trivial monodromy open books stabilize to disk bundles via slides"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that, after the exchange moves, the remaining handles split into a handle decomposition of the half open book on the exchanged page and a relative handle decomposition on its boundary; the proof of Theorem 4.7 states this split rather than verifying it handle-by-handle, and the central claim collapses if this split fails for some page.","fun_headline_variants_meta":{"raw":{"variants":["Handle slides swap page, keep manifold, yield new open books","Handle slides reveal stabilizations on same manifold","Sliding handles changes open books, keeps n-manifold fixed","Open book stabilizations via handle slides reveal new pages","Trivial monodromy open books stabilize to disk bundles via slides"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001042,"raw_usage":{"total_tokens":4358,"prompt_tokens":897,"completion_tokens":3461,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":3378}},"tokens_in":513,"tokens_out":3461,"duration_ms":23803,"temperature":1.0,"reasoning_tokens":3378,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:15:52.209394+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a page with one 1-handle and one 2-handle in canceling position, select the 2-handle, and carry out the exchange moves. The theorem predicts that the leftover handles form a handle decomposition of the half open book on the exchanged page, with the 2-handle replaced by $S^{n-2} \\times D^1$; drawing the attaching spheres after the exchange and checking the handle count and attaching maps against Table 1 would settle whether Theorem 4.7 holds in the simplest nontrivial case.","supporting_citations":[],"review_version":1}