K‐flat complexes and derived categories

Abstract

Let 𝑅 be a ring with identity. Inspired by recent work in Emmanouil, Preprint, 2021, we show that the derived category of 𝑅 is equivalent to the chain homotopy category of all K-flat complexes with pure-injective components. This is implicitly related to a recollement we exhibit. It expresses  𝑝𝑢𝑟 (𝑅), the pure derived category of 𝑅, as an attachment of the usual derived category (𝑅) with Emmanouil's quotient category  K-flat (𝑅) ∶= 𝐾(𝑅)∕𝐾-Flat, which we call here the K-flat derived category. It follows that this Verdier quotient is a compactly generated triangulated category. We obtain our results by using methods of cotorsion pairs to construct (cofibrantly generated) monoidal abelian model structures on the exact category of chain complexes along with the degreewise pure exact structure. In fact, most of our model structures are obtained as corollaries of a general method which associates an abelian model structure to any class of so-called -acyclic complexes, where  is any given class of chain complexes. Finally, we also give a new characterization of K-flat complexes in terms of the pure derived category of 𝑅.