1: \begin{abstract}

2: In two seminal papers Kontsevich used a construction called 

3: \emph{graph homology} as a bridge  between certain 

4: infinite dimensional Lie algebras and various topological objects, including

5:  moduli spaces of curves,  the group of

6: outer automorphisms of a free group, and invariants of odd dimensional  manifolds.

7: In this paper, we  show that Kontsevich's graph complexes, which include graph complexes

8: studied earlier by Culler and Vogtmann and by Penner,

9: have a rich algebraic structure.  We define a Lie bracket and cobracket on

10: graph complexes,

11: and in fact show that they are Batalin-Vilkovisky

12: algebras, and therefore Gerstenhaber algebras. We also find 

13:  natural subcomplexes on which the bracket and cobracket are 

14: compatible as a Lie bialgebra. 

15: 

16: 

17:  Kontsevich's graph

18: complex construction was  generalized to the context of operads by Ginzburg and

19: Kapranov, with later generalizations by Getzler-Kapranov and Markl. In

20: \cite{exposition}, we show that Kontsevich's  results in fact extend  to   general

21: cyclic operads.    For some operads, including the examples

22: associated to moduli space and outer automorphism groups of free groups, the subcomplex on

23: which we have a Lie bi-algebra structure is quasi-isomorphic to the entire connected graph complex.  

24: In the present paper we  show that all of the new

25: algebraic operations canonically vanish when the homology functor is

26: applied, and we expect that the resulting constraints will be useful in

27: studying the homology of the mapping class group, finite type manifold

28: invariants and the homology of $Out(F_n)$. 

29: 

30:  

31: \end{abstract}

32: