Some results on top local cohomology modules (Q6185007)

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\in \mathbb{N}}\varinjlim \mathrm{Ext}^{i}_{R}(R/ \mathfrak{a}^{n},M). \] Moreover, the cohomological dimension of \(M\) with respect to \(\mathfrak{a}\) is defined by \[ \mathrm{cd}(\mathfrak{a},M)= \sup \{i\geq 0\text{ such that }H^{i}_{\mathfrak{a}}(M)\neq 0\}. \] The authors determine the set of all attached prime ideals of the top local cohomology module \(H^{\mathrm{cd}(\mathfrak{a},M)}_{\mathfrak{a}}(M)\) of any finitely generated \(R\)-module \(M\) with respect to the ideal \(\mathfrak{a}\) of \(R\) in terms of certain elements of \(\mathrm{Supp}_{R}(M)\). As a consequence, they show that for any pair of finitely generated \(R\)-modules \(M\) and \(N\) with \(\mathrm{Supp}_{R}(N) \subseteq\mathrm{Supp}_{R}(M)\), if \(\mathrm{cd}(\mathfrak{a},M)= \mathrm{cd}(\mathfrak{a},N)=c \geq 0\), then \(\mathrm{Att}_{R}\left(H^{c}_{\mathfrak{a}}(N)\right)\subseteq \mathrm{Att}_{R}\left(H^{c}_{\mathfrak{a}}(M)\right)\) and \(\sqrt{\mathrm{ann}_{R}\left(H^{c}_{\mathfrak{a}}(M)\right)}\subseteq \sqrt{\mathrm{ann}_{R}\left(H^{c}_{\mathfrak{a}}(N)\right)}\). Furthermore, in the special case that \(R\) is a local ring, they prove some similar results concerning the associated prime ideals of Matlis dual functors of top local cohomology modules.