Gorenstein complexes and recollements from cotorsion pairs (Q2634797)

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.