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.
We show that the Vassiliev invariants 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.
For ordinary knots in R3, there are no degree one Vassiliev invariants. For virtual knots, however, the space of degree one Vassiliev invariants is infinite dimensional. We introduce a sequence of three degree one Vassiliev invariants of virtual knots of increasing strength. We demonstrate that the strongest invariant is a universal Vassiliev invariant of degree one for virtual knots in the sense that any other degree one Vassiliev invariant can be recovered from it by a certain natural construction. To prove these results, we extend the based matrix invariant introduced by Turaev for virtual …
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 introduce a theory of virtual Legendrian knots. A virtual Legendrian knot is a cooriented wavefront on an oriented surface up to Legendrian isotopy of its lift to the unit cotangent bundle and stabilization and destablization of the surface away from the wavefront. We show that the groups of Vassiliev invariants of virtual Legendrian knots and of virtual framed knots are isomorphic. In particular, Vassiliev invariants cannot be used to distinguish virtual Legendrian knots that are isotopic as virtual framed knots and have equal virtual Maslov numbers.
K. Habiro gave a neccesary and sufficient condition for knots to have the same Vassiliev invariants in terms of $C_k$-move. In this paper we give another geometric condition in terms of Brunnian local move. The proof is simple and self-contained.
We refine the Polyak-Viro Gauss diagram formula for the Vassiliev invariant of order two in a very simple way for the 2-cable of a framed long knot. Surprisingly, the resulting isotopy invariant of framed knots can detect already the non-invertibility of knots. This makes the natural generalization of our invariant for all n-component string link satellites of a framed long knot to a candidate for distinguishing all classical knots.
The Gordian distance between two knots measures how many crossing changes are needed to transform one knot into the other. It is known that there are always infinitely many non-equivalent knots `between' a pair of knots of Gordian distance two. In this paper we prove an extreme generalisation of this fact: there are knots with arbitrarily prescribed Vassiliev invariants between every pair of knots of Gordian distance two.
In 1993 K. Habiro defined $C_k$-move of oriented links and around 1994 he proved that two oriented knots are transformed into each other by $C_k$-moves if and only if they have the same Vassiliev invariants of order $\leq k-1$. In this paper we define Vassiliev invariant of type $(k_1,...,k_l)$, and show that, for $k=k_1+...+k_l$, two oriented knots are transformed into each other by $C_k$-moves if and only if they have the same Vassiliev invariants of type $(k_1,...,k_l)$. We introduce a concept ` band description of knots' and give a diagram-oriented proof of this theorem. When $k_1=...=k_l=…
We construct a cubical CW-complex CK(M^3) whose rational cohomology algebra contains Vassiliev invariants of knots in the 3-manifold M^3. We construct \bar{CK}(R^3) by attaching cells to CK(R^3) for every degenerate 1-singular and 2-singular knot, and we show that π_1(\bar{CK}(R^3))=1 and π_2(\bar{CK}(R^3))=Z. We give conditions for Vassiliev invariants to be nontrivial in cohomology. In particular, for R^3 we show that v_2 uniquely generates H^2(CK,D), where D is the subcomplex of degenerate singular knots. More generally, we show that any Vassiliev invariant coming from the Conway polynomial…
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.
The theory of Gauss diagrams and Gauss diagram formulas provides convenient ways to compute knot invariants, such as coefficients of the HOMFLYPT polynomial. In \cite{4,5}, the author uses Gauss diagram formulas to find combinatorial 1-cocycles in the moduli space of knots in the solid torus. Evaluated on canonical loops, one can then obtain new, non trivial knot invariants. In those books, the author conjectures that a new formula, based on the Vassiliev invariant $v_3$ also gives a 1-cocycle. We prove that it is in fact true by using the same methods developed by the author in those books.
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 …
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…
Introducing a way to modify knots using $n$-trivial rational tangles, we show that knots with given values of Vassiliev invariants of bounded degree can have arbitrary unknotting number (extending a recent result of Ohyama, Taniyama and Yamada). The same result is shown for 4-genera and finite reductions of the homology group of the double branched cover. Closer consideration is given to rational knots, where it is shown that the number of $n$-trivial rational knots of at most $k$ crossings is for any $n$ asymptotically at least $C^{(\ln k)^2}$ for any $C<\sqrt[2\ln 2]{e}$.
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 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.
The study of the Vassiliev invariants of Legendrian knots was started by D. Fuchs and S. Tabachnikov who showed that the groups of complex-valued Vassiliev invariants of Legendrian and of framed knots in the standard contact $R^3$ are canonically isomorphic. Recently we constructed the first examples where Vassiliev invariants of Legendrian and of framed knots are different, and Vassiliev invariants of Legendrian knots distinguish Legendrian knots that are isotopic as framed knots and homotopic as Legendrian immersions. This raised the question what information about Legendrian knots can be ca…
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.
It is an open question whether there are Vassiliev invariants that can distinguish an oriented knot from its inverse, i.e., the knot with the opposite orientation. In this article, an example is given for a first order Vassiliev invariant that takes different values on a virtual knot and its inverse. The Vassiliev invariant is derived from the Conway polynomial for virtual knots. Furthermore, it is shown that the zeroth order Vassiliev invariant coming from the Conway polynomial cannot distinguish a virtual link from its inverse and that it vanishes for virtual knots.
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$.
We show that two knots have matching Vassiliev invariants of order less than n if and only if they are equivalent modulo the nth group of the lower central series of some pure braid group, thus characterizing Vassiliev's knot invariants in terms of the structure of the braid groups. We also prove some results about knots modulo the nth derived subgroups of the pure braid groups, and about knots modulo braid subgroups in general.
We extend the theory of Vassiliev (or finite type) invariants for knots to knotoids using two different approaches. Firstly, we take closures on knotoids to obtain knots and we use the Vassiliev invariants for knots, proving that these are knotoid isotopy invariant. Secondly, we define finite type invariants directly on knotoids, by extending knotoid invariants to singular knotoid invariants via the Vassiliev skein relation. Then, for spherical knotoids we show that there are non-trivial type-1 invariants, in contrast with classical knot theory where type-1 invariants vanish. We give a complet…
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.
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.
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 give a criterion to detect whether the derivatives of the HOMFLY polynomial at a point is a Vassiliev invariant or not. In particular, for a complex number b we show that the derivative P_K^{(m,n)}(b,0)=d^m/da^m d^n/dx^n P_K(a,x)|(a, x) = (b, 0) of the HOMFLY polynomial of a knot K at (b,0) is a Vassiliev invariant if and only if b= -+1. Also we analyze the space V_n of Vassiliev invariants of degree <=n for n = 1,2,3,4,5 by using the bar-operation and the star-operation in [M-J Jeong, C-Y Park, Vassiliev invariants and knot polynomials, to appear in Topology and Its Applications]. These tw…
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.
We show that for a large class of contact 3-manifolds the groups of Vassiliev invariants of Legendrian and of framed knots are canonically isomorphic. As a corollary, we obtain that the group of finite order Arnold's $J^+$-type invariants of wave fronts on a surface $F$ is isomorphic to the group of Vassiliev invariants of framed knots in the spherical cotangent bundle $ST^*F$ of $F$. On the other hand we construct the first examples of contact manifolds for which Vassiliev invariants of Legendrian knots can distinguish Legendrian knots that realize isotopic framed knots and are homotopic as L…
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…
This article was originally published in Topology 31 (1992). The present hyperTeXed redaction corrects a few typographical errors and updates the references.
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 discuss Vassiliev invariants for virtual knots, expanding upon the theory of quantum virtual knot invariants developed in arXiv:1509.00578. In particular, following the theory of quantum invariants we work with 'rotational' virtual knots. We define chord diagrams, weight systems, and give examples of Lie algebra weight systems of rotational virtual knots. We end with a discussion of extended quantum invariants, which capture information that standard quantum invariants of rotational virtuals cannot.
A singular knot is an immersed circle in $\mathbb R^{3}$ with finitely many transverse double points. The study of singular knots was initially motivated by the study of Vassiliev invariants. Namely, singular knots give rise to a decreasing filtration on the infinite dimensional vector space spanned by isotopy classes of knots: this is called the Vassiliev filtration, and the study of the corresponding associated graded space has lead to many insights in knot theory. The Vassiliev filtration has an alternative, more algebraic definition for many flavours of knot theory, for example braids and …
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 …
