We show that for each pair of positive integers g and n, there are infinitely many tunnel number one knots, whose exteriors contain an essential meridional surface of genus g, and with 2n boundary components. We also show that for each positive integer n, there are tunnel number one knots whose exteriors contain n disjoint, non-parallel, closed incompressible surfaces, each of genus n.
We determine all (1,1)-knots which admit an essential meridional surface, namely, we give a construction which produces (1,1)-knots having essential meridional surfaces, and show that if a (1,1)-knot admits an essential meridional surface then it comes from the given construction.
The Meridional Rank Conjecture asks whether the bridge number of a knot in $S^3$ is equal to the minimal number of meridians needed to generate the fundamental group of its complement. In this paper we investigate the analogous conjecture for knotted surfaces in $S^4$. Towards this end, we give a construction to produce classical knots with quotients sending meridians to elements of any finite order and which detect their meridional ranks. We establish the equality of bridge number and meridional rank for these knots and knotted spheres obtained from them by twist-spinning. On the other hand, …
We show the existence of infinitely many knot exteriors where each of which contains meridional essential surfaces of any genus and (even) number of boundary components. That is, the compact surfaces that have a meridional essential embedding into a knot exterior have a meridional essential embedding into each of these knot exteriors. From these results, we also prove the existence of a hyperbolic knot exterior in some 3-manifold for which there are meridional essential surfaces of independently unbounded genus and number of boundary components.
We show the existence of an infinite collection of hyperbolic knots where each of which has in its exterior meridional essential planar surfaces of arbitrarily large number of boundary components, or, equivalently, that each of these knots has essential tangle decompositions of arbitrarily large number of strings. Moreover, each of these knots has in its exterior meridional essential surfaces of any positive genus and (even) number of boundary components. That is, the compact surfaces that have a meridional essential embedding into a hyperbolic knot exterior have meridional essential embedding…
For a knot K and its knot Floer complex CFK^-(K), we introduce an algorithm to compute the bordered Floer bimodule of the complement of the knot and its meridian. The grading of the module computes spin^c-summands of a meridional knot in the large Dehn surgery manifold, which can be also extended to arbitrary framing n.
We show the existence of infinitely many prime knots each of which having in their complements meridional essential surfaces with two boundary components and arbitrarily high genus.
We prove that the meridional rank and the bridge number of the Whitehead double of a prime algebraically tame knot coincide. Algebraically tame knots are a broad generalization of torus knots and iterated cable knots.
We prove for a large class of knots that the meridional rank coincides with the bridge number. This class contains all knots whose exterior is a graph manifold. This gives a partial answer to a question of S. Cappell and J. Shaneson, see problem 1.11 on Kirby's list.
Suppose $K$ is a knot in a closed 3-manifold $M$ such that $\bar{M-N(K)}$ is irreducible. We show that for any positive integer $b$ there exists a triangulation of $\bar{M-N(K)}$ such that any weakly incompressible bridge surface for $K$ of $b$ bridges or fewer is isotopic to an almost normal bridge surface.
In the literature of the study of knot group epimorphisms, the existence of an epimorphism between two given knot groups is mostly (if not always) shown by giving an epimorphism which preserves meridians. A natural question arises: is there an epimorphism preserving meridians whenever a knot group is a homomorphic image of another? We answer in the negative by presenting infinitely many pairs of prime knot groups (G,G') such that G' is a homomorphic image of G but no epimorphism of G onto G' preserves meridians.
We find explicit maximal rank Coxeter quotients for the knot groups of 595,515 out of the 1,701,936 knots through 16 crossings. We thus calculate the bridge numbers and verify Cappell and Shaneson's Meridional Rank Conjecture for these knots. In addition, we provide a computational tool for establishing the conjecture for knots beyond 16 crossings whose meridional ranks can be detected via finite Coxeter quotients.
We study certain linear representations of the knot group that induce augmentations of knot contact homology. This perspective on augmentations enhances our understanding of the relationship between the augmentation polynomial and the A-polynomial of the knot. For example, we show that for 2-bridge knots the polynomials agree and that this is never the case for (non-2-bridge) torus knots, nor for a family of 3-bridge pretzel knots. In addition, we obtain a lower bound on the meridional rank of the knot. As a consequence, our results give another proof that torus knots and a family of pretzel k…
We give a description of all (1,2)-knots in S^3 which admit a closed meridionally incompressible surface of genus 2 in their complement. That is, we give several constructions of (1,2)-knots having a meridionally incompressible surface of genus 2, and then show that any such surface for a (1,2)-knot must come from one of the constructions. As an application, we show explicit examples of tunnel number one knots which are not (1,2)-knots.
We show that, for any integer $n\ge 3$, there is a prime knot $k$ such that (1) $k$ is not meridionally primitive, and (2) for every $m$-bridge knot $k'$ with $m\leq n$, the tunnel numbers satisfy $t(k\# k')\le t(k)$. This gives counterexamples to a conjecture of Morimoto and Moriah on tunnel number under connected sum and meridionally primitive knots.
We extend the notion of thin multiple Heegaard splittings of a link in a 3-manifold to take into consideration not only compressing disks but also cut-disks for the Heegaard surfaces. We prove that if H is a c-strongly compressible bridge surface for a link K contained in a closed orientable irreducible 3-manifold M then one of the following is satisfied: H is stabilized, H is meridionally stabilized, H is perturbed, a component of K is removable, M contains an essential meridional surface.
We prove that links with meridional rank 3 whose 2-fold branched covers are graph manifolds are 3-bridge links. This gives a partial answer to a question by S. Cappell and J. Shaneson on the relation between the bridge numbers and meridional ranks of links. To prove this, we also show that the meridional rank of any satellite knot is at least 4.
Any 2-bridge knot in the 3-sphere has a bridge sphere from which any other bridge surface can be obtained by stabilization, meridional stabilization, perturbation and proper isotopy.
We define the {\it Wirtinger number} of a link, an invariant closely related to the meridional rank. The Wirtinger number is the minimum number of generators of the fundamental group of the link complement over all meridional presentations in which every relation is an iterated Wirtinger relation arising in a diagram. We prove that the Wirtinger number of a link equals its bridge number. This equality can be viewed as establishing a weak version of Cappell and Shaneson's Meridional Rank Conjecture, and suggests a new approach to this conjecture. Our result also leads to a combinatorial techniq…
We show that if a knot or link has n thin levels when put in thin position then its exterior contains a collection of n disjoint, non-parallel, planar, meridional, essential surfaces. A corollary is that there are at least n/3 tetrahedra in any triangulation of the complement of such a knot.
Let $F$ be an incompressible, meridionally incompressible and not boundary-parallel surface with boundary in the complement of an algebraic tangle $(B,T)$. Then $F$ separates the strings of $T$ in $B$ and the boundary slope of $F$ is uniquely determined by $(B,T)$ and hence we can define the slope of the algebraic tangle. In addition to the Conway's tangle sum, we define a natural product of two tangles. The slopes and binary operation on algebraic tangles lead an algebraic structure which is isomorphic to the rational numbers. We introduce a new knot and link class, algebraically alternating …
This paper gives a complete classification of all alternating knots with tunnel number one, and all their unknotting tunnels. We prove that the only such knots are two-bridge knots and certain Montesinos knots.
The genus of satellite tunnel number one knots and torti-rational knots is computed using the tools introduced by Floyd and Hatcher. An implementation of an algorithm is given to compute genus and slopes of minimal genus Seifert surfaces for such knots.
We give lower bounds for the tunnel number of knots and handlebody-knots. We also give a lower bound for the cutting number, which is a "dual" notion to the tunnel number in the handlebody-knot theory. We provide necessary conditions for constituent handlebody-knots by using $G$-family of quandles colorings. The above two evaluations are obtained as the corollaries. Furthermore, we construct handlebody-knots with arbitrary tunnel number and cutting number.
This is the second of three papers that refine and extend portions of our earlier preprint, "The depth of a knot tunnel." Together, they rework the entire preprint. The theory of tunnel number 1 knots that we introduced in "The tree of knot tunnels" yields a parameterization in which each tunnel is described uniquely by a finite sequence of rational parameters and a finite sequence of 0's and 1's, that together encode a procedure for constructing the knot and tunnel. In this paper we calculate these invariants for all tunnels of torus knots.
We define a metric filtration of the Gordian graph by an infinite family of 1-dense subgraphs. The n-th subgraph of this family is generated by all knots whose fundamental groups surject to a symmetric group with parameter at least n, where all meridians are mapped to transpositions. Incidentally, we verify the Meridional Rank Conjecture for a family of knots with unknotting number one yet arbitrarily high bridge number.
We show that twisted torus knots $T(p,q,3,s)$ are tunnel number one. A short spanning arc connecting two adjacent twisted strands is an unknotting tunnel.
We provide criteria ensuring that a tunnel number one knot $K$ is not determined by its double branched cover, in the sense that the double branched cover is also the double branched cover of a knot $K'$ not equivalent to $K$.
This is the first of three papers that refine and extend portions of our earlier preprint, "Depth of a knot tunnel." Together, they rework the entire preprint. H. Goda, M. Scharlemann, and A. Thompson described a general construction of all tunnels of all tunnel number 1 knots using "tunnel moves". We apply the theory that we introduced in "The tree of knot tunnels" to study this construction. In particular, we use it to calculate the number of distinct minimal sequences of tunnel moves that can produce a given tunnel. As a consequence, we see that for a sparse infinite set of tunnels, the min…
In a previous paper the authors defined the growth rate of the tunnel number of knots, an invariant that measures that asymptotic behavior of the tunnel number under connected sum. In this paper we calculate the growth rate of the tunnel number of m-small knots in terms of their bridge indices.
Let K be a knot that has an unknotting tunnel tau. We prove that K admits a strong involution that fixes tau pointwise if and only if K is a two-bridge knot and tau its upper or lower tunnel.
Let $K$ be a tunnel number two knot. Then, by considering the $(g, b)$-decompositions, $K$ is one of (3, 0)-, (2, 1)-, (1, 2)- or (0, 3)-knots. In the present paper, we analyze the connected sum summands of composite tunnel number two knots and give a complete table of those summands from the point of view of $(g, b)$-decompositions.
The theory of tunnel number 1 knots detailed in our previous paper, The tree of knot tunnels, provides a non-negative integer invariant called the depth of the tunnel. We give various results related to the depth invariant. Noting that it equals the minimum number of Goda-Scharlemann-Thompson tunnel moves needed to construct the tunnel, we calculate the number of distinct minimal sequences of tunnel moves that can produce a given tunnel. Next, we give a recursion that tells the minimum bridge number of a knot having a tunnel of depth D. The rate of growth of this value improves the known estim…
We study the way a strongly irreducible Heegaard surface $Σ$ intersects a knot exterior $X$ embedded in a 3-manifold, and show that if $Σ\cap \partial X$ consists of simple closed curves which are essential in both $Σ$ and $\partial X$, then the intersection $X \cap Σ$ consists of meridional annuli only. As an application we show that when considering two Heegaard surfaces that intersect essentially and spinally (cf. Rubinstein and Shcarlemann) any embedded torus in the union of the two bounds a solid torus.
We calculate the twisted Alexander polynomials of all tunnel number one Montesinos knots associated to their $SL_2(\mathbb{C})$-representations and obtain their leading coefficients and degrees. As a corollary, we get some interesting examples, that is, nonfibered knots with monic Alexander polynomials which have non-monic twisted Alexander polynomials.
The only knots that are tunnel number one and genus one are those that are already known: 2-bridge knots obtained by plumbing together two unknotted annuli and the satellite examples classified by Eudave-Munoz and by Morimoto-Sakuma. This confirms a conjecture first made by Goda and Teragaito.
In this paper, we show that any unknotting tunnel for a two bridge knot is isotopic to either one of known ones. This together with Morimoto-Sakuma's result gives the complete classification of unknotting tunnels for two bridge knots up to isotopies and homeomorphisms.
We study 2-string free tangle decompositions of knots with tunnel number two. As an application, we construct infinitely many counter-examples to a conjecture in the literature stating that the tunnel number of the connected sum of prime knots doesn't degenerate by more than one.
In this paper, we study on knots and closed incompressible surfaces in the 3-sphere via Morse functions. We show that both of knots and closed incompressible surfaces can be isotoped into a "related Morse position" simultaneously. As an application, we have following results. *Smallness of Montesinos tangles with length two and Kinoshita's theta curve *Classification of closed incompressible and meridionally incompressible surfaces in 2-bridge theta-curve and handcuff graph complements and the complements of links which admit Hopf tangle decompositions.
We determine the genus one fibered knots in lens spaces that have tunnel number one. We also show that every tunnel number one, once-punctured torus bundle is the result of Dehn filling a component of the Whitehead link in the 3-sphere.
Using exhaustive techniques and results from Lackenby and many others, we compute the tunnel number of all 1655 alternating 11 and 12 crossing knots and of 881 non-alternating 11 and 12 crossing knots. We also find all 5525 Montesinos knots with 14 crossings or fewer.
For a genus-1 1-bridge knot in the 3-sphere, that is, a (1,1)-knot, a middle tunnel is a tunnel that is not an upper or lower tunnel for some (1,1)-position. Most torus knots have a middle tunnel, and non-torus-knot examples were obtained by Goda, Hayashi, and Ishihara. In a previous paper, we generalized their construction and calculated the slope invariants for the resulting examples. We give an iterated version of the construction that produces many more examples, and calculate their slope invariants. If one starts with the trivial knot, the iterated constructions produce all the 2-bridge k…
Let M be $S^3$, $S^1\times S^2$, or a lens space L(p,q), and let k be a (1,1)-knot in M, i.e., a knot which is of 1-bridge with respect to a Heegaard torus. We show that if there is a closed meridionally incompressible surface in the complement of k, then the surface and the knot can be put in a special position, namely, the surface is the boundary of a regular neighborhood of a toroidal graph, and the knot is level with respect to that graph. As an application we show that for any such M there exist tunnel number one knots which are not (1,1)-knots.
A knot in S^3 is said to have crosscap number two if it bounds a once-punctured Klein bottle but not a Moebius band. In this paper we give a method of constructing crosscap number two hyperbolic (1,2)-knots with tunnel number one which are neither 2-bridge nor (1,1)-knots. An explicit infinite family of such knots is discussed in detail.
We show that the bridge number of a $t$ bridge knot in $S^3$ with respect to an unknotted genus $t$ surface is bounded below by a function of the distance of the Heegaard splitting induced by the $t$ bridges. It follows that for any natural number $n$, there is a tunnel number one knot in $S^3$ that is not $(1,n)$.
It is proven here that if the connected sum of two tunnel number one knots in the 3-sphere is a tunnel number two knot, then at least one of the summand knots has a genus two Heegaard splitting with a meridian as a primitive element. Hence this is a necessary and sufficient condition for tunnel number one knots to have additive tunnel number.
Given a knot $K$ in $S^3$, a question raised by Cappell and Shaneson asks if the meridional rank of $K$ equals the bridge number of $K$. Using augmentations in knot contact homology we consider the persistence of equality between these two invariants under satellite operations on $K$ with a braid pattern. In particular, we answer the question in the affirmative for a large class of iterated torus knots.
This is the third of three papers that refine and extend portions of our earlier preprint, "The depth of a knot tunnel." Together, they rework the entire preprint. In this paper, we use the theory of tunnel number 1 knots that we introduced in "The tree of knot tunnels" to strengthen the Tunnel Leveling Theorem of H. Goda, M. Scharlemann, and A. Thompson. This yields considerable information about bridge numbers of tunnel number 1 knots. In particular, we calculate the minimum bridge number of a knot as a function of the maximum depth invariant d of its tunnels. The growth of this value is on …
A knot k in a closed orientable 3-manifold is called nonsimple if the exterior of k possesses a properly embedded essential surface of nonnegative Euler characteristic. We show that if k is a nonsimple prime tunnel number one knot in a lens space M (where M does not contain any embedded Klein bottles), then k is a (1,1) knot. Elements of the proof include handle addition and Dehn filling results/techniques of Jaco, Eudave-Munoz and Gordon as well as structure results of Schultens on the Heegaard splittings of graph manifolds.
For a genus-1 1-bridge knot in the 3-sphere, that is, a (1,1)-knot, a middle tunnel is a tunnel that is not an upper or lower tunnel for some (1,1)-position. Most torus knots have a middle tunnel, and non-torus-knot examples were obtained by Goda, Hayashi, and Ishihara. We generalize their construction and calculate the slope invariants for the resulting middle tunnels. In particular, we obtain the slope sequence of the original example of Goda, Hayashi, and Ishihara.
We present a new theory which describes the collection of all tunnels of tunnel number 1 knots in the 3-sphere (up to orientation-preserving equivalence in the sense of Heegaard splittings) using the disk complex of the genus-2 handlebody and associated structures. It shows that each knot tunnel is obtained from the tunnel of the trivial knot by a uniquely determined sequence of simple cabling constructions. A cabling construction is determined by a single rational parameter, so there is a corresponding numerical parameterization of all tunnels by sequences of such parameters and some addition…
Given a knot $K$ in a closed orientable manifold $M$ we define the growth rate of the tunnel number of $K$ to be $gr_t(K) = \limsup_{n \to \infty} \frac{t(nK) - n t(K)}{n-1}$. As our main result we prove that the Heegaard genus of $M$ is strictly less than the Heegaard genus of the knot exterior if and only if the growth rate is less than 1. In particular this shows that a non-trivial knot in $S^3$ is never asymptotically super additive. The main result gives conditions that imply falsehood of Morimoto's Conjecture.
If a knot K in a closed, orientable 3-manifold M has a bridge surface T with distance at least 3 in the curve complex of T - K, then the genus of any essential surface in its exterior with non-empty, non-meridional boundary gives rise to an upper bound for the bridge number of K with respect to T. In particular, a nontrivial, aspherical, and atoroidal knot K with such a bridge surface has its bridge number bounded by 5 if K has a non-trivial reducing surgery; 6 if K has a non-trivial toroidal surgery; and 4g + 2 if K is null-homologous and has Seifert genus g.
In this article, we prove that a tunnel number two knot induces a critical Heegaard splitting in its exterior if there are two weak reducing pairs such that each weak reducing pair contains the cocore disk of each tunnel. Moreover, we prove that a connected sum of two 2-bridge knots or more generally that of two $(1,1)$-knots can induce a critical Heegaard splitting in its exterior as the examples of the main theorem. Finally, we give an equivalent condition for a weak reducing pair to be determined by a compressing disk uniquely when the manifold is closed, irreducible and the Heegaard splitt…
Let $K_1, K_2$ be two knots with $t(K_1)+t(K_2)>2$ and $t(K_1 # K_2)=2$. Then, in the present paper, we will show that any genus three Heegaard splittings of $E(K_1 # K_2)$ is strongly irreducible and that $E(K_1 # K_2)$ has at most four genus three Heegaard splittings up to homeomorphism. Moreover, we will give a complete classification of those four genus three Heegaard splittings and show unknotting tunnel systems of knots $K_1 # K_2$ corresponding to those Heegaard splittings.
It is a consequence of theorems of Gordon-Reid [Tangle decompositions of tunnel number one knots and links, J. Knot Theory and its Ramifications, 4 (1995) 389-409] and Thompson [Thin position and bridge number for knots in the 3-sphere, Topology, 36 (1997) 505-507] that a tunnel number one knot, if put in thin position, will also be in bridge position. We show that in such a thin presentation, the tunnel can be made level so that it lies in a level sphere. This settles a question raised by Morimoto [A note on unknotting tunnels for 2-bridge knots, Bulletin of Faculty of Engineering Takushoku U…
We exhibit an infinite family of knots in the Poincare homology sphere with tunnel number 2 that have a lens space surgery. Notably, these knots are not doubly primitive and provide counterexamples to a few conjectures. In the appendix, it is shown that hyperbolic knots in the Poincare homology sphere with a lens space surgery has either no symmetries or just a single strong involution.