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 prove that if n\ge1, then an (n+1)-component Brunnian link L in a connected, oriented 3-manifold is C_n-equivalent to an unlink. We also prove that if n\ge2, then L can not be distinguished from an unlink by any Goussarov-Vassiliev finite type invariant of degree<2n.
We consider surgery moves along (n+1)-component Brunnian links in compact connected oriented 3-manifolds, where the framing of the each component is 1/k for k in Z. We show that no finite type invariant of degree < 2n-2 can detect such a surgery move. The case of two link-homotopic Brunnian links is also considered. We relate finite type invariants of integral homology spheres obtained by such operations to Goussarov-Vassiliev invariants of Brunnian links.
The purpose of the paper is twofold. First, we give a short proof using the Kontsevich integral for the fact that the restriction of an invariant of degree 2n to (n+1)-component Brunnian links can be expressed as a quadratic form on the Milnor mu-bar link-homotopy invariants of length n+1. Second, we describe the structure of the Brunnian part of the degree 2n-graded quotient of the Goussarov--Vassiliev filtration for (n+1)-component links.
A link L in the 3-sphere is called Brunnian if every proper sublink of L is trivial. In a previous paper, the first author proved that the restriction to Brunnian links of any Goussarov-Vassiliev finite type invariant of (n+1)-component links of degree<2n is trivial. The purpose of this paper is to study the first nontrivial case. We will show that the restriction of an invariant of degree 2n to (n+1)-component Brunnian links can be expressed as a quadratic form on the Milnor link-homotopy invariants of length n+1.
Brunnian links have been known for a long time in knot theory, whereas the idea of n-triviality is a recent innovation. We illustrate the relationship between the two concepts with four short theorems.
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.
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.
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 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…
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.
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 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…
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…
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 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 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.
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 …
Parity mappings from the chords of a Gauss diagram to the integers is defined. The parity of the chords is used to construct families of invariants of Gauss diagrams and virtual knots. One family consists of degree $n$ Vassiliev invariants.
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…
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.
In this paper we prove that the $r$-th ADO polynomial of a knot, for $r$ a power of prime number, can be expanded as Vassiliev invariants with values in $\mathbb{Z}$. Nevertheless this expansion is not unique and not easily computable. We can obtain a unique computable expansion, but we only get $r$ adic topological Vassiliev invariants as coefficients. To do so, we exploit the fact that the colored Jones polynomials can be decomposed as Vassiliev invariants and we tranpose it to ADO using the unified knot invariant recovering both ADO and colored Jones defined in arXiv:2003.09854. Finally we …
We define and study Vassiliev invariants for (long) Morse knots. It is shown that there are Vassiliev invariants which can distinguish some topologically equivalent Morse knots. In particular, there is an invariant of order 3 for Morse knots with one maximum that distinguishes two different representations of the figure eight knot. We also present the results of computer calculations for some invariants of low order. It turns out that for Morse knots with two maxima there is a Z/2-valued invariant of order 6 which is not a reduction of any integer-valued invariant.
As it is well-known, all Vassiliev invariants of degree one of a knot $K\subset R^3$ are trivial. There are nontrivial Vassiliev invariants of degree one, when the ambient space is not $R^3$. Recently, T. Fiedler introduced such invariants of a knot in an $R^1$-fibration over a surface $F$. They take values in the free $Z$-module generated by all the free homotopy classes of loops in $F$. Here, we generalize them to the most refined Vassiliev invariant of degree one. The ranges of values of all these invariants are explicitly described. We also construct a similar invariant of a two-component …
A `total Chern class' invariant of knots is defined. This is a universal Vassiliev invariant which is integral `on the level of Lie algebras' but it is not expressible as an integer sum of diagrams. The construction is motivated by similarities between the Kontsevich integral and the topological Chern character.
We collect some examples showing that some Vassiliev invariants are not obtainable from the HOMFLY and Kauffman polynomials in the real sense, namely, that they distinguish knots not distinguishable by the HOMFLY and/or Kauffman polynomial.
This paper introduces two virtual knot theory ``analogues'' of a well-known family of invariants for knots in thickened surfaces: the Grishanov-Vassiliev finite-type invariants of order two. The first, called the three loop isotopy invariant, is an invariant of virtual knots while the second, called the three loop framed isotopy invariant, is a regular isotopy invariant of framed virtual knots. The properties of these invariants are investigated at length. In addition, we make precise the informal notion of ``analogue''. Using this formal definition, it is proved that a generalized three loop …
The values that the first two Vassiliev invariants take on prime knots with up to fourteen crossings are considered. This leads to interesting fish-like graphs. Several results about the values taken on torus knots are proved.
We compute Vassiliev invariants up to order six for arbitrary pretzel knots, which depend on $g+1$ parameters $n_1,\ldots,n_{g+1}$. These invariants are symmetric polynomials in $n_1,\ldots,n_{g+1}$ whose degree coincide with their order. We also discuss their topological and integer-valued properties.
We review quantum field theory approach to the knot theory. Using holomorphic gauge we obtain the Kontsevich integral. It is explained how to calculate Vassiliev invariants and coefficients in Kontsevich integral in a combinatorial way which can be programmed on a computer. We discuss experimental results and temporal gauge considerations which lead to representation of Vassiliev invariants in terms of arrow diagrams. Explicit examples and computational results are presented.
We show that the Casson knot invariant, linking number and Milnor's triple linking number, together with a certain 2-string link invariant $V_2$, are necessary and sufficient to express any string link Vassiliev invariant of order two. Explicit combinatorial formulas are given for these invariants. This result is applied to the theory of claspers for string links.
We construct an inverse system of unstable Vassiliev spectral sequences on the spaces of plumbers' knots, which model the homotopy type of the space of long knots, and show that the limit of these sequences contains the finite type invariants in their usual complexity. Utilizing the cell structure on the discriminant of the spaces of plumbers curves, we extend the notion of Vassiliev derivative to all singularity types of plumbers' curves.
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.
Using the recent Gauss diagram formulas for Vassiliev invariants of Polyak-Viro-Fiedler and combining these formulas with the Bennequin inequality, we prove several inequalities for positive knots relating their Vassiliev invariants, genus and degrees of the Jones polynomial. As a consequence, we prove that for any of the polynomials of Alexander/Conway, Jones, HOMFLY, Brandt-Lickorish-Millett-Ho and Kauffman there are only finitely many positive knots with the same polynomial and no positive knot with trivial polynomial. We also discuss an extension of the Bennequin inequality, showing that t…
Khovanov homology is a categorification of the Jones polynomial, so it may be seen as a kind of quantum invariant of knots and links. Although polynomial quantum invariants are deeply involved with Vassiliev (aka. finite type) invariants, the relation remains unclear in case of Khovanov homology. Aiming at it, in this paper, we discuss a categorified version of Vassiliev skein relation on Khovanov homology. More precisely, we will show that the "genus-one" operation gives rise to a crossing change on Khovanov complexes. Invariance under Reidemeister moves turns out, and it enables us to extend…
We introduce a Poincaré polynomial with two-variable $t$ and $x$ for knots, derived from Khovanov homology, where the specialization $(t, x)$ $=$ $(1, -1)$ is a Vassiliev invariant of order $n$. Since for every $n$, there exist non-trivial knots with the same value of the Vassiliev invariant of order $n$ as that of the unknot, there has been no explicit formulation of a perturbative knot invariant which is a coefficient of $y^n$ by the replacement $q=e^y$ for the quantum parameter $q$ of a quantum knot invariant, and which distinguishes the above knots together with the unknot. The first formu…
A formula for the difference of Vassiliev invariants of degree k+1 of two knots all of whose Vassiliev invariants of degree k agree is proven. The proof uses K. Habiro's C-moves and his theorem which relates them to Vassiliev invariants.
We explain the notion of a grope cobordism between two knots in a 3-manifold. Each grope cobordism has a type that can be described by a rooted unitrivalent tree. By filtering these trees in different ways, we show how the Goussarov-Habiro approach to finite type invariants of knots is closely related to our notion of grope cobordism. Thus our results can be viewed as a geometric interpretation of finite type invariants. An interesting refinement we study are knots modulo symmetric grope cobordism in 3-space. On one hand this theory maps onto the usual Vassiliev theory and on the other hand it…
This paper is an exposition of the relationship between Witten's Chern-Simons functional integral and the theory of Vassiliev Invariants of knots and links in three dimensional space. We conceptualize the functional integral in terms of equivalence classes of functionals of gauge fields and we do not use measure theory. This approach makes it possible to discuss the mathematics intrinsic to the functional integral rigorously and without functional integration. Applications to loop quantum gravity are discussed. We thank the organizers of the Conference on 60 Years of Yang-Mills Gauge Field The…
The $C_k$-equivalence is an equivalence relation generated by $C_k$-moves defined by Habiro. Habiro showed that the set of $C_k$-equivalence classes of the knots forms an abelian group under the connected sum and it can be classified by the additive Vassiliev invariant of order $\leq k-1$. We see that the set of $C_k$-equivalence classes of the spatial $θ$-curves forms a group under the vertex connected sum and that if the group is abelian, then it can be classified by the additive Vassiliev invariant of order $\leq k-1$. However the group is not necessarily abelian. In fact, we show that it i…
This book is a detailed introduction to the theory of finite type (Vassiliev) knot invariants, with a stress on its combinatorial aspects. It is intended to serve both as a textbook for readers with no or little background in this area, and as a guide to some of the more advanced material. Our aim is to lead the reader to understanding by means of pictures and calculations, and for this reason we often prefer to convey the idea of the proof on an instructive example rather than give a complete argument. While we have made an effort to make the text reasonably self-contained, an advanced reader…
Bott and Taubes used integrals over configuration spaces to produce finite-type a.k.a. Vassiliev knot invariants. Cattaneo, Cotta-Ramusino and Longoni then used these methods together with graph cohomology to construct "Vassiliev classes" in the real cohomology of spaces of knots in higher-dimensional Euclidean spaces, as first promised by Kontsevich. Here we construct integer-valued cohomology classes in spaces of knots and links in Euclidean spaces of dimension greater than three. We construct such a class for any integer-valued graph cocycle, by the method of gluing compactified configurati…
Using elementary equalities between various cables of the unknot and the Hopf link, we prove the Wheels and Wheeling conjectures of [Bar-Natan, Garoufalidis, Rozansky and Thurston, arXiv:q-alg/9703025] and [Deligne, letter to Bar-Natan, January 1996, http://www.ma.huji.ac.il/~drorbn/Deligne/], which give, respectively, the exact Kontsevich integral of the unknot and a map intertwining two natural products on a space of diagrams. It turns out that the Wheeling map is given by the Kontsevich integral of a cut Hopf link (a bead on a wire), and its intertwining property is analogous to the computa…
We extend to the long virtual knot case the constructions first presented by A. Henrich and later generalized by the author to the framed virtual knot case. These consist of three Vassiliev invariants of order one, including a universal one, as well as the notions of a based matrix and a singular based matrix and their relation to long flat virtual knots.
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.
Motivated by his studies in knot theory V. Vassiliev introduced $X$-graphs as regular 4-valent graph with a structure of pairs of opposite edges at each vertex. He conjectured the conditions under which $X$-graph can be embedded into a plane respecting the the $X$-structure at every vertex. The conjecture was proved by V.Manturov. Here we generalize these results for graphs with vertices of valency 4 or 6, *-graphs. A problem of such generalization was posted by A.Skopenkov.
We introduce a new combinatorial method to encode knots and links with applications to knot invariants. Clasp diagrams defined in this paper are combinatorial blueprints for building knot diagrams out of full twists on two strings rather than out of crossings. We describe an equivalence relation on clasp diagrams which produces the isotopy classes of knots as equivalence classes. This equivalence relation is generated by local moves similar to the Reidemeister moves. Clasp diagrams produce particularly simple Seifert surfaces for knots and lead to an explicit formula for the Alexander-Conway p…
We study the Vassiliev knot invariant v_2 of degree 2. We present it via the degrees of maps of various configuration spaces related to a knot to products of spheres. This gives rise to numerous geometrical and combinatorial formulas for this invariant.