On a question of Hartshorne (Q820782): Difference between revisions

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 \varinjlim_{n\in \mathbb{N}} \mathrm{Ext}^{i}_{R}(R/ \mathfrak{a}^{n},M). \] The \(R\)-module \(M\) is said to be \(\mathfrak{a}\)-cofinite if \(\mathrm{Supp}_{R}(M)\subseteq V(\mathfrak{a})\) and \(\mathrm{Ext}^{i}_{R}(R/ \mathfrak{a},M)\) is a finitely generated \(R\)-module for every \(i \geq 0\). The author shows that the local cohomology modules \(H^{i}_{\mathfrak{a}}(M)\) are \(\mathfrak{a}\)-cofinite for every finitely generated \(R\)-module \(M\) and every \(i \geq 0\) if and only if the local cohomology modules \(H^{i}_{\mathfrak{a}}(R)\) are \(\mathfrak{a}\)-cofinite with Krull dimension not exceeding \(1\) and for every \(i \geq 2\). In addition, under these equivalent conditions, he proves that for each minimal prime ideal \(\mathfrak{p}\) over \(\mathfrak{a}\), either \(\mathrm{Ht}(\mathfrak{p})\leq 1\) or \(\mathrm{Dim}(R/ \mathfrak{p})\leq 1\), and the prime spectrum of the \(\mathfrak{a}\)-transform \(R\)-algebra \(D_{\mathfrak{a}}(R)\) equipped with its Zariski topology is noetherian. Furthermore, in the case where \(R\) is local, the author shows that the local cohomology modules \(H^{i}_{\mathfrak{a}}(M)\) are \(\mathfrak{a}\)-cofinite for every finitely generated \(R\)-module \(M\) and every \(i \geq 0\) if and only if for each minimal prime ideal \(\mathfrak{p}\) of \(\widehat{R}^{\mathfrak{m}}\), either \(\mathrm{Dim}\left(\widehat{R}^{\mathfrak{m}}/ \mathfrak{a}\widehat{R}^{\mathfrak{m}}+\mathfrak{p}\right)\leq 1\) or \(H^{i}_{\mathfrak{a}\widehat{R}^{\mathfrak{m}}}\left(\widehat{R}^{\mathfrak{m}}/ \mathfrak{p}\right)=0\) for every \(i \geq 2\). Finally, he proves that if \(R\) is semi-local and the local cohomology modules \(H^{i}_{\mathfrak{a}}(M)\) are \(\mathfrak{a}\)-cofinite for every finitely generated \(R\)-module \(M\) and every \(i \geq 0\), then the category of \(\mathfrak{a}\)-cofinite modules is an abelian subcategory of the category of \(R\)-modules.