PERIODICITY IN GROUP COHOMOLOGY AND COMPLETE RESOLUTIONS

Abstract

A group $G$ is said to have periodic cohomology with period $q$ after $k$ steps, if the functors $H^{i}(G,-)$ and $H^{i+q}(G,-)$ are naturally equivalent for all $i>k$. Mislin and the author have conjectured that periodicity in cohomology after some steps is the algebraic characterization of those groups $G$ that admit a finite-dimensional, free $G$-CW-complex, homotopy equivalent to a sphere. This conjecture was proved by Adem and Smith under the extra hypothesis that the periodicity isomorphisms are given by the cup product with an element in $H^q (G,\mathbb{Z})$. It is expected that the periodicity isomorphisms will always be given by the cup product with an element in $H^q (G,\mathbb{Z})$; this paper shows that this is the case if and only if the group $G$ admits a complete resolution and its complete cohomology is calculated via complete resolutions. It is also shown that having the periodicity isomorphisms given by the cup product with an element in $H^q (G,\mathbb{Z})$ is equivalent to silp $G$ being finite, where silp $G$ is the supremum of the injective lengths of the projective $\mathbb{Z}G$-modules.