Local cohomology modules and their properties (Q2234411)

Let \(R\) be a commutative 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}{\mathrm{varinjlim}} \mathrm{Ext}^{i}_{R}\left(\frac{R}{\mathfrak{a}^{n}},M\right).\] Moreover, the \(\mathfrak{a}\)-transform of \(M\) is given by \[D_{\mathfrak{a}}(M) \cong \underset{n\geq 1}{\mathrm{varinjlim}}\mathrm{Hom}_{R}(\mathfrak{a}^{n},M).\] If in particular, \((R,\mathfrak{m},k)\) is noetherian local, and \(M\) is non-zero finitely generated of Krull dimension \(n > 0\), then \(M\) is said to be a generalized Cohen-Macaulay \(R\)-module if \(H^{i}_{\mathfrak{m}}(M)\) is finitely generated for every \(i \neq n\). In case \(R\) is complete and \(M\) is generalized Cohen-Macaulay of Krull dimension \(n\geq 2\), the authors show that \[\mathrm{Hom}_{R}\left(H_{\mathfrak{m}}^{n}\left(\mathrm{Hom}_{R}\left(H_{\mathfrak{m}}^{n}\left(D_{\mathfrak{m}}\left(M\right)\right),E_{R}(k)\right)\right),E_{R}(k)\right) \cong D_{\mathfrak{m}}(M).\] Then they obtain some results on the finiteness of the Bass numbers, cofiniteness, and cominimaxness of the local cohomology modules with respect to proper ideals.