Injective DG-modules over non-positive DG-rings

TL;DR

This paper studies injective DG-modules over non-positive DG-rings, generalizing classical injective module theory, and establishes a derived Bass-Papp theorem along with a DG version of Grothendieck's local duality.

Contribution

It introduces a comprehensive theory of injective DG-modules over non-positive DG-rings, extending classical results and providing new characterizations and duality theorems.

Findings

Characterizations of injective DG-modules over non-positive DG-rings

A derived Bass-Papp theorem relating injective modules to noetherian conditions

A DG version of Grothendieck's local duality theorem

Abstract

Let $A$ be an associative non-positive differential graded ring. In this paper we make a detailed study of a category $\operatorname{\mathsf{Inj}}(A)$ of left DG-modules over $A$ which generalizes the category of injective modules over a ring. We give many characterizations of this category, generalizing the theory of injective modules, and prove a derived version of the Bass-Papp theorem: the category $\operatorname{\mathsf{Inj}}(A)$ is closed in the derived category $\operatorname{\mathsf{D}}(A)$ under arbitrary direct sums if and only if the ring $\mathrm{H}^0(A)$ is left noetherian and for every $i<0$ the left $\mathrm{H}^0(A)$-module $\mathrm{H}^i(A)$ is finitely generated. Specializing further to the case of commutative noetherian DG-rings, we generalize the Matlis structure theory of injectives to this context. As an application, we obtain a concrete version of Grothendieck's local duality theorem over commutative noetherian local DG-rings.