On the regularity of generalized local cohomology (Q2446166)

Let \(R_0\) a local ring and \(R\) a positively graded commutative ring with base ring \(R_0\) and irrelevant ideal \(R_+\). Let \(\mathfrak a\) be a graded ideal of \(R\) and \(M, N\) two finitely generated graded \(R\)-modules. It is known that each generalized local cohomology module \[ H^i_{\mathfrak a}(M,N):={\varinjlim}_n \mathrm{Ext}^i_R(M/\mathfrak a^{n} M,N) \] has a natural graded structure. For a graded \(R\)-module \(L=\oplus_{i\in\mathbb{Z}}L_i\), let end \(L\) denote the supremum of the integers \(j\) such that \(L_j\neq 0\). The generalized regularity of \(M\) and \(N\) is defined as \[ \text{reg}(M,N):=\max\{\text{end}(H^i_{R_+}(M,N))+i|i\in \mathbb{Z}\}. \] This notion was introduced by \textit{M. Chardin} and the reviewer in [J. Algebra 319, No. 11, 4780--4797 (2008; Zbl 1144.13008)]. Here the author for any graded ideal \(\mathfrak a\supseteqq R_+\) of \(R\) extends this notion as \[ \text{reg}_{\mathfrak a}(M,N): =\max\{\text{end}(H^i_{\mathfrak a}(M,N))+i|i\in \mathbb{Z}\} \] and establish a bound for it.