Pith. Sign in

REVIEW

Two-bridge knots admit no purely cosmetic surgeries

Geometric Topology · Submitted 5 Sep 2019 · 28 references

Pith's verdict: A solid proof of the Cosmetic Surgery Conjecture for two-bridge and alternating fibered knots, with a load-bearing hand enumeration that needs independent verification.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 14, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 3 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID1909.02340 (version 2)
Pith ID4ZXJLJIE, Pith's permanent record of this paper and its review
CitationIn Dae Jong, Kazuhiro Ichihara, Thomas W. Mattman, Toshio Saito. "Two-bridge knots admit no purely cosmetic surgeries." arXiv:1909.02340 (2019). https://pith.science/paper/4ZXJLJIE
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

Two-bridge knots and alternating fibered knots admit no purely cosmetic surgeries: no two distinct Dehn surgeries on such a knot can produce 3-manifolds that are homeomorphic as oriented manifolds.

The reading

The paper proves that two-bridge knots and alternating fibered knots admit no purely cosmetic surgeries: no two distinct Dehn surgeries on such a knot yield 3-manifolds that are homeomorphic as oriented manifolds. This confirms the Cosmetic Surgery Conjecture for these two infinite families. The proof funnels all possible candidates through a structural restriction on alternating knots, then eliminates them with a signature formula, the $SL(2,\mathbb{C})$ Casson invariant, and finite-type invariants. For the two-bridge case, the surviving amphichiral family is ruled out by a Jones-polynomial coefficient.

What carries the argument

The load-bearing mechanism is a structural restriction on alternating knots with purely cosmetic surgeries (Lemma 1.3, taken from a recent preprint): such a knot must have genus $2$, signature $0$, slopes $\pm1$ or $\pm2$, and Alexander polynomial $n t^2-4n t+(6n+1)-4n t^{-1}+n t^{-2}$. Around this, the paper deploys three tools: the signature formula $\sigma(L)=o(D)-y(D)-1$ for reduced alternating diagrams; a difference formula for the $SL(2,\mathbb{C})$ Casson invariant under $\pm p$ surgeries on two-bridge knots, which reduces the slope check to comparing weighted sums of boundary slopes; and finite-type invariants, namely the Conway coefficient $a_2$ and the Jones coefficient $j_4$, which rule out the last amphichiral family.

Extended reading notes

Core claim

The central discovery is Theorem 1.1 together with Theorem 1.2: if $K$ is a two-bridge knot or an alternating fibered knot in $S^3$, then $K(r)\not\cong K(r')$ for every pair of distinct slopes $r\ne r'$, where $\cong$ denotes orientation-preserving homeomorphism. Relying on a structural lemma (Lemma 1.3) that restricts alternating knots with purely cosmetic surgeries to genus $2$, signature $0$, slopes $\pm1$ or $\pm2$, the proof for two-bridge knots isolates the Conway form $[2x,2y,-2(x+y),2x]$, uses a signature formula to force $y<0$ and $x+y>0$, uses the $SL(2,\mathbb{C})$ Casson invariant to force $x=-2y$, then rules out the remaining amphichiral family $[4n,-2n,-2n,4n]$ by computing the Conway polynomial and a fourth-order Jones coefficient. For alternating fibered knots, a classification of genus-two alternating knots with zero signature reduces to a short list, and the fibered condition leaves only four knots whose Alexander polynomials violate the structural lemma.

Load-bearing premise

The argument stands on a recent structural lemma (Lemma 1.3 in the paper) asserting that any alternating knot with purely cosmetic surgeries must have genus 2, signature 0, slopes $\pm1$ or $\pm2$, and a specific Alexander polynomial; if that lemma is false, the paper's conclusions do not follow.

Editorial extensions

If this is right

  • The Cosmetic Surgery Conjecture holds for every two-bridge knot.
  • The Cosmetic Surgery Conjecture holds for every alternating fibered knot.
  • Any two-bridge counterexample to the conjecture would have to lie in the family $C[4n,-2n,-2n,4n]$, and the finite-type computation rules that family out.
  • Alternating pretzel knots also admit no purely cosmetic surgeries, as demonstrated in Remark 1.1.

Reading between the lines

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

  • If the structural lemma is extended from alternating knots to all genus-two knots, the same strategy—signature, $SL(2,\mathbb{C})$ Casson difference, finite-type coefficients—could potentially settle the genus-two case, since the boundary-slope computation is not inherently alternating.
  • The difference $S_- - S_+ = 2(x+2y)(4x^2-6x+5)$ suggests the $SL(2,\mathbb{C})$ Casson invariant detects the chirality of the surgery pair; one could test whether this difference is always sign-definite for other two-bridge families.
  • For the amphichiral family $C[4n,-2n,-2n,4n]$ the Conway polynomial is $1+4n^4 z^4$, so the classical second-coefficient obstruction vanishes; a natural extension is to study higher Conway or Jones coefficients for neighboring amphichiral two-bridge knots.
Original abstract

We show that two-bridge knots and alternating fibered knots admit no purely cosmetic surgeries, i.e., no pair of distinct Dehn surgeries on such a knot produce 3-manifolds that are homeomorphic as oriented manifolds. Our argument, based on a recent result by Hanselman, uses several invariants of knots or 3-manifolds; for knots, we study the signature and some finite type invariants, and for 3-manifolds, we deploy the $SL(2,\mathbb{C})$ Casson invariant.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 2,446 input tokens.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.17 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.06 · compares with prior results 0.25 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

We show that two-bridge knots and alternating fibered knots admit no purely cosmetic surgeries, i.e., no pair of distinct Dehn surgeries on such a knot produce 3-manifolds that are homeomorphic as oriented manifolds. Our argument, based on a recent result by Hanselman, uses several invariants of knots or 3-manifolds; for knots, we study the signature and some finite type invariants, and for 3-manifolds, we deploy the $SL(2,\mathbb{C})$ Casson invariant.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 We show that two-bridge knots and alternating fibered knots admit no purely cosmetic surgeries, i.e., no pair of distinct Dehn surgeries on such a knot produce 3-manifolds that are homeomorphic as oriented manifolds. result 0.98 0.94 0.97 asserted 1.00
s1 Our argument, based on a recent result by Hanselman, uses several invariants of knots or 3-manifolds; for knots, we study the signature and some finite type invariants, and for 3-manifolds, we deploy the $SL(2,\mathbb{C})$ Casson invariant. method 0.99 0.78 0.04 asserted 0.95

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.97.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Diagram of knots [2x, 2y − 1, 1, 2x + 2y − 2, 1, 2x − 1] Then, by direct calculation, we see that o(D) = 4x+4y−3 and y(D) = 4x+4y−2. It follows that σ(K) = −2. In the same way, when y < 0 and (x + y) < 0 (case (iii)), since [2x, 2y, −2(x + y), 2x] = [2x−1, 1, −2y−2, 1, −2x−2y−1, 2x], the knot K has a reduced alternating diagram D for which o(D) = 2x + 3 and y(D) = 2x. It follows that σ(K) = 2. That is, in both cases, the signature, σ(K), is non-zero. From Lemma 1.3, this implies that if K admits purely cosmetic surgeries we must be in the remaining case, case (ii), where y < 0 and (x
Figure 2. Apply the skein relation at the positive crossing marked by ∗
Figure 3. The link Ln is the connected sum of the knot C[4n, −2n] and T(2, −4n). For T(2, −4n), applying the skein relation (4) 2n times, we have VT(2,−4n)(t) = t 2VT(2,−4n+2)(t) + t(t 1 2 − t − 1 2 ) = · · · = t 4nV◦◦ + (1 + t 2 + · · · + t 4n−2 )t(t 1 2 − t − 1 2 ) = t 4n (−t 1 2 − t − 1 2 ) + 1 − t 4n 1 − t 2 t(t 1 2 − t − 1 2 ) = −t 1 2 1 + t

Figures reproduced from arXiv:1909.02340 by the authors.

References
How the literature uses it

1 arXiv paper cite this in 2 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 1 sentence without a confident label

Cites it as support 1 paper

What it cites · 3 sentences without a confident label

Uses the method or tool of 1 paper
  • Our argument, based on a recent result by Hanselman [ref] , uses several invariants of knots or 3-manifolds; for knots, we study the signature and some finite type invariants, and for $3$-manifolds we deploy the $SL(2,ℂ)$ Casson invariant.

    Heegaard Floer homology and cosmetic surgeries in $S^3$ · Introduction · 0.81

Cites as support 1 paper

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.