Skip Navigation


Journal of Topology Advance Access originally published online on September 17, 2009
Journal of Topology 2009 2(3):527-569; doi:10.1112/jtopol/jtp020
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Habiro, K.
Right arrow Articles by Massuyeau, G.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© 2009 London Mathematical Society

Symplectic Jacobi diagrams and the Lie algebra of homology cylinders

Kazuo Habiro

RIMS, Kyoto University, Kyoto 606-8502, Japan habiro@kurims.kyoto-u.ac.jp

Gwénaël Massuyeau

IRMA, Université de Strasbourg & CNRS, 7 rue René Descartes, 67084 Strasbourg, France massuyeau@math.u-strasbg.fr

Let S be a compact connected oriented surface whose boundary is connected or empty. A homology cylinder over the surface S is a cobordism between S and itself, homologically equivalent to the cylinder over S. The Y-filtration on the monoid of homology cylinders over S is defined by clasper surgery. Using a functorial extension of the Le–Murakami–Ohtsuki invariant, we show that the graded Lie algebra associated to the Y-filtration is isomorphic to the Lie algebra of ‘symplectic Jacobi diagrams’. This Lie algebra consists of the primitive elements of a certain Hopf algebra whose multiplication is a diagrammatic analogue of the Moyal–Weyl product. The mapping cylinder construction embeds the Torelli group into the monoid of homology cylinders, sending the lower central series to the Y-filtration. We give a combinatorial description of the graded Lie algebra map induced by this embedding, by connecting Hain’s infinitesimal presentation of the Torelli group to the Lie algebra of symplectic Jacobi diagrams. This Lie algebra map is shown to be injective in degree 2, and the question of the injectivity in higher degrees is discussed.

Received February 15, 2008.

2000 Mathematics Subject Classification 57M27, 57R50, 20F12, 20F38, 20F40



References

  1. Asada M., Nakamura H. On graded quotient modules of mapping class groups of surfaces. Israel J. Math. (1995) 90:93–113.[CrossRef]
  2. Bar-Natan D., Garoufalidis S., Rozansky L., Thurston D. The Aarhus integral of rational homology 3-spheres I. In: Selecta Math. (N.S.) (2002) 8:315–339.[CrossRef]
  3. Bayen F., Flato M., Fronsdal C., Lichnerowicz A., Sternheimer D. Deformation theory and quantization. I & II. Ann. Physics (1978) 111:61–151.[CrossRef]
  4. Cheptea D., Habiro K., Massuyeau G. A functorial LMO invariant for Lagrangian cobordisms. Geom. Topol. (2008) 12:1091–1170.[CrossRef]
  5. Cheptea D., Le T. T. Q. A TQFT associated to the LMO invariant of three-dimensional manifolds. Comm. Math. Phys. (2007) 272:601–634.[CrossRef]
  6. Duzhin S., Kaishev A., Chmutov S. The algebra of 3-graphs. Proc. Steklov Inst. Math. (1998) 221:157–186.
  7. Fulton W., Harris J. Representation theory: a first course (1991) 129. Berlin: Springer. Graduate Texts in Mathematics.
  8. Garoufalidis S., Goussarov M., Polyak M. Calculus of clovers and finite type invariants of 3-manifolds. Geom. Topol. (2001) 5:75–108.[CrossRef]
  9. Garoufalidis S., Levine J. Tree-level invariants of 3-manifolds, Massey products and the Johnson homomorphism. Proc. Sympos. Pure Math. (2005) 73:173–203.
  10. Goussarov M. Finite type invariants and n-equivalence of 3-manifolds. In: C. R. Math Acad. Sci. Paris 329 Série I (1999) 517–522.
  11. Goussarov M. Knotted graphs and a geometrical technique of n-equivalence. St. Petersburg Math. J. (2001) 12:569–604.
  12. Habegger N. Milnor, Johnson and tree-level perturbative invariants. Preprint, 2000.
  13. Habegger N., Sorger C. An infinitesimal presentation of the Torelli group of a surface with boundary. Preprint, 2000.
  14. Habiro K. Claspers and finite type invariants of links. Geom. Topol. (2000) 4:1–83.[CrossRef]
  15. Hain R. Infinitesimal presentations of the Torelli groups. J. Amer. Math. Soc. (1997) 10:597–651.[CrossRef]
  16. Jennings S. The group ring of a class of infinite nilpotent groups. Canad. J. Math. (1955) 7:169–187.
  17. Johnson D. An Abelian quotient of the mapping class group Ig. Math. Ann. (1980) 249:225–242.[CrossRef]
  18. Johnson D. A survey of the Torelli group. In: Low-dimensional topology (1983) Providence, RI: American Mathematical Society. 165–179. Contemporary Mathematics 20.
  19. Kargapolov M., Merzljakov J. Fundamentals of the theory of groups (1979) 62. New York: Springer. Graduate Texts in Mathematics.
  20. Kontsevich M. Formal (non)commutative symplectic geometry. In: The Gelfand Mathematical Seminars (1993) Boston, MA: Birkhäuser. 173–187. 1990–1992.
  21. Lazard M. Sur les groupes nilpotents et les anneaux de Lie. Ann. Sci. Ecole Norm. Sup. (1954) 71:101–190.
  22. Le T. T. Q., Murakami J., Ohtsuki T. On a universal perturbative invariant of 3-manifolds. Topology (1998) 37:539–574.[CrossRef][Web of Science]
  23. Levine J. Homology cylinders: an enlargement of the mapping class group. Algebr. Geom. Topol. (2001) 1:243–270.[CrossRef]
  24. Littlewood D. On invariant theory under restricted groups. Philos. Trans. R. Soc. London. Ser. A Math. Phys. Eng. Sci. (1944) 239:387–417.[CrossRef]
  25. Massuyeau G. Finite-type invariants of three-manifolds and the dimension subgroup problem. J. Lond. Math. Soc. (2007) 75:791–811.[CrossRef]
  26. Massuyeau G., Meilhan J.-B. Characterization of Y2-equivalence for homology cylinders. J. Knot Theory Ramifications (2003) 12:493–522.[CrossRef]
  27. Mess G. The Torelli groups for genus 2and 3 surfaces. Topology (1992) 31:775–790.[CrossRef][Web of Science]
  28. Morita S. Casson’s invariant for homology 3-spheres and characteristic classes of surface bundles. Topology (1989) 28:305–323.[CrossRef][Web of Science]
  29. Morita S. On the structure of the Torelli group and the Casson invariant. Topology (1991) 30:603–621.[CrossRef][Web of Science]
  30. Morita S. Abelian quotients of subgroups of the mapping class group of surfaces. Duke Math. J. (1993) 70:699–726.[CrossRef]
  31. Morita S. Structure of the mapping class group of a surface: a survey and a prospect. Geom. Topol. Monog. (1999) 2:349–406.
  32. Murakami J., Ohtsuki T. Topological quantum field theory for the universal quantum invariant. Comm. Math. Phys. (1997) 188:501–520.[CrossRef]
  33. Passi I. Group rings and their augmentation ideals (1979) 715. Berlin: Springer. Lecture Notes in Mathematics.
  34. Quillen D. On the associated graded ring of a group ring. J. Algebra (1968) 10:411–418.[CrossRef]
  35. Quillen D. Rational homotopy theory. Ann. of Math. (1969) 90(2):205–295.[CrossRef]
  36. Sakasai T. The second Johnson homomorphism and the second rational cohomology of the Johnson kernel. Math. Proc. Cambridge Philos. Soc. (2007) 143:627–648.
  37. Sakasai T. Homology cylinders and the acyclic closure of a free group. Algebr. Geom. Topol. (2006) 6:603–631.[CrossRef]
  38. Vogel P. Algebraic structures on modules of diagrams. (1997) Preprint.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Habiro, K.
Right arrow Articles by Massuyeau, G.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?