On purity and applications to coderived and singularity categories

By J. Št’ovíček. 2014

77 citations recorded by the source corpus.

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.

Subfields: Algebra and Number Theory, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/97f6bfbecf999c01222b67693c74b3cc02520b5a