Vassiliev Invariants and Singular Knots
Vassiliev (finite-type) invariants provide a unified framework encompassing classical knot invariants and quantum invariants. They arise from extending knot invariants to singular knots via a natural resolution of crossings, organizing invariants into a filtration by "complexity."
Singular Knots and the Vassiliev Skein Relation
A singular knot is an immersion with finitely many transverse double points (self-intersections). Let denote singular knots with exactly double points. Any knot invariant extends to singular knots via the Vassiliev skein relation: at each double point, where is the singular knot, is the positive resolution, and is the negative resolution. By iterating, extends to for all .
For a singular knot with 2 double points : . This is an alternating sum over the resolutions of double points. If has double points: where counts the number of negative resolutions.
Finite-Type Invariants
A knot invariant is a Vassiliev invariant of type (or finite-type invariant of order ) if for every singular knot with more than double points (i.e., ). Equivalently, the Vassiliev extension of to singular knots with or more singularities vanishes identically. Let denote the vector space of type- Vassiliev invariants. The filtration is with (constants).
Type 0: constant functions. Type 1: (no non-trivial type-1 invariants for knots). Type 2: The coefficient of in the Conway polynomial, also equal to the second coefficient of the Jones polynomial. This is essentially the Arf invariant (modulo 2). . Type 3: , generated by (the third Conway coefficient). The Jones polynomial coefficient differs from by lower-order terms.
The Space of Vassiliev Invariants
The associated graded space captures the "purely order-" invariants. A type- invariant defines a weight system (its top-order part). The dimensions for small are: , , , , , , , , , ... The total dimension grows exponentially; the exact growth rate is unknown.
The coefficients of quantum knot invariants (Jones, HOMFLYPT, Kauffman polynomials) expanded in the variable are Vassiliev invariants. Specifically, if , then is a type- Vassiliev invariant. Conversely, the Kontsevich integral is a universal Vassiliev invariant: it takes values in a space of chord diagrams and captures all Vassiliev invariants simultaneously. The fundamental open question is whether Vassiliev invariants separate knots (distinguish all non-equivalent knots), which would make the Kontsevich integral a complete invariant.