Relative cohomology of complexes II: vanishing of relative cohomology (Q2204843)

For a complex \(X\), we associate the numbers \(\sup X = \sup\{i: X_i \not=0\}\) and \(\inf X = \inf\{i: X_i \not=0\}\). If, in addition, \(X\) admits a special Gorenstein projective precover, then for each complex \(Y\) and each integer \(n\), the \(n\)-th relative cohomology group \(\text{Ext}^n_{\mathcal{GP}}(X, Y)\) is defined by the equality \[\text{Ext}^n_{\mathcal{GP}} (X, Y) = \text{H}_n(\text{Hom}(G,Y)),\] where \(G \rightarrow X\) is a special Gorenstein projective precover of \(X\). The homology complex \(\text{H}(X)\) is defined by setting \(\text{H}(X)_i = \text{H}_i (X)\) and \(\sigma_i = 0\) for all \(i \in \mathbb{Z} \). In this article, the authors introduce the following notion of dimension of complexes which is related to Gorenstein projective precovers \[\text{Gppd} (X) = \left\{ n \in \mathbb{Z} : \begin{array}{l} \sup H(G) \leq n \text{ and Coker}(G_{n+1} \rightarrow G_n) \text{ is Gorenstein projective,} \\ \text{ where } G \rightarrow X \text{ is a special Gorenstein projective precover of }X \end{array}\right\}.\] H. Holm's metatheorem states that ``Every result in classical homological algebra has a counterpart in Gorenstein homological algebra''. In this way, the authors obtain the following main result, which gives a ``Gorenstein'' version of Theorem 2.4.P of [\textit{L. L. Avramov} and \textit{H.-B. Foxby}, J. Pure Appl. Algebra 71, No. 2--3, 129--155 (1991; Zbl 0737.16002)]. \(\mathcal{GP}\) denotes the category of all Gorenstein projective \(R\)-modules, Theorem. Let \(R\) be a ring such that \((\mathcal{GP}, \mathcal{GP}^{\perp})\) forms a cotorsion pair cogenerated by a set, \(X\) a complex, and \(n\) an integer. Then the following conditions are equivalent. \begin{itemize} \item \(\text{Gppd} (X) \leq n\). \item \(\text{Ext}^i_\mathcal{GP}(X, Y ) = 0\) for all \(i > n-t\) and any bounded complex \(Y\) such that all \(Y_j\) and \(\text{Ker} (Y_t \rightarrow Y_{t-1})\) are in \(\mathcal{GP}^{\perp}\), where \(t = \inf H(Y)\). \item \(\text{Ext}^i_{\mathcal{GP}} (X, Y ) = 0\) for all \(i > n\) and any module \(Y\) in \(\mathcal{GP}\). \item \(\sup H(X) \leq n\), and for any special Gorenstein projective precover \(G \rightarrow X\) of \(X\), the module \(\text{Coker}(G_{n+1} \rightarrow G_n)\) is Gorenstein projective. \end{itemize} Consequently, they deduce that \[\text{Gppd}(X) = sup\{n \in \mathcal{Z} \vert \text{Ext}^n_{\mathcal{GP}} (X, Y ) \not = 0 \text{ for some module } Y \in \mathcal{GP}^{\perp} \}.\] On the other hand the authors show in two examples (Example 3.6) that this dimension is quite different from the Gorenstein projective dimension of complexes introduced by \textit{O. Veliche} [Trans. Am. Math. Soc. 358, No. 3, 1257--1283 (2006; Zbl 1094.16007)] (Definition 3.1 of [loc. cit.]). For Part I see [the first author, J. Algebra 502, 79--97 (2018; Zbl 1442.16009)].