Consider a Grothendieck category along with a choice of generator , or equivalently a generating set . We introduce the derived category , which kills all -acyclic complexes, by putting a suitable model structure on the category of chain complexes. It follows that the category is always a well-generated triangulated category. It is compactly generated whenever the generating set has each finitely presented, and in this case we show that two recollement situations hold. The first is when passing from the homotopy category to . The second is a -derived analog to the recollement of Krause. We illustrate with several examples ranging from pure and clean derived categories to quasi-coherent sheaves on the projective line .

生成讲解博客的中文版本

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