Existence of Gorenstein projective resolutions and Tate cohomology (Q866487)

A Gorenstein projective module is the kernel of a differential appearing in an exact complex \(E\) of projective modules, such that, given any projective module \(Q\), the complex \(\roman{Hom}(E,Q)\) is also exact. A (proper) augmented Gorenstein projective resolution of a module \(M\) is a resolution of \(M\) by Gorenstein projective modules, which remains exact applying \(\roman{Hom}(G,-)\), for any Gorenstein projective module \(G\). This idea goes back to \textit{M. Auslander} and \textit{M. Bridger} [``Stable module theory'', Mem. Am. Math. Soc. 94 (1969; Zbl 0204.36402)]. The first goal of the paper under review is to prove the existence of such a resolution for a module \(M\) over a ring \(A\). This is proved assuming the existence of a right adjoint \(e^{!}\) to the embedding functor \(e_{*}\) of the category \(\roman{E}(A)\) of complete projective resolutions over \(A\) into the homotopy category \(\roman{K}(\roman{Pro}\, A)\) of complexes of projective \(A\)-modules. In turn, making use of Bousfield localization, the author proves that \(e^{!}\) exists as soon as \(A\) is a commutative noetherian ring with a dualizing complex, or even in a more general noncommutative setup. The second main result of this paper is to give a definition of the Tate cohomology groups \(\widehat{\roman{Ext}}^{i}(M,N)\) of two \(A\)-modules \(N\) and \(M\), again under the assumption that the adjoint functor \(e^{!}\) exists. This notions generalizes the Tate cohomology groups of representations of finite groups, and differs from Tate-Vogel theory developed in [\textit{F. Goichot}, J. Pure Appl. Algebra 82, 39--64 (1992; Zbl 0767.55004)]. Some basic properties of these groups are established, as well as an exact sequence of the form \(0 \to \roman{Ext}_{\mathcal{G}}^{1}(M,N) \to \roman{Ext}^{1}(M,N) \to \widehat{\roman{Ext}}^{1}(M,N) \to \cdots\). Here the \(\roman{Ext}^{i}_{\mathcal{G}}\) groups are defined by applying \(\roman{Hom}(-,N)\) to a Gorenstein projective resolution of \(M\), and taking homology.