Artinianness of local cohomology modules (Q2255150)

In the case of a graded ring \(R = \bigoplus_{n\geq 0}R_n\) and a finitely generated graded \(R\)-module \(M\), there are several results on the Artinianess of the local cohomology modules \(H_{R_+}^i(M)\) (see, e.g., the papers by [\textit{M. Brodmann} et al., Proc. Am. Math. Soc. 131, No. 10, 2977--2985 (2003; Zbl 1041.13012); \textit{M. Brodmann} et al., J. Pure Appl. Algebra 197, No. 1--3, 249--278 (2005; Zbl 1071.13005); \textit{R. Sazeedeh}, J. Pure Appl. Algebra 212, No. 1, 275--280 (2008; Zbl 1126.13015); Proc. Am. Math. Soc. 135, No. 8, 2339--2345 (2007; Zbl 1119.13016)]). In the present paper, the authors prove generalizations and extensions of some of these and other results with some interesting uniform proofs. Let \(A\) denote a noetherian ring and \(\mathfrak{a}, \mathfrak{b}\) ideals. Let \(M\) denote a finitely generated \(A\)-module. Then the main results are: (1) Let \(\mathcal{S}\) be a Serre subcategory of the category of \(A\)-modules and \(n\geq 0\) an integer such that \(H^i_{\mathfrak{a}}(M)\) belong to \(\mathcal{S}\) for all \(i > n\). If \(H^n_{\mathfrak{a}}(M/\mathfrak{b}M)\) belongs to \(\mathcal{S}\), then \(H^n_{\mathfrak{a}}(M)/\mathfrak{b}H^n_{\mathfrak{a}}(M)\) belongs to \(\mathcal{S} \) too. (2) Suppose that \(A/(\mathfrak{a} + \mathfrak{b})\) is artinian and \(\dim M/\mathfrak{a}M \leq 2\). Then \(H^1_{\mathfrak{b}}(H^i_{\mathfrak{a}}(M))\) is artinian for all \(i\). (3) If \(A/(\mathfrak{a} + \mathfrak{b})\) is artinian and \(\text{ara} \mathfrak{a} = 2\), then for a given \(i > 0\) the module \(H^{i-1}_{\mathfrak{b}}(H^2_{\mathfrak{a}}(M))\) is artinian if and only if \(H^{i+1}_{\mathfrak{b}}(H^1_{\mathfrak{a}}(M))\) is artinian.