This article was originally published in Topology 31 (1992). The present hyperTeXed redaction corrects a few typographical errors and updates the references.
It has been known that any Alexander polynomial of a knot can be realized by a quasipositive knot. As a consequence, the Alexander polynomial cannot detect quasipositivity. In this paper we prove a similar result about Vassiliev invariants: for any oriented knot K and any natural number n there exists a quasipositive knot Q whose Vassiliev invariants of order less than or equal to n coincide with those of K.
We discuss when homogeneous quasipositive links are positive. In particular, we show that a homogeneous diagram of a quasipositive link whose number of Seifert circles is equal to the braid index is a positive diagram.
Let S(D) be the surface produced by applying Seifert's algorithm to the oriented link diagram D. I prove that if D has no negative crossings then S(D) is a quasipositive Seifert surface, that is, S(D) embeds incompressibly on a fiber surface plumbed from positive Hopf annuli. This result, combined with the truth of the `local Thom Conjecture', has various interesting consequences; for instance, it yields an easily-computed estimate for the slice euler characteristic of the link L(D) (where D is arbitrary) that extends and often improves the `slice-Bennequin inequality' for closed-braid diagram…
We study Khovanov homology classes which have state cycle representatives, and examine how they interact with Jacobsson homomorphisms and Lee's map $Φ$. As an application, we describe a general procedure, quasipositive modification, for constructing H-thick knots in rational Khovanov homology. Moreover, we show that specific families of such knots cannot be detected by Khovanov's thickness criteria. We also exhibit a sequence of prime links related by quasipositive modification whose width is increasing.
We give a new, conceptually simpler proof of the fact that knots in $S^3$ with positive L-space surgeries are fibered and strongly quasipositive. Our motivation for doing so is that this new proof uses comparatively little Heegaard Floer-specific machinery and can thus be translated to other forms of Floer homology. We carried this out for instanton Floer homology in our recent article "Instantons and L-space surgeries", and used it to generalize Kronheimer and Mrowka's results on $SU(2)$ representations of fundamental groups of Dehn surgeries.
We present a class of knots associated with labelled generic immersions of intervals into the plane and compute their Gordian numbers and 4-dimensional invariants. At least 10% of the knots in Rolfsen's table belong to this class of knots. We call them track knots. They are contained in the class of quasipositive knots. In this connection, we classify quasipositive knots and strongly quasipositive knots up to 10 crossings.
The aim of this article is to give a characterization of strongly quasipositive quasi-alternating links and detect new classes of strongly quasipositive Montesinos links and non-strongly quasipositive Montesinos links. In this direction, we show that, if $L$ is an oriented quasi-alternating link with a quasi-alternating crossing $c$ such that $L_0$ is alternating (where $L_0$ has the induced orientation), then $L$ is definite if and only if it is strongly quasipositive (up to mirroring). We also show that if $L$ is an oriented quasi-alternating link with a quasi-alternating crossing $c$ such t…
We prove that any link admitting a diagram with a single negative crossing is strongly quasipositive. This answers a question of Stoimenow's in the (strong) positive. As a second main result, we give simple and complete characterizations of link diagrams with quasipositive canonical surface (the surface produced by Seifert's algorithm). As applications, we determine which prime knots up to 13 crossings are strongly quasipositive, and we confirm the following conjecture for knots that have a canonical surface realizing their genus: a knot is strongly quasipositive if and only if the Bennequin i…
In this paper we use artificial neural networks to predict and help compute the values of certain knot invariants. In particular, we show that neural networks are able to predict when a knot is quasipositive with a high degree of accuracy. Given a knot with unknown quasipositivity we use these predictions to identify braid representatives that are likely to be quasipositive, which we then subject to further testing to verify. Using these techniques we identify 84 new quasipositive 11 and 12-crossing knots. Furthermore, we show that neural networks are also able to predict and help compute the …
For every genus $g\geq 2$, we construct an infinite family of strongly quasipositive fibred knots having the same Seifert form as the torus knot $T(2,2g+1)$. In particular, their signatures and four-genera are maximal and their homological monodromies (hence their Alexander module structures) agree. On the other hand, the geometric stretching factors are pairwise distinct and the knots are pairwise not ribbon concordant.
The unknotting number of a knot is bounded from below by its slice genus. It is a well-known fact that the genera and unknotting numbers of torus knots coincide. In this note we characterize quasipositive knots for which the genus bound is sharp: the slice genus of a quasipositive knot equals its unknotting number, if and only if the given knot appears in an unknotting sequence of a torus knot.
We find an infinite family of Seifert fibered surgeries on strongly invertible knots which do not have primitive/Seifert positions. Each member of the family is obtained from a trefoil knot after alternate twists along a pair of seiferters for a Seifert fibered surgery on a trefoil knot.
A Seifert surgery is a pair (K, m) of a knot K in the 3-sphere and an integer m such that m-Dehn surgery on K results in a Seifert fiber space allowed to contain fibers of index zero. Twisting K along a trivial knot called a seiferter for (K, m) yields Seifert surgeries. We study Seifert surgeries obtained from those on a trefoil knot by twisting along their seiferters. Although Seifert surgeries on a trefoil knot are the most basic ones, this family is rich in variety. For any m which is not -2 it contains a successive triple of Seifert surgeries (K, m), (K, m +1), (K, m +2) on a hyperbolic k…
How do Seifert surgeries on hyperbolic knots arise from those on torus knots? We approach this question from a networking viewpoint. The Seifert Surgery Network is a 1-dimensional complex whose vertices correspond to Seifert surgeries; two vertices are connected by an edge if one Seifert surgery is obtained from the other by a single twist along a trivial knot called a seiferter or along an annulus cobounded by seiferters. Successive twists along a "hyperbolic seiferter" or a "hyperbolic annular pair" produce infinitely many Seifert surgeries on hyperbolic knots. In this paper, we investigate …
[Original abstract (1992):] The modulus of quasipositivity q(K) of a knot K was introduced as a tool in the knot theory of complex plane curves, and can be applied to Legendrian knot theory in symplectic topology. It has also, however, a straightforward characterization in ordinary knot theory: q(K) is the supremum of the integers f such that the framed knot (K;f) embeds non-trivially on a fiber surface of a positive torus link. Geometric constructions show that -\infty < q(K), calculations with link polynomials that q(K) < \infty. The present paper aims to provide sharper lower bounds (by opt…
A Seifert surgery is an integral surgery on a knot in S^3 producing a Seifert fiber space which may contain an exceptional fiber of index 0. The Seifert Surgery Network is a 1-dimensional complex whose vertices correspond to Seifert surgeries; its edges correspond to single twistings along "seiferters" or "annular pairs of seiferters". One problem of the network is whether there is a path from each vertex to a vertex on a torus knot, the most basic Seifert surgery. We give a method to find seiferters and annular pairs of seiferters for Seifert surgeries obtained by taking two--fold branched co…
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…
We show that if a Montesinos knot admits a Dehn surgery yielding a toroidal Seifert fibered 3-manifold, then the knot is the trefoil knot and the surgery slope is 0.
We describe a procedure for creating infinite families of hyperbolic knots having unique minimal genus Seifert surface. A large subset of these knots have the further property that the surface cannot be the sole compact leaf of a depth one foliation of the knot exterior.
We show that for each Seifert form of an algebraically slice knot with nontrivial Alexander polynomial, there exists an infinite family of knots having the Seifert form such that the knots are linearly independent in the knot concordance group and not concordant to any knot with coprime Alexander polynomial. Key ingredients for the proof are Cheeger-Gromov-von Neumann rho-invariants for amenable groups developed by Cha and Orr and polynomial splittings of metabelian rho-invariants.
The first examples of totally geodesic Seifert surfaces are constructed for hyperbolic knots and links, including both free and totally knotted surfaces. Then it is proved that two bridge knot complements cannot contain totally geodesic orientable surfaces.
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.
We investigate the problem of characterising the family of strongly quasipositive links which have definite symmetrised Seifert forms and apply our results to the problem of determining when such a link can have an L-space cyclic branched cover. In particular, we show that if $δ_n = σ_1 σ_2 \ldots σ_{n-1}$ is the dual Garside element and $b = δ_n^k P \in B_n$ is a strongly quasipositive braid whose braid closure $\widehat b$ is definite, then $k \geq 2$ implies that $\widehat b$ is one of the torus links $T(2, q), T(3,4), T(3,5)$ or pretzel links $P(-2, 2, m), P(-2,3,4)$. Applying Theorem 1.1 …
We show that a knot in $S^3$ with an infinite number of distinct incompressible Seifert surfaces contains a closed incompressible surface in its complement.
Recently Kearton showed that any Seifert matrix of a knot is S--equivalent to the Seifert matrix of a prime knot. We show in this note that such a matrix is in fact S--equivalent to the Seifert matrix of a hyperbolic knot. This result follows from reinterpreting this problem in terms of Blanchfield pairings and by applying results of Kawauchi.
Roberts proved that a family of alternating, arborescent, prime knots each have at least $2^{2n-1}$ distinct minimal genus Seifert surfaces, where $n$ is the genus of the knot in question. We give a subfamily of these knots that have exactly this many minimal genus Seifert surfaces.
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…
In this paper, we define the primitive/Seifert-fibered property for a knot in S^3. If satisfied, the property ensures that the knot has a Dehn surgery that yields a small Seifert-fibered space (i.e. base S^2 and three or fewer critical fibers). Next we describe the twisted torus knots, which provide an abundance of examples of primitive/Seifert-fibered knots. By analyzing the twisted torus knots, we prove that nearly all possible triples of multiplicities of the critical fibers arise via Dehn surgery on primitive/Seifert-fibered knots.
Exceptional Dehn surgeries on arborescent knots have been classified except for Seifert fibered surgeries on Montesinos knots of length 3. There are infinitely many of them as it is known that 4n+6 and 4n+7 surgeries on a (-2, 3, 2n+1) pretzel knot are Seifert fibered. It will be shown that there are only finitely many others. A list of 20 surgeries will be given and proved to be Seifert fibered. We conjecture that this is a complete list.
We define a filtration on the vector space spanned by Seifert matrices of knots related to Vassiliev's filtration on the space of knots. Further we show that the invariants of knots derived from the filtration can be expressed by coefficients of the Alexander polynomial.
We will use immersed surfaces to study Seifert fibered surgery on Montesinos knots, and show that if $\frac 1{q_1-1} + \frac 1{q_2-1} + \frac 1{q_3-1} \leq 1$ then a Montesinos knot $K(\frac{p_1}{q_1}, \frac{p_2}{q_2}, \frac{p_3}{q_3})$ admits no atoroidal Seifert fibered surgery.
We study invariant Seifert surfaces for strongly invertible knots, and prove that the gap between the equivariant genus (the minimum of the genera of invariant Seifert surfaces) of a strongly invertible knot and the (usual) genus of the underlying knot can be arbitrary large. This forms a sharp contrast with Edmonds' theorem that every periodic knot admits an invariant minimal genus Seifert surface. We also prove variants of Edmonds' theorem, which are useful in studying invariant Seifert surfaces for strongly invertible knots.
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…
We show that if $B$ is an aspherical 2-orbifold in one of the families known to have orbifold fundamental groups of weight 1 then $B$ is the base of a Seifert fibration of a 2-knot manifold $M(K)$.
We prove that there are exactly $6$ Nil Seifert fibred spaces which can be obtained by Dehn surgeries on non-trefoil knots in $S^3$, with $\{60, 144, 156, 288, 300\}$ as the exact set of all such surgery slopes up to taking the mirror images of the knots. We conjecture that there are exactly $4$ specific hyperbolic knots in $S^3$ which admit Nil Seifert fibred surgery. We also give some more general results and a more general conjecture concerning Seifert fibred surgeries on hyperbolic knots in $S^3$.
Let $L$ be a oriented link such that $Σ_n(L)$, the $n$-fold cyclic cover of $S^3$ branched over $L$, is an L-space for some $n \geq 2$. We show that if either $L$ is a strongly quasipositive link other than one with Alexander polynomial a multiple of $(t-1)^{2g(L) + (|L|-1)}$, or $L$ is a quasipositive link other than one with Alexander polynomial divisible by $(t-1)^{2g_4(L) + (|L|-1)}$, then there is an integer $n(L)$, determined by the Alexander polynomial of $L$ in the first case and the Alexander polynomial of $L$ and the smooth $4$-genus of $L$, $g_4(L)$, in the second, such that $n \leq…
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…
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.
By a recent result of Livingston, it is known that if a knot has a prime power branched cyclic cover that is not a homology sphere, then there is an infinite family of non-concordant knots having the same Seifert form as the knot. In this paper, we extend this result to the full extent. We show that if the knot has nontrivial Alexander polynomial, then there exists an infinite family of non-concordant knots having the same Seifert form as the knot. As a corollary, no nontrivial Alexander polynomial determines a unique knot concordance class. We use Cochran-Orr-Teichner's recent result on the k…
Let K be a knot in S^3 of genus g and let n>0. We show that if rk HFK(K,g) < 2^{n+1} (where HFK denotes knot Floer homology), in particular if K is an alternating knot such that the leading coefficient a_g of its Alexander polynomial satisfies |a_g| <2^{n+1}, then K has at most n pairwise disjoint non-isotopic genus g Seifert surfaces. For n=1 this implies that K has a unique minimal genus Seifert surface up to isotopy.
We complete the classification of hyperbolic pretzel knots admitting Seifert fibered surgeries. This is the final step in understanding all exceptional surgeries on hyperbolic pretzel knots. We also present results toward similar classifications for non-pretzel Montesinos knots of length three.
We give a new criterion for a given knot to be a Montesinos knot by using the Rasmussen invariant and the signature. We apply the criterion to study Seifert fibered surgery on a strongly invertible knot, and show that a $(p,q,q)$-pretzel knot with integers $p,q \ge 2$ admits no Seifert fibered surgery.
We generalize the results of [AS], finding large classes of totally geodesic Seifert surfaces in hyperbolic knot and link complements, each the lift of a rigid 2-orbifold embedded in some hyperbolic 3-orbifold. In addition, we provide a uniqueness theorem and demonstrate that many knots cannot possess totally geodesic Seifert surfaces by giving bounds on the width invariant in the presence of such a surface. Finally, we utilize these examples to demonstrate that the Six Theorem is sharp for knot complements in the 3-sphere.
The aim of this paper is to investigate the relations between Seifert manifolds and (1,1)-knots. In particular, we prove that every orientable Seifert manifold with invariants {Oo,0|-1;(p,q),...,(p,q),(l, l-1)} has a cyclically presented fundamental group and, moreover, it is the n-fold strongly-cyclic covering of the lens space L(|nlq-p|,q), branched over the (1,1)-knot K(q,q(nl-2),p-2q,p-q) if p>=2q, and over the (1,1)-knot K(p-q,2q-p,q(nl-2),p-q) if p<2q.
A virtual knot that has a homologically trivial representative $\mathscr{K}$ in a thickened surface $Σ\times [0,1]$ is said to be an almost classical (AC) knot. $\mathscr{K}$ then bounds a Seifert surface $F\subset Σ\times [0,1]$. Seifert surfaces of AC knots are useful for computing concordance invariants and slice obstructions. However, Seifert surfaces in $Σ\times [0,1]$ are difficult to construct. Here we introduce virtual Seifert surfaces of AC knots. These are planar figures representing $F \subset Σ\times [0,1]$. An algorithm for constructing a virtual Seifert surface from a Gauss diagr…
For a knot $K$ with $Δ_K(t)\doteq t^2-3t+1$ in a homology $3$-sphere, let $M$ be the result of $2/q$-surgery on $K$. We show that an appropriate assumption on the Reidemeister torsion of the universal abelian covering of $M$ implies $q=\pm 1$, if $M$ is a Seifert fibered space.
For a given smooth $2$-knot in $S^4$, we relate the existence of a smooth Seifert hypersurface of a certain class to the existence of irreducible $ SU(2)$-representations of its knot group. For example, we see that any smooth $2$-knot having the Poincaré homology $3$-sphere as a Seifert hypersurface has at least four irreducible $SU(2)$-representations of its knot group. This result is false in the topological category. The proof uses a quantitative formulation of instanton Floer homology. Using similar techniques, we also obtain similar results about codimension-$1$ embeddings of homology $3$…
For a knot $K$ with $Δ_K(t)\doteq t^2-3t+1$ in a homology $3$-sphere, let $M$ be the result of $2/q$-surgery on $K$. We show that appropriate assumptions on the Reidemeister torsion and the Casson-Walker-Lescop invariant of the universal abelian covering of $M$ imply $q=\pm 1$, if $M$ is a Seifert fibered space.
We use recently introduced Rasmussen invariant to find knots that are topologically locally-flatly slice but not smoothly slice. We note that this invariant can be used to give a combinatorial proof of the slice-Bennequin inequality. Finally, we compute the Rasmussen invariant for quasipositive knots and show that most of our examples of non-slice knots are not quasipositive and, to the best of our knowledge, were previously unknown.
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 …
We study an invariant of a 3-manifold which consists of Reidemeister torsion for linear representations which pass through a finite group. We show a Dehn surgery formula on this invariant and compute that of a Seifert manifold over $S^2$. As a consequence we obtain a necessary condition for a result of Dehn surgery along a knot to be Seifert fibered, which can be applied even in a case where abelian Reidemeister torsion gives no information.
We show that the Vassiliev invariants of orders $\leq n$ of a knot K, are obstructions to finding a regular Seifert surface, S, whose complement looks "simple" (e.g. like the complement of a disc) to the lower central series of its fundamental group. As a consequence of this, we obtain that the Vassiliev invariants of the knot $K=\partial S$ are null-concordance obstructions of certain links that can be obtained from regular spines of S. We also discuss various generalizations of these results, and we conjecture a geometric characterization of knots whose invariants of all orders vanish.
In this paper we examine the relationship between various types of positivity for knots and the concodance invariant tau discovered by Ozsvath and Szabo and independently by Rasmussen. The main result shows that, for fibered knots, tau characterizes strong quasipositivity. This is quantified by the statement that for K fibered, tau(K)=g(K) if and only if K is strongly quasipositive. In addition, we survey existing results regarding tau and forms of positivity and highlight several consequences concerning the types of knots which are (strongly) (quasi) positive. For instance, we show that any k…