Cofiniteness of modules and local cohomology

Let \(R\) be a commutative noetherian ring, \(\mathfrak{a}\) an ideal of \(R\), and \(M\) an \(R\)-module. For any \(i \geq 0\), the \(i\)th local cohomology module of \(M\) with respect to \(\mathfrak{a}\) is given by \[H^{i}_{\mathfrak{a}}(M) \cong \underset{n\geq 1}\varinjlim \operatorname{Ext}^{i}_{R}\left(R/ \mathfrak{a}^{n},M\right).\] Hartshorne defines an \(R\)-module \(M\) to be \(\mathfrak{a}\)-cofinite if \(\operatorname{Supp}_{R}(M)\subseteq \operatorname{Var}(\mathfrak{a})\) and \(\operatorname{Ext}^{i}_{R}\left(R/ \mathfrak{a},M\right)\) is a finitely generated \(R\)-module for every \(i\geq 0\). For any \(n\geq 0\), let \(\mathcal{S}_{n}(\mathfrak{a})\) denote the class of all \(R\)-modules \(M\) such that \(\operatorname{Supp}_{R}(M)\subseteq \operatorname{Var}(\mathfrak{a})\) and if \(\operatorname{Ext}^{i}_{R}\left(R/ \mathfrak{a},M\right)\) is finitely generated for every \(i\leq n\), then \(M\) is \(\mathfrak{a}\)-cofinite. In this paper, the authors study the class \(\mathcal{S}_{n}(\mathfrak{a})\), and look for sufficient conditions on a module to be contained in it. In particular, they investigate the inclusion of Koszul homology and local cohomology in this class and derive many interesting results. Moreover, they study the cofiniteness of local cohomology modules when \(\dim(R/\mathfrak{a})\geq 3\).

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Cofiniteness of modules and local cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6124465)