TheoremComplete

Kontsevich's Theorem

Theorem7.1Universality of the Kontsevich Integral

The Kontsevich integral Z:{knots}β†’A^Z: \{\text{knots}\} \to \hat{\mathcal{A}} (the completed algebra of chord diagrams) is a universal Vassiliev invariant: for every Vassiliev invariant vv of type nn, there exists a unique weight system w∈Anβˆ—w \in \mathcal{A}_n^* such that v=w∘Zn+(lowerΒ orderΒ terms)v = w \circ Z_n + (\text{lower order terms}). Equivalently, the map Vn/Vnβˆ’1β†’Anβˆ—\mathcal{V}_n/\mathcal{V}_{n-1} \to \mathcal{A}_n^* is an isomorphism: every weight system is realized by a Vassiliev invariant, and the top-order part of a type-nn Vassiliev invariant is completely determined by its weight system.


Proof

Proof

The proof has two parts: (I) every Vassiliev invariant determines a weight system (surjectivity of Vn/Vnβˆ’1β†’Anβˆ—\mathcal{V}_n/\mathcal{V}_{n-1}\to\mathcal{A}_n^*), and (II) every weight system arises from a Vassiliev invariant (injectivity, which requires constructing ZZ).

Part I: Vassiliev invariants yield weight systems.

Step 1. Let vv be a type-nn Vassiliev invariant. For a singular knot KK with exactly nn double points, v(K)v(K) depends only on the "chord diagram" of KK: the combinatorial pattern of which pairs of points on the circle are identified.

To see this, suppose K1K_1 and K2K_2 are singular knots with the same chord diagram but different embeddings (different "topology" between the double points). We show v(K1)=v(K2)v(K_1) = v(K_2).

Step 2. The knots K1K_1 and K2K_2 can be related by a sequence of crossing changes (Reidemeister moves) in the non-singular parts. Each crossing change creates a singular knot with n+1n+1 double points. Since vv is type nn: v(K+)βˆ’v(Kβˆ’)=v(KΓ—)=0v(K_+) - v(K_-) = v(K_\times) = 0 (the singular knot has n+1n+1 points). Therefore v(K+)=v(Kβˆ’)v(K_+) = v(K_-): the value is unchanged by crossing changes in non-singular parts.

Step 3. Thus vv descends to a function on chord diagrams of degree nn. The 4T relation follows from specific knot isotopies that relate four singular knots with nn double points. Therefore vv defines a weight system wv∈Anβˆ—w_v \in \mathcal{A}_n^*.

Part II: Every weight system is realized (via the Kontsevich integral).

Step 4. Kontsevich constructs the integral Z(K)=βˆ‘mβ‰₯0Zm(K)∈A^Z(K) = \sum_{m\geq 0}Z_m(K) \in \hat{\mathcal{A}} using iterated integrals of logarithmic 1-forms (the formula given in the concept page).

Step 5: Well-definedness. The key is to show Z(K)Z(K) is invariant under horizontal deformations of KK (deformations preserving the Morse function). This follows from the flatness of the Knizhnik-Zamolodchikov connection: the KZ equation βˆ‚Ξ¦βˆ‚tj=(βˆ‘i<jΞ©ijziβˆ’zj)Ξ¦\frac{\partial\Phi}{\partial t_j} = \left(\sum_{i<j}\frac{\Omega_{ij}}{z_i-z_j}\right)\Phi 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 Z^(K)\hat{Z}(K).

Step 7: Universality. For any weight system w∈Anβˆ—w \in \mathcal{A}_n^*, the function vw(K)=w(Zn(K))v_w(K) = w(Z_n(K)) is a type-nn Vassiliev invariant (since Zm=0Z_m = 0 for singular knots with >m>m double points, and the chord diagram of a singular knot with nn points equals ZnZ_n evaluated on it). The weight system of vwv_w is ww itself, establishing the isomorphism. β–‘\square

β– 

ExampleRecovering the Jones Polynomial

Applying the sl2\mathfrak{sl}_2 weight system w2w_2 at each degree: βˆ‘n=0∞w2(Zn(K))hn=JK(eh)\sum_{n=0}^\infty w_2(Z_n(K))h^n = J_K(e^h) (the Jones polynomial in the variable q=ehq = e^h). The degree-nn part w2(Zn(K))w_2(Z_n(K)) is a type-nn Vassiliev invariant that equals the nn-th coefficient in the Taylor expansion of JKJ_K.

RemarkRelationship to Physics

The Kontsevich integral is the mathematical formulation of the perturbative expansion of Chern-Simons quantum field theory. In physics language: Z(K)Z(K) is the expectation value of the Wilson loop tr(HolK(A))\mathrm{tr}(\mathrm{Hol}_K(A)) in Chern-Simons theory, expanded perturbatively in 1/k1/k (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.