The Kontsevich Integral
The Kontsevich integral is the universal Vassiliev invariant: it takes values in a space of chord diagrams and simultaneously encodes all finite-type invariants. Its construction uses iterated integrals inspired by the monodromy of the Knizhnik-Zamolodchikov connection from conformal field theory.
Definition
For a knot embedded in with coordinates where is a Morse function on (finitely many critical points), the Kontsevich integral is: where: the outer sum is over the number of chords ; the integral is over the simplex of increasing -values; for each , we choose a pair of points , on at height (the chord endpoints); denotes a pairing of these points; counts the number of downward-oriented strands among the selected points; and is the chord diagram recording the pairing.
The degree-2 part of is . For the trefoil knot, evaluates to a specific multiple of the unique degree-2 chord diagram, recovering the second coefficient of the Conway polynomial .
Properties
The Kontsevich integral satisfies:
- Well-defined: is invariant under deformations of that preserve the Morse function structure, and after a normalization (dividing by ), it is a knot invariant.
- Group-like: is a group-like element of the completed Hopf algebra , meaning .
- Universality: For any weight system of degree , the composition is a Vassiliev invariant of type . Moreover, every Vassiliev invariant arises this way. Thus is the universal Vassiliev invariant.
- Multiplicativity: (product in ).
Applying the weight system to recovers the Reshetikhin-Turaev invariant (colored Jones polynomial): . More generally, any quantum group invariant is obtained by applying the corresponding Lie algebra weight system. The Kontsevich integral thus serves as a "master" invariant from which all quantum knot invariants are derived. The relationship to the Chern-Simons path integral is made rigorous by the perturbative expansion, where the Kontsevich integral appears as the perturbative Chern-Simons invariant.
Computation and the Associator
The normalization of the Kontsevich integral requires the Drinfeld associator (a formal series of chord diagrams on three strands), which encodes the monodromy of the KZ equation. The associator satisfies the pentagon and hexagon equations, making it a key object in quantum group theory. The normalized (framing-independent) Kontsevich integral is where is a standard unknot with maxima. Different choices of associator (related by gauge transformations) give the same final invariant.
- Completeness: Does the Kontsevich integral detect all knots? (Does imply ?) This is equivalent to asking whether Vassiliev invariants separate knots. 2. Unknot detection: Can detect the unknot? (Does imply ?) Even this weaker question is open. 3. Computability: Computing exactly requires evaluating difficult iterated integrals; efficient algorithms exist only up to bounded degree. 4. Categorification: Is there a categorification of the Kontsevich integral that lifts it to a homological invariant (as Khovanov homology categorifies the Jones polynomial)?