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

生成讲解博客的中文版本

生成AI智能校验的中文版本