English

Recollements from Cotorsion Pairs

Category Theory 2019-12-30 v2

Abstract

Given a complete hereditary cotorsion pair (A,B)(\mathcal{A},\mathcal{B}) in a Grothendieck category G\mathcal{G}, the derived category D(B)\mathcal{D}(\mathcal{B}) of the exact category B\mathcal{B} is defined as the quotient of the category Ch(B)\mathrm{Ch}(\mathcal{B}), of unbounded complexes with terms in B\mathcal{B}, modulo the subcategory B~\widetilde{\mathcal{B}} consisting of the acyclic complexes with terms in B\mathcal{B} and cycles in B\mathcal{B}. We restrict our attention to the cotorsion pairs such that B~\widetilde{\mathcal{B}} coincides with the class exBex\mathcal{B} of the acyclic complexes of Ch(G)\mathrm{Ch}(\mathcal{G}) with terms in B\mathcal{B}. In this case the derived category D(B)\mathcal{D}(\mathcal{B}) fits into a recollement exBK(B)Ch(B)exB\dfrac{ex\mathcal{B}}{\sim} \mathrel{\substack{\textstyle\leftarrow\textstyle\rightarrow\textstyle\leftarrow}} {K(\mathcal{B})} \mathrel{\substack{\textstyle\leftarrow\textstyle\rightarrow\textstyle\leftarrow}} {\dfrac{\mathrm{Ch}(\mathcal{B})}{ex\mathcal{B} }}. We will explore the conditions under which exB=B~\mathrm{ex}\,\mathcal{B}=\widetilde{\mathcal{B}} and provide many examples. Symmetrically, we prove analogous results for the exact category A\mathcal{A}.

Keywords

Cite

@article{arxiv.1712.04781,
  title  = {Recollements from Cotorsion Pairs},
  author = {Silvana Bazzoni and Marco Tarantino},
  journal= {arXiv preprint arXiv:1712.04781},
  year   = {2019}
}

Comments

Added Lemma 1.2 and fixed statement of Proposition 2.2

R2 v1 2026-06-22T23:16:55.012Z