On the mod-p cohomology of Out(F₂(p-1)).

DOI10.1016/J.JPAA.2009.08.012MaRDI QIDQ847681zbMATH OpenOpenAlexFDO

Authors Hans-Werner Henn, Henry H. Glover

Publication date 19 February 2010

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

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

zbMATH Keywords

cohomologyfree groupsouter automorphism groups

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Automorphism groups of groups (20F28) Geometric group theory (20F65) Cohomology of groups (20J06) Equivariant homology and cohomology in algebraic topology (55N91)

Abstract: We study the mod-p cohomology of the group Out(F_n) of outer automorphisms of the free group F_n in the case n=2(p-1) which is the smallest n for which the p-rank of this group is 2. For p=3 we give a complete computation, at least above the virtual cohomological dimension of Out(F_4) (which is 5). More precisley, we calculate the equivariant cohomology of the p-singular part of outer space for p=3. For a general prime p>3 we give a recursive description in terms of the mod-p cohomology of Aut(F_k) for k less or equal to p-1. In this case we use the Out(F_{2(p-1)})-equivariant cohomology of the poset of elementary abelian p-subgroups of Out(F_n).

Review text

The authors study the mod \(p\) cohomology of the outer automorphism group \(\text{Out}(F_n)\) of the free group \(F_n\) of rank \(n\). The integer cohomology of \(\text{Out}(F_3)\) has been computed by \textit{T. Brady} [J. Pure Appl. Algebra 87, No. 2, 123-167 (1993; Zbl 0798.20042)], and there are also several papers on the Farrell cohomology of \(\text{Out}(F_n)\) but only for cases where the \(p\)-rank of \(\text{Out}(F_n)\) is one (i.e., the maximal rank \(k\) of an elementary Abelian \(p\)-subgroup \((Z/p)^k\), equal to \([n/(p-1)]\) for \(\text{Out}(F_n)\)). In the present paper, the mod \(p\) cohomology of \(\text{Out}(F_n)\) is computed for the first case \(n=2(p-1)\) of \(p\)-rank two. The computation for \(\text{Out}(F_4)\) (i.e., \(p=3\)) is explicit, at least above the virtual cohomological dimension \(2n-3=5\) of \(\text{Out}(F_4)\), in terms of the cohomology of certain finite subgroups of \(\text{Out}(F_4)\). For \(p>3\) instead, a recursive description is given in terms of the cohomology of automorphism groups of free groups of lower rank, taking advantage also of the computation of the cohomology of the closely related automorphism groups \(\Aut (F_{2(p-1)})\) due to \textit{C. A. Jensen} [J. Pure Appl. Algebra 158, No. 1, 41-81 (2001; Zbl 0977.20042)]. Specifically, for \(p=3\) the equivariant cohomology of the \(p\)-singular part of outer space is computed; since the analysis of the \(p\)-singular part becomes difficult in higher dimensions, for \(p>3\) instead the \(\text{Out}(F_{2(p-1)})\)-equivariant cohomology of the poset of elementary Abelian \(p\)-subgroups is considered.

Recommendations

• Cohomology of \(\Aut(F_n)\) in the \(p\)-rank two case
• On the \(p\)-primary cohomology of \(\text{Out}(F_n)\) in the \(p\)-rank one case
• The automorphism group of a free product of finite groups
• Cohomological dimension and symmetric automorphisms of a free group
• Contractibility of fixed point sets of auter space
• Twisted first homology groups of the automorphism group of a free group.
• Rational homology of (F_n).
• Abelian covers of graphs and maps between outer automorphism groups of free groups.
• Automorphisms of automorphism groups of free groups
• Abelian subgroups of \(\text{Out}(F_n)\).

Cites work

• Actions of finite groups of graphs and related automorphisms of free groups
• Automorphisms of graphs, p-subgroups of \(Out(F_ n)\) and the Euler characteristic of \(Out(F_ n)\)
• Cohomology of \(\Aut(F_n)\) in the \(p\)-rank two case
• Equivariant outer space and automorphisms of free-by-finite groups
• scientific article; zbMATH DE number 3879146 (Why is no real title available?)
• scientific article; zbMATH DE number 3572386 (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
• On the \(p\)-primary cohomology of \(\text{Out}(F_n)\) in the \(p\)-rank one case
• Stable homology of automorphism groups of free groups.
• The integral cohomology of \(\text{Out}_ +(F_ 3)\)
• Über Homoeomorphismen \(n\)-dimensionaler Henkelkoerper und endliche Erweiterungen von Schottky-Gruppen

Cited in

(8)

• 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
• Modular characteristic classes for representations over finite fields
• A spectral sequence determining the homology of \(\text{Out}(F_n)\) in terms of its mapping class subgroups.
• The cohomology groups of the outer Whitehead automorphism group of a free product.
• 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)\)

This page was built for publication: On the mod-\(p\) cohomology of \(\text{Out}(F_{2(p-1)})\).

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