e23a1e490b955a80.tex
1: \begin{abstract}
2:   Let $S$ be a compact connected oriented surface, whose boundary is connected or empty.
3:   A homology cylinder over the surface $S$ is  a cobordism between $S$ and itself,
4:   homologically equivalent to the cylinder over $S$.  
5:   The $Y$-filtration on the monoid of homology   cylinders over $S$ is defined by clasper surgery.
6:   Using a functorial extension of the Le--Murakami--Ohtsuki invariant, we show
7:   that the graded Lie algebra associated to the $Y$-filtration is
8:   isomorphic to the Lie algebra of ``symplectic Jacobi  diagrams''.  
9:   This Lie algebra consists of the primitive elements of a certain Hopf algebra 
10:   whose multiplication is a diagrammatic analogue of the Moyal--Weyl product.
11: 
12:   The mapping cylinder construction embeds the Torelli group into the
13:   monoid of homology cylinders, sending the lower central series to
14:   the $Y$-filtration.  We give a combinatorial description of the
15:   graded Lie algebra map induced by this embedding, by connecting
16:   Hain's infinitesimal presentation of the Torelli group to the Lie
17:   algebra of symplectic Jacobi diagrams.  This Lie algebra map is
18:   shown to be injective in degree two, and the question of the
19:   injectivity in higher degrees is discussed.
20: \end{abstract}
21: