A spectral sequence determining the homology of Out(F_n) in terms of its mapping class subgroups.

DOI10.2140/PJM.2006.227.65MaRDI QIDQ2382015zbMATH OpenOpenAlexFDO

Authors Matthew Horak

Publication date 27 September 2007

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0310328

zbMATH Keywords

equivariant homology spectral sequencesfree groupsintegral homologymapping class groupsorientable surfacesouter automorphism groupsribbon graphsvirtual cohomological dimension

Mathematics Subject Classification ID

Spectral sequences, hypercohomology (18G40) Automorphism groups of groups (20F28) Fundamental groups and their automorphisms (group-theoretic aspects) (20F34) Geometric group theory (20F65) Homological methods in group theory (20J05) Topological methods in group theory (57M07)

Abstract: We construct a covering of Culler-Vogtmann Outer space by the Teichmuller spaces of punctured surfaces. By considering the equivariant homology for the action of Out(F_n) on this covering, we construct a spectral sequence converging to the homology of Out(F_n) that has E^1 terms given by the homology of mapping class groups and groups that are, up to finite index, subgroups of mapping class groups. This spectral sequence can be seen as encoding all of the information of how the homology of Out(F_n) is related to the homology of mapping class groups and their subgroups.

Review text

Let \(\Sigma\) be an orientable surface with boundary and \(P\Gamma(\Sigma)\) its mapping class group. The homology of this group is studied in details by \textit{J. L. Harer} [Ann. Math. (2) 121, 215-249 (1985; Zbl 0579.57005)], \textit{N. V. Ivanov} [Leningr. Math. J. 1, No. 3, 675-691 (1990); translation from Algebra Anal. 1, No. 3, 110-126 (1989; Zbl 0727.30036)], and \textit{J. L. Harer} [\texttt{http://www.math.duke.edu/preprints/93-09}]. On the other hand, if \(F_n\) is the free group of rank \(n\) and \(\text{Out}(F_n)\) its outer automorphism group, the virtual cohomological dimension of \(\text{Out}(F_n)\) is computed by \textit{M. Culler, K. Vogtmann} [Invent. Math. 84, 91-119 (1986; Zbl 0589.20022)] and in [Algebr. Geom. Topol. 4, 1253-1272 (2004; Zbl 1093.20020)] by \textit{A. Hatcher} and \textit{K. Vogtmann} it is shown that the \(k\)-th integral homology of \(\text{Out}(F_n)\) is independent of \(n\) if \(n\geq 2k+5\). Since the mapping class groups of surfaces appear as subgroups of \(\text{Out}(F_n)\), in this paper the author attempts to clarify the relationship between the homology of mapping class groups and the homology of \(\text{Out}(F_n)\). This is obtained by constructing a covering of the spine of the Culler-Vogtmann outer space of \(\text{Out}(F_n)\). It is proved that the nerve of this covering is contractible and that the equivariant homology spectral sequence of the action of \(\text{Out}(F_n)\) on this nerve converges to \(H_*(\text{Out}(F_n))\); many of whose terms consist of the homology of mapping class groups.

Recommendations

• Homology stability for outer automorphism groups of free groups.
• The Rational Homology Group of Out(F_n) forn≤ 6
• Homological stability for automorphism groups of free groups
• On the mod-\(p\) cohomology of \(\text{Out}(F_{2(p-1)})\).
• Stable homology of automorphism groups of free groups.

Cited in

(3)

• Cohomological dimension and symmetric automorphisms of a free group
• On the \(p\)-primary cohomology of \(\text{Out}(F_n)\) in the \(p\)-rank one case
• Homological stability for automorphism groups of free groups

This page was built for publication: A spectral sequence determining the homology of \(\text{Out}(F_n)\) in terms of its mapping class subgroups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2382015)