Math 2.0

Manifolds and cell complexes Definition

Kontsevich integral

Builds on KnotFinite type invariant

Definition

Identify ℝ3\R^3 with ℂ×ℝ\C \times \R, with complex coordinate zz and height tt. Let KK be an oriented knot in ℂ×ℝ\C \times \R such that the height tt restricted to KK is a Morse function. Let tmin⁡t_{\min} and tmax⁡t_{\max} be the minimum and the maximum of tt on KK. Let 𝒜\mathcal{A} be the ℂ\C-vector space of chord diagrams on the circle modulo the four-term relation and the one-term relation. The one-term relation kills every diagram with an isolated chord. Let 𝒜^\widehat{\mathcal{A}} be the completion of 𝒜\mathcal{A} by degree. For tmin⁡<t1<⋯<tm<tmax⁡t_{\min} < t_1 < \cdots < t_m < t_{\max}, let P={(zj,zj′)}j=1mP = \set{(z_j, z_j')}_{j=1}^{m} be a choice of two distinct points of KK at height tjt_j, for each jj. Let DPD_P be the chord diagram with these mm chords, and ↓P\downarrow_P the number of chosen points where KK is oriented downward. The Kontsevich integral of KK is Z(K)=∑m≥01(2πi)m∫tmin⁡<t1<⋯<tm<tmax⁡∑P(−1)↓PDP⋀j=1mdzj−dzj′zj−zj′∈𝒜^.Z(K) = \sum_{m \ge 0} \frac{1}{(2\pi i)^m} \int_{t_{\min} < t_1 < \cdots < t_m < t_{\max}} \sum_{P} (-1)^{\downarrow_P} D_P \bigwedge_{j=1}^{m} \frac{dz_j - dz_j'}{z_j - z_j'} \in \widehat{\mathcal{A}}.

Remarks

Each integral converges, and Z(K)Z(K) is unchanged by isotopies that keep the number of critical points of the height fixed. Let cc be the number of critical points and HH the unknot embedded with two maxima and two minima. Then the normalized Z^(K)=Z(H)−c/2Z(K)\widehat{Z}(K) = Z(H)^{-c/2} Z(K), with the product in 𝒜^\widehat{\mathcal{A}}, is an isotopy invariant of KK. Example: the degree-00 part of Z(K)Z(K) is the empty chord diagram with coefficient 11, since the term m=0m = 0 is the constant 11. Non-example: the unnormalized ZZ is not an invariant, because adding a pair of critical points multiplies it by Z(H)Z(H), which is not 11. Every rational-valued finite type invariant of type ≤n\le n factors through Z^\widehat{Z} followed by a linear map on the part of degree ≤n\le n.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Finite type invariant concept
  2. Knot concept
  3. Kontsevich integral definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Kontsevich_invariant
About this page
TagFE1VTGF349
URIm2://FE1VTGF349
Kinddefinition
WritingW0 stub
MSC57K16
DefinesKontsevich integral
UsesKnot, Finite type invariant
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.