Some properties of Serre subcategories in the graded local cohomology modules (Q2421747)

Summary: Let \(R = \oplus_{n \geq 0} R_n\) be a standard homogeneous Noetherian ring with local base ring \((R_0, \mathfrak{m}_0)\) and let \(M\) be a finitely generated graded $R$-module. Let \(H_{R_+}^i(M)\) be the \(i\)th local cohomology module of \(M\) with respect to \(R_+ = \oplus_{n > 0} R_n\). Let \(\mathcal{S}\) be a Serre subcategory of the category of \(R\)-modules and let \(i\) be a nonnegative integer. In this paper, if \(\dim R_0 \leq 1\), then we investigate some conditions under which the \(R\)-modules \(R_0 / \mathfrak{m}_0 \otimes_{R_0} H_{R_+}^i(M), \Gamma_{\mathfrak{m}_0 R}(H_{R_+}^i(M))\) and \(H_{\mathfrak{m}_0 R}^1(H_{R_+}^i(M))\) are in \(\mathcal{S}\) for all \(i \geq 0\). Also, we prove that if \(\dim R_0 \leq 2\), then the graded \(R\)-module \(H_{\mathfrak{m}_0}^1(H_{R_+}^i(M))\) is in \(\mathcal{S}\) for all \(i \geq 0\). Finally, we prove that if \(n\) is the biggest integer such that \(H_{\mathfrak{a}}^i(M) \notin \mathcal{S}\), then \(H_{R_+}^i(M) / \mathfrak{m}_0 H_{R_+}^i(M) \in \mathcal{S}\) for all \(i \geq n\).