Derived, coderived, and contraderived categories of locally presentable abelian categories

DOI10.1016/J.JPAA.2021.106883MaRDI QIDQ2664598zbMATH OpenOpenAlexFDO

Authors Leonid Positselski, Jan Št'ovíček

Publication date 17 November 2021

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

abelian categories coderived and contraderived categories model category theory unbounded derived categories

Abelian categories, Grothendieck categories (18E10) Chain complexes (category-theoretic aspects), dg categories (18G35) Derived categories, triangulated categories (18G80) Homotopical algebra, Quillen model categories, derivators (18N40) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: For a locally presentable abelian category

m a t h s f B

with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy projective complexes of projective objects. We also show that the derived category

m a t h s f D (m a t h s f B)

is generated, as a triangulated category with coproducts, by the projective generator of

m a t h s f B

. For a Grothendieck abelian category

m a t h s f A

, we construct the injective derived and coderived model structures on complexes. Assuming Vopenka's principle, we prove that the derived category

m a t h s f D (m a t h s f A)

is generated, as a triangulated category with products, by the injective cogenerator of

m a t h s f A

. More generally, we define the notion of an exact category with an object size function and prove that the derived category of any such exact category with exact

k a p p a

-directed colimits of chains of admissible monomorphisms has Hom sets. In particular, the derived category of any locally presentable abelian category has Hom sets.

Review text

This article addresses the foundational theory of the unbounded derived category \(D(A)\) of an abelian category \(A\), exploring its definitions and properties in more general contexts than the classical cases. Unlike the more usual case of bounded derived categories (or even just bounded below or above), where one can use model structures of complexes of projective or injective objects, unbounded derived categories pose many problems; the analogous categories of unbounded complexes of projective/injective objects do not give the right answer. To address this, there have been many different approaches to defining \(D(A)\), which this article recapitulates in the Introduction. They mostly fall within two camps: one can either define them as categorical quotients of the homotopy category, constructions which appeared in the first named author's previous work as derived categories of the \emph{first or second kind}, or instead work with set-theoretic techniques of model structures, which is the approach developed in this paper. Sections 1--5 are devoted to exposition of the technical tools of model category theory for abelian categories. Two of the classes of categories \(A\) that this paper looks at, in particular, are \emph{Grothendieck abelian categories} (which have `enough injective complexes of injective objects) and \emph{locally presentable categories with enough projective objects}. The former case is more usual in the literature; there is a corresponding `coderived' category that can be described using an injective model structure, and is generated by some object. Part of this article is devoted to showing how the latter case is in some sense dual to the more usual case of Grothendieck categories, defining some `contraderived category' using a projective model strucutre and proving an analogous well-generation result. The study of these model categories for these two `dual' classes of abelian categories is done in Sections 6--9. The last part (Section 10) of this paper deals with a different question, phrased in the `quotient category' description of derived categories. The authors consider categories \(E\) that might not have enough injectives or projectives; one can still define its derived category \(D(E)\) as a Verdier quotient. Using set-theoreric tools, and assuming \(E\) has an `object size function', the authors then show that this category has Hom sets (instead of proper classes). Of particular remark in this paper is the care with which the authors relate their nomenclature and definitions to the ones already existing in the literature, which is always useful in a field so full of technicalities and slightly different frameworks; for example, Remark 9.2 explains what the `co-/contraderived categories' have to do with other names and definitions appearing in the literature.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Derived, coderived, and contraderived categories of locally presentable abelian categories

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