On purity and applications to coderived and singularity categories

Abstract

Given a locally coherent Grothendieck category G, we prove that the homotopy category of complexes of injective objects (also known as the coderived category of G) is compactly generated triangulated. Moreover, the full subcategory of compact objects is none other than D^b(fp G). If G admits a generating set of finitely presentable objects of finite projective dimension, then also the derived category of G is compactly generated and Krause's recollement exists. Our main tools are (a) model theoretic techniques and (b) a systematic study of the pure derived category of an additive finitely accessible category.

45 pages

References in corpus (1)

• Quillen model structures for relative homological algebra

Cited by in corpus (16)

• Covers, envelopes, and cotorsion theories in locally presentable abelian categories and contramodule categories
• Coherent rings, fp-injective modules, dualizing complexes, and covariant Serre-Grothendieck duality
• Infinity-tilting theory
• Contramodules
• Derived, coderived, and contraderived categories of locally presentable abelian categories
• On locally coherent hearts
• Moduli spaces of semiorthogonal decompositions in families
• Auslander's Formula: Variations and Applications
• Locally type ${\text{FP}}_n$ and $n$-coherent categories
• Minimal semi-flat-cotorsion replacements and cosupport
• Quasi-coherent torsion sheaves, the semiderived category, and the semitensor product: Semi-infinite algebraic geometry of quasi-coherent sheaves on ind-schemes
• Recollements from Cotorsion Pairs
• Singular equivalences to locally coherent hearts of commutative noetherian rings
• Totally acyclic complexes and locally Gorenstein rings
• On Pure Derived Categories
• Hereditary abelian model categegories