Coderived and contraderived categories of locally presentable abelian DG-categories
Leonid Positselski,Jan Stovicek
DOI: https://doi.org/10.1007/s00209-024-03519-3
2024-08-06
Abstract:The concept of an abelian DG-category, introduced by the first-named author in <a class="link-https" data-arxiv-id="2110.08237" href="https://arxiv.org/abs/2110.08237">arXiv:2110.08237</a>, unites the notions of abelian categories and (curved) DG-modules in a common framework. In this paper we consider coderived and contraderived categories in the sense of Becker. Generalizing some constructions and results from the preceding papers by Becker <a class="link-https" data-arxiv-id="1205.4473" href="https://arxiv.org/abs/1205.4473">arXiv:1205.4473</a> and by the present authors <a class="link-https" data-arxiv-id="2101.10797" href="https://arxiv.org/abs/2101.10797">arXiv:2101.10797</a>, we define the contraderived category of a locally presentable abelian DG-category $\mathbf B$ with enough projective objects and the coderived category of a Grothendieck abelian DG-category $\mathbf A$. We construct the related abelian model category structures and show that the resulting exotic derived categories are well-generated. Then we specialize to the case of a locally coherent Grothendieck abelian DG-category $\mathbf A$, and prove that its coderived category is compactly generated by the absolute derived category of finitely presentable objects of $\mathbf A$, thus generalizing a result from the second-named author's preprint <a class="link-https" data-arxiv-id="1412.1615" href="https://arxiv.org/abs/1412.1615">arXiv:1412.1615</a>. In particular, the homotopy category of graded-injective left DG-modules over a DG-ring with a left coherent underlying graded ring is compactly generated by the absolute derived category of DG-modules with finitely presentable underlying graded modules. We also describe compact generators of the coderived categories of quasi-coherent matrix factorizations over coherent schemes.
Category Theory,Algebraic Geometry,Rings and Algebras