Finiteness of graded local cohomology modules (Q2456402): Difference between revisions

The author studies the local cohomology of finitely generated modules over noetherian \(\mathbb N\)-graded rings \(R=\bigoplus_{n\geq 0} R_n\), where \(R_0\) is a local ring. Set \(R_+=\bigoplus_{n\geq 1}R_n\). Even for nice rings \(R\), the modules \(H^i_{R_+}(R)\) may have complicated structure. \textit{M. Brodmann, S. Fumasoli} and \textit{R. Tajarod} [Proc. Am. Math. Soc. 131, No. 10, 2977--2985 (2003; Zbl 1041.13012)] proved that if \(R_0\) is a local ring with maximal ideal \(m_0\) and of dimension at most \(1\), then the \(R\)-modules \[ \Gamma_{m_0R}(H^i_{R_+}(M)), \bigl(0\colon _{H^i_{R_+}(M)} m_0\bigr), H^i_{R_+}(M)/m_0 H^i_{R_+}(M) \] are Artinian for all \(i\). Later \textit{M. Brodmann, F. Rohrer} and \textit{R. Sazeedeh} [J. Pure Appl. Algebra 197, 249--278 (2005; Zbl 1071.13005)] showed that \(H^1_{m_0R}(H^i_{R_+}(M))\) is Artinian for each \(i\) even if \(\dim(R_0)=2\). In the present paper the author shows that \(H^1_{m_0R}(H^1_{R_+}(M))\) is Artinian and also in the case \(R_+\) is principal, \(H^i_{m_0R}(H^1_{R_+}(M))\) is Artinian for each \(i\). The author gives examples showing that the Artinian property need not hold if \(R_+\) is not principal. Among the other things he proved that \(H^d_{m_0}(H^c_{R_+}(M))\) is Artinian, where \(d= \dim(R_0)\) and \(c\) is the cohomological dimension of \(M\) with respect to \(R_+\).