Finite type invariants for knotoids

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 complete theory of type-1 invariants for spherical knotoids, by classifying linear chord diagrams of order one, and we present examples arising from the affine index polynomial and the extended bracket polynomial.     

Grope cobordism of classical knots

Motivated by the lower central series of a group, we define the notion of a grope cobordism between two knots in a 3-manifold. Just like an iterated group commutator, 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.The derived commutator series of a group also has a three-dimensional analogy, namely knots modulo symmetric grope cobordism. On one hand this theory maps onto the usual Vassiliev theory and on the other hand it maps onto the Cochran-Orr-Teichner filtration of the knot concordance group, via symmetric grope cobordism in 4-space. In particular, the graded theory contains information on finite type invariants (with degree h terms mapping to Vassiliev degree 2^h), Blanchfield forms or S-equivalence at h=2, Casson-Gordon invariants at h=3, and for h=4 one finds the new von Neumann signatures of a knot.     

Vassiliev invariants and the Poincaré conjecture

This article examines the relationship between 3-manifold topology and knot invariants of finite type. We prove that in every Whitehead manifold there exist knots that cannot be distinguished by Vassiliev invariants. If, on the other hand, Vassiliev invariants distinguish knots in each homotopy sphere, then the Poincaré conjecture is true (i.e. every homotopy 3-sphere is homeomorphic to the standard 3-sphere).     

Arrow-diagram formulas for fourth-order invariants of knots

In this paper, we study explicit arrow-diagram formulas for fourth-order Vassiliev invariants of knots announced by several authors. We show that, in fact, these formulas do not determine any knot invariants. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 5, pp. 3–17, 2005.     

On diagram formulas for knot invariants

Several years ago, combinatorial-diagram formulas for two basis Vassiliev invariants of the fourth order were announced. In this paper, it is shown that these formulas do not determine knot invariants.     

The Kontsevich Integral

The paper contains a detailed exposition of the construction and properties of the Kontsevich integral invariant, crucial in the study of Vassiliev knot invariants.     

Vassiliev invariants and finite-dimensional approximations of the euler equation in magnetohydrodynamics

We consider Hamiltonian systems that correspond to Vassiliev invariants defined by Chen’s iterated integrals of logarithmic differential forms. We show that Hamiltonian systems generated by first-order Vassiliev invariants are related to the classical problem of motion of vortices on the plane. Using second-order Vassiliev invariants, we construct perturbations of Hamiltonian systems for the classical problem of n vortices on the plane. We study some dynamical properties of these systems.     

Vassiliev invariants for braids on surfaces

We show that Vassiliev invariants separate braids on a closed oriented surface, and we exhibit a universal Vassiliev invariant for these braids in terms of chord diagrams labeled by elements of the fundamental group of the surface.

     

Vanishing of 3-loop Jacobi diagrams of odd degree

We prove the vanishing of the space of 3-loop Jacobi diagrams of odd degree. This implies that no 3-loop Vassiliev invariant can distinguish between a knot and its inverse.     

Vassiliev invariants of Legendrian, transverse, and framed knots in contact three-manifolds

We show that for a large class of contact three-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 Legendrian immersions.     

Link invariants via counting surfaces

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 of boundary components in a Gauss diagram. We then identify the resulting invariants with certain derivatives of the HOMFLYPT polynomial.     

On the Melvin–Morton–Rozansky conjecture

We prove a conjecture stated by Melvin and Morton (and elucidated further by Rozansky) saying that the Alexander–Conway polynomial of a knot can be read from some of the coefficients of the Jones polynomials of cables of that knot (i.e., coefficients of the “colored” Jones polynomial). We first reduce the problem to the level of weight systems using a general principle, which may be of some independent interest, and which sometimes allows to deduce equality of Vassiliev invariants from the equality of their weight systems. We then prove the conjecture combinatorially on the level of weight systems. Finally, we prove a generalization of the Melvin–Morton–Rozansky (MMR) conjecture to knot invariants coming from arbitrary semi-simple Lie algebras. As side benefits we discuss a relation between the Conway polynomial and immanants and a curious formula for the weight system of the colored Jones polynomial. Oblatum 28-VII-1994 & 5-XI-1995 & 22-XI-1995     

Isomorphism of the Groups of Vassiliev Invariants of Legendrian and Pseudo-Legendrian Knots

The study of the Vassiliev invariants of Legendrian knots was started by D. Fuchs and S. Tabachnikov who showed that the groups of C-valued Vassiliev invariants of Legendrian and of framed knots in the standard contact R³ are canonically isomorphic. Recently we constructed the first examples of contact 3-manifolds where Vassiliev invariants of Legendrian and of framed knots are different. Moreover in these examples 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 captured using Vassiliev invariants. Here we answer this question by showing that for any contact 3-manifold with a cooriented contact structure the groups of Vassiliev invariants of Legendrian knots and of knots that are nowhere tangent to a vector field that coorients the contact structure are canonically isomorphic.     

Les invariants rationnels de type fini ne distinguent pas les nœuds dans SS2×SS1

We introduce geometric sequences of knots and establish the following criterion: if v is a rational invariant of degree ≤m in the sense of Vassiliev, then v is a polynomial of degree ≤m on every geometric sequence of knots. The torsion in the braid group over the sphere induces torsion at the level of Vassiliev invariants: we construct knots in SS²×SS¹ which cannot be distinguished by rational invariants of finite type. They can, however, be distinguished by invariants of finite type with values in a finite abelian group.     

Magnus pairs in,and free conjugacy separability of,limit groups

We study the \(\mathbb {Z}\)-module of first order local Vassiliev type invariants of stable maps of oriented 3-manifolds into \(\mathbb {R}^4\). As a previous step, we determine a complete classification of the codimension two germs and multigerms as well as their corresponding bifurcation diagrams. This allows us to show the existence of 4 generators for this module. In particular, we see that the number of pairs of quadruple point, the number of transversal intersections of the crosscap suspension with immersive branches and the Euler number of the image are first order local Vassiliev type invariants for these maps. We also prove that the total number of connected components of the triple point curve is a non local Vassiliev type invariant.     

Goussarov-Habiro theory for string links and the Milnor-Johnson correspondence

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 Milnor-Johnson correspondence: in particular, an analogue of the Birman-Craggs homomorphism for string links is computed. The relation with Vassiliev theory is studied.     

For a fixed Turaev shadow Jones-Vassiliev invariants depend polynomially on the gleams

We use Turaev's technique of shadows and gleams to parametrize the set of all knots in S ³ with the same Hopf projection. We show that the Vassiliev invariants arising from the Jones polynomial J _t (K) are polynomials in the gleams, i.e., for , the n-th order Vassiliev invariant u _n , defined by , is a polynomial of degree 2n in the gleams. Received: April 30, 1996     

Topology of Maximally Writhed Real Algebraic Knots

Oleg Viro introduced an invariant of rigid isotopy for real algebraic knots in ??³ which can be viewed as a first order Vassiliev invariant. In this paper we look at real algebraic knots of degree d with the maximal possible value of this invariant. We show that for a given d all such knots are topologically isotopic and explicitly identify their knot type.     

The loop expansion of the Kontsevich integral, the null-move and S-equivalence

The Kontsevich integral of a knot is a graph-valued invariant which (when graded by the Vassiliev degree of graphs) is characterized by a universal property; namely it is a universal Vassiliev invariant of knots. We introduce a second grading of the Kontsevich integral, the Euler degree, and a geometric null-move on the set of knots. We explain the relation of the null-move to S-equivalence, and the relation to the Euler grading of the Kontsevich integral. The null-move leads in a natural way to the introduction of trivalent graphs with beads, and to a conjecture on a rational version of the Kontsevich integral, formulated by the second author and proven in Geom. Top 8 (2004) 115 (see also Kricker, preprint 2000, math/GT.0005284).     

Genera, band sum of knots and Vassiliev invariants

Recently Stoimenow showed that for every knot K and any n∈N and u₀?u(K) there is a prime knot Kn,uo which is n-equivalent to the knot K and has unknotting number u(Kn,uo) equal to u₀. The similar result has been obtained for the 4-ball genus gs of a knot. Stoimenow also proved that any admissible value of the Tristram-Levine signature σξ can be realized by a knot with the given Vassiliev invariants of bounded order. In this paper, we show that for every knot K with genus g(K) and any n∈N and m?g(K) there exists a prime knot L which is n-equivalent to K and has genus g(L) equal to m.