On groups of type \((FP)_\infty\) (Q1313815): Difference between revisions

If \(\mathfrak X\) is a class of groups then \(L{\mathfrak X}\) denotes the class of locally \(\mathfrak X\)-groups: these are the groups for which every finite subset is contained in an \(\mathfrak X\)-subgroup. Further, \(H{\mathfrak X}\) denotes the smallest class of groups containing \(\mathfrak X\) with the property that whenever a group \(G\) acts cellularly on a finite-dimensional contractible complex with all isotropy groups in \(H{\mathfrak X}\), then \(G\) itself belongs to \(H{\mathfrak X}\). We say that a functor \(F\) between two module categories is continuous if the natural map \({\underset \longrightarrow \lim}_ \lambda F(M_ \lambda) \mapsto F({\underset \longrightarrow \lim}_\lambda M_ \lambda)\) is an isomorphism for all direct limit systems \(\{M_ \lambda\mid\lambda\in\Lambda\}\) of modules. Let \(G\) be a group, \(K\) a non-zero commutative ring, then a \(KG\)-module \(M\) is said to be of type \((FP)_ \infty\) over \(KG\) if and only if there is a projective resolution \(P_ * \twoheadrightarrow M\) in which every \(P_ i\) is finitely generated as a \(KG^*\)-module. The group \(G\) is said to be of type \((FP)_ \infty\) over \(K\) if and only if the trivial module \(K\) is of type \((FP)_\infty\) over \(KG\). Theorem A. Let \(G\) be an \(LH{\mathfrak X}\)-group and let \(M\) be a \(KG\)-module. Suppose that the functors \(\text{EXT}_{KG}^ \ell(M,-)\) are continuous for infinitely many non-negative \(\ell\). Then the following are equivalent: (1) \(M\) has finite projective dimension over \(KG\); (2) \(M\) has finite projective dimension over \(KH\) for all \(\mathfrak X\)-subgroups \(H\) of \(G\). Corollary. Let \(G\) be a torsion-free linear group. Then every \(\mathbb{Z} G\)-module of type \((FP)_ \infty\) has finite projective dimension. In particular, if \(G\) is of type \((FP)_\infty\) then \(G\) has finite cohomological dimension. Theorem B. If a group \(G\) belongs to \(LH{\mathfrak F}\) and is of type \((FP)_ \infty\) over \(\mathbb{Z}\), then there is a finitely generated subring \(S\) of \(\mathbb{Q}\) such that \(G\) has finite cohomological dimension over \(S\), and there is a bound on the order of the finite subgroups of \(G\).