When is group cohomology finitary? (Q555547): Difference between revisions

If \(G\) is a group then the functor \(H^n(G,-)\) is called finitary if it commutes with all filtered colimit systems of coefficient modules. \textit{K. S. Brown} [in Comment. Math. Helv. 50, 129-135 (1975; Zbl 0302.18010)] characterized groups of type \(\mathbf{FP}_\infty\) in terms of finitary functors, i.e., a group \(G\) is of type \(\mathbf{FP}_\infty\) iff \(H^n(G,-)\) is finitary for all \(n\). Here the author investigates groups with cohomology almost everywhere finitary; that is groups with \(n\)-th cohomology functors finitary for all sufficiently large \(n\). He establishes sufficient conditions for a group \(G\) possessing a finite-dimensional model for the classifying space for proper actions to have cohomology almost everywhere finitary. For certain classes of groups he obtains a group theoretic interpretation of the ``cohomology almost everywhere finitary'' condition, namely: Theorem: Let \(G\) be a locally-(polycyclic-by-finite) group. Then \(G\) has cohomology almost everywhere finitary if and only if \(G\) has finite virtual cohomological dimension and the normalizer of every non-trivial finite subgroup of \(G\) is finitely generated. Theorem: Let \(G\) be a group of finite virtual cohomological dimension, and \(\mathbf R\) be a ring of prime characteristic \(p\). Then the following are equivalent: {\parindent=5mm\begin{itemize}\item[1.] \(G\) has cohomology almost everywhere finitary over \(\mathbf R\);\item[2.] \(G\) has finitely many conjugacy classes of elementary Abelian \(p\)-subgroups and the normalizer of every non-trivial elementary Abelian \(p\)-subgroup of \(G\) is of type \(\mathbf{FP}_\infty\) over \(\mathbf R\); and\item[3.] \(G\) has finitely many conjugacy classes of elementary Abelian \(p\)-subgroups and the normalizer of every non-trivial elementary Abelian \(p\)-subgroup of \(G\) has cohomology almost everywhere finitary over \(\mathbf R\). \end{itemize}} A variation of the proof of the second theorem gives the following result which answers a question of Leary and Nucinki's: Theorem: Let \(G\) be a group of type \(\mathbf{VFP}\) over \(\mathbb F_p\) and \(P\) be a \(p\)-subgroup of \(G\). Then the centralizer \(C_G(P)\) of \(P\) is also of type \(\mathbf{VFP}\) over \(\mathbb F_p\).