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 find approximations by Vassiliev invariants for the coefficients of the Jones polynomial and all specializations of the HOMFLY and Kauffman polynomials. Consequently, we obtain approximations of some other link invariants arising from the homology of branched covers of links.
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.
The Vassiliev conjecture states that the Vassiliev invariants are dense in the space of all numerical link invariants in the sense that any link invariant is a pointwise limit of Vassiliev invariants. In this article, we prove that the Vassiliev conjecture holds in the case of the coefficients of the HOMFLY and the Kauffman polynomials.
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 new formulas that are Vassiliev invariants of flat vertex isotopy classes of spatial 2-bouquet graphs, which are equivalent to 2-string links. Although any Gauss diagram formula of Vassiliev invariants of spatial 2-bouquet graphs in a 3-space has been unknown, this paper gives the first and simple example.
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 …
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.
Khovanov homology extends to singular links via a categorified analogue of Vassiliev skein relation. In view of Vassiliev theory, the extended Khovanov homology can be seen as Vassiliev derivatives of Khovanov homology. In this paper, we develop a new method to compute the first derivative. Namely, we introduce a complex, called a crux complex, and prove that the Khovanov homologies of singular links with unique double points are homotopic to cofibers of endomorphisms on crux complexes. Since crux complexes are actually small for some links, the result enables a direct computation of the first…
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.
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 …
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=…
Topological polymers have various topological types, and they are expressed by graphs. However, the Jones polynomial, we have a difficulty to compute it; computational time is growing exponentially with respect to the crossing number. The simplest Vassiliev invariant is the linking number and thus we will seek a next simple one is as the Milnor's triple linking number. In this paper, we introduce simple Gauss diagram formulas of Vassiliev invariants of Milnor type. These are non-torsion valued, whereas the base-point-free Milnor's triple linking number is usually torsion-valued.
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 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…
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 show that the coefficients of the re-normalized link invariants of the paper "Multivariable link invariants arising from Lie superalgebras of type I" are Vassiliev invariants which give rise to a canonical family of weight systems.
In this paper we define and present a simple combinatorial formula for a 3-variable Laurent polynomial invariant of conjugacy classes in Artin braid group $B_m$. We show that this Laurent polynomial satisfies the Conway skein relation and its coefficients are Vassiliev invariants of braids.
In view of the result of Kontsevich, now often called ``the fundamental theorem of Vassiliev theory'', identifying the graded dual of the associated graded vector space to the space of Vassiliev invariants filtered by degree with the linear span of chord diagrams modulo the ``4T-relation'' (and in the unframed case, the ``1T-'' or ``isolated chord relation''), it is a problem of some interest to provide a basis for the space of chord diagrams modulo the 4T-relation. We construct the basis for the vector space spanned by chord diagrams with n chords and m distinguishable link components, modulo…
In this paper we introduce two theories of finite type invariants for framed links with fixed linking matrix. We show that these thepries are related to the theory of Vassiliev invariants of framed links. We also study the corresponding spaces of ``chord diagrams''.
The linking number is the simplest link invariant given by Gauss; it is the first Gauss diagram formula expressed by one arrow among two circles. Proceeding the next stage, we study the second Gauss diagram formula consisting of two arrows among two circles. We call a function of this type the multiple linking number. There are two multiple linking numbers; one of them is ordinary Vassiliev invariant and the other function is surprisingly sensitive to the necessity of the second Reidemeister moves though any one-component Gauss diagram formula cannot detect the necessity.
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.
We study the Goussarov-Habiro finite type invariants theory for framed string links in homology balls. Their degree 1 invariants are computed: they are given by Milnor's triple linking numbers, the mod 2 reduction of the Sato-Levine invariant, Arf and Rochlin's $μ$ invariant. These invariants are seen to be naturally related to invariants of homology cylinders through the so-called Milnor-Johnson correspondence: in particular, an analogue of the Birman-Craggs homomorphism for string links is computed. The relation with Vassiliev theory is studied.
A categorification of a polynomial link invariant is an homological invariant which contains the polynomial one as its graded Euler characteristic. This field has been initiated by Khovanov categorification of the Jones polynomial. Later, P. Ozsvath and Z. Szabo gave a categorification of Alexander polynomial. Besides their increased abilities for distinguishing knots, this new invariants seem to carry many geometrical informations. On the other hand, Vassiliev works gives another way to study link invariant, by generalizing them to singular links i.e. links with a finite number of rigid trans…
We find that Koschorke's $β$-invariant and the triple $μ$-invariant of link maps in the critical dimension can be computed as degrees of certain maps of configuration spaces - just like the linking number. Both formulas admit geometric interpretations in terms of Vassiliev's ornaments via new operations akin to the Jin suspension, and both were unexpected for the author, because the only known direct ways to extract $μ$ and $β$ from invariants of maps between configuration spaces involved some homotopy theory (Whitehead products and the stable Hopf invariant, respectively).
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.
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…
Pulling back the weight system associated with the exceptional Lie algebra G_2 by a modification of the universal Vassiliev-Kontsevich invariant yields a link invariant; extending it to 3-nets, we derive a recursive algorithm for its evaluation.
This paper gives an alternate definition of the Affine Index Polynomial (called the Wriggle Polynomial) using virtual linking numbers and explores applications of this polynomial. In particular, it proves the Cosmetic Crossing Change Conjecture for odd virtual knots and pure virtual knots. It also demonstrates that the polynomial can detect mutations by positive rotation and proves it cannot detect mutations by positive reflection. Finally it exhibits a pair of mutant knots that can be distinguished by a Type 2 Vassiliev Invariant coming from the polynomial.
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 define a multi-variable version of the Affine Index Polynomial for virtual links. This invariant reduces to the original Affine Index Polynomial in the case of virtual knots, and also generalizes the version for compatible virtual links recently developed by L. Kauffman. We prove that this invariant is a Vassiliev invariant of order one, and study what happens as we shift the coloring of one or more components.
We introduce the concept of `claspers,' which are surfaces in 3-manifolds with some additional structure on which surgery operations can be performed. Using claspers we define for each positive integer k an equivalence relation on links called `C_k-equivalence,' which is generated by surgery operations of a certain kind called `C_k-moves'. We prove that two knots in the 3-sphere are C_{k+1}-equivalent if and only if they have equal values of Vassiliev-Goussarov invariants of type k with values in any abelian groups. This result gives a characterization in terms of surgery operations of the inf…
This paper is an exposition of heuristics related to Witten's functional integral, relating it to Vassiliev invariants and to the Kontsevich integrals that can be used to produce Vassiliev invariants of knots and links.In particular, we give a simplified version of the appearance of the Kontsevich integrals in the perturbation expansion of the functional integral.
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.
We prove the existence of a degree 7 Vassiliev invariant of long (or string) two-component links which is not preserved under the simultaneous change of orientation of both components. The non-invertibility of this invariant can be detected by the standard weight system with values in the tensor square of the universal enveloping algebra for $\gl(n)$.
A Gauss diagram is a simple, combinatorial way to present a knot. It is known that any Vassiliev invariant may be obtained from a Gauss diagram formula that involves counting (with signs and multiplicities) subdiagrams of certain combinatorial types. These formulas generalize the calculation of a linking number by counting signs of crossings in a link diagram. Until recently, explicit formulas of this type were known only for few invariants of low degrees. In this paper we present simple formulas for an infinite family of invariants in terms of counting surfaces of a certain genus and number o…
This work continues the study of a homotopy-theoretic construction of the author inspired by the Bott-Taubes integrals. Bott and Taubes constructed knot invariants by integrating differential forms along the fiber of a bundle over the space of knots. Their techniques were later used by Cattaneo et al. to construct real "Vassiliev-type" cohomology classes in spaces of knots in higher-dimensional Euclidean space. By doing this integration via a Pontrjagin-Thom construction, we constructed cohomology classes in the knot space with arbitrary coefficients. We later showed that a refinement of this …
We discuss an action of the Grothendieck-Teichmüller proalgebraic group on the linear span of proalgebraic tangles, oriented tangles completed by a filtration of Vassiliev. The action yields a motivic structure on tangles. We derive distinguished properties of the action particularly on proalgebraic string links and on proalgebraic knots which can not be observed in the action on proalgebraic braids. By exploiting the properties, we explicitly calculate the inverse image of the trivial (the chordless) chord diagram under the Kontsevich isomorphism.
Gauss diagram formulas are extensively used to study Vassiliev link invariants. Now we apply this approach to invariants of 3-manifolds, considering manifolds given by surgery on framed links in the 3-sphere. We study the lowest degree case - the celebrated Casson-Walker invariant of rational homology spheres. This paper is dedicated to a detailed treatment of 2-component links; a general case will be considered in a forthcoming paper. We present simple Gauss diagram formulas for the Casson-Walker invariant. This enables us to understand/separate its dependence on the unframed link and on the …
The usual construction of link invariants from quantum groups applied to the superalgebra D_{2 1,alpha} is shown to be trivial. One can modify this construction to get a two variable invariant. Unusually, this invariant is additive with respect to connected sum or disjoint union. This invariant contains an infinity of Vassiliev invariants that are not seen by the quantum invariants coming from Lie algebras (so neither by the colored HOMFLY-PT nor by the colored Kauffman polynomials).
The universal Vassiliev-Kontsevich invariant is a functor from the category of tangles to a certain graded category of chord diagrams, compatible with the Vassiliev filtration and whose associated graded is an isomorphism. The Vassiliev filtration has a natural extension to tangles in any thickened surface $M\times I$ but the corresponding category of diagrams lacks some finiteness properties which are essential to the above construction. We suggest to overcome this obstruction by studying families of Vassiliev invariants which, roughly, are associated to finite coverings of $M$. In the case $…
We introduce an algebraic structure we call semiquandles whose axioms are derived from flat Reidemeister moves. Finite semiquandles have associated counting invariants and enhanced invariants defined for flat virtual knots and links. We also introduce singular semiquandles and virtual singular semiquandles which define invariants of flat singular virtual knots and links. As an application, we use semiquandle invariants to compare two Vassiliev invariants.
Cobordism of virtual string links on $n$ strands is a combinatorial generalization of link cobordism. There exists a bijection between virtual string links up to cobordisms and elements of the group $\mathbb{Z}^{n(n-1)}$. This paper also shows that virtual string links up to unwelded equivalence are classified by those groups. Finally, the related theory of welded string link cobordism is defined herein and shown to be trivial for string links with one component.
Pairs of genus 2 mutant knots can have different Homfly polynomials, for example some 3-string satellites of Conway mutant pairs. We give examples which have different Kauffman 3-variable polynomials, answering a question raised by Dunfield et al in their study of genus 2 mutants. While pairs of genus 2 mutant knots have the same Jones polynomial, given from the Homfly polynomial by setting v=s^2, we give examples whose Homfly polynomials differ when v=s^3. We also give examples which differ in a Vassiliev invariant of degree 7, in contrast to satellites of Conway mutant knots.
In this chapter (Chapter V) we present several results which demonstrate a close connection and useful exchange of ideas between graph theory and knot theory. These disciplines were shown to be related from the time of Tait (if not Listing) but the great flow of ideas started only after Jones discoveries. The first deep relation in this new trend was demonstrated by Morwen Thistlethwaite and we describe several results by him in this Chapter. We also presentresults from two (unpublished) preprints [P-P-0,P-18].In particular, in Section 2, we sketch two generalizations of the Tutte polynomial o…
Two string links are equivalent up to $2n$-moves and link-homotopy if and only if their all Milnor link-homotopy invariants are congruent modulo $n$. Moreover, the set of the equivalence classes forms a finite group generated by elements of order $n$. The classification induces that if two string links are equivalent up to $2n$-moves for every $n>0$, then they are link-homotopic.
Habegger and Lin gave a classification of the link-hmotopy classes of links as the link-homotopy classes of string links modulo the actions of conjugations and partial conjugations for string links. In this paper, we calculated the actions of the partial conjugations and the conjugations explicitly for 4- and 5-component string links which gave classifications (presentations) of the link-homotopy classes of 4- and 5-component links. As an application, we can run Habegger and Lin's algorithm which determines whether given two links are link-homotopoic or not for 4- and 5-component links.
In this paper we investigate the virtual string links via a probabilistic interpretation. This representation can be used to distinguish some virtual string links from classical string links. In order to study the algebraic structure behind this probabilistic interpretation we introduce the notion of virtual flat biquandle. The cocycle invariants associated with virtual flat biquandle is discussed.
We show that the map obtained by viewing a geometric (ie. representative) braid as a string link induces an isomorphism of the n-strand braid group onto the group of units of the n-strand string link monoid.
In this paper, we give a complete set of finite type string link invariants of degree <5. In addition to Milnor invariants, these include several string link invariants constructed by evaluating knot invariants on certain closure of (cabled) string links. We show that finite type invariants classify string links up to C_k-moves for k<6, which proves, at low degree, a conjecture due to Goussarov and Habiro. We also give a similar characterization of finite type concordance invariants of degree <6.
A detailed version of preprint "Self-linking number of a real algebraic link" by the same author, alg-geom/9410030. For a nonsingular real algebraic curve in 3-dimensional projective space or 3-sphere, a new integer-valued characteristic is introduced. It is invariant under rigid isotopy and multiplied by -1 under mirror reflections. In a sense, it is a Vassiliev invariant of degree 1 and a counterpart of a link diagram writhe. For a regular complete intersection this invariant vanishes, while for rational knots of degree d it takes all the values between -(d-1)(d-2)/2 and (d-1)(d-2)/2.
In this paper we use 3-manifold techniques to illuminate the structure of the string link monoid. In particular, we give a prime decomposition theorem for string links on two components as well as give necessary conditions for string links to commute under the stacking operation.
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…
In a previous paper, the authors proved that Milnor link-homotopy invariants modulo $n$ classify classical string links up to $2n$-move and link-homotopy. As analogues to the welded case, in terms of Milnor invariants, we give here two classifications of welded string links up to $2n$-move and self-crossing virtualization, and up to $V^{n}$-move and self-crossing virtualization, respectively.
Virtual knots arise in the study of Gauss diagrams and Vassiliev invariants of usual knots. Virtual braids correspond naturally to virtual knots. We consider the group of virtual braids on n strings VB_n and its Burau representation, in particular we study their homological properties. We prove that the plus-construction of the classifying space of the virtual braid group on the infinite number of strings is an infinite loop space which is equivalent to a product of Q(S^0), S^1 and an infinite loop space Y. Connections with the K-functor of the integers are discussed.
We extend the notion of intersection graphs for knots in the theory of finite type invariants to string links. We use our definition to develop weight systems for string links via the adjacency matrix of the intersection graph, and show that these weight systems are related to the weight systems induced by the Conway and Homfly polynomials.
We show that the exterior powers of the matrix valued random walk invariant of string links, introduced by Lin, Tian, and Wang, are isomorphic to the graded components of the tangle functor associated to the Alexander Polynomial by Ohtsuki divided by the zero graded invariant of the functor. Several resulting properties of these representations of the string link monoids are discussed.
The number $|K|$ of non-isotopic framed knots that correspond to a given unframed knot $K\subset S^3$ is infinite. This follows from the existence of the self-linking number $\slk$ of a zerohomologous framed knot. We use the approach of Vassiliev-Goussarov invariants to construct ``affine self-linking numbers'' that are extensions of $\slk$ to the case of nonzerohomologous framed knots. As a corollary we get that $|K|=\infty$ for all knots in an oriented (not necessarily compact) 3-manifold $M$ that is not realizable as a connected sum $(S^1\times S^2) # M'$. This result for compact manifolds …