On the p-primary cohomology of Out(F_n) in the p-rank one case

DOI10.1016/S0022-4049(99)00071-7MaRDI QIDQ1585070zbMATH OpenOpenAlexFDO

Authors Henry H. Glover, Guido Mislin

Publication date 12 March 2001

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0022-4049(99)00071-7

zbMATH Keywords

cohomologydihedral groupsfree groupsLeray spectral sequencesmetacyclic groupsouter automorphismssimplicial complexessymmetric groupsvirtual cohomological dimension

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Automorphism groups of groups (20F28) Cohomology of groups (20J06) Other homology theories in algebraic topology (55N35)

Review text

Let \(p\) be an odd prime, \(F_n\) a free group of rank \(n\) and \(\text{Out}(F_n)=\Aut(F_n)/\text{Inn}(F_n)\) its group of outer automorphisms. \textit{H. H. Glover}, \textit{G. Mislin} and \textit{S. N. Voon} [Lond. Math. Soc. Lect. Note Ser. 252, 161-169 (1998; Zbl 0907.55007)] proved that \(\text{Out}(F_n)\) has \(p\)-rank one if and only if \(p-1\leq n<2(p-1)\). In this paper, the authors compute the \(p\)-primary part of the cohomology of \(\text{Out}(F_n)\) for \(n=p-1\), \(p\) and \(p+1\) in the range above the virtual cohomological dimension of \(\text{Out}(F_n)\) (\(0\) if \(n=1\) and \(2n-3\) if \(n>1\)). The way of doing it is using a Leray spectral sequence of the form \(\overline\sigma\in{\mathcal O}(X_n)\prod H^*(\text{stab}(\sigma);\mathbb{Z}_{(p)})\Rightarrow H^*(\text{Out}(F_n);\mathbb{Z}_{(p)})\), where \(X_n\) is the simplicial spine of outer space, that is a \((2n-3)\)-dimensional contractible simplicial complex on which \(\text{Out}(F_n)\) acts with finite cell stabilizers, and \(\overline\sigma\) runs over the set of orbits \({\mathcal O}(X_n)\) of simplices \(\sigma\subset X_n\). The existence of admissible graphs with free \(\mathbb{Z}/p\)-symmetry makes the case \(n=p+1\) the most complicated of the three.

Recommendations

• On the mod-\(p\) cohomology of \(\text{Out}(F_{2(p-1)})\).
• Cohomological dimension and symmetric automorphisms of a free group
• Cohomology of \(\Aut(F_n)\) in the \(p\)-rank two case
• Automorphisms of the graph of free splittings
• The automorphism group of a free product of finite groups
• Contractibility of fixed point sets of auter space
• A spectral sequence determining the homology of \(\text{Out}(F_n)\) in terms of its mapping class subgroups.
• Abelian covers of graphs and maps between outer automorphism groups of free groups.
• Twisted first homology groups of the automorphism group of a free group.
• Automorphisms of graphs, p-subgroups of \(Out(F_ n)\) and the Euler characteristic of \(Out(F_ n)\)

Cites work

• A generating function for the Euler characteristic of \(Out(F_ n)\)
• scientific article; zbMATH DE number 3935317 (Why is no real title available?)
• scientific article; zbMATH DE number 1182439 (Why is no real title available?)
• Moduli of graphs and automorphisms of free groups
• The integral cohomology of \(\text{Out}_ +(F_ 3)\)

Cited in

(6)

• Cohomological dimension and symmetric automorphisms of a free group
• Modular characteristic classes for representations over finite fields
• scientific article; zbMATH DE number 1182439 (Why is no real title available?)
• Cohomology of \(\Aut(F_n)\) in the \(p\)-rank two case
• On the farrell-Tate \(K\)-theory of \(\operatorname{Out}(F_n)\)
• On the mod-\(p\) cohomology of \(\text{Out}(F_{2(p-1)})\).

This page was built for publication: On the \(p\)-primary cohomology of \(\text{Out}(F_n)\) in the \(p\)-rank one case

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