On a theorem of Kontsevich

Conant, James¹ ; Vogtmann, Karen²

¹Department of Mathematics, University of Tennessee, Knoxville TN 37996, USA
²Department of Mathematics, Cornell University, Ithaca, NY 14853-4201, USA

Algebraic and Geometric Topology, Tome 3 (2003) no. 2, pp. 1167-1224

Résumé

In [‘Formal (non)commutative symplectic geometry’, The Gelfand Mathematical Seminars (1990–1992) 173–187, and ‘Feynman diagrams and low-dimensional topology’, First European Congress of Mathematics, Vol. II Paris (1992) 97–121] M Kontsevich introduced graph homology as a tool to compute the homology of three infinite dimensional Lie algebras, associated to the three operads ‘commutative,’ ‘associative’ and ‘Lie.’ We generalize his theorem to all cyclic operads, in the process giving a more careful treatment of the construction than in Kontsevich’s original papers. We also give a more explicit treatment of the isomorphisms of graph homologies with the homology of moduli space and Out(Fr) outlined by Kontsevich. In [‘Infinitesimal operations on chain complexes of graphs’, Mathematische Annalen, 327 (2003) 545–573] we defined a Lie bracket and cobracket on the commutative graph complex, which was extended in [James Conant, ‘Fusion and fission in graph complexes’, Pac. J. 209 (2003), 219–230] to the case of all cyclic operads. These operations form a Lie bi-algebra on a natural subcomplex. We show that in the associative and Lie cases the subcomplex on which the bi-algebra structure exists carries all of the homology, and we explain why the subcomplex in the commutative case does not.

Détail

DOI : 10.2140/agt.2003.3.1167

Keywords: cyclic operads, graph complexes, moduli space, outer space

Bibliographie

[1] D Bar-Natan, B D Mckay, Graph cohomology – an overview and some computations, draft (2001)

[2] K S Brown, Cohomology of groups, Graduate Texts in Mathematics 87, Springer (1982)

[3] J Conant, Fusion and fission in graph complexes, Pacific J. Math. 209 (2003) 219

[4] J Conant, K Vogtmann, Infinitesimal operations on complexes of graphs, Math. Ann. 327 (2003) 545

[5] J Conant, F Gerlits, K Vogtmann, Cut vertices in commutative graphs, Q. J. Math. 56 (2005) 321

[6] M Culler, K Vogtmann, Moduli of graphs and automorphisms of free groups, Invent. Math. 84 (1986) 91

[7] E Getzler, M M Kapranov, Cyclic operads and cyclic homology, from: "Geometry, topology, physics", Conf. Proc. Lecture Notes Geom. Topology, IV, Int. Press, Cambridge, MA (1995) 167

[8] E Getzler, M M Kapranov, Modular operads, Compositio Math. 110 (1998) 65

[9] A Hatcher, K Vogtmann, Rational homology of $\mathrm{Aut}(F_n)$, Math. Res. Lett. 5 (1998) 759

[10] M Horak, Mapping class subgroups of outer automorphism groups of free groups, thesis, Cornell University (2003)

[11] M Kapranov, Y Manin, Modules and Morita theorem for operads, Amer. J. Math. 123 (2001) 811

[12] M Kontsevich, Formal (non)commutative symplectic geometry, from: "The Gel'fand Mathematical Seminars, 1990–1992", Birkhäuser (1993) 173

[13] M Kontsevich, Feynman diagrams and low-dimensional topology, from: "First European Congress of Mathematics, Vol. II (Paris, 1992)", Progr. Math. 120, Birkhäuser (1994) 97

[14] J Levine, Homology cylinders: an enlargement of the mapping class group, Algebr. Geom. Topol. 1 (2001) 243

[15] S Mahajan, Symplectic operad geometry and graph homology

[16] M Markl, Cyclic operads and homology of graph complexes, Rend. Circ. Mat. Palermo $(2)$ Suppl. (1999) 161

[17] M Markl, S Shnider, J Stasheff, Operads in algebra, topology and physics, Mathematical Surveys and Monographs 96, American Mathematical Society (2002)

[18] S Morita, Structure of the mapping class groups of surfaces: a survey and a prospect, from: "Proceedings of the Kirbyfest (Berkeley, CA, 1998)", Geom. Topol. Monogr. 2, Geom. Topol. Publ., Coventry (1999) 349

[19] R C Penner, Perturbative series and the moduli space of Riemann surfaces, J. Differential Geom. 27 (1988) 35

[20] J Smillie, K Vogtmann, A generating function for the Euler characteristic of $\mathrm{Out}(F_n)$, from: "Proceedings of the Northwestern conference on cohomology of groups (Evanston, Ill., 1985)" (1987) 329

[21] D Thurston, Integral expressions for the Vassiliev knot invariants, AB thesis, Harvard University (1995)

[22] K Vogtmann, End invariants of the group of outer automorphisms of a free group, Topology 34 (1995) 533

[23] K Vogtmann, Automorphisms of free groups and outer space, from: "Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part I (Haifa, 2000)" (2002) 1

[24] H Weyl, The classical groups, Princeton Landmarks in Mathematics, Princeton University Press (1997)

[25] H Zieschang, E Vogt, H D Coldewey, Surfaces and planar discontinuous groups, Lecture Notes in Mathematics 835, Springer (1980)