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: