{"id":"c43e0eea-d963-43d8-aca8-c82d8cdb432c","arxiv_id":"2411.13828","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"If a nontrivial knot admits purely cosmetic surgeries, then some hyperbolic knot also does, reducing the cosmetic surgery conjecture to the hyperbolic case.","lead":"This paper shows that if any knot in three-dimensional space has two different surgeries that yield the same shape, then a hyperbolic knot does too. It narrows the cosmetic surgery conjecture, a long-open problem in topology, to the hyperbolic case.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main theorem is conditional on DEL24 Corollary 1.4; the {+2,-2}/genus-2 constraints are used in every claim, so an error in that preprint would invalidate the reduction.","rationale":"The reader's weakest assumption identified DEL24 Corollary 1.4, and I agree. I read the proof in detail and found no internal flaw: Claims 1-8 chain together, the JSJ tree automorphism argument in Claim 5 is the heart, and the re-embedding/filling construction genuinely produces a smaller counterexample when Γ' is proper. The exceptional Dehn filling classification in Claim 3 and the Wu92 contradiction in Claim 8 are invoked from the literature and are plausible. The main risk is external: the paper's conclusion is a theorem conditional on a recent preprint. With the caveat that the reader should make explicit that Theorem 3 depends on DEL24, the verdict can stand as ACCEPT. I would not adjust the verdict because the dependency was already identified and is standard practice; no additional fatal issue was found.","tokens_in":6385,"tokens_out":45708,"duration_ms":446802,"concrete_test":"Independently verify DEL24 Corollary 1.4. Concretely: (1) check the filtered instanton spectral sequence that eliminates all slope pairs except {+2,-2}, and the genus/Alexander polynomial conclusions; (2) as a computational probe, run the obstruction on the census of low-crossing knots with genus 2 and Alexander polynomial 1 and confirm no purely cosmetic pair with slopes other than ±2 exists. If Corollary 1.4 is confirmed, the present reduction appears sound; if it is not, Theorem 3 is unproved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 3 is a conditional reduction: it assumes Theorem 2 (DEL24, Cor. 1.4), which states that any purely cosmetic pair on a nontrivial knot must be {+2,-2} with genus 2 and Alexander polynomial 1. This assumption is load-bearing at multiple points. Claim 1 rules out 1-bridge braid patterns by combining g(K)=2 with the genus formula (1); without the genus-2 bound the inequality g(K) >= w(P) >= 5 is not contradicted. Claim 3 uses the fact that the two slopes are ±2, in particular their intersection number 4 and the contradiction with r=0 or w(P)=3 in the M1/M2 cases. Claim 6 uses g(K)=2 to force winding number 1 from odd winding. Claim 8's entire slope calculation is for slopes ±2. Thus if DEL24's filtered instanton result has an unhandled case or is false, the paper does not establish the existence of a hyperbolic counterexample. The paper also invokes [DEL24, Remark 1.7] to assert the surgeries on the resulting hyperbolic knot are hyperbolic, so the same preprint is used in both directions. This is not an internal inconsistency; it is a structural dependence on a deep preprint that the paper neither proves nor verifies.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a reduction for the cosmetic surgery conjecture in S^3. It shows that if any nontrivial knot admits purely cosmetic surgeries, then there is a hyperbolic knot with the same property, and in fact with both surgeries hyperbolic. The proof relies on the recent preprint result of Daemi--Eismeier--Lidman [DEL24, Cor. 1.4], which restricts any counterexample to slopes {+2,-2}, Seifert genus 2, and Alexander polynomial 1. The author then studies the JSJ decomposition of a minimal counterexample and derives contradictions with this genus bound in successive claims, ultimately forcing the JSJ decomposition to be trivial.","tokens_in":6602,"tokens_out":46971,"duration_ms":445230,"significance":"If correct, this is a substantial reduction: the long-standing cosmetic surgery conjecture is reduced to checking hyperbolic knots with hyperbolic surgeries. The proof is modular, and each claim is justified by cited results (BGH25, GW08, Tao19/22, Wu92, etc.), with no evident circularity. The main vulnerability is the heavy reliance on the recent preprint [DEL24, Cor. 1.4]; however, this is a genuine external dependency rather than an internal inconsistency. Overall, the paper is clearly written and the reduction is both elegant and potentially influential.","major_comments":[{"comment":"The main theorem is entirely conditional on Theorem 2, which is the preprint result [DEL24, Cor. 1.4]. The slope pair {+2,-2}, the genus bound g(K)=2, and the Alexander polynomial condition are used in Claims 1, 3, 6, 7, and 8; without them the reduction to the hyperbolic case does not go through. Please state explicitly in the abstract and introduction that Theorem 3 holds assuming this external result, and indicate the current status of [DEL24] (e.g., preprint under review) so that readers are aware of the conditionality.","section":"Throughout (Theorem 2 and its uses)"},{"comment":"The complexity argument is too compressed: the text jumps from the uniqueness of the P_n × S^1 form to the assertion that the collection of such pieces in S^3_{-2}(K) has strictly larger complexity, without showing the calculation. Since this is the step that rules out Seifert fibered pieces in X_{-2}, please expand the proof to explicitly define the complexity and show that combining N0 with N1,...,Nk increases the total complexity by -χ(N0) > 0.","section":"§2, Claim 4"}],"minor_comments":[{"comment":"The Fox re-embedding theorem and the slope-shift formula R = n Σ ℓk(K*, U_i)^2 are stated without derivation; a brief justification or a precise reference for this Kirby-calculus formula would help the reader verify the extension of the homeomorphism.","section":"§2, Claim 5"},{"comment":"The Kirby move in Figure 1 is not described in words; since this equivalence is central to the property P argument, a short explanation of the move would make the proof easier to follow and verify.","section":"§2, Claim 8"},{"comment":"The notation #n(S^1 × D^2) should be defined explicitly as the n-fold connected sum of solid tori; the current usage could be confused with boundary connected sum, so a parenthetical clarification would be helpful.","section":"Theorem 4"},{"comment":"There are a few minor typos and notational inconsistencies (e.g., 'Seifert genus' is used for 'Seifert genus' and the reference list could include the arXiv identifiers for preprints). The paper would also benefit from a remark in the introduction that the main theorems are conditional on the preprint [DEL24].","section":"General"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a well-structured conditional reduction and appears technically sound. My main reservation is the dependence on [DEL24], which is a recent preprint; if that result is later found to have gaps, the theorems here would fail. I would encourage the editor to have the authors make the conditionality explicit and to consider whether the journal wants to publish a result that depends on a preprint not yet refereed. A short expansion of the complexity argument in Claim 4 and a description of the Kirby move in Figure 1 would also strengthen the paper."},"author_rebuttal":null,"desk_editor":null,"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K10","57K30","57K32"],"pacs":[],"model":"deepseek-v4-flash","headline":"The cosmetic surgery conjecture reduces to the hyperbolic case.","keywords":["cosmetic surgery conjecture","satellite knots","hyperbolic knots","JSJ decomposition","Dehn surgery","Seifert genus","Alexander polynomial","3-manifold topology"],"falsifier":"Compute the Seifert genus and Alexander polynomial of any nontrivial knot whose $+2$ and $-2$ surgeries are orientation-preservingly homeomorphic: if either number is not 2 or 1, the cited [DEL24] theorem is false and the reduction does not go through. Short of a counterexample, checking a census of two-cusped hyperbolic manifolds for two fillings at distance 4 with homeomorphic results would test the local mechanism of Claim 4.","tokens_in":6175,"feed_emoji":"🪢","tokens_out":7234,"duration_ms":70912,"temperature":0.7,"pith_summary":"The cosmetic surgery conjecture asks whether two different Dehn surgeries on a nontrivial knot in the 3-sphere can ever produce the same oriented 3-manifold. This paper proves the conjecture is equivalent to its hyperbolic special case: if any counterexample exists, a hyperbolic counterexample exists. The proof works by taking a counterexample with the smallest possible JSJ decomposition and showing that a satellite counterexample would generate infinitely many distinct hyperbolic ones, so the minimal counterexample must itself be hyperbolic. The result matters because it narrows the search for counterexamples to hyperbolic knots, where the geometric tools of Dehn filling and volume apply.","feed_headline":"Cosmetic surgery conjecture reduces to hyperbolic knots","feed_subtitle":"If any knot admits two surgery slopes giving the same manifold, a hyperbolic one does too.","key_machinery":"The central mechanism is the JSJ torus decomposition of the knot complement, organised into a tree graph $\\Gamma$. A homeomorphism between the $+2$ and $-2$ surgeries induces an automorphism of $\\Gamma$. Choosing a counterexample with the fewest JSJ tori forces $\\Gamma$ to be the convex hull of one orbit of a vertex; combinatorial analysis of that tree, together with the classification of satellite patterns that compress under surgery, the absence of cosmetic surgeries on cable and composite knots, and the restriction that cosmetic slopes are $\\{+2,-2\\}$ with genus 2 and Alexander polynomial 1, drives $\\Gamma$ down to a single edge. The final contradiction uses property P and a bound on boundary-reducible fillings.","core_discovery":"Theorem 3 states: Conjecture 1 holds if and only if it holds for hyperbolic surgeries on hyperbolic knots. Equivalently, the existence of any nontrivial knot with purely cosmetic surgeries implies the existence of a hyperbolic knot with this property. The stronger Theorem 4 adds that if a satellite knot $K$ admits purely cosmetic surgeries, then the JSJ piece adjacent to $K$ refills to a handlebody $\\#_n(S^1\\times D^2)$, $K$ becomes a null-homologous hyperbolic knot in that handlebody, and its two cosmetic surgeries are hyperbolic; by filling a link complement one obtains infinitely many hyperbolic knots in $S^3$ with purely cosmetic surgeries.","pith_inferences":["The reduction suggests that the conjecture could be approached by showing that for a hyperbolic knot of genus 2 and Alexander polynomial 1, the $\\pm2$ surgeries have different volumes or different hyperbolic structures; a volume inequality would rule them out.","The paper implies a structural dichotomy: either no counterexample exists, or infinitely many counterexamples exist and include hyperbolic ones. This is a strong constraint that could be tested against computational surveys of cosmetic surgeries.","A useful local model to search computationally is a two-cusped hyperbolic manifold with two filling slopes at distance 4 that yield homeomorphic manifolds; finding none would support, though not prove, the conjecture."],"forward_implications":["To settle the cosmetic surgery conjecture in $S^3$, it suffices to rule out purely cosmetic surgeries on hyperbolic knots; no separate satellite analysis is needed.","Any counterexample would not be unique or sporadic in the satellite world: a satellite counterexample yields infinitely many hyperbolic counterexamples in $S^3$.","All hypothetical counterexamples must have slopes $\\{+2,-2\\}$, Seifert genus 2, and Alexander polynomial 1, so the remaining open case is precisely a hyperbolic knot with these properties.","The proof gives a construction: from a hypothetical satellite counterexample, one produces explicit knots $K'_n$ whose surgeries are cosmetic and whose hyperbolic volumes converge to the volume of the original piece."],"supporting_citations":[{"why":"Supplies Theorem 2, the restriction that any purely cosmetic surgery must use slopes $\\{+2,-2\\}$, Seifert genus 2, and Alexander polynomial 1; the paper's reduction depends on this.","marker":"[DEL24]"},{"why":"Shows cable knots admit no cosmetic surgeries, used to rule out cable patterns in Claim 1.","marker":"[Tao19]"},{"why":"Shows knots admitting purely cosmetic surgeries are prime, used to rule out composite knots in Claim 2.","marker":"[Tao22]"},{"why":"Classifies satellite patterns whose companion compresses under surgery, used in Claim 1 to constrain the pattern.","marker":"[BGH25]"},{"why":"Describes JSJ decompositions of knot and link complements in $S^3$ and the Fox re-embedding theorem, used throughout the tree argument.","marker":"[Bud06]"},{"why":"Property P: surgery on a nontrivial knot cannot yield $S^3$, used to conclude $P_{+1}(U)$ is the unknot.","marker":"[GL89]"},{"why":"Gives the bound that boundary-reducible fillings on the same cusp have intersection number at most 1, producing the final contradiction.","marker":"[Wu92]"},{"why":"Classifies toroidal Dehn fillings on hyperbolic 3-manifolds, used in Claim 3 to rule out the exceptional cases.","marker":"[GW08]"}],"fun_headline_variants":["Hyperbolic knots suffice for the cosmetic surgery conjecture","Any cosmetic surgery knot yields a hyperbolic one","Cosmetic surgery conjecture: reduce to hyperbolic case","One knot with cosmetic surgeries forces a hyperbolic one"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on the cited theorem that any purely cosmetic surgery on a nontrivial knot must have slopes $\\{+2,-2\\}$, Seifert genus 2, and Alexander polynomial 1; if that theorem is false, this reduction could fail.","fun_headline_variants_meta":{"raw":{"variants":["Hyperbolic knots suffice for the cosmetic surgery conjecture","Any cosmetic surgery knot yields a hyperbolic one","Cosmetic surgery conjecture: reduce to hyperbolic case","One knot with cosmetic surgeries forces a hyperbolic one"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000248,"raw_usage":{"total_tokens":1410,"prompt_tokens":672,"completion_tokens":738,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":288,"completion_tokens_details":{"reasoning_tokens":679}},"tokens_in":288,"tokens_out":738,"duration_ms":8457,"temperature":1.0,"reasoning_tokens":679,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:52:37.738199+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Seifert genus and Alexander polynomial of any nontrivial knot whose $+2$ and $-2$ surgeries are orientation-preservingly homeomorphic: if either number is not 2 or 1, the cited [DEL24] theorem is false and the reduction does not go through. Short of a counterexample, checking a census of two-cusped hyperbolic manifolds for two fillings at distance 4 with homeomorphic results would test the local mechanism of Claim 4.","supporting_citations":[],"review_version":1}