Let be a commutative noetherian ring, let be an ideal, and let be an injective -module. A basic result in the structure theory of injective modules states that the -module consisting of -torsion elements is also an injective -module. Recently, de Jong proved a dual result: If is a flat -module, then the -adic completion of is also a flat -module. In this paper we generalize these facts to commutative noetherian DG-rings: let be a commutative non-positive DG-ring such that is a noetherian ring, and for each , the -module is finitely generated. Given an ideal , we show that the local cohomology functor associated to does not increase injective dimension. Dually, the derived -adic completion functor does not increase flat dimension.

生成讲解博客的中文版本

生成AI智能校验的中文版本