Local cohomology modules and their properties

DOI10.1007/S11253-021-01924-ZMaRDI QIDQ2234411zbMATH OpenOpenAlexFDO

Publication date 19 October 2021

Published in Ukrainian Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11253-021-01924-z

cofinite module Cohen-Macaulay module cominimax module ideal transform local cohomology module

Homological functors on modules of commutative rings (Tor, Ext, etc.) (13D07) Local cohomology and commutative rings (13D45)

Review text

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.

Recommendations

Cites work

Cited in

(20)

This page was built for publication: Local cohomology modules and their properties

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