Hilbert-Kirby polynomials in generalized local cohomology modules (Q2667217)

Let \((R_0,{\mathfrak m}_0,k_0)\) be a local ring and \(R=R_0[R_1]\) a commutative Noetherian graded ring. Let \(M\) and \(N\) be two \(\mathbb{Z}\)-graded finitely generated \(R\)-modules and \(R_+\) denote the irrelevant ideal of \(R\). The paper under review studies the asymptotic behaviour of the graded pieces of the graded generalized local cohomology modules \[\text{H}_{R_+}^i(M,N):=\underset{n} {\varinjlim}\ \text{Ext}^i_R \left(\frac{M}{(R_+)^n M},N \right); \ i\in \mathbb{N}_0.\] It is known that \(\text{H}_{R_+}^i(M,N)\) has a \(\mathbb{Z}\)-grading in a natural way and that the \(R_0\)-modules \(\text{H}_{R_+}^i(M,N)_n\) is finitely generated for all \(n\in \mathbb{Z}\) and \(\text{H}_{R_+}^i(M,N)_n=0\) for all \(n\gg 0\). So, the study of the asymptotic behaviour of \(\text{H}_{R_+}^i(M,N)_n\) for \(n\rightarrow -\infty\) is of great interest. Especially, in the case \(\dim R_0=0\), by [17, Theorem 2.2], the \(R\)-module \(\text{H}_{R_+}^i(M,N)\) is Artinian, and so there exists a polynomial \(P(X)\in \mathbb{Q}[X]\) such that \(P(n)=\ell_{R_0}(\text{H}_ {R_+}^i(M,N)_n)\) for all \(n\ll 0\). In this paper, the authors establish some partial results in the case \(\dim R_0>0\). In particular, they show that \(\Gamma_{{\mathfrak m}_0R}(\text{H}_{R_+}^i(M,N))\) is Artinian for all \(i\leq g(M,N)\), where \(g(M,N):=\inf\{i\in \mathbb{N}_0\mid \sharp \{n\in \mathbb{Z} \mid \ell_{R_0}(\text{H}_{R_+}^i(M,N)_n)=\infty \}\) \\ \(=\infty\}.\)