nLab
Kontsevich integral

Context

Knot theory

Integration theory

Topology

The Kontsevich Integral

Idea

The Kontsevich integral generalises the Gauss integral formula? which computes the linking number of two embedded circles via integration. The Kontsevich integral is a universal Vassiliev invariant in that all Vassiliev invariants can be obtained by first applying the (final) Kontsevich integral to the knot and then applying an unframed weight system? to the result.

Definition

Definition

Let KK be a strict Morse knot?. Let 𝒜^\widehat{\mathcal{A}} be the graded completion? of the algebra of chord diagrams? with 11-term relations. The Kontsevich integral of KK is given by:

Z(K)= m=0 1(2πi) m t min<t m<<t 1<t maxt jnon-critical P={(z j,z j)}(1) PD p j=1 mdz jdz jz jz j Z(K) = \sum_{m = 0}^\infty \frac{1}{(2 \pi i)^m} \int_{t_{\min} \lt t_m \lt \cdots \lt t_1 \lt t_{\max} \over t_j\; \text{non-critical}} \sum_{P = \{(z_j,z_j')\}} (-1)^{\downarrow P} D_p \bigwedge_{j=1}^m \frac{d z_j - d z_j'}{z_j - z_j'}

In this definition:

  • t mint_{\min} and t maxt_{\max} are the minimum and maximum of the tt-coordinate in the Morse knot? KK.
  • The integration is over the points in the simplex of mm points in the interval [t min,t max][t_{\min},t_{\max}] where no coordinate is critical on KK.
  • Upon removing the critical values (note: values not points, so we remove a point if it is on the same level as a critical point), the knot decomposes into a set of arcs which can be parametrised by height. Each arc therefore defines a function z:Iz \colon I \to \mathbb{C} where II is the corresponding interval of height values. In fact, II must be the open interval between two successive critical values of the height function. For a particular such interval, there must be an even number of arcs with that domain. Given a point in the simplex (with no critical values), each coordinate in that point lies in an interval between critical values, and then for that interval we choose an unordered pair of arcs. A choice of pair for each coordinate is called a pairing, and is written P{(z j,z j)}P \coloneqq \{(z_j,z_j')\}.
  • For a pairing, PP, the symbol P\downarrow P denotes the number of arcs that are oriented downwards when equipped with the inherited orientation from KK.
  • Putting the knot back together as a circle, we join the ends of the pairing to make a chord diagram? with mm chords. This defines an element in the algebra of chord diagrams? which we denote by D PD_P.

Invariance

The Kontsevich integral is an invariant of Morse knots? but is not quite a knot invariant. When a “hump” is introduced to the knot then it is multiplied by Z(H)Z(H) where HH is the “humped” unknot. Therefore, it can be made in to a genuine knot invariant via the formula

I(K)=Z(K)Z(H) c/2 I(K) = \frac{Z(K)}{Z(H)^{c/2}}

where cc is the number of critical points of KK. To distinguish this from the Kontsevich integral, it is sometimes called the final Kontsevich integral (and the other the preliminary one).

Revised on November 7, 2012 22:53:56 by Urs Schreiber (82.169.65.155)