Local cohomology modules with respect to an ideal containing the irrelevant ideal (Q1004464): Difference between revisions

Let \(R_0\) be a noetherian commutative ring, \(R=\bigoplus_{n\geq 0} R_n\) a standard graded ring over the base ring \(R_0\) and \(M=\bigoplus_{n\in \mathbb{Z}} M_n\) a finitely generated \(R\)-module. Let \(\mathfrak b_0\) be an ideal of \(R_0\) and \(\mathfrak b:=\mathfrak b_0+R_{+}\), where \(R_{+}=\bigoplus_{n>0} R_n\) denotes the irrelevant ideal of \(R\). For each \(i\geq 0\), the \(i\)-th local cohomology module \(H_{\mathfrak b}^i(M)\) has a natural grading. Let \(i\) be a fixed non-negative integer. It is known that the graded components \(H_{R_+}^i(M)_n\) of \(H_{R_+}^i(M)\) have many useful properties. In the paper under review, the authors extended some of these properties to the graded components of \(H_{\mathfrak b}^i(M)\). They proved that \(H_{\mathfrak b}^i(M)_n=0\) for all \(n\gg 0\). If there exists a homogeneous \(\mathfrak b\)-filter regular sequence on \(M\) of length \(i\), then they showed that the \(R_0\)-module \(H_{\mathfrak b}^i(M)_n\) is finitely generated for all \(n\in \mathbb{Z}\). Also, they proved that the set \(\text{Ass}_{R_0}(H_{\mathfrak b}^i(M)_n)\) becomes ultimately constant, as \(n\longrightarrow -\infty\), in the following cases: a) \(R_0\) is local and \(\dim R_0/\mathfrak b_0\leq 1\), b) \(\dim R_0\leq 1\) and \(R_0\) is either a finite integral extension of a domain or essentially of finite type over a field; c) \(i\leq g_{\mathfrak b}(M)\), where \(g_{\mathfrak b}(M):=\sup\{k:\forall j<k, \;\;l_{R_0}(H_{\mathfrak b}^j(M)_n)<\infty \;\;\forall n\ll 0 \}\).