K‐flat complexes and derived categories

DOI10.1112/BLMS.12715MaRDI QIDQ6176587zbMATH OpenOpenAlexFDO

Authors

Publication date 23 August 2023

Published in Bulletin of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2107.13042

zbMATH Keywords

derived categories of ringsK-flat chain complexespure exact short sequences

Mathematics Subject Classification ID

Relative homological algebra, projective classes (category-theoretic aspects) (18G25) Chain complexes (category-theoretic aspects), dg categories (18G35) Homotopical algebra, Quillen model categories, derivators (18N40)

Abstract: Let $R$ be a ring with identity. Inspired by recent work of Emmanouil, we show that the derived category of $R$ 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 $mathcal{D}_{pur}(R)$, the pure derived category of $R$, as an attachment of the usual derived category $mathcalD(R)$ with Emmanouil's quotient category $mathcal{D}_{K-flat}(R):=K(R)/K-Flat$, which here we call 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 $mathcalC$-acyclic complexes, where $mathcalC$ 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 $R$.

Recommendations

• On the relation between K-flatness and K-projectivity
• K-flatness and orthogonality in homotopy categories
• On K-absolutely pure complexes
• The homotopy category of cotorsion flat modules
• The homotopy category of acyclic complexes of pure-projective modules

Cites work

• Approximations and endomorphism algebras of modules.
• Chain complexes and stable categories
• Cotorsion pairs, model category structures, and representation theory
• Exact categories
• Exact model structures and recollements
• Gorenstein complexes and recollements from cotorsion pairs
• Hereditary abelian model categories
• Higher algebraic K-theory: I
• scientific article; zbMATH DE number 4036043 (Why is no real title available?)
• scientific article; zbMATH DE number 1382077 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 1313601 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 2242854 (Why is no real title available?)
• K-flatness and orthogonality in homotopy categories
• Localization theory for triangulated categories
• Minimal semi-flat-cotorsion replacements and cosupport
• Model structures on exact categories
• Models for singularity categories.
• On Ding injective, Ding projective and Ding flat modules and complexes
• On pure acyclic complexes.
• On the relation between K-flatness and K-projectivity
• Pure exact structures and the pure derived category of a scheme
• Relative homological algebra
• The derived category with respect to a generator
• The flat model structure on 𝐂𝐡(𝐑)
• Triangulated categories

Cited in

(6)

• Kaplansky classes and derived categories
• The homotopy category of acyclic complexes of pure-projective modules
• The flat model structure on complexes of sheaves
• k-Flat Structures and Exotic Characteristic Classes
• On K-absolutely pure complexes
• K-flatness in Grothendieck categories: application to quasi-coherent sheaves

This page was built for publication: K‐flat complexes and derived categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6176587)