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

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…

来自图构型的三维流形不变量

A three-manifold invariant from graph configurations

本文为Kontsevich-Kuperberg-Thurston不变量对数的二次部分给出了适用于具体计算的独立原始定义，并可作为该不变量一般定义的导引。

An invariant of rational homology 3-spheres via vector fields

We define an invariant of rational homology 3-spheres via vector fields. The construction of our invariant is a generalization of both that of the Kontsevich-Kuperberg-Thurston invariant and that of Watanabe's Morse homotopy invariant, which implies the equivalence of these two invariants.

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.

Splitting formulas for the LMO invariant of rational homology three-spheres

For rational homology 3-spheres, there exist two universal finite-type invariants: the Le-Murakami-Ohtsuki invariant and the Kontsevich-Kuperberg-Thurston invariant. These invariants take values in the same space of "Jacobi diagrams", but it is not known whether they are equal. In 2004, Lescop proved that the KKT invariant satisfies some "splitting formulas" which relate the variations of KKT under replacement of embedded rational homology handlebodies by others in a "Lagrangian-preserving" way. We show that the LMO invariant satisfies exactly the same relations. The proof is based on the LMO …

On the vanishing of the Rokhlin invariant

It is a natural consequence of fundamental properties of the Casson invariant that the Rokhlin invariant of an amphichiral integral homology 3-sphere M vanishes. In this paper, we give a new direct proof of this vanishing property. For such an M, we construct a manifold pair (Y,Q) of dimensions 6 and 3 equipped with some additional structure (6-dimensional spin e-manifold), such that Q = M \cup M \cup (-M) and (Y,Q) \cong (-Y,-Q). We prove that (Y,Q) bounds a 7-dimensional spin e-manifold (Z,X) by studying the cobordism group of 6-dimensional spin e-manifolds and the Z/2-actions on the two--po…