It has been an open question whether all boundary slopes of hyperbolic knots are strongly detected by the character variety. The main result of this paper produces an infinite family of hyperbolic knots each of which has at least one strict boundary slope that is not strongly detected by the character variety.
Garoufalidis conjectured a relation between the boundary slopes of a knot and its colored Jones polynomials. According to the conjecture, certain boundary slopes are detected by the sequence of degrees of the colored Jones polynomials. We verify this conjecture for adequate knots, a class that vastly generalizes that of alternating knots.
The A-polynomial of a manifold whose boundary consists of a single torus is generalised to an eigenvalue variety of a manifold whose boundary consists of a finite number of tori, and the set of strongly detected boundary curves is determined by Bergman's logarithmic limit set, which describes the exponential behaviour of the eigenvalue variety at infinity. This enables one to read off the detected boundary curves of a multi-cusped manifold in a similar way to the 1-cusped case, where the slopes are encoded in the Newton polygon of the A-polynomial.
We extend Culler and Shalen's construction of detecting essential surfaces in 3-manifolds to 3-orbifolds. We do so in the setting of the $\mathrm{SL}_2(\mathbb{C})$ character variety, and following Boyer and Zhang in the $\mathrm{PSL}_2(\mathbb{C})$ character variety as well. We show that any slope detected on a canonical component of the $\mathrm{(P)SL}_2(\mathbb{C})$ character variety of a one cusped hyperbolic 3-manifold with symmetries must be the slope of a symmetric surface. As an application, we show that for each symmetric double twist knot there are slopes which are strongly detected …
In this note we exhibit concrete examples of characterizing slopes for the knot $12n242$, aka the $(-2,3,7)$-pretzel knot. Although it was shown by Lackenby that every knot admits infinitely many characterizing slopes, the non-constructive nature of the proof means that there are very few hyperbolic knots for which explicit examples of characterizing slopes are known.
A slope $p/q$ is a characterising 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 when $K$ is a hyperbolic knot its set of characterising slopes contains all but finitely many slopes $p/q$ with $q \geq 3$. We prove stronger results for hyperbolic $L$-space knots, showing that all but finitely many non-integer slopes are characterising. The proof is obtained by combining Lackenby's proof that for a hyperbolic knot any slope $p/q$ with $q$ sufficiently large is characterising with genus bounds derived from Heegaard Fl…
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 establish a characterization of adequate knots in terms of the degree of their colored Jones polynomial. We show that, assuming the Strong Slope conjecture, our characterization can be reformulated in terms of "Jones slopes" of knots and the essential surfaces that realize the slopes .For alternating knots the reformulated characterization follows by recent work of J. Greene and J. Howie.
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…
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.
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…
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…
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…
We give new bounds for the distance between two exceptional filling slopes for a 1-cusped hyperbolic 3-manifold in several different situations. The distance between a reducible slope and a slope that produces a manifold with finite fundamental group is at most 2. The distance between a reducible slope and one that produces a very small manifold is also at most 2. The distance between a reducible slope and one which produces a manifold with a pi_1 injective torus is at most 4. The methods used involve both characteristic submanifold theory and the theory of the PSL(2,C) character variety.
Using the techniques on annulus twists, we observe that $6_3$ has infinitely many non-characterizing slopes, which affirmatively answers a question by Baker and Motegi. Furthermore, we prove that the knots $6_2$, $6_3$, $7_6$, $7_7$, $8_1$, $8_3$, $8_4$, $8_6$, $8_7$, $8_9$, $8_{10}$, $8_{11}$, $8_{12}$, $8_{13}$, $8_{14}$, $8_{17}$,$8_{20}$ and $8_{21}$ have infinitely many non-characterizing slopes. We also introduce the notion of trivial annulus twists and give some possible applications. Finally, we completely determine which knots have special annulus presentations up to 8-crossings.
The powerful character variety techniques of Culler and Shalen can be used to find essential surfaces in knot manifolds. We show that module structures on the coordinate ring of the character variety can be used to identify detected boundary slopes as well as when closed surfaces are detected. This approach also yields new number theoretic invariants for the character varieties of knot manifolds.
Using the Hatcher-Oertel algorithm for finding boundary slopes of Montesinos knots, we prove the Slope Conjecture and the Strong Slope Conjecture for a family of 3-tangle pretzel knots. More precisely, we prove that the maximal degrees of the colored Jones polynomial of such knots determine a boundary slope as predicted by the Slope Conjecture, and that the linear term in the degrees correspond to the Euler characteristic of an essential surface.
We define the slope of a colored link in an integral homology sphere, associated to admissible characters on the link group. Away from a certain singular locus, the slope is a rational function which can be regarded as a multivariate generalization of the Kojima--Yamasaki $η$-function. It is the ratio of two Conway potentials, provided that the latter makes sense; otherwise, it is a new invariant. The slope is responsible for an extra correction term in the signature formula for the splice of two links, in the previously open exceptional case where both characters are admissible. Using a simil…
In this paper, two lower bounds on the diameters of the boundary slope sets are given for Montesinos knots. One is described in terms of the minimal crossing numbers of the knots, and the other is related to the Euler characteristics of essential surfaces with the maximal/minimal boundary slopes.
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 …
The A-polynomial is a knot invariant related to the space of $SL_2(\mathbb{C})$ representations of the knot group. In this paper our interests lies in the logarithmic Gauss map of the A-polynomial. We develop a homological point of view on this slope by extending the constructions of Degtyarev, the second author and Lecuona to the setting of non-abelian representations. It defines a rational function on the character variety, which unifies various known invariants such as the change of curves in the Reidemeister function, the modulus of boundary-parabolic representations, the boundary slope of…
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…
Motivated by the L-space conjecture, we investigate various notions of order-detection of slopes on knot manifolds. These notions are designed to characterise when rational homology 3-spheres obtained by gluing compact manifolds along torus boundary components have left-orderable fundamental groups and when a Dehn filling of a knot manifold has a left-orderable fundamental group. Our developments parallel existing results in the case of Heegaard-Floer slope detection and foliation slope detection, leading to several conjectured structure theorems that connect relative Heegaard-Floer homology a…
We point out that the strong slope conjecture implies that the degrees of the colored Jones knot polynomials detect the figure eight knot. Furthermore, we propose a characterization of alternating knots in terms of the Jones period and the degree span of the colored Jones polynomial.
Following McShane, we employ the stable norm on the homology of the modular torus to investigate the Markov ordering on the set of relatively prime integer pairs $(q,p)$ with $q\ge p\ge0$. Our main theorem is a characterization of slopes along which the Markov ordering is monotone with respect to $q$, confirming conjectures of Lee-Li-Rabideau-Schiffler that refine conjectures of Aigner. The main tool is an explicit computation of the slopes at the corners of the stable norm ball for the modular torus.