Vassiliev Invariants of Braids and Iterated Integrals

The notion of finite type invariants of knots was introduced by Vassiliev in his study of the discriminats of function spaces (see [13]). It was shown by Kontsevich [9] that such invariants, which we shall call the Vassiliev invariants, can be expressed universally by iterated integrals of logarithmic forms on the configuration space of distinct points in the complex plane. In the present paper we focus on the Vassiliev invariants of braids. Our main object is to clarify the relation between the Vassiliev invariants of braids and the iterated integrals of logarithmic forms on the configuration space which are homotopy invariant. A version of such description for pure braids is given in [6]. We denote by Bn the braid group on n strings. Let J be the ideal of the group ring C[Bn] generated by ai a;1, where { ai}i::;i::;n-1 is the set of standard generators of Bn. The vector space of the Vassiliev invariants of Bn of order k with values in C can be identified with Hom(C[Bn]/ Jk+l, C). Let us stress that such vector space had been studied in terms of the iterated integrals due to K. T. Chen before the work of Vassiliev. We introduce a graded algebra An, which is a semi-direct product of the completed universal enveloping algebra of the holonomy Lie algebra of the configuration space and the group algebra of the symmetric group. We construct a homomorphism 0 : Bn --+ An expressed as an infinite sum of Chen's iterated integrals, which gives a universal expression of the holonomy of logarithmic connections. This homomorphism may be considered as a prototype of the Kontsevich integral for knots. Using this homomorpshim we shall determine all iterated integrals of logarithmic forms which provide invariants of braids (see Theorem 3.1). As a Corollary we recover the isomorphism