Surgery formulae for 3-manifold invariants defined via configuration space

Abstract

M. Kontsevich proposed a topological construction for an invariant Z of oriented rational homology 3-spheres using configuration space integrals [Ko]. (Other constructions were proposed by Axelrod, Singer, Bott, Cattaneo... following Witten [AS1, AS2, BC1, BC2, Wi].) 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. They also showed that the degree one part of Z is the invariant defined by Casson in 1984 (as an algebraic number of SU(2)-representations of the π1 [AM, M] ) for integral homology 3-spheres. See [KT]. Here, I propose to give an elementary presentation of the Casson invariant following the Kontsevich-Kuperberg-Thurston ideas, and to use it to illustrate some generalisations of the Kuperberg-Thurston results.