Kontsevich's Theorem
The Kontsevich integral (the completed algebra of chord diagrams) is a universal Vassiliev invariant: for every Vassiliev invariant of type , there exists a unique weight system such that . Equivalently, the map is an isomorphism: every weight system is realized by a Vassiliev invariant, and the top-order part of a type- Vassiliev invariant is completely determined by its weight system.
Proof
The proof has two parts: (I) every Vassiliev invariant determines a weight system (surjectivity of ), and (II) every weight system arises from a Vassiliev invariant (injectivity, which requires constructing ).
Part I: Vassiliev invariants yield weight systems.
Step 1. Let be a type- Vassiliev invariant. For a singular knot with exactly double points, depends only on the "chord diagram" of : the combinatorial pattern of which pairs of points on the circle are identified.
To see this, suppose and are singular knots with the same chord diagram but different embeddings (different "topology" between the double points). We show .
Step 2. The knots and can be related by a sequence of crossing changes (Reidemeister moves) in the non-singular parts. Each crossing change creates a singular knot with double points. Since is type : (the singular knot has points). Therefore : the value is unchanged by crossing changes in non-singular parts.
Step 3. Thus descends to a function on chord diagrams of degree . The 4T relation follows from specific knot isotopies that relate four singular knots with double points. Therefore defines a weight system .
Part II: Every weight system is realized (via the Kontsevich integral).
Step 4. Kontsevich constructs the integral using iterated integrals of logarithmic 1-forms (the formula given in the concept page).
Step 5: Well-definedness. The key is to show is invariant under horizontal deformations of (deformations preserving the Morse function). This follows from the flatness of the Knizhnik-Zamolodchikov connection: the KZ equation has zero curvature, so the iterated integral (which computes holonomy) is deformation-invariant.
Step 6: Normalization. To handle critical points (maxima and minima of the Morse function), divide by the Kontsevich integral of a standard unknot with the same number of critical points. This cancels the contribution of critical points and yields a genuine knot invariant .
Step 7: Universality. For any weight system , the function is a type- Vassiliev invariant (since for singular knots with double points, and the chord diagram of a singular knot with points equals evaluated on it). The weight system of is itself, establishing the isomorphism.
Applying the weight system at each degree: (the Jones polynomial in the variable ). The degree- part is a type- Vassiliev invariant that equals the -th coefficient in the Taylor expansion of .
The Kontsevich integral is the mathematical formulation of the perturbative expansion of Chern-Simons quantum field theory. In physics language: is the expectation value of the Wilson loop in Chern-Simons theory, expanded perturbatively in (the inverse of the level). Chord diagrams correspond to Feynman diagrams, the 4T relation corresponds to the Jacobi identity for the gauge group, and the KZ equation arises as the Ward identity. Kontsevich's theorem thus rigorously establishes what physicists had predicted: that perturbative Chern-Simons theory produces all finite-type invariants.