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.
We prove that if a fibered knot $K$ with genus greater than one in a three-manifold $M$ has a sufficiently complicated monodromy, then $K$ induces a minimal genus Heegaard splitting $P$ that is unique up to isotopy, and small genus Heegaard splittings of $M$ are stabilizations of $P$. We provide a complexity bound in terms of the Heegaard genus of $M$. We also provide global complexity bounds for fibered knots in the three-sphere and lens spaces.
Following the classification of genus one fibered knots in lens spaces by Baker, we determine hyperbolic genus one fibered knots in lens spaces on whose all integral Dehn surgeries yield closed 3-manifolds with left-orderable fundamental groups.
The braid axis of a closed 3-braid lifts to a genus one fibered knot in the double cover of S^3 branched over the closed braid. Every (null homologous) genus one fibered knot in a 3-manifold may be obtained in this way. Using this perspective we answer a question of Morimoto about the number of genus one fibered knots in lens spaces. We determine the number of genus one fibered knots up to homeomorphism in any given lens space. This number is 3 in the case of the lens space L(4,1), 2 for the lens spaces L(m,1) with m>0, and at most 1 otherwise.
We give a necessary and sufficient condition for a simple closed curve on the boundary of a genus two handlebody to decompose the handlebody into (torus with one boundary component times [0,1]. We use this condition to decide whether a simple closed curve on a genus two Heegaard surface is a GOF-knot (genus one fibered knot) which induces the Heegaard splitting. By using this, we determine the number and the positions with respect to the Heegaard splittings of GOF-knots in the 3-manifolds with reducible genus two Heegaard splittings. This is another proof of results of Morimoto and Baker.
Supose that $Y$ is a lens space with $|H_1(Y; \mathbb{Z})|$ prime, and $Y$ does not contain a genus one fibered knot. We show that $Y$ contains a knot whose exterior is a once-punctured torus bundle if and only if $Y$ is the result of $p/q$-surgery on the trefoil. This partially answers a question posed by Ken Baker in a paper in which he gives a complete classification of genus one fibered knots contained in lens spaces. Combining Baker's classification with Moser's characterization of lens space surgeries on the trefoil, we generate an infinite family of lens spaces which do not contain any …
We analyze all monodromies of genus one fibered knots that possess clean or once-unclean arcs, and use this to determine all manifolds containing genus one fibered knots with generalized crossing changes resulting in another genus one fibered knot, and classify all such generalized crossing changes between two genus one, fibered knots.
We prove that every lens space contains a genus one homologically fibered knot, which is contrast to the fact that some lens spaces contain no genus one fibered knot. In the proof, the Chebotarev density theorem and binary quadratic forms in number theory play a key role. We also discuss the Alexander polynomial of homologically fibered knots.
It is shown, using sutured manifold theory, that if there are any 2-component counterexamples to the Generalized Property R Conjecture, then any knot of least genus among components of such counterexamples is not a fibered knot. The general question of what fibered knots might appear as a component of such a counterexample is further considered; much can be said about the monodromy of the fiber, particularly in the case in which the fiber is of genus two.
It is proved by Sakuma and Brooks that any closed orientable $3$-manifold with a Heegaard splitting of genus $g$ admits a $2$-fold branched cover that is a hyperbolic $3$-manifold and a genus $g$ surface bundle over the circle. This paper concerns entropy of pseudo-Anosov monodromies for hyperbolic fibered $3$-manifolds. We prove that there exist infinitely many closed orientable $3$-manifolds $M$ such that the minimal entropy over all hyperbolic, genus $g$ surface bundles over the circle as $2$-fold branched covers of the $3$-manifold $M$ is comparable to $1/g$.
We prove relative versions of the symplectic capping theorem and sufficiency of Giroux's criterion for Stein fillability and use these to study the 4-genus of knots.
We examine surgery on a knot in $S^3$ to determine surgery obstructions to Seifert fibered integral homology spheres. We find such surgery obstructions using Heegaard Floer, Knot Floer homology and the mapping cone formula for computing Heegaard Floer homology of surgery on a knot. Here however, we take a different approach and use the number of singular fibers of a Seifert fibered integral homology sphere, which is the toroidal structure, to find obstructions. This approach allows us to show that genus one knots cannot yield Seifert fibered integral homology spheres with six or more singular …
The open book decompositions of the 3-sphere whose pages are pairs of pants have been fully understood for some time, through the lens of contact geometry. The purpose of this note is to exhibit a purely topological derivation of the classification of such open books, in terms of the links that form their bindings and the corresponding monodromies. We construct all of the links and their pair-of-pants fiber surfaces from the simplest example, a connected sum of two Hopf links, through performing (generalized) Stallings twists. Then, by applying the now-classical theory of genus two Heegaard di…
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…
Humboldt-Universität zu Berlin(柏林洪堡大学);Universität Heidelberg(海德堡大学);ETH Zürich(苏黎世联邦理工学院);Universität Regensburg(雷根斯堡大学);Universidad de Sevilla(塞维利亚大学)
We show that if a fibered knot $K$ is expressed as a band--connected sum of $K_1, \ldots, K_n$, then each $K_i$ is fibered, and the genus of $K$ is greater than or equal to that of the connected sum of $K_1,\ldots,K_n$.
Using the mapping cone of a rational surgery, we give several obstructions for Seifert fibered surgeries, including obstructions on the Alexander polynomial, the knot Floer homology, the surgery coefficient and the Seifert and four-ball genus of the knot.
We prove the nugatory crossing conjecture for fibered knots. We also show that if a knot $K$ is $n$-adjacent to a fibered knot $K'$, for some $n>1$, then either the genus of $K$ is larger than that of $K'$ or $K$ is isotopic to $K'$.
We determine the structure of the circular handle decompositions of the family of free genus one knots. Namely, if k is a free genus one knot, then the handle number h(k)= 0, 1 or 2, and, if k is not fibered (that is, if h(k)>0), then k is almost fibered. For this, we develop practical techniques to construct circular handle decompositions of knots with free Seifert surfaces in the 3-sphere (and compute handle numbers of many knots), and, also, we characterize the free genus one knots with more than one Seifert surface. These results are obtained through analysis of spines of surfaces on handl…
We study contact structures compatible with genus one open book decompositions with one boundary component. Any monodromy for such an open book can be written as a product of Dehn twists around dual non-separating curves in the once-punctured torus. Given such a product, we supply an algorithm to determine whether the corresponding contact structure is tight or overtwisted. We rely on Ozsv{á}th-Szab{ó} Heegaard Floer homology in our construction and, in particular, we completely identify the $L$-spaces with genus one, one boundary component, pseudo-Anosov open book decompositions. Lastly, we r…
Every element in the first cohomology group of a 3--manifold is dual to embedded surfaces. The Thurston norm measures the minimal `complexity' of such surfaces. For instance the Thurston norm of a knot complement determines the genus of the knot in the 3--sphere. We show that the degrees of twisted Alexander polynomials give lower bounds on the Thurston norm, generalizing work of McMullen and Turaev. Our bounds attain their most concise form when interpreted as the degrees of the Reidemeister torsion of a certain twisted chain complex. We show that these lower bounds give the correct genus bou…
A Heegaard diagram for a 3-manifold M is a closed, oriented surface S together with a pair (X, Y) of compact 1-manifolds in S whose components serve as attaching curves for the 2-handles of the two sides of a Heegaard splitting for M. The diagram is positive if X and Y can be oriented so that the intersection number <X,Y>_p = +1 at each point p in their intersection. Every (compact, orientable) 3-manifold can be represented by a positive diagram, but the argument for this suggests that the minimal genus, phg(M), for a positive diagram may be much larger than the minimal genus,hg(M), among all …
The twisted torus knots lie on the standard genus 2 Heegaard surface for $S^3$, as do the primitive/primitive and primitive/Seifert knots. It is known that primitive/primitive knots are fibered, and that not all primitive/Seifert knots are fibered. Since there is a wealth of primitive/Seifert knots that are twisted torus knots, we consider the twisted torus knots to partially answer the question of which primitive/Seifert knots are fibered. A braid computation shows that a particular family of twisted torus knots is fibered, and that computation is then used to generalize the results of a prev…
Using Seifert fibered three-manifold examples of Boileau and Zieschang, we demonstrate that the Reshetikhin-Turaev quantum invariants may be used to provide a sharp lower bound on the Heegaard genus which is strictly larger than the rank of the fundamental group.
In "Tunnel one, fibered links", the second author showed that the tunnel of a tunnel number one, fibered link can be isotoped to lie as a properly embedded arc in the fiber surface of the link. In this paper, we analyze how the arc behaves under the monodromy action, and show that the tunnel arc is nearly clean, with the possible exception of twisting around the boundary of the fiber.
We call a pair (K, m) of a knot K in the 3-sphere S^3 and an integer m a Seifert fibered surgery if m-surgery on K yields a Seifert fiber space. For most known Seifert fibered surgeries (K, m), K can be embedded in a genus 2 Heegaard surface of S^3 in a primitive/Seifert position, the concept introduced by Dean as a natural extension of primitive/primitive position defined by Berge. Recently Guntel has given an infinite family of Seifert fibered surgeries each of which has distinct primitive/Seifert positions. In this paper we give yet other infinite families of Seifert fibered surgeries with …
If there are any 2-component counterexamples to the Generalized Property R Conjecture, a least genus component of all such counterexamples cannot be a fibered knot. Furthermore, the monodromy of a fibered component of any such counterexample has unexpected restrictions. The simplest plausible counterexample to the Generalized Property R Conjecture could be a 2-component link containing the square knot. We characterize all two-component links that contain the square knot and which surger to (S^1 x S^2) # (S^1 x S^2). We exhibit a family of such links that are probably counterexamples to General…
The Horikawa index and the local signature are introduced for relatively minimal fibered surfaces whose general fiber is a non-hyperelliptic curve of genus $4$ with unique trigonal structure.
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.
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.
Murasugi sums can be defined as readily for Morse maps to the circle of (arbitrary) link complements in the 3-sphere as for fibrations over the circle of (fibered) link complements in the 3-sphere. As one application, I show that if a knot K has free genus m, then there is a Morse map from its complement to the circle (representing the relative homology class of a Seifert surface for K) with no more than 4m critical points.
Given a knot in $S^3$, one can associate to it a surface diffeomorphism in two different ways. First, an arbitrary knot in $S^{3}$ can be represented by braids, which can be thought of as diffeomorphisms of punctured disks. Second, if the knot is fibered -- that is, if its complement fibers over $S^1$ -- one can consider the monodromy of the fibration. One can ask to what extent properties of these surface diffeomorphisms dictate topological properties of the corresponding knot. In this article we collect observations, conjectures, and questions addressing this, from both the braid perspective…
Connected sum and trivalent vertex sum are natural operations on genus 2 spatial graphs and, as with knots, tunnel number behaves in interesting ways under these operations. We prove sharp Scharlemann-Schultens type bounds for the tunnel number of a composite genus 2 spatial graph. For the tunnel number of a composite Brunnian $θ$-curve, our result implies that the tunnel number is at least the number of summands, as in the knot case. We also prove a version of a theorem of Morimoto for knots: the tunnel number of a composite m-small genus 2 spatial graph is at least the sum of the tunnel numb…
Using Hirasawa-Murasugi's classification of fibered Montesinos knots we classify the L-space Montesinos knots, providing further evidence towards a conjecture of Lidman-Moore that L-space knots have no essential Conway spheres. In the process, we classify the fibered Montesinos knots whose open books support the tight contact structure on $S^3$. We also construct L-space knots with arbitrarily large tunnel number and discuss the question of whether L-space knots admit essential tangle decompositions in the context of satellite operations and tunnel number.
In this paper, we study reducible surgeries on knots in $S^3$. We develop thickness bounds for L-space knots that admit reducible surgeries, and lower bounds on the slice genus for general knots that admit reducible surgeries. The L-space knot thickness bounds allow us to finish off the verification of the Cabling Conjecture for thin knots, which was mostly worked out in \cite{DeY21b}. We also provide a new upper bound on reducing slopes for fibered, hyperbolic slice knots and on multiple reducing slopes for slice knots. Our techniques involve the $d$-invariants and mapping cone formula from H…
We give a construction of hyperbolic 3-manifolds with rank two fundamental groups and report an experimental search to find such manifolds. Our manifolds are all surface bundles over the circle with genus two surface fiber. For the manifolds so obtained, we then examine whether they are of Heegaard genus two or not. As a byproduct, we give an infinite family of fibered knots of genus two in the 3-sphere whose knot groups are of rank two.
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.
A classical result in knot theory says that the Alexander polynomial of a fibered knot is monic and that its degree equals twice the genus of the knot. This result has been generalized by various authors to twisted Alexander polynomials and fibered 3-manifolds. In this paper we show that the conditions on twisted Alexander polynomials are not only necessary but also sufficient for a 3-manifold to be fibered. By previous work of the authors this result implies that if a manifold of the form S^1 x N^3 admits a symplectic structure, then N fibers over S^1. In fact we will completely determine the…
A knot K is called a 1-genus 1-bridge knot in a 3-manifold M if (M,K) has a Heegaard splitting (V_1,t_1)\cup (V_2,t_2) where V_i is a solid torus and t_i is a boundary parallel arc properly embedded in V_i. If the exterior of a knot has a genus 2 Heegaard splitting, we say that the knot has an unknotting tunnel. Naturally the exterior of a 1-genus 1-bridge knot K allows a genus 2 Heegaard splitting, i.e., K has an unknotting tunnel. But, in general, there are unknotting tunnels which are not derived form this procedure. Some of them may be levelled with the torus \partial V_1=\partial V_2, who…
It is known that the Alexander polynomial detects fibered knots and 3-manifolds that fiber over the circle. In this note, we show that when the Alexander polynomial becomes inconclusive, the notion of "knot adjacency", studied in the paper "Knot adjacency, genus and essential tori" by the authors, can be used to obtain obstructions to fibering of knots and of 3-manifolds. As an application, given a fibered knot K', we construct infinitely many non-fibered knots that share the same Alexander module and the same Vassiliev invariants up to certain orders with K'. Our construction also provides, f…
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.
A knot K in a closed connected orientable 3-manifold M is called a 1-genus 1-bridge knot if (M,K) has a splitting into two pairs of a solid torus V_i (i=1,2) and a boundary parallel arc in it. The splitting induces a genus two Heegaard splitting of the exterior of K naturally, i.e., K has an unknotting tunnel. However the converse is not true in general. Then we study such general case in this paper. One of the conclusions is that the unknotting tunnel may be levelled with the torus \partial V_1=\partial V_2.
We use bordered Floer theory to study properties of twisted Mazur pattern satellite knots $Q_{n}(K)$. We prove that $Q_n(K)$ is not Floer homologically thin, with two exceptions. We calculate the 3-genus of $Q_{n}(K)$ in terms of the twisting parameter $n$ and the 3-genus of the companion $K$, and we determine when $Q_n(K)$ is fibered. As an application to our results on Floer thickness and 3-genus, we verify the Cosmetic Surgery Conjecture for many of these satellite knots.
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.
Let K be a knot of genus g. If K is fibered, then it is well known that the knot group pi(K) splits only over a free group of rank 2g. We show that if K is not fibered, then pi(K) splits over non-free groups of arbitrarily large rank. Furthermore, if K is not fibered, then pi(K) splits over every free group of rank at least 2g. However, pi(K) cannot split over a group of rank less than 2g. The last statement is proved using the recent results of Agol, Przytycki-Wise and Wise.
We use technology from sutured manifold theory and the theory of Heegaard splittings to relate genus reducing crossing changes on knots in S^3 to twists on surfaces arising in circular Heegaard splittings for knot complements. In a separate paper, currently in preparation, we prove that these circular Heegaard splittings may be searched for algorithmically, and together our results imply that an algorithm to detect when two hyperbolic or fibered knots of different genus are related by a crossing change would follow from an algorithm to determine whether two compact oriented surfaces in S^3 are…
We use Heegaard splittings to give a criterion for a tunnel number one knot manifold to be non-fibered and to have large cyclic covers. We also show that such a knot manifold (satisfying the criterion) admits infinitely many virtually Haken Dehn fillings. Using a computer, we apply this criterion to the 2 generator, non-fibered knot manifolds in the cusped Snappea census. For each such manifold M, we compute a number c(M), such that, for any n>c(M), the n-fold cyclic cover of M is large.
Twisting a knot $K$ in $S^3$ along a disjoint unknot $c$ produces a twist family of knots $\{K_n\}$ indexed by the integers. Comparing the behaviors of the Seifert genus $g(K_n)$ and the slice genus $g_4(K_n)$ under twistings, we prove that if $g(K_n) - g_4(K_n) < C$ for some constant $C$ for infinitely many integers $n > 0$ or $g(K_n) / g_4(K_n) \to 1$ as $n \to \infty$, then either the winding number of $K$ about $c$ is zero or the winding number equals the wrapping number. As a key application, if $\{K_n\}$ or the mirror twist family $\{\overline{K_n}\}$ contains infinitely many tight fiber…