Vanishing of the top local cohomology modules over noetherian rings (Q839963): Difference between revisions

Let \({\mathfrak a}\) be an ideal of a local ring \((R,{\mathfrak m})\), and \(N\) a finitely generated \(R\)-module of dimension \(d\). The present author with \textit{P. Schenzel} [Math. Proc. Camb. Philos. Soc. 131, No. 2, 211--226 (2001; Zbl 1078.13510)] established the functorial isomorphism \[ H^d_{\mathfrak{a}}(N) \cong H^d_{\mathfrak{m}}(N)/\sum_{n \in \mathbb N} \langle \mathfrak{m} \rangle (0 : _{H^d_{\mathfrak{m}}(N)}\mathfrak{a}^n), \] where for an artinian \(R\)-module \(X\), they use \(\langle \mathfrak{m} \rangle X\) to denote the submodule \(\bigcap_{n \in \mathbb N}\mathfrak{m}^n X\). Now let \(R\) be a (not necessarily local) noetherian ring and \(M\) a finitely generated \(R\)-module of finite dimension \(d\). Let \(\mathfrak{a}\) be an ideal of \(R\) and \(\mathfrak{M}\) denote the intersection of all prime ideals \(\mathfrak{p} \in \text{Supp}_R H_{\mathfrak{a}}^d (M)\). In this paper the author shows that \[ H_{\mathfrak{a}}^d (M) \simeq H_{\mathfrak{M}}^d (M)/\sum\limits_{n \in \mathbb{N}} {\langle \mathfrak{M}\rangle } (0:_{H_{\mathfrak{M}}^d (M)} \mathfrak{a}^n ), \] where for an artinian \(R\)-module \(A\) we put \(\langle \mathfrak{M}\rangle A = \cap _{n \in \mathbb{N}} \mathfrak{M}^n A\). As a consequence, it is proved that for all ideals \(\mathfrak{a}\) of \(R\), there are only finitely many non-isomorphic top local cohomology modules \(H_{\mathfrak{a}}^d (M)\) having the same support.