Stabilization for the automorphisms of free groups with boundaries

Hatcher, Allen¹ ; Wahl, Nathalie²

¹ Mathematics Department, Cornell University, Ithaca, New York 14853, USA
² Aarhus University, 116 Ny Munkegade, 8000 Aarhus C, Denmark

Geometry & topology, Tome 9 (2005) no. 3, pp. 1295-1336.

Résumé

The homology groups of the automorphism group of a free group are known to stabilize as the number of generators of the free group goes to infinity, and this paper relativizes this result to a family of groups that can be defined in terms of homotopy equivalences of a graph fixing a subgraph. This is needed for the second author’s recent work on the relationship between the infinite loop structures on the classifying spaces of mapping class groups of surfaces and automorphism groups of free groups, after stabilization and plus-construction. We show more generally that the homology groups of mapping class groups of most compact orientable 3–manifolds, modulo twists along 2–spheres, stabilize under iterated connected sum with the product of a circle and a 2–sphere, and the stable groups are invariant under connected sum with a solid torus or a ball. These results are proved using complexes of disks and spheres in reducible 3–manifolds.

Détail

DOI : 10.2140/gt.2005.9.1295

Keywords: automorphism groups of free groups, homological stability, mapping class groups of 3–manifolds

Bibliographie

[1] K S Brown, Cohomology of groups, Graduate Texts in Mathematics 87, Springer (1982)

[2] D J Collins, Cohomological dimension and symmetric automorphisms of a free group, Comment. Math. Helv. 64 (1989) 44

[3] D Gabai, The Smale conjecture for hyperbolic 3–manifolds: $\mathrm{Isom}(M^3){\simeq}\mathrm{Diff}(M^3)$, J. Differential Geom. 58 (2001) 113

[4] S Galatius, Mod $p$ homology of the stable mapping class group, Topology 43 (2004) 1105

[5] A Hatcher, Homeomorphisms of sufficiently large $P^{2}$–irreducible 3–manifolds, Topology 15 (1976) 343

[6] A E Hatcher, A proof of a Smale conjecture, $\mathrm{Diff}(S^{3})\simeq \mathrm{O}(4)$, Ann. of Math. $(2)$ 117 (1983) 553

[7] A Hatcher, Homological stability for automorphism groups of free groups, Comment. Math. Helv. 70 (1995) 39

[8] A Hatcher, Algebraic topology, Cambridge University Press (2002)

[9] A Hatcher, K Vogtmann, Cerf theory for graphs, J. London Math. Soc. $(2)$ 58 (1998) 633

[10] A Hatcher, K Vogtmann, Rational homology of $\mathrm{Aut}(F_n)$, Math. Res. Lett. 5 (1998) 759

[11] A Hatcher, K Vogtmann, Homology stability for outer automorphism groups of free groups, Algebr. Geom. Topol. 4 (2004) 1253

[12] H Hendriks, F Laudenbach, Difféomorphismes des sommes connexes en dimension trois, Topology 23 (1984) 423

[13] N V Ivanov, Stabilization of the homology of Teichmüller modular groups, Algebra i Analiz 1 (1989) 110

[14] C A Jensen, N Wahl, Automorphisms of free groups with boundaries, Algebr. Geom. Topol. 4 (2004) 543

[15] F Laudenbach, Topologie de la dimension trois: homotopie et isotopie, Astérisque 12, Société Mathématique de France (1974)

[16] G R Livesay, Fixed point free involutions on the 3–sphere, Ann. of Math. $(2)$ 72 (1960) 603

[17] I Madsen, M Weiss, The stable moduli space of Riemann surfaces: Mumford's conjecture, Ann. of Math. $(2)$ 165 (2007) 843

[18] J Mccool, On basis-conjugating automorphisms of free groups, Canad. J. Math. 38 (1986) 1525

[19] J Milnor, Construction of universal bundles II, Ann. of Math. $(2)$ 63 (1956) 430

[20] E H Spanier, Algebraic topology, McGraw-Hill Book Co. (1966)

[21] U Tillmann, On the homotopy of the stable mapping class group, Invent. Math. 130 (1997) 257

[22] K Vogtmann, Homology stability for $\mathrm{O}_{n,n}$, Comm. Algebra 7 (1979) 9

[23] N Wahl, From mapping class groups to automorphism groups of free groups, J. London Math. Soc. $(2)$ 72 (2005) 510