{"id":"031c8249-98a0-4b05-8e95-2f5ef2b71b19","arxiv_id":"2506.06713","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For handlebody-knots with type 4-1 annuli, the symmetry group is Z2 or Z2 x Z2, and the exterior determines the handlebody-knot up to isotopy via annulus slopes.","lead":"This paper classifies the symmetry groups of genus-two handlebody-knots whose exteriors contain a certain type of annulus, and shows that for these knots the exterior determines the handlebody-knot by the slopes of its characteristic annulus. It also gives a new infinite family of inequivalent handlebody-knots with homeomorphic exteriors, generalizing the Lee-Lee family.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.9(3) is internally contradicted by Theorem 4.14 and Corollary 4.12: the m=−1 case also yields MCG≅Z2×Z2, so the advertised 'if and only if' criterion is false as written.","rationale":"The reader's weakest_assumption was the imported classification [20, Theorem 4.3], which is indeed a domain-of-validity risk for Theorems 1.9 and 1.10. My stress-test identifies a different, more immediately checkable correctness issue: the main symmetry criterion in Theorem 1.9(3) contradicts the paper's own Theorem 4.14 and Corollary 4.12 on the m=−1 case. This is an internal inconsistency, not a disagreement with consensus, and it is settled by a direct computation from Theorem 4.11. The reader mentioned the m=±1 discrepancy in the rationale but treated it as a possibly harmless typo; the computation shows it is a false 'if and only if' as stated, although the surrounding mathematics in Section 4 gives the correct ±1 version. Because the fix is a one-character amendment and does not affect Theorem 1.10, I would not change the conditional verdict; I would require the revision to state m=±1 and to disclose the dependence on [20] explicitly.","tokens_in":22198,"tokens_out":20211,"duration_ms":193732,"concrete_test":"Set m=−1 in Theorem 4.11 with p=0 and verify r1=r2=(4n−3) for a generic n (e.g., n=2). Then follow the proof of Corollary 4.12(ii)⇒(iii) for VL(0,−1,n,0) and check that the constructed homeomorphism swaps the boundary components of the annulus; if it does, Theorem 4.14 forces MCG≅Z2×Z2. Finally, search the identities of Section 3 for an orientation-preserving equivalence VL(∗,−1,n,0)≃VL(∗,1,n′,0). Since Lemma 3.1 only produces mirror equivalence, the absence of such an identity confirms that Theorem 1.9(3) must be amended to m=±1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.9(3) restricts the large symmetry group to V≃VL(∗,1,n,0), but Theorem 4.14 and Corollary 4.12 give the same conclusion for V≃VL(∗,±1,n,0). This is not a cosmetic difference. For p=0, Theorem 4.11 gives (r1,r2)=(Λm,Λ/m); with m=−1 and Λ=3−4n, both entries equal 4n−3, so r1=r2. Corollary 4.12 then implies a self-homeomorphism of (S3,V) swapping the two boundary components of the type 3-3 annulus, and Theorem 4.14 concludes MCG(S3,V)≅Z2×Z2. The proof of Corollary 4.12(ii)⇒(iii) explicitly constructs the swapping homeomorphism for both signs. The only way Theorem 1.9(3) survives is if VL(∗,−1,n,0) is orientation-preservingly equivalent to some VL(∗,1,n′,0); no such equivalence is proved, and Lemma 3.1(i) only gives mirror equivalence, which does not generally identify handlebody-knots. Thus the statement in the introduction is false for the m=−1 family, independently of the imported [20] classification.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies genus-two handlebody-knots whose exteriors contain a type 4-1 essential annulus, equivalently handlebody-knots induced by Eudave-Muñoz knots. After reviewing the tangle construction and establishing slope and determinant formulas, the authors classify the mapping class group: type M handlebody-knots have MCG(S^3,V) ≅ Z_2, and type K handlebody-knots have MCG(S^3,V) either Z_2 or Z_2 × Z_2, with the latter characterized in Theorem 4.14. They then prove that the slopes of the characteristic annuli determine the handlebody-knot among the type M and type K families, and they use this to exhibit infinite families of inequivalent handlebody-knots with homeomorphic exteriors and to identify Lee-Lee's second family with {VL(∗,−1,0,p)}. The proofs are explicit and computational, relying on the JSJ classification of [20] and on the Gordon-Luecke characterization of Eudave-Muñoz knots.","tokens_in":22530,"tokens_out":14406,"duration_ms":136072,"significance":"If the stated results are correct, the paper gives a complete symmetry classification and exterior determination theorem for a substantial class of genus-two handlebody-knots, namely those admitting type 4-1 annuli. The slope formulas in Lemmas 4.2, 4.4, 4.5, 4.8 and 5.5 are concrete and checkable, and Theorem 1.10 provides a sharp 'slope determines handlebody-knot' statement. The identification of Lee-Lee's family with a one-parameter subfamily of the left handlebody-knots is a useful clarification. The main caveats are that the classification's domain is imported from an unpublished preprint and that the statement of the symmetry criterion in the introduction is not consistent with the theorem proved in Section 4.","major_comments":[{"comment":"The introduction states that MCG(S^3,V) ≅ Z_2 × Z_2 if and only if (S^3,V) is equivalent to VL(∗,1,n,0), whereas Theorem 4.14 states the same conclusion for VL(∗,±1,n,0). Corollary 4.12 proves that r_1 = r_2 exactly for VL(∗,±1,n,0) and constructs a self-homeomorphism swapping the two boundary components of the type 3-3 annulus for both signs. If handlebody-knot equivalence is the standard orientation-preserving one, no proof is supplied that VL(∗,−1,n,0) is equivalent to some VL(∗,1,n′,0); Lemma 3.1(i) gives only a mirror equivalence. Therefore Theorem 1.9(3) is false as written unless the equivalence convention is stated to include mirrors, in which case that convention must be made explicit and justified. The two statements cannot both be correct as they stand.","section":"§1.4, Theorem 1.9(3); §4, Theorem 4.14 and Corollary 4.12"},{"comment":"Every proof in Sections 4 and 5 begins by invoking the dichotomy that an atoroidal handlebody-knot with a type 4-1 annulus is either type M or type K, and that type K is exactly the left family VL(∗,m,n,p). This classification is quoted from the same authors' arXiv preprint [20, Theorem 4.3] and is not proved in the present paper. Since Theorem 1.8 fixes the domain of the main theorems, the paper should either include a proof of Theorem 1.8 or replace the citation with a published, refereed version. As it stands, the main results are conditional in a load-bearing way on an unreviewed preprint.","section":"§1.3, Theorem 1.8; §3, Theorem 3.6"}],"minor_comments":[{"comment":"The expression 1∓3/2 should be typeset as (1∓3)/2; in the current rendering it can be misread as a non-integer fraction.","section":"§3, Corollary 3.4(ii)"},{"comment":"The paper should define explicitly what 'equivalent' means for handlebody-knots, indicating whether mirror images are allowed. This is especially important because the proof of Corollary 4.12 uses mirror identities from Lemma 3.1.","section":"§2"},{"comment":"The proof uses A_1 and A_2 before introducing them; these should be the characteristic annuli A_a and A_b defined earlier in the section.","section":"§4, Theorem 4.13"},{"comment":"The phrase 'Gordon-Lueke type theorem' contains a typo; the correct spelling is Gordon-Luecke.","section":"Page 6, after Theorem 1.10"}],"recommendation":"major_revision","confidential_remarks":"The inconsistency between Theorem 1.9(3) and Theorem 4.14 is local and appears fixable by correcting the introduction to read ±1 or by clarifying the equivalence convention. I do not recommend rejection on this basis. The dependence on [20] is a more substantive editorial concern: if that preprint is not yet accepted, the editor may wish to require a proof of Theorem 1.8 or an independent verification before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You asked about arXiv:2506.06713. Short version: worth a serious referee, and I believe the central arguments hold up, but the introduction contains an internal contradiction that has to be fixed.\n\nWhat is actually new: Theorem 1.9 (with Theorems 4.13 and 4.14) determines MCG(S^3,V) as Z2 or Z2×Z2 for handlebody-knots whose exteriors admit a type 4-1 annulus, and Theorem 1.10 (with Theorems 5.4 and 5.7) gives a Gordon–Luecke-type complement theorem: the slope(s) of the characteristic annulus/annuli determine the handlebody-knot. The slope computations in Sections 4 and 5 are explicit and careful. The Lee–Lee family identification in Corollary 1.11 is a genuinely nice interpretation. Theorem 1.12, sharpening the bound on non-characteristic annuli, is a solid add-on.\n\nThe soft spots, in proportion: the big one is the inconsistency between the introduction and the proofs. Theorem 1.9(3) says MCG ≅ Z2×Z2 if and only if V ≃ VL(∗,1,n,0). Theorem 4.14 says the same for VL(∗,±1,n,0), and Corollary 4.12 proves that r1 = r2 (and hence the swapping homeomorphism) for both signs. No equivalence between m = -1 and m = 1 is shown; Lemma 3.1(i) only gives mirror equivalence, which does not generally identify handlebody-knots. So as written, the “if and only if” in Theorem 1.9(3) is false for the m = -1 family. The natural fix is to write “±1” in the introduction, but the authors should address this explicitly.\n\nA secondary caveat: the domain of validity rests on Theorem 1.8, imported from the authors’ own preprint [20]. The type M / type K dichotomy is load-bearing. The paper is transparent about the dependence, but a referee should verify that [20] is solid or ask the authors to state the dependence more prominently. This is a structural dependence on unreviewed work, not a hidden assumption.\n\nThe citation pattern looks fine: Funayoshi–Koda, Wang, Lee–Lee, and Eudave-Muñoz are all cited appropriately, and the new results genuinely go beyond [10], [20], [30], and [32]. My overall take: the main theorems are new, the proofs are mostly concrete, and the error appears to be in the statement rather than the argument. This deserves peer review, not a desk rejection.","headline":"Solid handlebody-knot results with a real internal inconsistency in Theorem 1.9(3) that needs a one-line fix before publication.","tokens_in":23060,"tokens_out":3157,"would_cite":true,"duration_ms":31671,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K30","57M12","57K10","57K12"],"pacs":[],"model":"deepseek-v4-flash","headline":"For knotted handlebodies admitting type 4-1 annuli, characteristic slope data determine the handlebody, and the symmetry group is Z2 or Z2 × Z2.","keywords":["handlebody-knot","mapping class group","characteristic annulus","type 4-1 annulus","Eudave-Muñoz knot","JSJ decomposition","knot exterior problem","non-integral toroidal Dehn surgery"],"falsifier":"Find a non-trivial, atoroidal genus-two handlebody-knot whose exterior admits a type 4-1 annulus but whose mapping class group has order other than 2 or 4, or find two such handlebody-knots with identical characteristic slope data that are not isotopic.","tokens_in":21981,"feed_emoji":"🪢","tokens_out":7702,"duration_ms":70248,"temperature":0.7,"pith_summary":"This paper treats genus-two handlebody-knots in the 3-sphere whose exteriors contain a type 4-1 annulus, the case tied to non-integral toroidal Dehn surgery on hyperbolic knots. It claims that for every such handlebody-knot the symmetry group of the pair is finite and tiny: either the two-element group $\\mathbb{Z}_2$ or the four-element group $\\mathbb{Z}_2 \\times \\mathbb{Z}_2$, with the larger group occurring exactly for the left family $V_L(*,1,n,0)$. It further claims a rigidity result: two such handlebody-knots are isotopic if and only if the slopes of their characteristic annuli coincide, so the exterior determines the handlebody-knot within this class. As a corollary it produces infinite families of inequivalent handlebody-knots with homeomorphic exteriors, including an identification of the previously known second family of such examples. A sympathetic reader should care because these are complete answers to the finite symmetry-group classification and the exterior problem for a substantial infinite class of genus-two handlebody-knots.","feed_headline":"Exterior slopes determine knotted handlebodies","feed_subtitle":"For genus-two handlebody-knots with type 4-1 annuli, symmetry is at most Z2×Z2 and the exterior determines the body.","key_machinery":"The load-bearing object is the type 4-1 annulus: an essential annulus in the exterior whose boundary components are parallel in $\\partial V$ and which cuts off a solid torus $U$ whose complement in $\\partial V$ is an incompressible twice-punctured torus, with the remaining piece $W$ a handlebody. The paper's toolkit is the JSJ decomposition of handlebody-knot exteriors: the characteristic surface is a unique union of essential annuli, and its JSJ graph makes $V$ type M (an I-bundle over a once-punctured Möbius band, with two characteristic annuli) or type K (an I-bundle over a once-punctured Klein bottle, with one characteristic annulus). Slopes of these characteristic annuli are computed explicitly from tangle parameters $(l,m,n,p)$ via continued-fraction formulas and determinants of double branched covers; equality of slope data is then shown, case by case, to force equality of the parameters up to the allowed tangle moves. The symmetry classification runs through an injectivity argument for mapping classes preserving the characteristic annuli.","core_discovery":"The central claim is a classification and rigidity statement. Suppose $(S^3,V)$ is an atoroidal genus-two handlebody-knot whose exterior $E(V)$ admits a type 4-1 annulus. Then $\\mathrm{MCG}(S^3,V) \\cong \\mathrm{MCG}^+(S^3,V)$, and $\\mathrm{MCG}(S^3,V)$ is $\\mathbb{Z}_2$ when $V$ is of type M and $\\mathbb{Z}_2$ or $\\mathbb{Z}_2 \\times \\mathbb{Z}_2$ when $V$ is of type K; it is $\\mathbb{Z}_2 \\times \\mathbb{Z}_2$ precisely when $V$ is equivalent to $V_L(*,1,n,0)$ for some $n$. In parallel, the characteristic annulus, or annuli, of $E(V)$ carries a slope, or slope pair, and two such handlebody-knots are equivalent exactly when these slope data agree. Thus the exterior problem has a positive answer for this class: $E(V)$ determines $V$ up to isotopy, and the symmetry group is read off from the same slope data.","pith_inferences":["The equivalence between $\\mathrm{MCG} = \\mathbb{Z}_2 \\times \\mathbb{Z}_2$ and coincidence of the two vertical slopes suggests a general principle for cylindrical atoroidal handlebody-knots: the symmetry group is generated by the branched-cover involution plus, exactly when the characteristic slope pair has matching entries, a swap of the annulus boundary components; this could be tested on type 3-","Theorem 1.10 effectively gives a recovery algorithm from slope data, so the same slope formulas could be used to decide equivalence among all parameter values $V_R(l,m,n,p)$ and $V_L(l,m,n,p)$, turning the classification into a finite computation.","The infinite families $V_L(*,m,0,p)$ are natural candidates for studying which invariants of handlebody-knots are not determined by the exterior; one could ask whether quandle colorings or higher-order linking invariants distinguish the members.","If the imported type M/type K dichotomy were extended or corrected, the proof skeleton used here would immediately yield the same symmetry and exterior classification for the enlarged class."],"forward_implications":["Every handlebody-knot with a type 4-1 annulus has a finite symmetry group of order at most 4, and orientation-reversing symmetries cannot enlarge it: $\\mathrm{MCG} \\cong \\mathrm{MCG}^+$.","Within this class the exterior problem is solved: homeomorphic exteriors with the same characteristic slopes imply isotopic handlebody-knots, and the slopes are explicitly computable from $(l,m,n,p)$.","There are infinite families, such as $\\{V_L(*,m,0,p)\\}_{p\\in\\mathbb{Z}}$ for each $m\\neq 0,1$, of pairwise inequivalent handlebody-knots with homeomorphic exteriors; this generalizes and identifies the earlier second family.","The larger symmetry group $\\mathbb{Z}_2 \\times \\mathbb{Z}_2$ occurs exactly for $V_L(*,1,n,0)$, which is also precisely the case $r_1 = r_2$ where a self-homeomorphism swaps the boundary components of the type 3-3 annulus.","At most five, and at least four, of the infinitely many non-characteristic essential annuli of a type K exterior fail to be type 4-1, and this bound is attained."],"supporting_citations":[{"why":"Supplies the Eudave-Muñoz knot construction $K(l,m,n,p)$ with non-integral toroidal Dehn surgery and the tangle identities that the slope computations extend.","marker":"[7]"},{"why":"Proves that non-integral toroidal Dehn surgery, twice-punctured incompressible tori with non-integral slope, and Eudave-Muñoz knots are equivalent, linking type 4-1 annuli to this family.","marker":"[15]"},{"why":"Defines the four annulus types and establishes the correspondence between type 4-1 annuli and non-integral toroidal surgeries on hyperbolic knots.","marker":"[19]"},{"why":"Supplies the type M/type K dichotomy and parameter characterization (Theorem 1.8) on which the symmetry and exterior theorems rest, plus the earlier bound on non-characteristic annuli.","marker":"[20]"},{"why":"Supplies the JSJ decomposition classification for atoroidal handlebody-knot exteriors, the type M/type K notions, and the definition of characteristic annuli and their slopes.","marker":"[32]"},{"why":"Provides the earlier family of inequivalent handlebody-knots with homeomorphic exteriors that Corollary 1.11 identifies and generalizes.","marker":"[21]"},{"why":"Computes the characteristic slope of the earlier family, which is used to prove the identification in Corollary 1.11.","marker":"[31]"}],"fun_headline_variants":["Exterior slopes uniquely determine knotted handlebodies","Symmetry and exterior rigidity via type 4-1 annuli","Slope data classify handlebody-knot symmetries completely","Genus-2 handlebody exteriors fix the isotopy type"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The paper inherits the classification that every atoroidal handlebody-knot whose exterior has a type 4-1 annulus is one of the two parameter families, type M or type K; if a case outside those families exists, the symmetry and exterior theorems do not cover it.","fun_headline_variants_meta":{"raw":{"variants":["Exterior slopes uniquely determine knotted handlebodies","Symmetry and exterior rigidity via type 4-1 annuli","Slope data classify handlebody-knot symmetries completely","Genus-2 handlebody exteriors fix the isotopy type"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000214,"raw_usage":{"total_tokens":1404,"prompt_tokens":906,"completion_tokens":498,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":522,"completion_tokens_details":{"reasoning_tokens":429}},"tokens_in":522,"tokens_out":498,"duration_ms":5758,"temperature":1.0,"reasoning_tokens":429,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:51:47.141800+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a non-trivial, atoroidal genus-two handlebody-knot whose exterior admits a type 4-1 annulus but whose mapping class group has order other than 2 or 4, or find two such handlebody-knots with identical characteristic slope data that are not isotopic.","supporting_citations":[{"cited_title":"Eudave-Munoz: On hyperbolic knots with Seifert fibered Dehn surgeries , Topology Appl","cited_arxiv_id":null,"evidence_quote":"Supplies the Eudave-Muñoz knot construction $K(l,m,n,p)$ with non-integral toroidal Dehn surgery and the tangle identities that the slope computations extend."},{"cited_title":"Gordon, J","cited_arxiv_id":null,"evidence_quote":"Proves that non-integral toroidal Dehn surgery, twice-punctured incompressible tori with non-integral slope, and Eudave-Muñoz knots are equivalent, linking type 4-1 annuli to this family."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the four annulus types and establishes the correspondence between type 4-1 annuli and non-integral toroidal surgeries on hyperbolic knots."},{"cited_title":"Essential annuli in genus two handlebody exteriors","cited_arxiv_id":"2404.04503","evidence_quote":"Supplies the type M/type K dichotomy and parameter characterization (Theorem 1.8) on which the symmetry and exterior theorems rest, plus the earlier bound on non-characteristic annuli."},{"cited_title":"Wang: JSJ decomposition for handlebody-knots , J","cited_arxiv_id":null,"evidence_quote":"Supplies the JSJ decomposition classification for atoroidal handlebody-knot exteriors, the type M/type K notions, and the definition of characteristic annuli and their slopes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the earlier family of inequivalent handlebody-knots with homeomorphic exteriors that Corollary 1.11 identifies and generalizes."},{"cited_title":"Wang: Annulus configuration in handelbody-knot exteriors , Adv","cited_arxiv_id":null,"evidence_quote":"Computes the characteristic slope of the earlier family, which is used to prove the identification in Corollary 1.11."}],"review_version":1}