Pith. sign in

REVIEW 2 major objections 4 minor 5 references

Cosmetic surgery on satellite knots

T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The cosmetic surgery conjecture reduces to the hyperbolic case.

arxiv 2411.13828 v2 pith:FOONOPRR submitted 2024-11-21 math.GT

Qiuyu Ren This is my paper · ORCID
classification math.GT MSC 57K1057K3057K32
keywords cosmeticsurgeryconjecturesatelliteknotshyperbolicJSJdecompositionDehnSeifertgenusAlexanderpolynomial3-manifoldtopology
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

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.

What carries the argument

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.

What would settle it

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.

Watch

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

  • 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.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • 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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

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.

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 (2)
  1. [Throughout (Theorem 2 and its uses)] 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.
  2. [§2, Claim 4] 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.
minor comments (4)
  1. [§2, Claim 5] 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.
  2. [§2, Claim 8] 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.
  3. [Theorem 4] 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.
  4. [General] 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].

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; the argument is a conditional reduction relying on external theorems, with no fitted parameters or self-referential definitions.

full rationale

The paper's derivation is a topological reduction: assuming a nontrivial knot with purely cosmetic surgeries exists, it constructs a hyperbolic knot with the same property. The load-bearing input is Theorem 2, quoted from the external preprint [DEL24, Corollary 1.4], which restricts any purely cosmetic pair to slopes {±2}, Seifert genus 2, and Alexander polynomial 1. This is a genuine external dependency, not a circular one: the paper does not prove or assume its own conclusion, and the cited result is not by the present author. The proof repeatedly invokes Theorem 2 (e.g., in Claims 1, 3, 6, 7), but using a stated external theorem as a premise is standard mathematical practice and does not make the derivation equivalent to its inputs. No quantity is defined in terms of the target prediction, no parameter is fitted to data and then renamed a prediction, no uniqueness theorem is imported from the authors' own prior work, and no known result is repackaged under new coordinates. The dependence on [DEL24] means the theorem is conditional on that preprint's correctness, but that is a vulnerability, not circularity. The converse direction of Theorem 3 is trivial and does not smuggle in the conclusion. Therefore the correct circularity score is 0.

Assumptions & free parameters 0 free parameters · 10 assumptions · 0 invented entities

The central claim rests on a chain of deep external theorems, the most fragile being the recent preprint DEL24. There are no free parameters and no invented entities.

assumptions (10)
  • domain assumption DEL24 Corollary 1.4 (Theorem 2): any purely cosmetic surgery on a nontrivial knot in S^3 must have slopes {+2,-2}, Seifert genus 2, and Alexander polynomial 1.
    Used at the start of the proof of Theorem 3 to restrict the slopes of any counterexample to ±2 and the genus to 2; the entire argument depends on this reduction.
  • standard math Schubert's genus formula: g(K) = w(P) g(C) + g(P) for a satellite knot K = P(C).
    Invoked in Claims 1, 3, 6, and 7 to turn winding-number information into genus bounds.
  • domain assumption Fox re-embedding theorem: submanifolds of a knot complement cut along JSJ tori re-embed as link complements in S^3.
    Used in Claim 3 to rule out M14, and in Claim 5 to identify (S^3\K)' with S^3\(K* ∪ L).
  • domain assumption Gordon-Wu classification of exceptional Dehn fillings on hyperbolic 3-manifolds (GW99, GW00a,b, GW08): if two slopes with distance 4 on a cusp of a multi-cusped hyperbolic manifold are both exceptional, the manifold is one of M1, M2, M14.
    Used in Claim 3 to enumerate the possibilities when both X_{±2} are non-hyperbolic.
  • domain assumption BGH25 Theorem 2.13: if a JSJ torus of a satellite knot compresses after Dehn surgery, the pattern is a cable or a 1-bridge braid with winding number at least 5.
    Used in Claim 1 to show every JSJ torus remains incompressible after ±2 surgery.
  • domain assumption Tao theorems: cable knots and composite knots admit no purely cosmetic surgeries.
    Used in Claims 1, 2, and 8 to rule out cable and composite patterns.
  • standard math Gordon-Luecke property P: if Dehn surgery on a knot in S^3 yields S^3, the knot is the unknot.
    Used in Claim 8 to conclude P_{+1}(U) and P_{-1}(U) are unknots.
  • standard math Wu92 Theorem 1: two boundary-reducible Dehn fillings on the same cusp of a 3-manifold have slopes intersecting at most once.
    Used in the final contradiction of Claim 8.
  • standard math Thurston's hyperbolic Dehn filling theorem: sufficiently large fillings on hyperbolic manifolds remain hyperbolic.
    Used in Claim 5 to ensure K'_n is a nontrivial hyperbolic satellite for large n.
  • standard math Alexander's theorem: every torus in S^3 bounds a solid torus on each side.
    Used in Claims 5, 6, and 8 to identify submanifolds as knot complements and solid tori.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cosmetic surgery on satellite knots." pith.science (2026). https://pith.science/paper/FOONOPRR

@misc{pith2026241113828,
  author       = {Pith},
  title        = {Pith review of: Cosmetic surgery on satellite knots},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FOONOPRR}},
  note         = {Machine review of arXiv:2411.13828}
}
abstract

We show that if there exists a knot in $S^3$ that admits purely cosmetic surgeries, then there exists a hyperbolic one with this property.

Figures

Figures reproduced from arXiv: 2411.13828 by the authors.

Figure 1
Figure 1. A Kirby move showing that the Dehn filling of X−2 by ℓ − m is homeo￾morphic to the (−1)-surgery on P+1(U). Since the winding number of the satellite pattern P is 1 by Claim 6, X = V \K is a homology T 2×I with first homology generated by m and ℓ, and m, ℓ are homologous to the meridian, the canonical longitude of K on the boundary cusp of S 3\K, respectively. Consequently, ℓ ± 2m gives the only slope on T that is nu… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

5 extracted references · 3 canonical work pages

  1. [1]

    Berge, The knots in D2 × S1 which have nontrivial Dehn surgeries that yield D2 × S1, Topology Appl

    [Ber91] J. Berge, The knots in D2 × S1 which have nontrivial Dehn surgeries that yield D2 × S1, Topology Appl. 38 (1991), no. 1, 1–19. [BGH25] S. Boyer, C. M. Gordon, and Y. Hu, JSJ decompositions of knot exteriors, Dehn surgery and the L-space conjecture, Selecta Math. (N.S.) 31 (2025), no. 1,

    work page 1991

  2. [3]

    Budney, JSJ-decompositions of knot and link complements in S3, Enseign

    6 REFERENCES [Bud06] R. Budney, JSJ-decompositions of knot and link complements in S3, Enseign. Math. (2) 52 (2006), 319–

    work page 2006

  3. [359]

    Daemi, M

    [DEL24] A. Daemi, M. M. Eismeier, and T. Lidman, Filtered instanton homology and cosmetic surgery , arXiv preprint arXiv:2410.21248 (2024). [FPS24] D. Futer, J. S. Purcell, and S. Schleimer, Excluding cosmetic surgeries on hyperbolic 3-manifolds, arXiv preprint arXiv:2403.10448 (2024). [Gab89] D. Gabai, Surgery on knots in solid tori , Topology 28 (1989),...

    arXiv 2024

  4. [500]

    Tao, Cable knots do not admit cosmetic surgeries , J

    [Tao19] R. Tao, Cable knots do not admit cosmetic surgeries , J. Knot Theory Ramifications 28 (2019), no. 04, 1950034. [Tao22] R. Tao, Knots admitting purely cosmetic surgeries are prime , Topology Appl. 322 (2022), 108270. [Wu92] Y.-Q. Wu, Incompressibility of surfaces in surgered 3-manifolds, Topology 31 (1992), no. 2, 271–279. Department of Mathematics...

    work page 2019

  5. [2008]

    [GW99] C. M. Gordon and Y.-Q. Wu, Toroidal and annular Dehn fillings , Proc. Lond. Math. Soc. (3) 78 (1999), no. 3, 662–700. [Han22] J. Hanselman, Heegaard Floer homology and cosmetic surgeries in S3, J. Eur. Math. Soc. (JEMS) 25 (2022), no. 5, 1627–1670. [Kir97] R. Kirby, Problems in low-dimensional topology , Proceedings 1993 Georgia International Topol...

    arXiv 1999

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.