# Infinitesimal operations on complexes of graphs

- 78 Downloads
- 2 Citations

## Abstract.

In two seminal papers Kontsevich used a construction called *graph homology* as a bridge between certain infinite dimensional Lie algebras and various topological objects, including moduli spaces of curves, the group of outer automorphisms of a free group, and invariants of odd dimensional manifolds. In this paper, we show that Kontsevich’s graph complexes, which include graph complexes studied earlier by Culler and Vogtmann and by Penner, have a rich algebraic structure. We define a Lie bracket and cobracket on graph complexes, and in fact show that they are Batalin-Vilkovisky algebras, and therefore Gerstenhaber algebras. We also find natural subcomplexes on which the bracket and cobracket are compatible as a Lie bialgebra. Kontsevich’s graph complex construction was generalized to the context of operads by Ginzburg and Kapranov, with later generalizations by Getzler-Kapranov and Markl. In [CoV], we show that Kontsevich’s results in fact extend to general cyclic operads. For some operads, including the examples associated to moduli space and outer automorphism groups of free groups, the subcomplex on which we have a Lie bi-algebra structure is quasi-isomorphic to the entire connected graph complex. In the present paper we show that all of the new algebraic operations canonically vanish when the homology functor is applied, and we expect that the resulting constraints will be useful in studying the homology of the mapping class group, finite type manifold invariants and the homology of *Out*(*F* _{ n }).

## Keywords

Modulus Space Manifold Invariant Finite Type Mapping Class Group Homology Functor## Preview

Unable to display preview. Download preview PDF.

## References

- 1.Bar-Natan, D., Garoufalidis, S., Rozansky, L., Thurston, D.: The Aarhus integral of rational homology 3-spheres I: A highly nontrivial flat connection on
*S*^{3}. To appear in Selecta MathematicaGoogle Scholar - 2.Conant, J.: Fusion and fission in graph complexes. Pacific J. Math.
**209**, 219–230 (2003)Google Scholar - 3.Conant, J., Vogtmann, K.: On a theorem of Kontsevich. math.QA/0208169Google Scholar
- 4.Conant, J., Gerlits, F., Vogtmann, K.: Cut vertices in commutative graphs. Preprint.Google Scholar
- 5.Culler, M., Vogtmann, K.: Moduli of graphs and automorphisms of free groups. Invent. Math.
**84**, 91–119 (1986)MathSciNetzbMATHGoogle Scholar - 6.Chas, M., Sullivan, D.: String topology. To appear in Annals of Math, math.GT/ 9911159Google Scholar
- 7.Chas, M.: Combinatorial Lie bialgebras of curves on surfaces. To appear in Topology, math.GT/0105178Google Scholar
- 8.Garoufalidis, S., Levine, J.: Tree level invariants of three-manifolds, massey products and the Johnson homomorphism. Preprint 1999, math.GT/9904106Google Scholar
- 9.Getzler, E., Kapranov, M.M.: Cyclic operads and cyclic homology. Geometry, topology, and physics, Conf. Proc. Lecture Notes Geom. Topology, IV, Internat. Press, Cambridge, MA, 1995, pp. 167–201Google Scholar
- 10.Ginzburg, V., Kapranov, M.: Koszul duality for operads. Duke Math. J.
**76**, 203–272 (1994)MathSciNetzbMATHGoogle Scholar - 11.Getzler, E., Kapranov, M.M.: Modular operads. Compositio Math.
**110**, 65–126 (1998)CrossRefMathSciNetzbMATHGoogle Scholar - 12.Gerlits, F.: Calculations in graph homology. In preparationGoogle Scholar
- 13.Getzler, E.: Batalin-Vilkovisky algebras and two-dimensional topological field theories. Preprint 2001Google Scholar
- 14.Kontsevich, M.: Formal (non)commutative symplectic geometry. The Gelfand Mathematical Seminars, 1990–1992, Birkhüser Boston, Boston, MA, 1993, pp. 173–187Google Scholar
- 15.Kontsevich, M.: Feynman diagrams and low-dimensional topology. First European Congress of Mathematics, Vol. II (Paris, 1992), Progr. Math., 120, Birkhüser, Basel, 1994, pp. 97–121Google Scholar
- 16.Kuperberg, G., Thurston, D.P.: Perturbative 3-manifold invariants by cut-and-paste topology. Preprint 1999, UC Davis Math 1999-36, math.GT/9912167Google Scholar
- 17.Le, T.Q.T., Murakami, J., Ohtsuki, T.: On a universal perturbative invariant of 3-manifolds. Topology
**37-3**(1998)Google Scholar - 18.Levine, J.: Homology cylinders, an expansion of the mapping class group. Algebr. Geom. Topol.
**1**, 551–578 (2001)Google Scholar - 19.Majid, S.: Foundations of quantum group theory. Cambridge University Press, Cambridge, 1995, pp. x+607Google Scholar
- 20.Markl, M.: Cyclic operads and homology of graph complexes. Rendiconti del circolo matematico di Palermo, serie II, Suppl.
**59**, 161–170 (1999)Google Scholar - 21.Milnor, J.W., Moore, J.C.: On the structure of Hopf algebras. Ann. Math.
**81**(2), 211–264 (1965)zbMATHGoogle Scholar - 22.Penner, R.C.: Perturbative series and the moduli space of Riemann surfaces. J. Differ. Geom.
**27**, 35–53 (1988)MathSciNetzbMATHGoogle Scholar - 23.Thurston, D.: Undergraduate thesis, HarvardGoogle Scholar