Cofiniteness of modules and local cohomology (Q6124465)

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\).