A criterion for cofiniteness of modules

Abstract: Let

A

be a commutative noetherian ring,

f r a k a

be an ideal of

A

,

m, n

be non-negative integers and let

M

be an

A

-module such that

E x t_{A}^{i} (A / f r a k a, M)

is finitely generated for all

i l e q m + n

. We define a class

c S_{n} (f r a k a)

of modules and we assume that

H_{f r a k a}^{s} (M) i n c S_{n} (f r a k a)

for all

s l e q m

. We show that

H_{f r a k a}^{s} (M)

is

f r a k a

-cofinite for all

s l e q m

if either

n = 1

or

n g e q 2

and

E x t_{A}^{i} (A / f r a k a, H_{f r a k a}^{t + s - i} (M))

is finitely generated for all

1 l e q t l e q n - 1

,

i l e q t - 1

and

s l e q m

. If

A

is a ring of dimension

d

and

M i n c S_{n} (f r a k a)

for any ideal

f r a k a

of dimension

l e q d - 1

, then we prove that

M i n c S_{n} (f r a k a)

for any ideal

f r a k a

of

A

.

Review text

Summary: Let \(A\) be a commutative noetherian ring, \(\mathfrak{a}\) be an ideal of \(A\), and \(m\), \(n\) be non-negative integers. Let \(M\) be an \(A\)-module such that \(\mathrm{Ext}_A^i (A/\mathfrak{a},M)\) is finitely generated for all \(i \leq m +n\). We define a class \(\mathcal{S}_n (\mathfrak{a})\) of modules and we assume that \(H_{\mathfrak{a}}^s (M) \in \mathcal{S}_n (\mathfrak{a})\) for all \(s \leq m\). We show that \(H_{\mathfrak{a}}^s (M)\) is \(\mathfrak{a}\)-cofinite for all \(s \leq m\) if either \(n = 1\) or \(n \geq 2\) and \(\mathrm{Ext}_A^i (A/\mathfrak{a}, H_{\mathfrak{a}}^{t + s - i} (M))\) is finitely generated for all \( 1 \leq t \leq n - 1\), \(i \leq t - 1\) and \( s \leq m\). If \(A\) is a ring of dimension \(d\) and \(M \in \mathcal{S}_n (\mathfrak{a})\) for any ideal \(\mathfrak{a}\) of dimension \(\leq d-1\), then we prove that \(M \in \mathcal{S}_n (\mathfrak{a})\) for any ideal \(\mathfrak{a}\) of \(A\).

Recommendations

Cites work

Cited in

(1)

Cofiniteness of modules and local cohomology

This page was built for publication: A criterion for cofiniteness of modules

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