On a question of Hartshorne

DOI10.1007/S13348-020-00298-YMaRDI QIDQ820782zbMATH OpenOpenAlexFDO

Publication date 28 September 2021

Published in Collectanea Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s13348-020-00298-y

cofinite module cohomological dimension ideal transform local cohomology Noetherian ring

Local cohomology and commutative rings (13D45) Commutative Noetherian rings and modules (13E05) Local cohomology and algebraic geometry (14B15)

Review text

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.

Recommendations

Cites work

Cited in

(25)

This page was built for publication: On a question of Hartshorne

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