Relative derived categories with respect to subcategories (Q2803560)

Let \(\mathcal A\) be an abelian category with enough projective objects and \(\mathcal X\) and \(\mathcal S\) subcategories of \(\mathcal A\) with \(\mathcal S\) closed under direct summands. The authors define and study relative derived category of \(\mathcal S\) with respect to \(\mathcal X\), \({\mathbf D}^*_{\mathcal X}(\mathcal S)\) (*\(\in \{\mathrm{blank}, -, b\}\)), as the Verdier quotient of the homotopy category \({\mathbf K}^*(\mathcal S)\) with respect to thick triangulated subcategory of all \(\mathcal X\)-acyclic complexes in \({\mathbf K}({\mathcal S})\). It is shown that when \(\mathcal X\) is exact and has an injective cogenerator, there exists a triangle equivalence between \({\mathbf K}^-(\mathcal X)\) and \({\mathbf D}^-_{\mathcal X}(\mathrm{res }\hat {\mathcal X})\), where \(\mathrm{res }\hat{\mathcal X}\) is the subcategory of objects in \(\mathcal A\) with finite \(\mathcal X\)-projective dimension. This results extends the bounded case of Gorenstein projective modules showed by \textit{N. Gao} and \textit{P. Zhang} [J. Algebra 323, No. 7, 2041--2057 (2010; Zbl 1222.18005)]. Next, the authors identify the relative cohomology groups as morphisms in the introduced relative derived category.NEWLINENEWLINEIn the last section, using this relative derived category a proof of the long exact sequence connecting relative cohomology functors and the Tate cohomology functors with respect to a subcategory of left \(R\)-modules is given. As a consequence, the long exact sequence constructed for commutative rings and semidualizing modules by \textit{S. Sather-Wagstaff} et al. [J. Algebra 324, No. 9, 2336--2368 (2010; Zbl 1207.13009)] is obtained.