Results of formal local cohomology modules (Q1940992)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Results of formal local cohomology modules
scientific article

    Statements

    Results of formal local cohomology modules (English)
    0 references
    0 references
    11 March 2013
    0 references
    Let \(I\) denote an ideal of a local ring \((R,\mathfrak{m})\). Let \(M\) be an \(R\)-module. Then \(\mathfrak{F}^i_I(M) := \varprojlim H^i_{\mathfrak{m}}(M/I^{\alpha}M), i \in \mathbb{Z},\) is called the \(i\)-th formal local cohomology of \(M\) with respect to \(I\). In his paper [J. Algebra 315, No. 2, 894--923 (2007; Zbl 1131.13018)], the reviewer introduced this notion and examined basic properties of them. In the present paper the author studies when \(\mathfrak{F}^i_I(M)\) is an Artinian \(R\)-module. Let \(t \in \mathbb{N}\) denote an integer. The author proves the equivalence of the following two conditions: (i) \(\mathfrak{F}^i_I(M)\) is Artinian for all \(i < t\). (ii) \(I \subseteq \text{Rad} \text{Ann} \mathfrak{F}^i_I(M)\) for all \(i < t\). Among others, \textit{M. Eghbali} [``On Artinianness of formal local cohomology, colocalization and coassociated primes'', \url{arXiv:1011.4141}] has obtained the same result. Moreover, \(\mathfrak{F}^i_I(M)\) hat the structure of an \(\hat{R}\)-module, where \(\hat{R}\) denotes the completion of \(R\). Then M. Eghbali (by extending the previous statement) proved the equivalence of the above conditions to: (iii) \(\text{Supp}_{\hat{R}} \mathfrak{F}^i_I(M) \subseteq V(I \hat{R})\) for all \(i < t\), and (iv) \(\text{Supp}_{\hat{R}} \mathfrak{F}^i_I(M) \subseteq V(\mathfrak{m} \hat{R})\) for all \(i < t\).
    0 references
    0 references
    formal local cohomology
    0 references
    Artinian module
    0 references