Generalized local cohomology and regularity of Ext modules (Q934076)

A main aim of this paper is the investigation of connections between generalized local cohomology and Castelnuovo-Mumford regularity; generalized local cohomology \(H^i_I(M,N)\) is defined for modules \(M\) and \(N\) and with respect to an ideal \(I\) of a ring \(R\); for \(M=R\) one gets local cohomology: \(H^i_I(R,N)=H^i_I(N)\). If \(M\) is a graded module over a standard graded ring \(R\) then the regularity of \(M\) can be defined as \[ \text{ reg}(M)=\max \{ \text{ end}(\text{ H}^i_{R_+}(M))+i\} \] (for \(P\) graded one sets \(\text{ end}(P):=\sup\{ l| P_l\neq 0\} \) and \(\text{ indeg}(P):=\inf\{ l| P_l\neq 0\} \)). This paper contains the more general definitio:n \[ \text{ reg}(M,N)=\max \{ \text{ end}(\text{ H}^i_{R_+}(M,N))+i\} . \] It is shown that \(\text{ reg}(M,N)\) is finite in many cases; e.~g. if \(R_0\) is a field and \(M\), \(N\) are finitely generated then \[ \text{ reg}(M,N)=\text{ reg}(N)-\text{ indeg}(M). \] A graded version of duality is proven for generalized local cohomology (it is a graded version of Suzuki-duality). These two results lead, under some finiteness assumptions, to a formula for \[ \min \{ j| \text{ indeg}(\text{ Ext}^j_R(N,M))+j\} \] and the latter formula shows that three different definitions of 'reg' are equivalent. The paper contains a generalization of a result of \textit{G. Caviglia} [Proc. Am. Math. Soc. 135, No. 7, 1949--1957 (2007; Zbl 1183.13024), Theorem 3.10] on the regularity of \(\text{ Hom}_R(M,N)\). Finally some upper bounds for certain \(\text{ Ext}\)-modules are proven which are in some sense similar to known results on the regularity of certain \(\text{ Tor}\)-modules.