Supporting degrees of multi-graded local cohomology modules (Q1012566)

Let \(R=\bigoplus_{n\in \mathbb{N}\cup\{0\}} R_n\) be a standard positively graded noetherian commutative algebra, \(M\) a finitely generated \(\mathbb{Z}\)-graded \(R\)-module and \(R_+\) denotes the irrelevant ideal of \(R\). The following results are well known: i) There exists \(t\in \mathbb{Z}\) such that \(H^i_{R_+} (M)_n=0\) for all \(i\) and all \(n>t\). ii) The \(R_0\)-module \(H^i_{R_+} (M)_n\) is finitely generated for all \(n\) and all \(i\). iii) A graded R-module \(L =\bigoplus_{n\in \mathbb{Z}} L_n\) is finitely graded if \(L_n= 0\) for only finitely many \(n\in \mathbb{Z}\). Assume that \(a\) is a homogeneous ideal of \(R\). \textit{T. Marley} [Proc. Am. Math. Soc. 123, 3601--360 (1995; Zbl 0864.13012)] defined \[ g_a(M) := \sup\{ k\in \mathbb{N}\cup\{0\}: H^i_a (M)\text{ is finitely graded for all } i <k \}, \] and proved that \(g_a(M)= \sup\{ k\in \mathbb{N}\cup\{0\}:R^{+} \subseteq \sqrt{(0:_RH^i_a (M))}\text{ for all }i <k\}\). iv) Let \(p\) be a homogeneous prime ideal of \(R\). Recall that \(t\in\mathbb{Z}\) is an ith level anchor point of \(p\) for M if \(( ^{\ast}\text{Ext}^i_{R}(R/p,M)_{(p)})_t\neq0\) and denote the set of such \(t\) by \(\text{arch}^i(p,M)\). \textit{R. Y. Sharp} [J. Algebra 222, 246--270 (1999; Zbl 0947.13001)] proved that the Castelnuovo regularity of \(M\) is an upper bound for the set \(\bigcup \text{arch}^i(p,M)\), where the sup run over all nonnegative integer \(i\) and all homogeneous prime ideal \(p\) of \(V(R_+)\). The purpose of the paper is to give the \(\mathbb{Z}^n\)-graded analogues of the above-mentioned work. In particular, there are some connections between \(\max(\bigcup_{i=0}^{j}\text{end}(H^i_b(M)))\) and the set of anchor points of certain prime ideals for \(M\).