nLab Kontsevich integral

Redirected from "Kontsevich integrals".
The Kontsevich Integral

Context

Knot theory

Integration theory

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

The Kontsevich Integral

Idea

The Kontsevich integral is the Dyson formula for the parallel transport or holonomy of the Knizhnik-Zamolodchikov connection on ordered configuration spaces of points in the plane. As such it is a (universal) Vassiliev invariant of braids and, with due care, of knots and links, essentially coinciding with the Wilson loop observable of perturbatively quantized Chern-Simons theory.

The Kontsevich integral generalises the Gauss integral formula? which computes the linking number of two embedded circles via integration.

Definition

On braids

For the Definition of the Knizhnik-Zamolodchikov connection we need the following notation:

  1. configuration spaces of points

    For N fN_{\mathrm{f}} \in \mathbb{N} write

    (1)Conf {1,,N f}( 2)( 2) n\FatDiagonal \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{R}^2) \;\coloneqq\; (\mathbb{R}^2)^n \backslash FatDiagonal

    for the ordered configuration space of n points in the plane, regarded as a smooth manifold.

    Identifying the plane with the complex plane \mathbb{C}, we have canonical holomorphic coordinate functions

    (2)(z 1,,z N f):Conf {1,,n}( 2) N f. (z_1, \cdots, z_{N_{\mathrm{f}}}) \;\colon\; \underset{{}^{\{1,\cdots,n\}}}{Conf}(\mathbb{R}^2) \longrightarrow \mathbb{C}^{N_{\mathrm{f}}} \,.
  2. horizontal chord diagrams

    (3)𝒜 N f pbSpan(𝒟 N f pb)/4T \mathcal{A}^{{}^{pb}}_{N_{\mathrm{f}}} \;\coloneqq\; Span\big(\mathcal{D}^{{}^{pb}}_{N_{\mathrm{f}}}\big)/4T

    for the quotient vector space of the linear span of horizontal chord diagrams on nn strands by the 4T relations (infinitesimal braid relations), regarded as an associative algebra under concatenation of strands (here).

Definition

(Knizhnik-Zamolodchikov form)

The universal Knizhnik-Zamolodchikov form is the horizontal chord diagram-algebra valued differential form (3) on the configuration space of points (1)

(4)ω KZΩ(Conf {1,,N f}(),𝒜 N f pb) \omega_{KZ} \;\in\; \Omega \big( \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{C}) \,, \mathcal{A}^{{}^{pb}}_{N_{\mathrm{f}}} \big)

given in the canonical coordinates (2) by:

(5)ω KZi<j{1,,n}d dRlog(z iz j)t ij, \omega_{KZ} \;\coloneqq\; \underset{ i \lt j \in \{1, \cdots, n\} }{\sum} d_{dR} log\big( z_i - z_j \big) \otimes t_{i j} \,,

where

is the horizontal chord diagram with exactly one chord, which stretches between the iith and the jjth strand.

Regarded as a connection form for a connection on a vector bundle, this defines the universal Knizhnik-Zamolodchikov connection KZ\nabla_{KZ}, with covariant derivative

ϕdϕ+ω KVϕ \nabla \phi \;\coloneqq\; d \phi + \omega_{KV} \wedge \phi

for any smooth function

ϕ:Conf {1,,N f}()𝒜 N f pbMod \phi \;\colon\; \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{C}) \longrightarrow \mathcal{A}^{{}^{pb}}_{N_{\mathrm{f}}} Mod

with values in modules over the algebra of horizontal chord diagrams modulo 4T relations.

The condition of covariant constancy

KZϕ=0 \nabla_{KZ} \phi \;=\; 0

is called the Knizhnik-Zamolodchikov equation.

Finally, given a metric Lie algebra 𝔤\mathfrak{g} and a tuple of Lie algebra representations

(V 1,,V N f)(𝔤Rep /) N f, ( V_1, \cdots, V_{N_{\mathrm{f}}} ) \;\in\; (\mathfrak{g} Rep_{/\sim})^{N_{\mathrm{f}}} \,,

the corresponding endomorphism-valued Lie algebra weight system

w V:𝒜 N f pfEnd 𝔤(V 1V N f) w_{V} \;\colon\; \mathcal{A}^{{}^{pf}}_{N_{\mathrm{f}}} \longrightarrow End_{\mathfrak{g}}\big( V_1 \otimes \cdots V_{N_{\mathrm{f}}} \big)

turns the universal Knizhnik-Zamolodchikov form (4) into a endomorphism ring-valued differential form

(6)ω KZi<j{1,,n}d dRlog(z iz j)w V(t ij)Ω(Conf {1,,N f}(),End(V 1V N f)). \omega_{KZ} \;\coloneqq\; \underset{ i \lt j \in \{1, \cdots, n\} }{\sum} d_{dR} log\big( z_i - z_j \big) \otimes w_V(t_{i j}) \;\in\; \Omega \big( \underset{{}^{\{1,\cdots,N_{\mathrm{f}}\}}}{Conf}(\mathbb{C}) \,, End\big(V_1 \otimes \cdot V_{N_{\mathrm{f}}} \big) \big) \,.

The universal formulation (4) is highlighted for instance in Bat-Natan 95, Section 4.2, Lescop 00, p. 7. Most authors state the version after evaluation in a Lie algebra weight system, e.g. Kohno 14, Section 5.

Proposition

(Knizhnik-Zamolodchikov connection is flat)

The Knizhnik-Zamolodchikov connection ω ZK\omega_{ZK} (Def. ) is flat:

dω ZK+ω ZKω ZK=0. d \omega_{ZK} + \omega_{ZK} \wedge \omega_{ZK} \;=\; 0 \,.
Proposition

(Kontsevich integral for braids)

The Dyson formula for the holonomy of the Knizhnik-Zamolodchikov connection (Def. ) is called the Kontsevich integral on braids.

(e.g. Lescop 00, side-remark 1.14)

On knots

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).

References

General

Review:

Textbook account:

Perturbative quantum Chern-Simons theory

Discussion of perturbative quantization of Chern-Simons theory (via Kontsevich integrals/knot graph cohomology on Jacobi diagrams, regarding Feynman amplitudes as differential forms on configuration spaces of points and yielding universalVassiliev invariants):

Review:

See also at correlator as differential form on configuration space of points and see at graph complex as a model for the spaces of knots.

The “Wheels theorem”, saying that the perturbative Chern-Simons Wilson loop observable of the unknot is, as a universal Vassiliev invariant, a series of wheel-shaped Jacobi diagrams with coefficients the modified Bernoulli numbers, is due to

following

Last revised on January 28, 2020 at 02:59:40. See the history of this page for a list of all contributions to it.