Results of formal local cohomology modules (Q1940992): Difference between revisions

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\).