Let X be a norm curve in the SL(2,C)-character variety of a knot exterior M. Let t = || b || / || a || be the ratio of the Culler-Shalen norms of two distinct non-zero classes a, b in H_1(\partial M, Z). We demonstrate that either X has exactly two associated strict boundary slopes \pm t, or else there are strict boundary slopes r_1 and r_2 with |r_1| > t and |r_2| < t. As a consequence, we show that there are strict boundary slopes near cyclic, finite, and Seifert slopes. We also prove that the diameter of the set of strict boundary slopes can be bounded below using the Culler-Shalen norm of those slopes.
A Dehn surgery on a knot $K$ in $S^3$ is exceptional if it produces a reducible, toroidal or Seifert fibred manifold. It is known that a large arborescent knot admits no such surgery unless it is a type II arborescent knot. The main theorem of this paper shows that up to isotopy there are exactly three large arborescent knots admitting exceptional surgery, each of which admits exactly one exceptional surgery, producing a toroidal manifold.
Concerning the set of exceptional surgery slopes for a hyperbolic knot, Lackenby and Meyerhoff proved that the maximal cardinality is 10 and the maximal diameter is 8. Their proof is computer-aided in part, and both bounds are achieved simultaneously. In this note, it is observed that the diameter bound 8 implies the maximal cardinality bound 10 for exceptional surgery slope sets. This follows from the next known fact: For a hyperbolic knot, there exists a slope on the peripheral torus such that all exceptional surgery slopes have distance at most two from the slope. We also show that, in gene…
The cosmetic surgery conjecture is a longstanding conjecture in 3-manifold theory. We present a theorem about exceptional cosmetic surgery for homology spheres. Along the way we prove that if the surgery is not a small seifert $\mathbb{Z}/2\mathbb{Z}$-homology sphere or a toroidal irreducible non-Seifert surgery then there is at most one pair of exceptional truly cosmetic slope. We also prove that toroidal truly cosmetic surgeries on integer homology spheres must be integer homology spheres.
For the purposes of this paper, Dehn surgery along a curve K in a 3-manifold M with slope r is `exceptional' if the resulting 3-manifold M_K(r) is reducible or a solid torus, or the core of the surgery solid torus has finite order in the fundamental group of M_K(r). We show that, providing the exterior of K is irreducible and atoroidal, and the distance between r and the meridian slope is more than one, and a homology condition is satisfied, then there is (up to ambient isotopy) only a finite number of such exceptional surgery curves in a given compact orientable 3-manifold M, with the boundar…
This paper concerns the truly or purely cosmetic surgery conjecture. We give a survey on exceptional surgeries and cosmetic surgeries. We prove that the slope of an exceptional truly cosmetic surgery on a hyperbolic knot in $S^3$ must be $\pm 1$ and the surgery must be toroidal but not Seifert fibred. As consequence we show that there are no exceptional truly cosmetic surgeries on certain types of hyperbolic knot in $S^3$. We also give some properties of Heegaard Floer correction terms and torsion invariants for exceptional cosmetic surgeries on $S^3$.
Let $M_λ$ be the $λ$-component Milnor link. For $λ\ge 3$, we determine completely when a finite slope surgery along $M_λ$ yields a lens space including $S^3$ and $S^1\times S^2$, where {\it finite slope surgery} implies that a surgery coefficient of every component is not $\infty$. For $λ=3$ (i.e.\ the Borromean rings), there are three infinite sequences of finite slope surgeries yielding lens spaces. For $λ\ge 4$, any finite slope surgery does not yield a lens space. As a corollary, $M_λ$ for $λ\ge 3$ does not yield both $S^3$ and $S^1\times S^2$ by any finite slope surgery. We generalize the…
We show that any exceptional non-trivial Dehn surgery on a hyperbolic two-bridge knot yields a 3-manifold whose fundamental group is left-orderable. This gives a new supporting evidence for a conjecture of Boyer, Gordon and Watson.
We show that if $p/q$-surgery on a nontrivial knot $K$ yields the branched double cover of an alternating knot or link, then $|p/q|\leq 4g(K)+3$. This generalises a bound for lens space surgeries first established by Rasmussen. We also show that all surgery coefficients yielding the double branched cover of an alternating knot or link must be contained in an interval of width two and this full range can be realised only if $K$ is a cable knot. The work of Greene and Gibbons shows that if $S^3_{p/q}(K)$ bounds a sharp 4-manifold $X$, then the intersection form of $X$ takes the form of a changem…
We show that any exceptional non-trivial Dehn surgery on a twist knot, except the trefoil, yields a 3-manifold whose fundamental group is left-orderable. This is a generalization of a result of Clay, Lidman and Watson, and also gives a new supporting evidence for a conjecture of Boyer, Gordon and Watson.
We consider in this paper the minimally twisted chain link with 5 components in the 3-sphere, and we analyze the Dehn surgeries on it, namely the Dehn fillings on its exterior M5. The 3-manifold M5 is a nicely symmetric hyperbolic one, filling which one gets a wealth of hyperbolic 3-manifolds having 4 or fewer (including 0) cusps. In view of Thurston's hyperbolic Dehn filling theorem it is then natural to face the problem of classifying all the exceptional fillings on M5, namely those yielding non-hyperbolic 3-manifolds. Here we completely solve this problem, also showing that, thanks to the s…
Let $M$ be an irreducible, compact, connected, orientable 3-manifold whose boundary is a torus. We show that if $M$ is hyperbolic, then it admits at most six finite/cyclic fillings of maximal distance 5. Further, the distance of a finite/cyclic filling to a cyclic filling is at most 2. If $M$ has a non-boundary-parallel, incompressible torus and is not a generalized 1-iterated torus knot complement, then there are at most three finite/cyclic fillings of maximal distance 1. Further, if $M$ has a non-boundary-parallel, incompressible torus and is not a generalized 1- or 2-iterated torus knot com…
A knot in the 3-sphere is called an L--space knot if it admits a nontrivial Dehn surgery yielding an L--space. Like torus knots and Berge knots, many L--space knots admit also a Seifert fibered surgery. We give a concrete example of a hyperbolic, L-space knot which has no exceptional surgeries, in particular, no Seifert fibered surgeries.
We show that, for any given 3-manifold M, there are at most finitely many hyperbolic knots K in the 3-sphere and fractions p/q (with q > 22), such that M is obtained by p/q surgery along K. This is a corollary of the following result. If M is obtained by Dehn filling the cusps of a hyperbolic 3-manifold X, where each filling slope has length more than 2 π+ ε, then, for any given M and ε> 0, there are only finitely many possibilities for X and for the filling slopes. In this paper, we also investigate the length of boundary slopes, and sequences of negatively curved metrics on a given 3-manifol…
For a knot $K,$ a slope $r$ is said to be characterizing if for no other knot $J$ does $r$-framed surgery along $J$ yield the same manifold as $r$-framed surgery on $K.$ Applying a condition of Baker and Motegi, we show that the knots $T_{2,2n+3}\#T_{-2,2n+1}$ have infinitely many non-characterizing slopes.
We survey aspects of classical combinatorial sutured manifold theory and show how they can be adapted to study exceptional Dehn fillings and 2-handle additions. As a consequence we show that if a hyperbolic knot $β$ in a compact, orientable, hyperbolic 3-manifold $M$ has the property that winding number and wrapping number are not equal with respect to a non-trivial class in $H_2(M,\boundary M)$, then, with only a few possible exceptions, every 3-manifold $M'$ obtained by Dehn surgery on $β$ with surgery distance $Δ\geq 2$ will be hyperbolic.
A slope $\frac pq$ is called a characterizing slope for a given knot $K_0\subset S^3$ if whenever the $\frac pq$--surgery on a knot $K\subset S^3$ is homeomorphic to the $\frac pq$--surgery on $K_0$ via an orientation preserving homeomorphism, then $K=K_0$. In a previous paper, we showed that, outside a certain finite set of slopes, only the negative integers could possibly be non-characterizing slopes for the torus knot $T_{5,2}$. Applying recent work of Baldwin--Hu--Sivek, we improve our result by showing that a nontrivial slope $\frac pq$ is a characterizing slope for $T_{5,2}$ if $\frac pq…
Which slopes can or cannot appear as Seifert fibered slopes for hyperbolic knots in the 3-sphere S^3? It is conjectured that if r-surgery on a hyperbolic knot in S^3 yields a Seifert fiber space, then r is an integer. We show that for each integer n, there exists a tunnel number one, hyperbolic knot K_n in S^3 such that n-surgery on K_n produces a small Seifert fiber space.
In this paper, we add examples to Goeritz groups, the mapping class groups of given Heegaard splittings of 3-manifolds. We focus on a Heegaard splitting of genus two of a Seifert manifold whose base orbifold is sphere with three exceptional points of sufficiently complex coefficients, where "sufficiently complex" means that every surgery coefficient p_{l} over q_{l} of each exceptional fiber (in a surgery description) satisfies that q_{l} is congruent to neither +1 or -1 modulo p_{l}.
Let $F$ be a proper essential immersed surface in a hyperbolic 3-manifold $M$ with boundary disjoint from a torus boundary component $T$ of $M$. Let $α$ be the set of coannular slopes of $F$ on $T$. The main theorem of the paper shows that there is a constant $K$ and a finite set of slopes $Λ$ on $T$, such that if $β$ is a slope on $T$ with $Δ(β, α_i) > K$ for all $α_i$ in $α$, and $β$ is not in $Λ$, then $F$ remains incompressible after Dehn filling on $T$ along the slope $β$. In certain sense, this means that $F$ survives most Dehn fillings. The proof uses minimal surface theory, integral of…
A non-trivial slope $r$ on a knot $K$ in $S^3$ is called a characterizing slope if whenever the result of $r$-surgery on a knot $K'$ is orientation preservingly homeomorphic to the result of $r$-surgery on $K$, then $K'$ is isotopic to $K$. Ni and Zhang ask: for any hyperbolic knot $K$, is a slope $r = p/q$ with $|p| + |q|$ sufficiently large a characterizing slope? In this article we answer this question in the negative by demonstrating that there is a hyperbolic knot $K$ in $S^3$ which has infinitely many non-characterizing slopes. As the simplest known example, the hyperbolic knot $8_6$ has…
We give a complete classification of toroidal Seifert fibered surgeries on alternating knots. Precisely, we show that if an alternating knot admits a toroidal Seifert fibered surgery, then the knot is either the trefoil knot and the surgery slope is zero, or the connected sum of a (2,p)-torus knot and a (2,q)-torus knot and the surgery slope is 2(p+q) with |p|, |q| at least three.
For a hyperbolic knot in the 3-sphere, at most finitely many Dehn surgeries yield non-hyperbolic 3-manifolds. As a typical case of such an exceptional surgery, a toroidal surgery is one that yields a closed 3-manifold containing an incompressible torus. The slope corresponding to a toroidal surgery, called a toroidal slope, is known to be integral or half-integral. We show that the distance between two integral toroidal slopes for a hyperbolic knot, except the figure-eight knot, is at most four. Hence any hyperbolic knot admits at most 5 toroidal surgeries.
Let K be a knot in the 3-sphere. A slope p/q is said to be characterising for K if whenever p/q surgery on K is homeomorphic, via an orientation-preserving homeomorphism, to p/q surgery on another knot K' in the 3-sphere, then K and K' are isotopic. It was an old conjecture of Gordon, proved by Kronheimer, Mrowka, Ozsvath and Szabo, that every slope is characterising for the unknot. In this paper, we show that every knot K has infinitely many characterising slopes, confirming a conjecture of Baker and Motegi. In fact, p/q is characterising for K provided |p| is at most |q| and |q| is sufficien…
Myers shows that every compact, connected, orientable $3$--manifold with no $2$--sphere boundary components contains a hyperbolic knot. We use work of Ikeda with an observation of Adams-Reid to show that every $3$--manifold subject to the above conditions contains a hyperbolic knot which admits a non-trivial non-hyperbolic surgery, a toroidal surgery in particular. We conclude with a question and a conjecture about reducible surgeries.
Suppose $K$ is a hyperbolic knot in a solid torus $V$ intersecting a meridian disk $D$ twice. We will show that if $K$ is not the Whitehead knot and the frontier of a regular neighborhood of $K \cup D$ is incompressible in the knot exterior, then $K$ admits at most one exceptional surgery, which must be toroidal. Embedding $V$ in $S^3$ gives infinitely many knots $K_n$ with a slope $r_n$ corresponding to a slope $r$ of $K$ in $V$. If $r$ surgery on $K$ in $V$ is toroidal then either all but at most three $K_n(r_n)$ are toroidal, or they are all reducible or small Seifert fibered with two commo…
This paper proves a theorem about Dehn surgery using a new theorem about PSL(2, C) character varieties. Confirming a conjecture of Boyer and Zhang, this paper shows that a small hyperbolic knot in a homotopy sphere having a non-trivial cyclic slope r has an incompressible surface with non-integer boundary slope strictly between r-1 and r+1. A corollary is that any small knot which has only integer boundary slopes has Property P. The proof uses connections between the topology of the complement of the knot, M, and the PSL(2, C) character variety of M that were discovered by Culler and Shalen. T…
It has been observed that most manifolds in the Callahan-Hildebrand-Weeks census of cusped hyperbolic $3$-manifolds are obtained by surgery on the minimally twisted 5-chain link. A full classification of the exceptional surgeries on the 5-chain link has recently been completed. In this article, we provide a complete classification of the sets of exceptional slopes and fillings for all cusped hyperbolic surgeries on the minimally twisted 5-chain link, thereby describing the sets of exceptional slopes and fillings for most hyperbolic manifolds of small complexity. The classification produces the…
Suppose $α$ and $R$ are disjoint simple closed curves in the boundary of a genus two handlebody $H$ such that $H[R]$ embeds in $S^3$ as the exterior of a hyperbolic knot $k$(thus, $k$ is a tunnel-number-one knot), and $α$ is Seifert in $H$(i.e., a 2-handle addition $H[α]$ is a Seifert-fibered space) and not the meridian of $H[R]$. Then for a slope $γ$ of $k$ represented by $α$, $γ$-Dehn surgery $k(γ)$ is a Seifert-fibered space. Such a construction of Seifert-fibered Dehn surgeries generalizes that of Seifert-fibered Dehn surgeries arising from primtive/Seifert positions of a knot, which was i…
Berge introduced knots that are primitive/primitive with respect to the genus 2 Heegaard surface, $F$, in $S^3$; surgery on such knots at the surface slope yields a lens space. Later Dean described a similar class of knots that are primitive/Seifert with respect to $F$; surgery on these knots at the surface slope yields a Seifert fibered space. Here we construct a two-parameter family of knots that have distinct primitive/Seifert embeddings in $F$ with the same surface slope, as well as a family of torus knots that have a primitive/primitive representative and a primitive/Seifert representativ…
Let r_m and r_M be the least and greatest finite boundary slopes of a hyperbolic knot K in S^3. We show that any cyclic surgery slopes of K must lie in the interval (r_m - 1/2, r_M + 1/2).
If a hyperbolic 3-manifold admits an exceptional Dehn filling, then the length of the slope of that Dehn filling is known to be at most six. However, the bound of six appears to be sharp only in the toroidal case. In this paper, we investigate slope lengths of other exceptional fillings. We construct hyperbolic 3-manifolds that have the longest known slopes for reducible fillings. As an intermediate step, we show that the problem of finding the longest such slope is equivalent to a problem on the maximal density horoball packings of planar surfaces, which should be of independent interest. We …
In this paper, we study the Riley polynomial of double twist knots with higher genus. Using the root of the Riley polynomial, we compute the range of rational slope $r$ such that $r$-filling of the knot complement has left-orderable fundamental group. Further more, we make a conjecture about left-orderable surgery slopes of two-bridge knots.
A slope $\frac pq$ is called a characterizing slope for a given knot $K_0$ in $S^3$ if whenever the $\frac pq$-surgery on a knot $K$ in $S^3$ is homeomorphic to the $\frac pq$-surgery on $K_0$ via an orientation preserving homeomorphism, then $K=K_0$. In this paper we try to find characterizing slopes for torus knots $T_{r,s}$. We show that any slope $\frac pq$ which is larger than the number $\frac{30(r^2-1)(s^2-1)}{67}$ is a characterizing slope for $T_{r,s}$. The proof uses Heegaard Floer homology and Agol--Lackenby's 6--Theorem. In the case of $T_{5,2}$, we obtain more specific information…
This is an expository paper, in which we give a summary of some of the joint work of John Luecke and the author on Dehn surgery. We consider the situation where we have two Dehn fillings $M(α)$ and $M(β)$ on a given 3-manifold $M$, each containing a surface that is either essential or a Heegaard surface. We show how a combinatorial analysis of the graphs of intersection of the two corresponding punctured surfaces in $M$ enables one to find faces of these graphs which give useful topological information about $M(α)$ and $M(β)$, and hence, in certain cases, good upper bounds on the intersection …
We show that the resulting manifold by $r$-surgery on the knot $5_2$, which is the two-bridge knot corresponding to the rational number 3/7, has left-orderable fundamental group if the slope $r$ satisfies $0\le r\le 4$.
We show that on a hyperbolic knot $K$ in $S^3$, the distance between any two finite surgery slopes is at most two and consequently there are at most three nontrivial finite surgeries. Moreover in case that $K$ admits three nontrivial finite surgeries, $K$ must be the pretzel knot $P(-2,3,7)$. In case that $K$ admits two noncyclic finite surgeries or two finite surgeries at distance two, the two surgery slopes must be one of ten or seventeen specific pairs respectively. For $D$-type finite surgeries, we improve a finiteness theorem due to Doig by giving an explicit bound on the possible resulti…
We propose a new algorithm for Dehn surgery problem, finding exceptional Dehn filling slopes for a given hyperbolic 3-manifold with a torus boundary, using a quantum invariant called "3D index". The invariant is defined using an ideal triangulation of the cusped 3-manifold. We test the algorithm for many examples.
For any hyperbolic genus one 2-bridge knot in the 3-sphere, we show that the resulting manifold by $r$-surgery on the knot has left-orderable fundamental group if the slope $r$ lies in some range which depends on the knot.
Work of Ni and Zhang has shown that for the torus knot $T_{r,s}$ with $r>s>1$ every surgery slope $p/q \geq \frac{30}{67}(r^2-1)(s^2-1)$ is a characterizing slope. In this paper, we show that this can be lowered to a bound which is linear in $rs$, namely, $p/q\geq \frac{43}{4}(rs-r-s)$. The main technical ingredient in this improvement is to show that if $Y$ is an $L$-space bounding a sharp 4-manifold which is obtained by $p/q$-surgery on a knot $K$ in $S^3$ and $p/q$ exceeds $4g(K)+4$, then the Alexander polynomial of $K$ is uniquely determined by $Y$ and $p/q$. We also show that if $p/q$-sur…
A slope $p/q$ is a characterizing slope for a knot $K$ in $S^3$ if the oriented homeomorphism type of $p/q$-surgery on $K$ determines $K$ uniquely. We show that for each torus knot its set of characterizing slopes contains all but finitely many non-integer slopes. This generalizes work of Ni and Zhang who established such a result for $T_{5,2}$. Along the way we show that if two knots $K$ and $K'$ in $S^3$ have homeomorphic $p/q$-surgeries, then for $q\geq 3$ and $p$ sufficiently large we can conclude that $K$ and $K'$ have the same genera and Alexander polynomials. This is achieved by conside…
Let $k\subset S^3$ be a nontrivial knot. The Cabling Conjecture of Francisco González-Acuña and Hamish Short posits that $π$-Dehn surgery on $k$ produces a reducible manifold if and only if $k$ is a $(p,q)$-cable knot and the surgery slope $π$ equals $pq$. We extend the work of James Allen Hoffman to prove the Cabling Conjecture for knots with bridge number up to $5$.
Two Dehn surgeries on a knot are called {\it purely cosmetic}, if they yield manifolds that are homeomorphic as oriented manifolds. Suppose there exist purely cosmetic surgeries on a knot in $S^3$, we show that the two surgery slopes must be the opposite of each other. One ingredient of our proof is a Dehn surgery formula for correction terms in Heegaard Floer homology.
We describe an algorithm for computing boundary slopes of 2-bridge links. As an example, we work out the slopes of the links obtained by 1/k surgery on one component of the Borromean rings. A table of all boundary slopes of all 2-bridge links with 10 or less crossings is also included.
We prove two conjectures of C. Gordon. We show that the maximal number of exceptional Dehn surgeries on a 1-cusped hyperbolic 3-manifold is 10, and that the maximal intersection number between exceptional slopes is 8. The proof uses a combination of new geometric techniques and a rigorous computer-assisted calculation.
We consider the question of how many essential Seifert Klein bottles with common boundary slope a knot in S^3 can bound, up to ambient isotopy. We prove that any hyperbolic knot in S^3 bounds at most six Seifert Klein bottles with a given boundary slope. The Seifert Klein bottles in a minimal projection of hyperbolic pretzel knots of length 3 are shown to be unique and pi_1-injective, with surgery along their boundary slope producing irreducible toroidal manifolds. The cable knots which bound essential Seifert Klein bottles are classified; their Seifert Klein bottles are shown to be non-pi_1-i…
The exceptional Dehn filling conjecture of the second author concerning the relationship between exceptional slopes $α, β$ on the boundary of a hyperbolic knot manifold $M$ has been verified in all cases other than small Seifert filling slopes. In this paper we verify it when $α$ is a small Seifert filling slope and $β$ is a toroidal filling slope in the generic case where $M$ admits no punctured-torus fibre or semi-fibre, and there is no incompressible torus in $M(β)$ which intersects $\partial M$ in one or two components. Under these hypotheses we show that $Δ(α, β) \leq 5$. Our proof is bas…
