The Kontsevich integral generalises the Gauss integral formula? which computes the linking number of two embedded circles via integration. The Kontsevich integral is a universalVassiliev 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.
Let be a strict Morse knot?. Let be the graded completion? of the algebra of chord diagrams? with -term relations. The Kontsevich integral of is given by:
In this definition:
and are the minimum and maximum of the -coordinate in the Morse knot? .
The integration is over the points in the simplex of points in the interval where no coordinate is critical on .
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 where is the corresponding interval of height values. In fact, 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 .
For a pairing, , the symbol denotes the number of arcs that are oriented downwards when equipped with the inherited orientation from .
Putting the knot back together as a circle, we join the ends of the pairing to make a chord diagram with chords. This defines an element in the algebra of chord diagrams? which we denote by .
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 where is the “humped” unknot. Therefore, it can be made in to a genuine knot invariant via the formula
where is the number of critical points of . 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