Recollements from cotorsion pairs (Q1713010)

The notion of cotorsion pair was introduced by L. Salce for the case of abelian groups (see [\textit{L. Salce}, in: Gruppi abeliani e loro relazioni con la teoria dei moduli, Conv. Roma 1977, Symp. math. 23, 11--32 (1979; Zbl 0426.20044)]). A remarkable result proved by \textit{M. Hovey} [Math. Z. 241, No. 3, 553--592 (2002; Zbl 1016.55010)] (see also [\textit{M. Hovey}, Contemp. Math. 436, 277--296 (2007; Zbl 1129.18004)]) is that there is a bijective correspondence between abelian model structures and certain cotorsion pairs of abelian categories. This result was further extended by \textit{J. Gillespie} [J. Pure Appl. Algebra 215, No. 12, 2892--2902 (2011; Zbl 1315.18019)] for (weakly idempotent complete) exact categories. On the other hand, recollements of triangulated categories were introduced by \textit{A. A. Beilinson} et al. [Astérisque 100, None (1982; Zbl 0536.14011)]. In the article under review, the authors produce several recollements of triangulated categories coming from certain cotorsion pairs. More precisely, if \((\mathscr{A},\mathscr{B})\) is a complete hereditary cotorsion pair in a Grothendieck abelian category \(\mathscr{G}\) such that \(\mathscr{A}\) contains a generator of finite projective dimension, then there are recollements \[ ex\mathscr{B}/\sim \phantom{x} \underset{\longleftarrow}{\overset{\longleftarrow}{\longrightarrow}} \phantom{x} \mathcal{D}(\mathscr{B}) \phantom{x} \underset{\longleftarrow}{\overset{\longleftarrow}{\longrightarrow}} \phantom{x} \mathcal{D}(\mathscr{G}) \] and \[ ex\mathscr{B}/\sim \phantom{x} \underset{\longleftarrow}{\overset{\longleftarrow}{\longrightarrow}} \phantom{x} \mathrm{K}(\mathscr{B}) \phantom{x} \underset{\longleftarrow}{\overset{\longleftarrow}{\longrightarrow}} \phantom{x} \mathcal{D}(\mathscr{G}), \] where \(ex\mathscr{B}\) is the full subcategory of \(\mathrm{Ch}(\mathscr{B})\) of acyclic complexes in \(\mathrm{Ch}(\mathscr{G})\) with terms in \(\mathscr{B}\), \(\mathcal{D}(\mathscr{B})\) is the quotient of \(\mathrm{Ch}(\mathscr{B})\) by the subcategory formed by the complexes in \(ex\mathscr{B}\) with spaces of cycles in \(\mathscr{B}\), \(ex\mathscr{B}/\sim\) is the image of \(\mathrm{ex}\mathscr{B}\) under the quotient functor \(\mathrm{Ch}(\mathscr{B}) \rightarrow \mathcal{D}(\mathscr{B})\), and \(\mathrm{K}(\mathscr{B})\) is the homotopy category of \(\mathrm{Ch}(\mathscr{B})\) (see Thms. 5.5 and 6.3). The authors also obtain similar recollements with \(\mathscr{A}\) instead of \(\mathscr{B}\) under the assumption that \(\mathscr{A}\) is deconstructible and, in the case of the second recollement, also that \(\mathscr{G}\) has enough projectives (see Theorems 8.3 and 9.3).