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.

Dévissage for generation in derived categories

A note on generation and descent for derived categories of noncommutative schemes

Closedness of the singular locus and generation for derived categories

Descent and generation for noncommutative coherent algebras over schemes

Descent conditions for generation in derived categories

Derived categories of Quot schemes of locally free quotients

Coderived and contraderived categories of locally presentable abelian DG-categories

Categorical Resolutions of a Class of Derived Categories

Derived category of moduli of parabolic bundles on $\mathbb{P}^1$

Non-additive derived functors via chain resolutions

On the structure of equivariant derived categories

Cohomology of Moduli Space of Multiscale Differentials in Genus 0

The stabilized bounded N-derived category of an exact category

Derived category of equivariant coherent sheaves on a smooth toric variety and Koszul duality

The derived $\infty$-category of Cartier Modules

Dévissage for periodic cyclic homology of complete intersections

Unbounded Algebraic Derivators

Descent for coherent sheaves along formal/open coverings

Coherent sheaves, sheared D-modules, and Hochschild cochains

Duality between Cartier crystals and perverse $\mathbb{F}_p$-sheaves, and application to generic vanishing

Revisiting derived crystalline cohomology