Assembling homology classes in automorphism groups of free groups

Abstract

The observation that a graph of rank n can be assembled from graphs of smaller rank k with s leaves by pairing the leaves together leads to a process for assembling homology classes for Out (F_n) and Aut (F_n) from classes for groups \Gamma_{k,s} , where the \Gamma_{k,s} generalize Out (F_k)=\Gamma_{k,0} and Aut (F_k)=\Gamma_{k,1} . The symmetric group \mathfrak G_s acts on H_*(\Gamma_{k,s}) by permuting leaves, and for trivial rational coefficients we compute the \mathfrak G_s -module structure on H_*(\Gamma_{k,s}) completely for k \leq 2 . Assembling these classes then produces all the known nontrivial rational homology classes for Aut (F_n) and Out (F_n) with the possible exception of classes for n=7 recently discovered by L. Bartholdi. It also produces an enormous number of candidates for other nontrivial classes, some old and some new, but we limit the number of these which can be nontrivial using the representation theory of symmetric groups. We gain new insight into some of the most promising candidates by finding small subgroups of Aut (F_n) and Out (F_n) which support them and by finding geometric representations for the candidate classes as maps of closed manifolds into the moduli space of graphs. Finally, our results have implications for the homology of the Lie algebra of symplectic derivations.