{"id":"cdda4ebd-b799-4b0b-8ae0-5cc593d8793d","arxiv_id":"2411.16601","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Focus-focus fibers of semitoric systems are displaceable when the straightened momentum polytope leaves enough room, and the paper classifies all fibers in three example families.","lead":"The authors extend McDuff's method of probes from toric to semitoric integrable systems and use it to decide which fibers of these systems can be displaced by Hamiltonian flows. Their classifications cover the coupled spin-oscillator, coupled angular momenta, the Kepler problem on S2 x S2, and a semitoric octagon system.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.5 conflates the original semitoric fibration with the toric fibration obtained by a nodal trade; no argument shows the affine rectangle lifts to a symplectic D(R) x D(h) containing the focus-focus fiber.","rationale":"The reader's weakest assumption correctly identifies Lemma 3.5's lifting problem: the affine rectangle in a representative of the polytope invariant must become a genuine symplectic product in the manifold after nodal trade, and the focus-focus fiber must lie in the inner square. My reading agrees, and I find no separate concern that would move the verdict away from CONDITIONAL. The gap is real but not yet demonstrated to be a contradiction: it is possible that a careful tracking of the nodal-trade symplectomorphism would justify Lemma 3.5, and the examples in Section 4 might satisfy the required inclusion. The secondary flaw in Proposition 4.14 is a genuine numerical error, but it does not affect the main classifications because Lemma 4.16 gives a stronger result independently. Therefore the appropriate verdict remains conditional: the paper's central claims are plausible and the applications are concrete, but the proof of the key lemma omits the one step that connects the polytope-invariant geometry to the symplectic product needed for McDuff-type displacement. A single explicit verification in a model example would settle whether the gap is merely expository or fatal.","tokens_in":39082,"tokens_out":9291,"duration_ms":87611,"concrete_test":"Work out the nodal trade explicitly for the coupled spin-oscillator (or, if a compact check is preferred, the octagon perturbation with h < 1). Starting from the representative of the polytope invariant satisfying Lemma 3.5's hypotheses, apply Lemma 2.15 to produce the traded toric base and then use the symplectomorphism of Theorem 2.16 between the original and traded total spaces. Verify directly whether the image of the original focus-focus fiber is contained in the preimage of [0,h] x [0,h] under the traded toric moment map, and whether the affine rectangle [0,R] x [0,h] embeds symplectically as D(R) x D(h) in the traded toric manifold. If the inclusion fails, Lemma 3.5 is false; if it holds in these examples, the paper still needs a proof that the nodal-trade symplectomorphism respects the required product embedding.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central displacement mechanism rests on Lemma 3.5, whose proof is one sentence: after applying a nodal trade, the semitoric system 'becomes a toric fibration pi : (M, omega) -> R^2' and the focus-focus fiber lies in pi^{-1}([0,h] x [0,h]). This is not what the cited nodal-trade results provide. Lemma 2.15 and Theorem 2.16 compare almost toric bases and give a symplectomorphism between the total spaces of the traded models, not a toric fibration on the original (M, omega, F). To conclude displacement of F^{-1}(c), one must show that the symplectomorphism sends the traded toric preimage pi^{-1}([0,h] x [0,h]) onto a subset of (M, omega) that contains the original focus-focus fiber. The paper never proves this inclusion, nor does it prove that the affine rectangle [0,R] x [0,h] in the representative of the polytope invariant survives the trade as an embedded product D(R) x D(h) with action-angle coordinates valid across the former singular corner. Since every application in Section 4 uses Lemma 3.5 to displace focus-focus fibers, this gap is load-bearing. A secondary internal issue is Proposition 4.14: the estimate |H_t - H| <= 4(1-t) gives intervals [c - 4(1-t), c + 4(1-t)] of length 8(1-t); to be disjoint for the chosen c's, spaced 1/(2N) apart, one needs 8(1-t) < 1/(2N), but the stated threshold only gives 1-t ~ 1/2^{N+2}, which is too weak. This proposition is superseded by Lemma 4.16, so it is not the main concern, but it confirms that the paper contains unverified numerical claims.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a generalization of McDuff's method of probes to semitoric integrable systems on four-manifolds. The main theoretical results are Theorem 1.1, asserting that a focus-focus fiber containing at least two focus-focus points is nondisplaceable because it contains embedded Lagrangian spheres, and Theorem 1.2/Lemma 3.5, giving a sufficient condition, expressed through a rectangle in a representative of the polytope invariant, under which a focus-focus fiber of multiplicity one is displaceable after a nodal trade. These tools are then applied to three families: the coupled spin-oscillator, the coupled angular momenta including the Kepler problem, and a semitoric perturbation of the octagon toric system. For each family the paper gives a complete or nearly complete classification of displaceable and nondisplaceable fibers, including stem-type nondisplaceable fibers in the Kepler and octagon examples.","tokens_in":39445,"tokens_out":12682,"duration_ms":129166,"significance":"If the central displacement criterion is correct, the paper introduces a useful and broadly applicable method for semitoric systems, connecting polytope invariants with symplectic rigidity. The nondisplaceability result for multi-pinched focus-focus fibers is simple but elegant and is proved by a clean topological argument. The explicit classifications in Section 4, in particular the stem result at the Kepler parameter t0 and the octagon analysis, would be valuable additions to the symplectic topology of integrable systems. The paper is generally well organized and the appendix computation of the polytope invariant for the octagon family is a concrete contribution. However, the central Lemma 3.5 is proved in a single sentence and relies on an unverified passage from polytope-invariant rectangles to symplectic product embeddings after nodal trade; since all Section 4 applications use this lemma, the central claim needs substantial additional justification.","major_comments":[{"comment":"The proof of Lemma 3.5 is one sentence: 'After applying a nodal trade ... the semitoric system ... becomes a toric fibration π : (M,ω) → R2 ... F^{-1}(c) is contained in π^{-1}([0,h]×[0,h]).' This is not justified by the cited results. Lemma 2.15 and Theorem 2.16 compare almost toric bases and assert that the associated total spaces are symplectomorphic; they do not directly produce a toric fibration on the original (M,ω) whose preimage contains the given focus-focus fiber. Moreover, the rectangle [0,R]×[0,h] lives in a representative of the polytope invariant, which is obtained by a straightening homeomorphism, and the paper does not show that this affine rectangle corresponds, after the trade, to a symplectic embedding D(R)×D(h) with action-angle coordinates valid across the former singular corner. Because Lemma 3.5 is used in every focus-focus displacement argument in Section 4, this is a load-bearing gap. A detailed proof, or a precise reformulation of the lemma with explicit hypotheses on the nodal trade and the inclusion of the focus-focus fiber, is required.","section":"§3.3, Lemma 3.5"},{"comment":"The disjointness estimate in Proposition 4.14 is not satisfied by the stated threshold. The intervals H_t(S_c) have length at most 8(1-t), while consecutive values in A are spaced by 1/(2N); disjointness requires 8(1-t) < 1/(2N), i.e. 1-t < 1/(16N). The hypothesis t > 1 - 1/2^{N+2} only gives 1-t < 1/2^{N+2}, which is insufficient for N=3 and N=4 (for example, when N=3 the maximal interval length is 1/4 while the spacing is 1/6). Since the proposition is stated for every N, the claimed bound is false as written; the correct sufficient bound is t > 1 - 1/(16N). Although Lemma 4.16 later supersedes the counting statement, Proposition 4.14 remains a stated result and must be corrected or removed.","section":"§4.2.3, Proposition 4.14"},{"comment":"Lemma 4.37, which is essential for the octagon classification when 1 < h ≤ 3/2, is proved only by saying that the proof is analogous to Lemma 4.34 'with the addition that one needs to do certain nodal slides'. The lemma does not specify which nodal slides are performed, why they preserve the fibers being displaced, or how the probe lengths behave after the slides. Lemma 4.38 is likewise dispatched as 'analogous to Lemma 4.29'. These lemmas feed directly into Corollaries 4.40 and 4.41 and Proposition 1.6, so the octagon results for h>1 are not established by the present text. Full proofs, or precise references to the nodal-slide statements used, are needed.","section":"§4.3.6, Lemmas 4.37 and 4.38"},{"comment":"The proof of Proposition 4.11 invokes a nodal slide that 'makes the segment of the eigenline as small as possible while preserving the fiber' and then identifies the resulting torus with the fiber (x,x) of the system for a parameter t̃>t. It is not demonstrated that the given Lagrangian fiber is preserved by the nodal slide, nor that the Hamiltonian value y remains in the range under the identification with the system at t̃. Since Theorem 4.12, the stem result at t=t0, depends on Proposition 4.11, this step needs a precise argument or a citation establishing the invariance of the Chekanov-type torus under the slide and under the parameter change.","section":"§4.2.2, Proposition 4.11 and Theorem 4.12"}],"minor_comments":[{"comment":"Theorem 1.2 is stated informally as 'enough space, in the sense of Figure 1.2'; the actual content is in Lemma 3.5. It would be clearer to state a precise theorem with the rectangle hypotheses and the nodal-trade conditions.","section":"§1.1, Theorem 1.2"},{"comment":"The phrase 'at least 2N−1+1 nondisplaceable fibers' is confusing: the set A in the proof has 2^N elements, so the intended lower bound is presumably 2^N−1+1 or simply 2^N. Please correct the notation.","section":"§4.2.3, Proposition 4.14"},{"comment":"The matrix A is written as belonging to GL(n,Z), but in this four-dimensional setting it should be GL(2,Z).","section":"Equation (4.3)"},{"comment":"The claim that Ψ is Hamiltonian because it is the time-1 map of a suitable normalization of G should be written out with the correct sign conventions for the symplectic form ω = −(R1ωS2 ⊕ R2ωS2); this would help the reader verify the Hamiltonian vector field computation.","section":"§4.2, Proposition 4.4"},{"comment":"The statement that 'any integrable system' on a symplectic 4-manifold has a nondisplaceable fiber relies on existence of a partial symplectic quasi-state; the theorem as quoted omits the compactness/rationally-conditioned hypotheses from the cited sources. Adding a short qualification would avoid overstatement.","section":"§2.13, Theorem 2.33"}],"recommendation":"major_revision","confidential_remarks":"The central framework of the paper is promising, and the applications are interesting, but the nodal-trade passage in Lemma 3.5 is currently the main proof gap. I do not see evidence of citation or novelty problems; the reliance on prior work by the same authors and Alonso's thesis is natural for this material. The paper is appropriate for math.SG, and the result would be publishable after the central gap and the smaller technical issues are addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nRead this one if you care about symplectic rigidity outside the toric world. The authors extend McDuff's probe method to semitoric systems, using representatives of the polytope invariant and nodal trades to displace focus-focus fibers, and they prove nondisplaceability for multi-pinch fibers via embedded Lagrangian spheres. The three examples (spin-oscillator, coupled angular momenta, octagon) give complete fiber classifications that are new and plausible.\n\nThe key idea is not a routine translation. Cuts from focus-focus values act as barriers, and the rectangle condition for displacing a neighborhood of the fiber is a genuine modification. That part is good.\n\nThe soft spot is Lemma 3.5, and it is load-bearing. The proof says that after a nodal trade \"the semitoric system becomes a toric fibration π:(M,ω)->R^2\" with the focus-focus fiber inside π^{-1}([0,h]×[0,h]). That is not what the cited results (Symington 2.15/2.16) give. They give a symplectomorphism between the total spaces of the traded models, not a toric fibration on the original (M,ω,F). To displace F^{-1}(c), one needs to know that the symplectomorphism sends the traded rectangle to a set containing the original fiber. The paper does not prove that. As written, every focus-focus displacement in Section 4 inherits this gap.\n\nThere is also a smaller bug in Proposition 4.14: the estimate |H_t-H|≤4(1-t) makes intervals of length 8(1-t), but the points in A are spaced 1/(2N) apart; the stated threshold gives 8(1-t)<1/2^{N-1}, not 1/(2N). So the claimed number of nondisplaceable fibers is not established. The authors themselves supersede this with Lemma 4.16, but it shows the paper contains unverified numerical claims.\n\nOn the positive side, Theorem 1.1 (multi-pinch fibers nondisplaceable) is simple and correct. The use of Kawasaki–Orita pseudoheavy fibers plus superheavy toric fibers to pin down nondisplaceable fibers in the octagon is sound. The classifications are likely correct and would be a useful reference.\n\nThis deserves a serious referee. I would send it out, but tell the referee to focus on the nodal-trade lifting in Lemma 3.5. If that can be repaired, the paper will be a solid contribution. As it stands, the main displacement theorem is not proven.","headline":"Worth refereeing: the semitoric probe idea is novel and the fiber classifications are valuable, but Lemma 3.5's nodal-trade step is a real gap that must be fixed.","tokens_in":40001,"tokens_out":5016,"would_cite":false,"duration_ms":67074,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D12","57R17","70H06","53D40","53D20"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves a rectangle criterion for displacing focus-focus fibers of semitoric systems and classifies fiber (non)displaceability in three example families.","keywords":["semitoric integrable systems","focus-focus fibers","displaceability","method of probes","polytope invariant","nodal trade","Lagrangian spheres","symplectic quasi-states"],"falsifier":"Exhibit a semitoric system whose polytope invariant contains the rectangle $[0,R]\\times[0,h]$ with $h<R/2$ but whose single focus-focus fiber is provably nondisplaceable, for instance by showing the fiber is superheavy for a symplectic quasi-state or by computing a nonzero Lagrangian Floer obstruction.","tokens_in":38838,"feed_emoji":"📐","tokens_out":11245,"duration_ms":88500,"temperature":0.7,"pith_summary":"This paper extends the probe method, a polytope-based technique for proving that certain Lagrangian fibers can be displaced by Hamiltonian diffeomorphisms, from toric systems to semitoric integrable systems. It proves two opposing statements about focus-focus fibers, the singular fibers that distinguish semitoric from toric systems. A focus-focus fiber containing two or more focus-focus points is nondisplaceable, because it contains an embedded Lagrangian sphere. A focus-focus fiber containing a single focus-focus point is displaceable whenever a representative of the polytope invariant contains an affine rectangle $[0,R]\\times[0,h]$ with $h<R/2$, after a nodal trade makes the corner Delzant. Applying this rectangle criterion to three families, namely the coupled spin-oscillator, the coupled angular momenta (including the Kepler problem), and the semitoric octagon, yields complete (non)displaceability classifications of their fibers.","feed_headline":"A rectangle rule decides which semitoric fibers are displaceable","feed_subtitle":"Single focus-focus fibers move when a polytope rectangle has height less than half its width.","key_machinery":"The central machinery is the polytope invariant of a semitoric system: the momentum image, cut along vertical rays through focus-focus values and straightened by a homeomorphism that is affine away from the cuts. In a representative, a single focus-focus value creates a corner; a nodal trade, which is a surgery operation on almost toric bases, turns that corner into a Delzant corner and makes the system toric nearby. The rectangle $[0,R]\\times[0,h]$ in the straightened polytope encodes a symplectic embedding of the product of disks $D(R)\\times D(h)$, and the inequality $h<R/2$ is precisely the condition under which a compactly supported Hamiltonian on the big disk displaces every circle of radius up to $h$ (Lemma 2.24). On the nondisplaceability side, the load-bearing object is the focus-focus fiber as a chain of Lagrangian spheres: an embedded Lagrangian sphere has self-intersection $\\pm 2$, so it cannot be displaced even topologically. Symplectic quasi-states and pseudoheavy fibers appear as a second, Floer-theoretic tool for identifying the unique nondisplaceable stem fibers in the examples.","core_discovery":"The central claim is a dichotomy for focus-focus fibers in semitoric systems. If the fiber contains at least two focus-focus points, it is nondisplaceable: topologically it is a closed chain of embedded Lagrangian $2$-spheres, and an embedded Lagrangian sphere in a symplectic $4$-manifold cannot be displaced even by smooth maps homotopic to the inclusion (Proposition 3.3 and Theorem 1.1). If the fiber contains exactly one focus-focus point, displacement is controlled by the polytope invariant: after an integral affine transformation and a nodal trade that replaces the focus-focus corner by a Delzant corner, if the representative contains the affine rectangle $[0,R]\\times[0,h]$ with $0<h<R/2$, then the focus-focus fiber lies inside $\\pi^{-1}([0,h]\\times[0,h])$ for the traded toric fibration and is displaced by a compactly supported Hamiltonian built from the disk lemma (Lemma 2.24, Lemma 3.5, and Theorem 1.2). The paper then checks the rectangle condition in three explicit systems and determines which fibers are stems, which are displaceable, and, in the Kepler and octagon cases, how the answer changes with the height invariant.","pith_inferences":["A testable extension: the rectangle criterion is purely affine-geometric, so in any concrete semitoric system the (non)displaceability of a single focus-focus fiber could be decided by a finite computation from the polytope invariant and height invariant.","The Kepler transition at $t_0$ suggests a general bifurcation pattern: as the height invariant shrinks until the rectangle $[0,R]\\times[0,h]$ with $h<R/2$ no longer fits, the focus-focus fiber passes from displaceable to nondisplaceable; checking whether the octagon family exhibits the same transition as $h$ crosses $1$ would test this pattern.","The topological argument behind Theorem 1.1 applies to any integrable system whose singular fiber contains an embedded Lagrangian sphere, so the nondisplaceability of multiplicity-two focus-focus fibers likely survives in hypersemitoric and other more general settings."],"forward_implications":["Every focus-focus fiber containing at least two focus-focus points is nondisplaceable, since it contains an embedded Lagrangian sphere.","Any semitoric system whose polytope invariant contains the affine rectangle $[0,R]\\times[0,h]$ with $h<R/2$ has a displaceable focus-focus fiber, so the displacement question reduces to a check of the polytope invariant.","In the coupled spin-oscillator, every fiber, including the focus-focus fiber, is displaceable.","For coupled angular momenta with $R_1\\neq R_2$, exactly one fiber is nondisplaceable and it is a stem, while the focus-focus fiber is displaceable; for the Kepler problem $R_1=R_2$ the answer changes at a parameter value $t_0$, with the focus-focus fiber displaceable for $t<t_0$, a stem at $t=t_0$, and nondisplaceable together with infinitely many other fibers for $t>t_0$.","For the semitoric octagon system, the focus-focus fibers are displaceable when the height invariant satisfies $h<1$ and nondisplaceable when $1\\le h\\le 3/2$, and at $h=3/2$ the double focus-focus fibers are nondisplaceable by the embedded-sphere argument."],"supporting_citations":[{"why":"Supplies the probe lemma (Lemma 2.22) for displacing toric fibers, which the paper adapts to semitoric systems.","marker":"[McD11]"},{"why":"Supplies the disk displacement lemma (Lemma 2.24) used to move the inner square inside $D(R)\\times D(h)$.","marker":"[ABM14]"},{"why":"Establishes symplectic quasi-states and the existence of a nondisplaceable fiber (Theorem 2.33), used to identify stems in the examples.","marker":"[EP06]"},{"why":"Provides the classification of simple semitoric systems and the polytope invariant in which the rectangle condition is formulated.","marker":"[PV09]"},{"why":"Gives the straightening homeomorphism and polytope invariant via Theorem 2.18, and the monodromy computations used in Appendix A.","marker":"[Vu07]"},{"why":"Defines almost toric bases and nodal trades (Lemma 2.15 and Theorem 2.16) used to turn the focus-focus corner into a Delzant corner.","marker":"[Sym03]"},{"why":"Constructs the octagon semitoric family with four focus-focus singularities and double pinched tori studied in Section 4.3.","marker":"[DH21]"},{"why":"Computes the polytope invariant and height invariant for coupled angular momenta and the Kepler problem used in Section 4.2.","marker":"[ADH20]"},{"why":"Identifies Chekanov-type tori and their nondisplaceability, used to prove the infinite family of nondisplaceable fibers for $t>t_0$ in the Kepler problem.","marker":"[Aur07]"},{"why":"Describes focus-focus fibers as chains of Lagrangian spheres, the topological input behind Theorem 1.1.","marker":"[Zun96]"}],"fun_headline_variants":["Rectangle condition decides which semitoric fibers can move","Two focus-focus points pin a fiber, one may move","Semitoric fiber displacement: rectangle rule from probes","Probes give rectangle test for displacing semitoric fibers","A rectangle probe rule separates displaceable semitoric fibers"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the affine rectangle in a representative of the polytope invariant corresponds to an actual symplectic product of two disks inside the manifold, and that the nodal trade preserves that product embedding while moving the focus-focus fiber into the inner square.","fun_headline_variants_meta":{"raw":{"variants":["Rectangle condition decides which semitoric fibers can move","Two focus-focus points pin a fiber, one may move","Semitoric fiber displacement: rectangle rule from probes","Probes give rectangle test for displacing semitoric fibers","A rectangle probe rule separates displaceable semitoric fibers"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000515,"raw_usage":{"total_tokens":2442,"prompt_tokens":828,"completion_tokens":1614,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":444,"completion_tokens_details":{"reasoning_tokens":1533}},"tokens_in":444,"tokens_out":1614,"duration_ms":12977,"temperature":1.0,"reasoning_tokens":1533,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:58:38.728521+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a semitoric system whose polytope invariant contains the rectangle $[0,R]\\times[0,h]$ with $h<R/2$ but whose single focus-focus fiber is provably nondisplaceable, for instance by showing the fiber is superheavy for a symplectic quasi-state or by computing a nonzero Lagrangian Floer obstruction.","supporting_citations":[],"review_version":1}