Abstract
Let A be a commutative noetherian ring, let a ⊆ A be an ideal, and let I be an injective A-module. A basic result in the structure theory of injective modules states that the A-module Γa(I) consisting of a-torsion elements is also an injective A-module. Recently, de Jong proved a dual result: If F is a flat A-module, then the a-adic completion of F is also a flat A-module. In this paper we generalize these facts to commutative noetherian DG-rings: let A be a commutative non-positive DG-ring such that H0(A) is a noetherian ring and for each i < 0, the H0(A)-module Hi(A) is finitely generated. Given an ideal a ⊆ H0(A), we show that the local cohomology functor RΓa associated with a does not increase injective dimension. Dually, the derived a-adic completion functor LΛa does not increase flat dimension.
Original language | English |
---|---|
Pages (from-to) | 865-877 |
Number of pages | 13 |
Journal | Canadian Mathematical Bulletin |
Volume | 61 |
Issue number | 4 |
DOIs | |
State | Published - 1 Dec 2018 |
Keywords
- Commutative DG-ring
- Derived completion
- Homological dimension
- Local cohomology
ASJC Scopus subject areas
- General Mathematics