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
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
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
- 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.
The abstract, sentence by sentence
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
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| 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 was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:1909.02340 by the authors.
References
How the literature uses it
1 arXiv paper cite this in 2 sentences
Papers citing it · 1 sentence without a confident label
Cites it as support 1 paper
-
Indeed, if we have Case (1) of Corollary [ref], then $P$ is a two-bridge knot, and PCSC follows from [ref] .
Purely cosmetic surgeries and pretzel knots · More than three strands · 0.96
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
-
The latter two assertions follow from [ref] directly.
Heegaard Floer homology and cosmetic surgeries in $S^3$ · Introduction · 0.98
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.