A few comments on Matlis duality

Abstract: Let

I

be an ideal of a commutative Noetherian ring

R

. Let

M

and

N

be any

R

-modules. We define the generalized completion homology modules

L_{i} L a m b d a^{I} (N, M)

, for

i i n m a t h b b Z

, as the homologies of the complex

l i m l i m i t s_{l o n g l e f t a r r o w} (N / I^{s} N o t i m e s_{R} F_{c d o t}^{R})

. Here

F_{c d o t}^{R}

denote a flat resolution of

M

. In this article we will prove the vanishing and non-vanishing properties of

L_{i} L a m b d a^{I} (N, M)

. We denote

H_{I}^{i} (N, M)

(resp.

U_{i}^{I} (N, M)

) by the generalized local cohomology modules (resp. the generalized local homology modules). As a technical tool we will construct several natural homomorphisms of

L_{i} L a m b d a^{I} (N, M)

,

H_{I}^{i} (N, M)

and

U_{i}^{I} (N, M)

. We will investigate when these natural homomorphisms are isomorphisms. Moreover if

M

is Artinian and

N

is finitely generated then it is proven that

L_{i} L a m b d a^{I} (N, M)

is isomorphic to

U_{i}^{I} (N, M)

for each

i i n m a t h b b Z

. The similar result is obtained for

H_{I}^{i} (N, M)

. Furthermore if both

M

and

N

are finitely generated with

c = g r a d e (I, M)

. Then we are able to prove several necessary and sufficient conditions such that

H_{I}^{i} (M) = 0

for all

i e q c .

Here

H_{I}^{i} (M)

denote the ordinary local cohomology module.

Recommendations

Cited in

(7)

This page was built for publication: A few comments on Matlis duality

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