On injective and Gorenstein injective dimensions of local cohomology modules

Abstract: Let

(R, f m)

be a commutative Noetherian local ring and let

M

be an

R

-module which is a relative Cohen-Macaulay with respect to a proper ideal

f a

of

R

and set

n := h_{M} f a

. We prove that

i n d M < i n f t y

if and only if

i n d H_{f}^{n} a (M) < i n f t y

and that

i n d H_{f}^{n} a (M) = i n d M - n

. We also prove that if

R

has a dualizing complex and

G i d_{R} M < i n f t y

, then

G i d_{R} H_{f}^{n} a (M) < i n f t y

and

G i d_{R} H_{f}^{n} a (M) = G i d_{R} M - n

. Moreover if

R

and

M

are Cohen-Macaulay, then it is proved that

G i d_{R} M < i n f t y

whenever

G i d_{R} H_{f}^{n} a (M) < i n f t y

. Next, for a finitely generated

R

-module

M

of dimension

d

, it is proved that if

K_{h a t M}

is Cohen-Macaulay and

G i d_{R} H_{f m}^{d} (M) < i n f t y

, then

G i d_{R} H_{f m}^{d} (M) = d e p t h R - d .

The above results have consequences which improve some known results and provide characterizations of Gorenstein rings.

Recommendations

Cites Work

Cited In (25)

This page was built for publication: On injective and Gorenstein injective dimensions of local cohomology modules