On tunnel numbers of a cable knot and its companion

From MaRDI portal
Publication:2215646



Abstract: Let K be a nontrivial knot in S3 and t(K) its tunnel number. For any (pgeq2,q)-slope in the torus boundary of a closed regular neighborhood of K in S3, denoted by Kstar, it is a nontrivial cable knot in S3. Though t(Kstar)leqt(K)+1, Example 1.1 in Section 1 shows that in some case, t(Kstar)leqt(K). So it is interesting to know when t(Kstar)=t(K)+1. After using some combinatorial techniques, we prove that (1) for any nontrivial cable knot Kstar and its companion K, t(Kstar)geqt(K); (2) if either K admits a high distance Heegaard splitting or p/q is far away from a fixed subset in the Farey graph, then t(Kstar)=t(K)+1. Using the second conclusion, we construct a satellite knot and its companion so that the difference between their tunnel numbers is arbitrary large.


The tunnel number of a knot is the minimal number of arcs to be added to the knot so that the complement becomes a handlebody. It is a knot invariant and every knot is either hyperbolic, a torus knot, or a satellite knot. In this paper, the authors provide an interesting family of cable knots which is contained in the set of satellite knots and which has inequalities for the tunnel numbers between the cable knot and its companion. For a given nontrivial knot \(K\) in \(S^3\), they take \((p\geq 2, q)\)-cable knots, which are nontrivial cable knots, denoted by \(K^*\). They first prove that \(t(K^*)\geq t(K)\) and that \(t(K^*)=t(K)\) if \(K^*\) is a \((p,q)\)-cable and \(K\) is \(p/q\)-primitive by the fact that \(t(K^*)\leq t(K)\) if \(K\) and \(K^*\) satisfy the same condition. For the main result, they find two conditions for equality \(t(K^*)=t(K)+1\) as follows: \((1)\) either \(K\) admits a high distance Heegaard splitting or \(p/q\) is far away from a fixed subset in the Farey graph. In order to prove the main result, they use interesting and excellent combinatorial techniques on the Heegaard splitting of the knot exterior in \(S^3\). Moreover, by using a construction of satellite knot from the cable knot \(K^*\) they give an example of a satellite knot which has arbitrary large tunnel number difference from the companion \(K\).











This page was built for publication: On tunnel numbers of a cable knot and its companion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2215646)