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.Comment: 39 pages; minor revision; to appear in Geom. Topo
