ConceptComplete

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

Definition7.1Singular Knots and Vassiliev Extension

A singular knot is an immersion S1S3S^1 \to S^3 with finitely many transverse double points (self-intersections). Let Km\mathcal{K}_m denote singular knots with exactly mm double points. Any knot invariant v:{knots}Qv: \{\text{knots}\} \to \mathbb{Q} extends to singular knots via the Vassiliev skein relation: at each double point, v(K×)=v(K+)v(K)v(K_\times) = v(K_+) - v(K_-) where K×K_\times is the singular knot, K+K_+ is the positive resolution, and KK_- is the negative resolution. By iterating, vv extends to Km\mathcal{K}_m for all mm.

ExampleResolving Singular Crossings

For a singular knot with 2 double points p,qp,q: v(Kp×,q×)=v(Kp+,q+)v(Kp+,q)v(Kp,q+)+v(Kp,q)v(K_{p\times,q\times}) = v(K_{p+,q+}) - v(K_{p+,q-}) - v(K_{p-,q+}) + v(K_{p-,q-}). This is an alternating sum over the 2m2^m resolutions of mm double points. If KK has mm double points: v(K)=ε{+,}m(1)εmv(Kε)v(K) = \sum_{\varepsilon\in\{+,-\}^m}(-1)^{|\varepsilon|-|m|}v(K_\varepsilon) where ε|\varepsilon| counts the number of negative resolutions.


Finite-Type Invariants

Definition7.2Vassiliev Invariant of Type $n$

A knot invariant vv is a Vassiliev invariant of type nn (or finite-type invariant of order nn) if v(K)=0v(K) = 0 for every singular knot KK with more than nn double points (i.e., vKn+1=0v|_{\mathcal{K}_{n+1}} = 0). Equivalently, the Vassiliev extension of vv to singular knots with n+1n+1 or more singularities vanishes identically. Let Vn\mathcal{V}_n denote the vector space of type-nn Vassiliev invariants. The filtration is V0V1V2\mathcal{V}_0 \subset \mathcal{V}_1 \subset \mathcal{V}_2 \subset \cdots with V0=Q\mathcal{V}_0 = \mathbb{Q} (constants).

ExampleClassical Invariants as Vassiliev Invariants

Type 0: constant functions. Type 1: V1/V0=0\mathcal{V}_1/\mathcal{V}_0 = 0 (no non-trivial type-1 invariants for knots). Type 2: The coefficient a2a_2 of z2z^2 in the Conway polynomial, also equal to the second coefficient of the Jones polynomial. This is essentially the Arf invariant (modulo 2). dim(V2/V1)=1\dim(\mathcal{V}_2/\mathcal{V}_1) = 1. Type 3: dim(V3/V2)=1\dim(\mathcal{V}_3/\mathcal{V}_2) = 1, generated by a3a_3 (the third Conway coefficient). The Jones polynomial coefficient J3J_3 differs from a3a_3 by lower-order terms.


The Space of Vassiliev Invariants

Definition7.3Graded Structure and Dimensions

The associated graded space grnV=Vn/Vn1\mathrm{gr}_n\mathcal{V} = \mathcal{V}_n/\mathcal{V}_{n-1} captures the "purely order-nn" invariants. A type-nn invariant vv defines a weight system wv:Kn/Kn+1Qw_v: \mathcal{K}_n/\mathcal{K}_{n+1} \to \mathbb{Q} (its top-order part). The dimensions dn=dim(Vn/Vn1)d_n = \dim(\mathcal{V}_n/\mathcal{V}_{n-1}) for small nn are: d0=1d_0 = 1, d1=0d_1 = 0, d2=1d_2 = 1, d3=1d_3 = 1, d4=3d_4 = 3, d5=4d_5 = 4, d6=9d_6 = 9, d7=14d_7 = 14, d8=27d_8 = 27, ... The total dimension grows exponentially; the exact growth rate is unknown.

RemarkVassiliev Invariants and Quantum Invariants

The coefficients of quantum knot invariants (Jones, HOMFLYPT, Kauffman polynomials) expanded in the variable q=ehq = e^h are Vassiliev invariants. Specifically, if JK(eh)=n=0vn(K)hnJ_K(e^h) = \sum_{n=0}^\infty v_n(K)h^n, then vnv_n is a type-nn 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.