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.

Pro-nilpotently extended dgca-s and SH Lie-Rinehart pairs

Lie, associative and commutative quasi-isomorphism

Cyclic Lie-Rinehart algebras

Homotopy Invariants of Braided Commutative Algebras and the Deligne Conjecture for Finite Tensor Categories

Graded Lie structure on cohomology of some exact monoidal categories

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

Deligne tensor products of categories of modules for vertex operator algebras

Enriched Koszul Duality

Restricted $L_\infty$-algebras and a derived Milnor-Moore theorem

Homotopical algebra for Lie algebroids

BPS Lie algebras and the less perverse filtration on the preprojective CoHA

On certain noncommutative geometries via categories of sheaves of (graded) PI-algebras

Lie algebras arising from two-periodic projective complex and derived categories

Lie-Cartan modules and cohomology

Chains of model structures arising from modules of finite Gorenstein dimension

Co-t-structures on derived categories of coherent sheaves and the cohomology of tilting modules

Cohomology of Lie coalgebras

Deligne pairing for equidimensional morphisms

Exact dg categories I : Foundations

A restricted model for the bounded derived category of gentle algebras

Coderived and contraderived categories of locally presentable abelian DG-categories