On the zeroeth complete cohomology. (Q2573485): Difference between revisions

\textit{G. Mislin} [in Topology Appl. 56, No. 3, 293-300 (1994; Zbl 0810.20040)] defined cohomology groups \(\widehat H(G,M)\), \(n\in\mathbb{Z}\), for an arbitrary group \(G\) and \(\mathbb{Z} G\)-module \(M\), using satellites, namely \(\widehat H^n(G,M)\) is equal to the direct limit of \(S^{-j}H^{n+j}(G,M)\), \(j\geq 0\) with \(S^{-j}H^{n+j}(G,-)\) denoting the \(j\)-th left satellite of the functor \(H^{n+j}(G,-)\). This cohomological functor, called complete cohomology, generalizes the Farrell-Tate cohomology which is defined for groups of finite virtual cohomological dimension. The zeroth complete cohomology plays, in particular, a special role since it was shown by \textit{P. H. Kropholler} [in J. Pure Appl. Algebra 90, No. 1, 55-67 (1993; Zbl 0816.20042)] that \(\widehat H^0(G,\mathbb{Z})=0\) if and only if \(\text{cd}_\mathbb{Z} G<\infty\). It was shown by \textit{J. Cornick} and \textit{P. H. Kropholler} [in Topology Appl. 78, No. 3, 235-250 (1997; Zbl 0878.20035)] that if a group \(G\) admits complete resolutions then the complete cohomology can be calculated via a complete resolution. In this paper \(\widehat H^0(G,\mathbb{Z})\) is computed for certain classes of torsion free groups which do not admit complete resolutions. The main result is Theorem. Let \(G=G_1*_{H_1}G_2*_{H_2}G_3\cdots G_n*_{H_n}G_{n+1}\cdots\) where \(G_n\), \(H_n\) are duality groups of dimensions \(m_n\), \(s_n\), respectively, \(n\in\mathbb{N}\). If \(I=\{n\in\mathbb{N}\mid s_n=s_k\) for infinitely many \(k\in\mathbb{N}\}\), \(J=\{n\in\mathbb{N}\mid m_n=m_k\) for infinitely many \(k\in\mathbb{N}\}\), \(S=\{s_n\mid n\in I\}\) and \(M=\{m_n\mid n\in J\}\), then: 1. If \(I=\emptyset\), then \(\widehat H^0(G,\mathbb{Z})=\mathbb{Z}\). 2. If \(I\neq\emptyset\) and \(S\) is finite, then \(\widehat H^0(G,\mathbb{Z})=\prod_{n\in\mathbb{N}}\mathbb{Z}/\bigoplus_{n\in\mathbb{N}}\mathbb{Z}\). 3. If \(I\neq\emptyset\), \(S\) is infinite and \(M\) is finite, then \(\widehat H^0(G,\mathbb{Z})=\bigoplus_{m\in\mathbb{N}}\prod_{n\in\mathbb{N}}\mathbb{Z}/\bigoplus_{n\in\mathbb{N}}\mathbb{Z}\). Moreover \(\widehat H^0(G,\mathbb{Z})=\mathbb{Z}\) if and only if \(I=\emptyset\). -- Note that the groups that appear in \(2\) and \(3\) are not isomorphic. The computations are quite demanding and the theory of algebraically compact Abelian groups is used for the classification.