Artinianness of composed graded local cohomology modules (Q2810705)

Let \(R = \bigoplus_{n\geq 0}R_n\) denote a graded Noetherian ring with local base ring \((R_0,\mathfrak{m}_0)\). Let \(\mathfrak{a}_0, \mathfrak{b}_0 \subset R_0\) denote two ideals such that \(\mathfrak{a}_0 + \mathfrak{b}_0\) is \(\mathfrak{m}_0\)-primary. Let \(M, N\) be two finitely generated graded \(R\)-modules. The main aim of the paper is the extension of known results of the Artinianess of local cohomology modules to the situation of the generalized local cohomology \(H_{\mathfrak{a}}^i(M,N)\), where \(\mathfrak{a} = \mathfrak{a}_0 + R_+\). To be more precise, it is shown that \(H^j_{\mathfrak{b}_0}(H^i_{\mathfrak{a}}(M,N))\) and \(H^i_{\mathfrak{a}}(M,N)/\mathfrak{b}_0H^i_{\mathfrak{a}}(M,N)\) are Artinian for some \(i,j\) under some specific assumptions. For instance, if \(H^i_{\mathfrak{a}}(M,N)\) is an Artinian \(R\)-module for \(i < t\) and a fixed integer \(t\), then \(H^i_{\mathfrak{a}}(M,N)\) is \(\mathfrak{a}\)-cofinite for all \(i < t\).