Existence of Gorenstein projective resolutions and Tate cohomology (Q866487)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Existence of Gorenstein projective resolutions and Tate cohomology
scientific article

    Statements

    Existence of Gorenstein projective resolutions and Tate cohomology (English)
    0 references
    0 references
    0 references
    20 February 2007
    0 references
    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.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    dualizing complexes
    0 references
    Gorenstein homological algebra
    0 references
    Gorenstein projective precover
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references