Advertisement

Mathematische Annalen

, Volume 327, Issue 3, pp 545–573 | Cite as

Infinitesimal operations on complexes of graphs

  • Jim Conant
  • Karen Vogtmann
Article

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 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    Conant, J.: Fusion and fission in graph complexes. Pacific J. Math. 209, 219–230 (2003)Google Scholar
  3. 3.
    Conant, J., Vogtmann, K.: On a theorem of Kontsevich. math.QA/0208169Google Scholar
  4. 4.
    Conant, J., Gerlits, F., Vogtmann, K.: Cut vertices in commutative graphs. Preprint.Google Scholar
  5. 5.
    Culler, M., Vogtmann, K.: Moduli of graphs and automorphisms of free groups. Invent. Math. 84, 91–119 (1986)MathSciNetzbMATHGoogle Scholar
  6. 6.
    Chas, M., Sullivan, D.: String topology. To appear in Annals of Math, math.GT/ 9911159Google Scholar
  7. 7.
    Chas, M.: Combinatorial Lie bialgebras of curves on surfaces. To appear in Topology, math.GT/0105178Google Scholar
  8. 8.
    Garoufalidis, S., Levine, J.: Tree level invariants of three-manifolds, massey products and the Johnson homomorphism. Preprint 1999, math.GT/9904106Google Scholar
  9. 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. 10.
    Ginzburg, V., Kapranov, M.: Koszul duality for operads. Duke Math. J. 76, 203–272 (1994)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Getzler, E., Kapranov, M.M.: Modular operads. Compositio Math. 110, 65–126 (1998)CrossRefMathSciNetzbMATHGoogle Scholar
  12. 12.
    Gerlits, F.: Calculations in graph homology. In preparationGoogle Scholar
  13. 13.
    Getzler, E.: Batalin-Vilkovisky algebras and two-dimensional topological field theories. Preprint 2001Google Scholar
  14. 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. 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. 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. 17.
    Le, T.Q.T., Murakami, J., Ohtsuki, T.: On a universal perturbative invariant of 3-manifolds. Topology 37-3 (1998)Google Scholar
  18. 18.
    Levine, J.: Homology cylinders, an expansion of the mapping class group. Algebr. Geom. Topol. 1, 551–578 (2001)Google Scholar
  19. 19.
    Majid, S.: Foundations of quantum group theory. Cambridge University Press, Cambridge, 1995, pp. x+607Google Scholar
  20. 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. 21.
    Milnor, J.W., Moore, J.C.: On the structure of Hopf algebras. Ann. Math. 81(2), 211–264 (1965)zbMATHGoogle Scholar
  22. 22.
    Penner, R.C.: Perturbative series and the moduli space of Riemann surfaces. J. Differ. Geom. 27, 35–53 (1988)MathSciNetzbMATHGoogle Scholar
  23. 23.
    Thurston, D.: Undergraduate thesis, HarvardGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Jim Conant
    • 1
  • Karen Vogtmann
    • 1
  1. 1.Department of MathematicsCornell UniversityIthacaUSA

Personalised recommendations