Generalized local cohomology and regularity of Ext modules

Abstract: Let R be a Noetherian standard graded ring, and M and N two finitely generated graded R-modules. We introduce reg_R (M,N) by using the notion of generalized local cohomology instead of local cohomology, in the definition of regularity. We prove that reg_R (M,N)is finite in several cases. In the case that the base ring is a field, we show that reg_R (M,N)=reg (N)-indeg (M). This formula, together with a graded version of duality for generalized local cohomology, gives a formula for the minimum of the initial degrees of some Ext modules(in the case R is Cohen-Macaulay), of which the three usual definitions of regularity are special cases. Bounds for regularity of certain Ext modules are obtained, using the same circle of ideas.

Review text

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.

Recommendations

Cites work

Cited in

(13)

Describes a project that uses

Uses Software

Macaulay2

This page was built for publication: Generalized local cohomology and regularity of Ext modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q934076)