2000 character limit reached
On the second homology group of the Torelli subgroup of Aut(F_n) (1408.6242v3)
Published 26 Aug 2014 in math.GT, math.AT, and math.GR
Abstract: Let IA_n be the Torelli subgroup of Aut(F_n). We give an explicit finite set of generators for H_2(IA_n) as a GL_n(Z)-module. Corollaries include a version of surjective representation stability for H_2(IA_n), the vanishing of the GL_n(Z)-coinvariants of H_2(IA_n), and the vanishing of the second rational homology group of the level l congruence subgroup of Aut(F_n). Our generating set is derived from a new group presentation for IA_n which is infinite but which has a simple recursive form.