Kontsevich invariant

In the mathematical theory of knots, the Kontsevich invariant, also known as the Kontsevich integral[1] of an oriented framed link, is a universal Vassiliev invariant[2] in the sense that any coefficient of the Kontsevich invariant is of a finite type, and conversely any finite type invariant can be presented as a linear combination of such coefficients. It was defined by Maxim Kontsevich.

The Kontsevich invariant is a universal quantum invariant in the sense that any quantum invariant may be recovered by substituting the appropriate weight system into any Jacobi diagram.

Definition

The Kontsevich invariant is defined by monodromy along solutions of the Knizhnik–Zamolodchikov equations.

Jacobi diagram and Chord diagram

Definition

an example of a Jacobi diagram

Let X be a circle (which is a 1-dimensional manifold). As is shown in the figure on the right, a Jacobi diagram with order n is the graph with 2n vertices, with the external circle depicted as solid line circle and with dashed lines called inner graph, which satisfies the following conditions:

  1. The orientation is given only to the external circle.
  2. The vertices have values 1 or 3. The valued 3 vertices are connected to one of the other edge with clockwise or anti-clockwise direction depicted as the little directed circle. The valued 1 vertices are connected to the external circle without multiplicity, ordered by the orientation of the circle.

The edges on G are called chords. We denote as A(X) the quotient space of the commutative group generated by all the Jacobi diagrams on X divided by the following relations:

(The AS relation) + = 0
(The IHX relation) =
(The STU relation) =
(The FI relation) = 0.

A diagram without vertices valued 3 is called a chord diagram. If every connected component of a graph G has a vertex valued 3, then we can make the Jacobi diagram into a Chord diagram using the STU relation recursively. If we restrict ourselves only to chord diagrams, then the above four relations are reduced to the following two relations:

(The four term relation) + = 0.
(The FI relation) = 0.

Properties

Weight system

A map from the Jacobi diagrams to the positive integers is called a weight system. The map extended to the space A(X) is also called the weight system. They have the following properties:

ρ([a, b])v = ρ(a)ρ(b)v ρ(b)ρ(a)v.

History

Jacobi diagrams were introduced as analogues of Feynman diagrams when Kontsevich defined knot invariants by iterated integrals in the first half of 1990s.[4] He represented singular points of singular knots by chords, i.e. he treated only with chord diagrams. D. Bar-Natan later formulated them as the 1-3 valued graphs and studied their algebraic properties, and called them "Chinese character diagrams" in his paper.[5] Several terms such as chord diagrams, web diagrams, or Feynman diagrams were used to refer them, but they has been called Jacobi diagrams since around 2000, because the IHX relation corresponds to the Jacobi identity for Lie algebras.

We can interpret them from a more general point of view by claspers, which were defined independently by Goussarov and Kazuo Habiro in the later half of the 1990s.

References

  1. Chmutov, Sergei; Duzhi, Sergei (2012). Weisstein, Eric W, ed. "Kontsevich Integral". Mathworld (Wolfram Web Resource). Retrieved 4 December 2012.
  2. Kontsevich, Maxim (1993). "Vassiliev's knot invariants" (PDF). Adv. Soviet Math 16 (2): 137.
  3. D. Bar-Natan and S. Garoufalidis, On the Melvin-Morton-Rozansky Conjecture, Inventiones Mathematicae 125 (1996) 103-133).
  4. M. Kontsevich, Vassiliev's knot invariants, Adv. in Sov. Math., 16(2) (1993) 137-150.
  5. D. Bar-Natan, On the Vassiliev knot invariants, Topology 34 (1995) 423-472.

Bibliography

This article is issued from Wikipedia - version of the Wednesday, October 07, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.