Gorenstein complexes and recollements from cotorsion pairs

DOI10.1016/J.AIM.2016.01.004MaRDI QIDQ2634797zbMATH OpenOpenAlexFDO

Publication date 18 February 2016

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1210.0196

chain complex cotorsion pair derived category Gorenstein module homotopy category model structure recollement

Homological conditions on associative rings (generalizations of regular, Gorenstein, Cohen-Macaulay rings, etc.) (16E65) Localization of categories, calculus of fractions (18E35) Torsion theories, radicals (18E40)

Abstract: We describe a general correspondence between injective (resp. projective) recollements of triangulated categories and injective (resp. projective) cotorsion pairs. This provides a model category description of these recollement situations. Our applications focus on displaying several recollements that glue together various full subcategories of K(R), the homotopy category of chain complexes of modules over a general ring R. When R is (left) Noetherian ring, these recollements involve complexes built from the Gorenstein injective modules. When R is a (left) coherent ring for which all flat modules have finite projective dimension we obtain the duals. These results extend to a general ring R by replacing the Gorenstein modules with the Gorenstein AC-modules introduced recently in the work of Bravo-Gillespie-Hovey. We also see that in any abelian category with enough injectives, the Gorenstein injective objects enjoy a maximality property in that they contain every other class making up the right half of an injective cotorsion pair.

Review text

The author presents a general correspondence between injective (resp. projective) recollements of triangulated categories and injective (resp. projective) cotorsion pairs, thus giving a model category description of these recollements. The main result of the paper is in the context of an abelian category \(\mathcal A\) with enough injectives. Assume that there are three injective cotorsion pairs \(\mathcal M_1 = (\mathcal W_1,\mathcal F_1)\), \(\mathcal M_2 = (\mathcal W_2,\mathcal F_2)\), \(\mathcal M_3 = (\mathcal W_3,\mathcal F_3)\) such that \(\mathcal F_3\subseteq \mathcal F_1\) and \(\mathcal W_3\cap \mathcal F_1=\mathcal F_2\). Then the localization \(\mathcal M_1/\mathcal M_2\) is Quillen equivalent to \(\mathcal M_3\), \(\mathcal M_1/\mathcal M_3\) is Quillen equivalent to \(\mathcal M_2\), and there is a recollement of \(\mathcal F_1/\sim\) by \(\mathcal F_2/\sim\) and \(\mathcal F_3/\sim\) , where here \(f\sim g\) means that \(g-f\) factors through an injective object. Moreover a converse to the last statement above is also formulated. As applications, several recollements are constructed, that glue together various full subcategories of the homotopy category \(K(R)\) of chain complexes of modules over a ring \(R\). When \(R\) is (left) Noetherian, these recollements involve complexes built from the Gorenstein injective modules. It is also shown that in an abelian category with enough injectives, the Gorenstein injective objects have the property in that they contain every other class making up the right half of an injective cotorsion pair. When \(R\) is a (left) coherent ring for which all flat modules have finite projective dimension, then the duals are obtained. Finally, the author shows how these results extend to a general ring \(R\) by replacing the Gorenstein modules with the so-called Gorenstein AC-modules.

Recommendations

Cites work

Cited in

(82)

This page was built for publication: Gorenstein complexes and recollements from cotorsion pairs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2634797)