Finite generation properties of cohomology rings for infinite groups. (Q436093)

Let \(G\) be a group, \(R\) be a Noetherian commutative ring, and \(M\) be an \(RG\)-module which is finitely generated over \(R\). It is well-known that if \(G\) is finite, then the cohomology ring \(H^*(G,R)\) is a Noetherian \(R\)-algebra and \(H^*(G,M)\) is a finitely generated \(H^*(G,R)\)-module. A group satisfying this property for all such \(R\) and \(M\) is said to be \textit{cohomologically of finite type}. While this finite generation question has been studied for a number of related ``finite'' structures (such as finite dimensional Lie algebras, finite group schemes, and finite dimensional Hopf algebras), only recently has significant consideration been given to infinite groups. \textit{A. Touzé} and \textit{W. van der Kallen} [Duke Math. J. 151, No. 2, 251-278 (2010; Zbl 1196.20053)] considered the stronger notion of \(G\) having the CFG (cohomological finite generation) property: for any \(R\) as above, finitely generated \(R\)-algebra \(A\) on which \(G\) acts as \(R\)-algebra automorphisms, and finitely generated \(A\)-module \(M\) with compatible \(G\)-action, \(H^*(G,A)\) is a finitely generated \(R\)-algebra and \(H^*(G,M)\) is a Noetherian \(H^*(G,A)\)-module. They showed that reductive linear algebraic groups satisfy the CFG property. The goal of the paper under review is to identify a criterion for determining when other infinite groups are either cohomologically of finite type or have the CFG property. The main result is that a group \(G\) is cohomologically of finite type (resp., has the CFG property) if and only if there exists a subgroup of finite index in \(G\) that is cohomologically of finite type (resp., has the CFG property) if and only if all subgroups of finite index in \(G\) are cohomologically of finite type (resp., have the CFG property). A key ingredient in the proof is a general discussion of finite generation of spectral sequences of modules over spectral sequences of rings. If \(G\) has a normal subgroup satisfying the desired finite generation condition, using the associated Lyndon-Hochschild-Serre spectral sequence and known finite generation for finite groups, one argues that \(G\) has the finite generation property. Conversely, if \(G\) is known to have the desired finite generation property, then one concludes that a subgroup of finite index also does by using an induced module and the Eckmann-Shapiro Lemma relating the cohomology of \(G\) to that of the subgroup. The authors conclude by giving a long list of examples of infinite groups which admit a finite index subgroup that is cohomologically of finite type. Hence, by their main result, these infinite groups are also cohomologically of finite type. This construction is based primarily from groups \(G\) satisfying a stronger property: the trivial \(\mathbb ZG\)-module \(\mathbb Z\) has a projective resolution of finite length such that each term is a finitely generated \(\mathbb ZG\)-module. Any group satisfying this \textit{FP-property} is cohomologically of finite type.