The Kontsevich integral

The Kontsevich integral and algebraic structures on the space of diagrams

This paper is part expository and part presentation of calculational results. The target space of the Kontsevich integral for knots is a space of diagrams; this space has various algebraic structures which are described here. These are utilized with Le's theorem on the behaviour of the Kontsevich integral under cabling and with the Melvin-Morton Theorem, to obtain, in the Kontsevich integral for torus knots, both an explicit expression up to degree five and the general coefficients of the wheel diagrams.

链环系数与Kontsevich积分

Linking coefficients and the Kontsevich integral

本文给出一个一般公式，将链环数和加框的任意幂次乘积表示为Kontsevich积分中系数的组合，从而可用链环系数表示给定次数的所有系数之和，证明是纯组合的。

On Kontsevich integral of torus knots

We study the unwheeled rational Kontsevich integral of torus knots. We give a precise formula for these invariants up to loop degree 3 and show that they appear as colorings of simple diagrams. We show that they behave under cyclic branched coverings in a very simple way. Our proof is combinatorial: it uses the results of Wheels and Wheelings and new decorations of diagrams.

The Kontsevich integral and re-normalized link invariants arising from Lie superalgebras

We show that the coefficients of the re-normalized link invariants of the paper "Multivariable link invariants arising from Lie superalgebras of type I" are Vassiliev invariants which give rise to a canonical family of weight systems.

A computation of the Kontsevich integral of torus knots

We study the rational Kontsevich integral of torus knots. We construct explicitely a series of diagrams made of circles joined together in a tree-like fashion and colored by some special rational functions. We show that this series codes exactly the unwheeled rational Kontsevich integral of torus knots, and that it behaves very simply under branched coverings. Our proof is combinatorial. It uses the results of Wheels and Wheeling and various spaces of diagrams.

A Kontsevich integral of order 1

We define a 1-cocycle in the space of long knots that is a natural generalization of the Kontsevich integral seen as a 0-cocycle. It involves a 2-form that generalizes the Knizhnik--Zamolodchikov connection. We show that the well-known close relationship between the Kontsevich integral and Vassiliev invariants (via the algebra of chord diagrams and 1T-4T relations) is preserved between our integral and Vassiliev 1-cocycles, via a change of variable similar to the one that led Birman--Lin to discover the 4T relations. We explain how this construction is related to Cirio--Faria Martins' categori…

On the Kontsevich integral for knotted trivalent graphs

We construct an extension of the Kontsevich integral of knots to knotted trivalent graphs, which commutes with orientation switches, edge deletions, edge unzips, and connected sums. In 1997 Murakami and Ohtsuki [MO] first constructed such an extension, building on Drinfel'd's theory of associators. We construct a step by step definition, using elementary Kontsevich integral methods, to get a one-parameter family of corrections that all yield invariants well behaved under the graph operations above.

The Generating Functional of the Kontsevich Integral and its Derivation as a Holonomy

We introduce an algebra bundle of chord diagrams over the configuration space of N points in the complex plane on which we put the Knizhnik-Zamolodchikov connection. For that particular connection, the holonomy along a loop in the base is shown to be generating the Kontsevich integral for that loop's associated braid.

The loop expansion of the Kontsevich integral, the null move and S-equivalence

This is a substantially revised version. The Kontsevich integral of a knot is a graph-valued invariant which (when graded by the Vassiliev degree of graphs) is characterized by a universal property; namely it is a universal Vassiliev invariant of knots. We introduce a second grading of the Kontsevich integral, the Euler degree, and a geometric null-move on the set of knots. We explain the relation of the null-move to S-equivalence, and the relation to the Euler grading of the Kontsevich integral. The null move leads in a natural way to the introduction of trivalent graphs with beads, and to a …

On Denominators of the Kontsevich Integral and the Universal Perturbative Invariant of 3-Manifolds

The integrality of the Kontsevich integral and perturbative invariants is discussed. We show that the denominator of the degree $n$ part of the Kontsevich integral of any knot or link is a divisor of $(2!3!... n!)^4(n+1)!$. We also show that the denominator of of the degree $n$ part of the universal perturbative invariant of homology 3-spheres is not divisible by any prime greater than $2n+1$.

Kontsevich integral for knots and Vassiliev invariants

We review quantum field theory approach to the knot theory. Using holomorphic gauge we obtain the Kontsevich integral. It is explained how to calculate Vassiliev invariants and coefficients in Kontsevich integral in a combinatorial way which can be programmed on a computer. We discuss experimental results and temporal gauge considerations which lead to representation of Vassiliev invariants in terms of arrow diagrams. Explicit examples and computational results are presented.

Splitting formulas for the rational lift of the Kontsevich integral

Kricker defined an invariant of knots in homology 3-spheres which is a rational lift of the Kontsevich integral, and proved with Garoufalidis that this invariant satisfies splitting formulas with respect to a surgery move called null-move. We define a functorial extension of the Kricker invariant and prove splitting formulas for this functorial invariant with respect to null Lagrangian-preserving surgery, a generalization of the null-move. We apply these splitting formulas to the Kricker invariant.

On the Kontsevich integral of Brunnian links

The purpose of the paper is twofold. First, we give a short proof using the Kontsevich integral for the fact that the restriction of an invariant of degree 2n to (n+1)-component Brunnian links can be expressed as a quadratic form on the Milnor mu-bar link-homotopy invariants of length n+1. Second, we describe the structure of the Brunnian part of the degree 2n-graded quotient of the Goussarov--Vassiliev filtration for (n+1)-component links.

A rationality conjecture about Kontsevich integral of knots and its implications to the structure of the colored Jones polynomial

We formulate a conjecture (already proven by A. Kricker) about the structure of Kontsevich integral of a knot. We describe its value in terms of the generating functions for the numbers of external edges attached to closed 3-valent diagrams. We conjecture that these functions are rational functions of the exponentials of their arguments, their denominators being the powers of the Alexander-Conway polynomial. This conjecture implies the existence of an expansion of a colored Jones (HOMFLY) polynomial in powers of q-1 whose coefficients are rational functions of q^color. We show how to derive th…

The lines of the Kontsevich integral and Rozansky's rationality conjecture

This work develops some technology for accessing the loop expansion of the Kontsevich integral of a knot. The setting is an application of the LMO invariant to certain surgery presentations of knots by framed links in the solid torus. A consequence of this technology is a certain recent conjecture of Rozansky's. Rozansky conjectured that the Kontsevich integral could be organised into a series of ``lines'' which could be represented by finite $\Qset$-linear combinations of diagrams whose edges were labelled, in an appropriate sense, with rational functions. Furthermore, the conjecture requires…

Gropes and the rational lift of the Kontsevich integral

In this note, we calculate the leading term of the rational lift of the Kontsevich integral, introduced by Garoufalidis and Kricker, on the boundary of an embedded grope of class 2n. We observe that it lies in the subspace spanned by connected diagrams of Euler degree 2n-2 which have a bead t-1 on a single edge. This places severe algebraic restrictions on the sort of knots that can bound gropes, and in particular implies the two main results of the author's thesis, at least over the rationals.

The Kontsevich Integral in Book Notation

We introduce a matrix representation of a chord on a tangle which leads us to representing tangle chord diagrams as stacks of matrices that we call books. We show that band sum moves, Reidemeister moves as well as orientation changes are implemented on \widetilde{Z}_f - a framed link invariant constructed from the Kontsevich integral that's well-behaved under band sum moves - by matrix congruences. We prove that being given the bare framed Kontsevich integral Z_f(L) in book notation for some unknown link L, we can determine what the link L is, as well as the projection of Z_f(L) in the origina…

Relaxed Cech Cohomology, Emeralds over Topological Spaces and the Kontsevich Integral

We introduce families of decorations of a same topological space, as well as a family of sheaves over such decorated spaces. Making those families a directed system leads to the concept of emerald over a space. For the configuration space X_N of N points in the plane, connecting points of the plane with chords is a decoration and the sheaf of log differentials over such spaces forms an emerald. We introduce a relaxed form of Cech cohomology whereby intersections are defined up to equivalence. Two disjoint open sets of X_N whose respective points are connected by a chord is one instance of inte…

Whitney towers and the Kontsevich integral

We continue to develop an obstruction theory for embedding 2-spheres into 4-manifolds in terms of Whitney towers. The proposed intersection invariants take values in certain graded abelian groups generated by labelled trivalent trees, and with relations well known from the 3-dimensional theory of finite type invariants. Surprisingly, the same exact relations arise in 4 dimensions, for example the Jacobi (or IHX) relation comes in our context from the freedom of choosing Whitney arcs. We use the finite type theory to show that our invariants agree with the (leading term of the tree part of the)…

The Kontsevich integral and quantized Lie superalgebras

Given a finite dimensional representation of a semisimple Lie algebra there are two ways of constructing link invariants: 1) quantum group invariants using the R-matrix, 2) the Kontsevich universal link invariant followed by the Lie algebra based weight system. Le and Murakami showed that these two link invariants are the same. These constructions can be generalized to some classes of Lie superalgebras. In this paper we show that constructions 1) and 2) give the same invariants for the Lie superalgebras of type A-G. We use this result to investigate the Links-Gould invariant. We also give a po…

Weyl n-algebras and the Kontsevich integral of the unknot

Given a Lie algebra with a scalar product, one may consider the latter as a symplectic structure on a $dg$-scheme, which is the spectrum of the Chevalley--Eilenberg algebra. In the first section we explicitly calculate the first order deformation of the differential on the Hochschild complex of the Chevalley--Eilenberg algebra. The answer contains the Duflo character. This calculation is used in the last section. There we sketch the definition of the Wilson loop invariant of knots, which is hopefully equal to the Kontsevich integral, and show that for unknot they coincide. As a byproduct we ge…

On the Kontsevich-Kuperberg-Thurston construction of a configuration-space invariant for rational homology 3-spheres

M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We review the Kontsevich-Kuperberg-Thurston construction and we provide detailed and elementary proofs for the invariance of Z. This article is the preliminary part of a work that aims to prove splitting formulae for this powerful invariant of rational homology spheres. It contains the needed backgro…

Beads: From Lie algebras to Lie groups

The Kontsevich integral of a knot is a powerful invariant which takes values in an algebra of trivalent graphs with legs. Given a Lie algebra, the Kontsevich integral determines an invariant of knots (the so-called colored Jones function) with values in the symmetric algebra of the Lie algebra. Recently A. Kricker and the author constructed a rational form of the Kontsevich integral which takes values in an algebra of trivalent graphs with beads. After replacing beads by an exponential legs, this rational form recovers the Kontsevich integral. The goal of the paper is to explain the relation b…

Toward universality in degree 2 of the Kricker lift of the Kontsevich integral and the Lescop equivariant invariant

In the setting of finite type invariants for null-homologous knots in rational homology 3-spheres with respect to null Lagrangian-preserving surgeries, there are two candidates to be universal invariants, defined respectively by Kricker and Lescop. In a previous paper, the second author defined maps between spaces of Jacobi diagrams. Injectivity for these maps would imply that Kricker and Lescop invariants are indeed universal invariants; this would prove in particular that these two invariants are equivalent. In the present paper, we investigate the injectivity status of these maps for degree…

Splitting formulae for the Kontsevich-Kuperberg-Thurston invariant of rational homology 3-spheres

M. Kontsevich proposed a topological construction for an invariant Z of rational homology 3-spheres using configuration space integrals. G. Kuperberg and D. Thurston proved that Z is a universal real finite type invariant for integral homology spheres in the sense of Ohtsuki, Habiro and Goussarov. We discuss the behaviour of Z under rational homology handlebodies replacements. The explicit formulae that we present generalize a sum formula obtained by the author for the Casson-Walker invariant in 1994. They allow us to identify the degree one term of Z with the Walker invariant for rational hom…

The Kontsevich integral for bottom tangles in handlebodies

Using an extension of the Kontsevich integral to tangles in handlebodies similar to a construction given by Andersen, Mattes and Reshetikhin, we construct a functor $Z:\mathcal{B}\to \widehat{\mathbb{A}}$, where $\mathcal{B}$ is the category of bottom tangles in handlebodies and $\widehat{\mathbb{A}}$ is the degree-completion of the category $\mathbb{A}$ of Jacobi diagrams in handlebodies. As a symmetric monoidal linear category, $\mathbb{A}$ is the linear PROP governing "Casimir Hopf algebras", which are cocommutative Hopf algebras equipped with a primitive invariant symmetric 2-tensor. The f…

On configuration space integrals for links

We give an introductory survey on the universal Vassiliev invariant called the perturbative series expansion of the Chern-Simons theory of links in euclidean space, and on its relation with the Kontsevich integral. We also prove an original geometric property of the anomaly of Bott, Taubes, Altschuler, Freidel and D. Thurston, that allowed Poirier to prove that the Chern-Simons series and the Kontsevich integral coincide up to degree 6.

On Knots with trivial Alexander polynomial

We use the 2-loop term of the Kontsevich integral to show that there are (many) knots with trivial Alexander polynomial which don't have a Seifert surface whose genus equals the rank of the Seifert form. This is one of the first applications of the Kontsevich integral to intrinsically 3-dimensional questions in topology. Our examples contradict a lemma of Mike Freedman, and we explain what went wrong in his argument and why the mistake is irrelevant for topological knot concordance. References updated.

On the LMO Invariant, the Wheeling Theorem, and the Aarhus Integral

In a previous paper, we generalized the definition of the framed Kontsevich integral initially presented by Le and Murakami. We also defined an isotopy invariant $\widetilde{Z}_f$ that is well-behaved under band sum moves. Using this invariant we study the construction of the LMO invariant, the Wheeling Theorem, and the Aarhus integral.

Elliptic Associators and the LMO Functor

The elliptic associator of Enriquez can be used to define an invariant of tangles embedded in the thickened torus, which extends the Kontsevich integral. This construction by Humbert uses the formulation of categories with elliptic structures. In this work we show that an extension of the LMO functor also leads to an elliptic structure on the category of Jacobi diagrams which is used by the Kontsevich integral, and find the relation between the two structures. We use this relation to give an alternative proof for the properties of the elliptic associator of Enriquez. Those results can lead the…

通用不变量、康威多项式和卡森-沃克-莱斯科普不变量

Universal invariants, the Conway polynomial and the Casson-Walker-Lescop invariant

本文通过图示和组合方法给出了闭3流形卡森-沃克-莱斯科普不变量的手术公式，揭示了康威多项式系数与 Kontsevich 积分系数的关系。

A rational noncommutative invariant of boundary links

In 1999, Rozansky conjectured the existence of a rational presentation of the Kontsevich integral of a knot. Roughly speaking, this rational presentation of the Kontsevich integral would sum formal power series into rational functions with prescribed denominators. Rozansky's conjecture was soon proven by the second author. We begin our paper by reviewing Rozansky's conjecture and the main ideas that lead to its proof. The natural question of extending this conjecture to links leads to the class of boundary links, and a proof of Rozansky's conjecture in this case. A subtle issue is the fact tha…

On the Foundations of the LMO Invariant

We generalize the definition of the framed Kontsevich integral initially presented by T.Q.T.Le and J.Murakami. We define an isotopy invariant $\widetilde{Z}_f$ that behaves well under band sum moves.