FALTINGS’ LOCAL-GLOBAL PRINCIPLE FOR THE MINIMAXNESS
OF LOCAL COHOMOLOGY MODULES

arXiv:1308.5540v1 [] 26 Aug 2013

MOHAMMAD REZA DOUSTIMEHR AND REZA NAGHIPOUR∗
Abstract. The concept of Faltings’ local-global principle for the minimaxness of local
cohomology modules over a commutative Noetherian ring R is introduced, and it is shown
that this principle holds at level 2. We also establish the same principle at all levels over
an arbitrary commutative Noetherian ring of dimension not exceeding 3. These generalize
the main results of Brodmann et al. in [6]. Moreover, it is shown that if M is a finitely
generated R-module, a an ideal of R and r a non-negative integer such that at Hai (M ) is
skinny for all i < r and for some positive integer t, then for any minimax submodule N of
Har (M ), the R-module HomR (R/a, Har (M )/N ) is finitely generated. As a consequence,
it follows that the associated primes of Har (M )/N are finite. This generalizes the main
results of Brodmann-Lashgari [5] and Quy [16].

1. Introduction
Throughout this paper, let R denote a commutative Noetherian ring (with identity)
and a an ideal of R. For an R-module M, the ith local cohomology module of M with
support in V (a) is defined as:
Hai (M) = lim ExtiR (R/an , M).
−→
n≥1

Local cohomology was first defined and studied by Grothendieck. We refer the reader to
[7] or [11] for more details about local cohomology. An important theorem in local cohomology is Faltings’ local-global principle for the finiteness dimension of local cohomology
i
(Mp )
modules [10, Satz 1], which states that for a positive integer r, the Rp -module HaR
p
i
is finitely generated for all i ≤ r and for all p ∈ Spec R if and only if the R-module Ha (M)
is finitely generated for all i ≤ r.
Another formulation of Faltings’ local-global principle, particularly relevant for this paper, is in terms of the generalization of the finiteness dimension fa (M) of M relative to
a, where
fa (M) := inf{i ∈ N0 | Hai (M) is not finitely generated}.

(†)

With the usual convention that the infimum of the empty set of integers is interpreted as
∞. For any non-negative integer n, the nth finiteness dimension fan (M) of M relative to
Key words and phrases. Local cohomology, cofinite module, local-global principle, minimax module.
2010 Mathematics Subject Classification: 13D45, 14B15, 13E05.
This research was been in part supported by a grant from IPM.
∗
Corresponding author: e-mail: naghipour@ipm.ir (Reza Naghipour).
1

MOHAMMAD REZA DOUSTIMEHR AND REZA NAGHIPOUR∗

2

a is defined by
fan (M) := inf{faRp (Mp ) | p ∈ Supp(M/aM) and dim R/p ≥ n}.
Note that fan (M) is either a positive integer or ∞ and that fa0 (M) = fa (M). The nth
finiteness dimension fan (M) of M relative to a has been introduced by Bahmanpour et
al. in [4] and they showed that
fa1 (M) = inf{i ∈ N : Hai (M) is not minimax}.
We shall show that
fa1 (M) = inf{i ∈ N0 : at Hai (M) is not minimax for all t ∈ N}.
This motivates to introduce the notion of the b-minimaxness dimension µba(M) of M
relative to a, by
µba (M) = inf{i ∈ N : bt Hai (M) is not minimax for all t ∈ N},
where b is a second ideal of R. Note that µaa (M) = fa1 (M).
Recall that the b-finiteness dimension of M relative to a is defined by
fab (M) := inf{i ∈ N0 | b 6⊆ Rad(0 :R Hai (M))}
= inf{i ∈ N0 | bn Hai (M) 6= 0 for all n ∈ N}.
Brodmann et al. in [6] defined and studied the concept of the local-global principle
for annihilation of local cohomology modules at level r ∈ N for the ideals a and b of R.
We say that the local-global principle for the annihilation of local cohomology modules
holds at level r if for every choice of ideals a, b of R and every choice of finitely generated
R-module M, it is the case that
bR

faRpp (Mp ) > r

for all p ∈ Spec R ⇐⇒ fab (M) > r.

It is shown in [6] that the local-global principle for the annihilation of local cohomology
modules holds at levels 1,2, over an arbitrary commutative Noetherian ring R and at all
levels whenever dim R ≤ 4.
We say that the local-global principle for the minimaxness of local cohomology modules
holds at level r ∈ N if for every choice of ideals a, b of R with b ⊆ a and every choice of
finitely generated R-module M, it is the case that
bR

µaRpp (Mp ) > r

for all p ∈ Spec R ⇐⇒ µba (M) > r.

Our main result in Section 2 is to introduce the concept of Faltings’ local-global principle
for the minimaxness of local cohomology modules over a commutative Noetherian ring
R, and we show that this principle holds at level 2. We also establish the same principle
at all levels over an arbitrary commutative Noetherian ring of dimension not exceeding 3.
Our tools for proving the main result in Section 2 is the following:
Theorem 1.1. Let R be a Noetherian ring and let b be a second ideal of R such that
b ⊆ a. Let M be a finitely generated R-module and let r be a positive integer such that
the local cohomology modules Ha0 (M), . . . , Har−1 (M) are a-cofinite. Then
bR

µaRpp (Mp ) > r for all p ∈ Spec R ⇐⇒ µba(M) > r.

FALTINGS’ LOCAL-GLOBAL PRINCIPLE OF LOCAL COHOMOLOGY

3

Pursuing this point of view further we establish the following consequence of Theorem
1.1 which is an extension of the results of Brodmann et al. in [6, Corollary 2.3] and
Raghavan in [17] for an arbitrary Noetherian ring.
Corollary 1.2. Let R be a Noetherian ring, M a finitely generated R-module and a, b two
ideals of R such that b ⊆ a and aM 6= M. Set r ∈ {1, gradeM a, fa (M), fa1 (M), fa2 (M)}.
Then
bR
µaRpp (Mp ) > r for all p ∈ Spec R ⇐⇒ µba (M) > r.
In Section 3, we explore an interrelation between this principle and the Faltings’ localglobal principle for the annihilation of local cohomology modules, and show that the
local-global principle for the annihilation of local cohomology modules holds at level 2
over R and at all levels whenever dim R ≤ 3. These generalize and reprove the main
results of Brodmann et al. in [6].
An R-module L is said to be a FSF module if there is a finitely generated submodule N
of L such that support of quotient module L/N is a finite set. The class of FSF modules
was introduced by Quy [16] and he has given some properties of these modules. Another
main result in Section 3 is following:
Proposition 1.3. Let R be a Noetherian ring and M a finitely generated R-module. Let a
be an ideal of R and r a positive integer such that the R-modules at Ha0 (M),. . . , at Har−1 (M)
are FSF for some t ∈ N0 . Then, for any minimax submodule N of Har (M), the R-module
HomR (R/a, Har (M)/N) is finitely generated and the R-modules Ha0 (M),. . . , Har−1 (M) are
a-cofinite.
We will call a module skinny or weakly Laskerian module, if each of its homomorphic
images has only finitely many associated primes (cf. [9] and [18]). By using Proposition
1.3 we obtain the following corollary which is a generalization of the main results of
Brodmann-Lashgari [5] and Quy [16].
Corollary 1.4. Let R be a Noetherian ring and M a finitely generated R-module. Let a be
an ideal of R and r a positive integer such that the R-modules at Ha0 (M),. . . , at Har−1 (M)
are skinny. Then, for any minimax submodule N of Har (M), the set AssR Har (M)/N is
finite.
Throughout this paper, R will always be a commutative Noetherian ring with nonzero identity and a will be an ideal of R. Recall that an R-module L is called a-cofinite
if Supp L ⊆ V (a) and ExtjR (R/a, L) is finitely generated for all j ≥ 0. The concept
of a-cofinite modules were introduced by Hartshorne [12]. An R-module L is said to
be minimax, if there exists a finitely generated submodule N of L, such that L/N is
Artinian. The class of minimax modules was introduced by H. Zöschinger [19] and he has
given in [19, 20] many equivalent conditions for a module to be minimax. We shall use
Max R to denote the set of all maximal ideals of R. Also, for any ideal a of R, we denote
{p ∈ Spec R : p ⊇ a} by V (a). Finally, for any ideal b of R, the radical of b, denoted by
Rad(b), is defined to be the set {x ∈ R : xn ∈ b for some n ∈ N}. For any unexplained
notation and terminology we refer the reader to [7] and [13].

4

MOHAMMAD REZA DOUSTIMEHR AND REZA NAGHIPOUR∗

2. Local-global principle for minimaxness of local cohomology
In this section we introduce the concept of Faltings’ local-global principle for the minimaxness of local cohomology modules over a commutative Noetherian ring R, and we
show that this principle holds at level 2. We also establish the same principle at all levels
over an arbitrary commutative Noetherian ring of dimension not exceeding 3. We begin
with the following lemmas which are needed in this section.
Lemma 2.1. Let R be a Noetherian ring, a an ideal of R, and M an arbitrary R-module.
Then aM is minimax if and only if M/(0 :M a) is minimax.
Proof. This follows easily from the definition.



The next lemma, which is a generalization of [7, Lemma 9.1.2], states that the Rmodules Ha0 (M),. . . , Has−1 (M) are minimax if and only if there is an integer t ∈ N such
that at Ha0 (M),. . . , at Has−1(M) are minimax.
Lemma 2.2. Let R be a Noetherian ring, a an ideal of R, and M a finitely generated
R-module. Let s be a positive integer. Then the following statements are equivalent:
(i) Hai (M) is minimax for all i < s;
(ii) There exists a positive integer t such that at Hai (M) is minimax for all i < s.
Proof. The implication (i) =⇒ (ii) is obviously true. In order to show (ii) =⇒ (i), we
proceed by induction on s. If s = 1 there is nothing to show. Suppose that s > 1 and
the case s − 1 is settled. By inductive hypothesis the R-module Hai (M) is minimax for all
i < s − 1, and so it is enough for us to show that the R-module Has−1(M) is minimax. To
this end, since by virtue of Lemma 2.1, the R-module Has−1(M)/(0 :Has−1 (M ) at ) is minimax,
there exists a finitely generated submodule N of Has−1 (M) such that the R-module
Has−1(M)/N + (0 :Has−1 (M ) at ),
is Artinian. On the other hand in view of [3, Theorem 2.3], the R-module (0 :Has−1 (M ) at )
is finitely generated, and hence N + (0 :Has−1 (M ) at ) is also finitely generated. Therefore
Has−1(M) is minimax, as required.

Corollary 2.3. Let R be a Noetherian ring, a an ideal of R, and M a finitely generated
R-module. Let fa1 (M) denote the 1-th finiteness dimension of M relative to a. Then
fa1 (M) = inf{i ∈ N0 : at Hai (M) is not minimax for all t ∈ N}.
Proof. The result follows immediately from [4, Corollary 2.4] and Lemma 2.2.



Now, we introduce the notion of the b-minimaxness dimension µba (M) of M relative to
a, as a generalization of the b-finiteness dimension fab (M) of M relative to a.
Definition 2.4. Let M be a finitely generated module over a Noetherian ring R and let
b, a be two ideals of R such that b ⊆ a. We define the b-minimaxness dimension µba (M)
of M relative to a by
µba (M) := inf{i ∈ N : bt Hai (M) is not minimax for all t ∈ N}.

FALTINGS’ LOCAL-GLOBAL PRINCIPLE OF LOCAL COHOMOLOGY

5

Note that, since Γa (M) is minimax, we can write
µba(M) := inf{i ∈ N0 : bt Hai (M) is not minimax for all t ∈ N},
that µba (M) is either a positive integer or ∞, and, by Corollary 2.3, µaa (M) = fa1 (M).
We can also introduce the Faltings’ local-global principle for the minimaxness of local
cohomology modules which is a generalization of the Faltings’ local-global principle for
the annihilation of local cohomology modules.
Definition 2.5. Let R be a commutative Noetherian ring and let r be a positive integer.
We say that the Faltings’ local-global principle for the minimaxness of local cohomology
modules holds at level r (over the ring R) if, for every choice of ideals a, b of R with b ⊆ a
and for every choice of finitely generated R-module M, it is the case that
bR

µaRpp (Mp ) > r for all p ∈ Spec R ⇐⇒ µba (M) > r
The following theorem plays a key role in the proof of the main result of this section.
Theorem 2.6. Let R be a Noetherian ring and let a, b be two ideals of R such that b ⊆ a.
Let M be a finitely generated R-module and let r be a positive integer such that the local
cohomology modules Ha0 (M), . . . , Har−1(M) are a-cofinite. Then
bR

µaRpp (Mp ) > r for all p ∈ Spec R ⇐⇒ µba(M) > r.
Proof. Let i be an arbitrary non-negative integer such that i 6 r. It is sufficient for us to
show that there is a non-negative integer t0 such that bt0 Hai (M) is minimax. To do this,
in view of [3, Theorem 2.3], the set AssR (bt Hai (M)) is finite, for all t ∈ N0 . Thus for all
t ∈ N0 , the set Supp bt Hai (M) is a closed subset of Spec R (in the Zariski topology), and
so the descending chain
· · · ⊇ Supp(bt Hai (M)) ⊇ Supp(bt+1 Hai (M)) ⊇ . . .
is eventually stationary. Therefore there is a non-negative integer t0 such that for each
t > t0 ,
Supp(bt Hai (M)) = Supp(bt0 Hai (M)).
bR

Let m be a maximal ideal of R. Since µaRpp (Mp ) > r, for all p ∈ Spec R, it follows that
i
(Mm ) is minimax. Now, let p ∈ Spec R
there is an integer u > t0 such that (bRm )u HaR
m
be such that p $ m. Then it follows from
((bRm )u H i (Mm ))pR ∼
= (bu H i (M))p
aRm

a

m

u

Hai (M))p

and the definition of minimax modules that (b
is a finitely generated Rp module (note that a module L which is minimax has the property that the localization
Lp is a finitely generated Rp -module for each non-maximal prime ideal p). Now, as
(bu Hai (M))p is aRp -torsion, there is an integer v ≥ 1 such that (bu+v Hai (M))p = 0, and
so p 6∈ Supp bt0 Hai (M). Therefore Supp bt0 Hai (M) ⊆ Max R. Furthermore, in view of
hypothesis and [3, Theorem 2.3], the R-module HomR (R/a, bt0 Hai (M)) is finitely generated. Thus, as HomR (R/a, bt0 Hai (M)) ⊆ Max R it follows that HomR (R/a, bt0 Hai (M)) is
Artinian. As bt0 Hai (M) is a -torsion, it yields from Melkersson’s theorem [14, Theorem

MOHAMMAD REZA DOUSTIMEHR AND REZA NAGHIPOUR∗

6

1.3] that bt0 Hai (M) is Artinian. Hence bt0 Hai (M) is minimax, as required.



Corollary 2.7. Let R be a Noetherian ring, M a finitely generated R-module and a an
ideal of R with dim M/aM ≤ 1. Let b be a second ideal of R such that b ⊆ a. Then, for
any integer r,
bR
µaRpp (Mp ) > r for all p ∈ Spec R ⇐⇒ µba(M) > r.
Proof. The assertion follows from [4, Corollary 3.5] and Theorem 2.6.



Corollary 2.8. The local-global principle (for the minimaxness of local cohomology modules) holds over any (commutative Noetherian) ring R with dim R ≤ 2 at all levels r ∈ N.
Proof. The result follows easily from [8, Corollary 5.2] and Theorem 2.6.



Our next corollary is a generalization of a result of Raghavan [17].
Corollary 2.9. The local-global principle (for the minimaxness of local cohomology modules) holds at level 1 (over any commutative Noetherian ring).
Proof. The assertion follows from Theorem 2.6.



Our next corollary is a generalization of a result of Brodmann et al. [6].
Corollary 2.10. Let R be a Noetherian ring and let a, b be two ideals of R such that
b ⊆ a. Let M be a finitely generated R-module such that aM 6= M. Then
bR

µaRpp (Mp ) > gradeM a

for all p ∈ Spec R ⇐⇒ µba (M) > gradeM a.

Proof. The assertion follows from the definition of gradeM a and Theorem 2.6.



The next result is a generalization of Corollary 2.10.
Corollary 2.11. Let R be a Noetherian ring and let a, b be two ideals of R such that
b ⊆ a. Let M be a finitely generated R-module, and that r ∈ {fa (M), fa1 (M), fa2 (M)}.
Then
bR
µaRpp (Mp ) > r for all p ∈ Spec R ⇐⇒ µba (M) > r.
Proof. The assertion follows from [4, Theorems 2.3 and 3.2] and Theorem 2.6.



We are now ready to state and prove the main theorem of this section, which shows
that Faltings’ local-global principle for the minimaxness of local cohomology modules is
valid at level 2 over any commutative Noetherian R. This generalizes the main result of
Brodmann et al. in [6, Theorem 2.6].
Theorem 2.12. The local-global principle (for the minimaxness of local cohomology modules) holds over any (commutative Noetherian) ring R at level 2.

FALTINGS’ LOCAL-GLOBAL PRINCIPLE OF LOCAL COHOMOLOGY

7

bR

Proof. Let M be a finitely generated R-module such that µaRpp (Mp ) > 2 for all p ∈
Spec R. We must show that µba (M) > 2. In view of Corollary 2.9, it is enough for us
to show that there exists a non-negative integer t such that the R-module bt Ha2 (M)
is minimax. To do this, let M ′ = M/Γb (M). We first show that the R-module
HomR (R/a, Ha2(M ′ )) is finitely generated. Then the exact sequence
0 −→ Γb (M) −→ M −→ M ′ −→ 0,
induces the exact sequence
Ha1 (M) −→ Ha1 (M ′ ) −→ Ha2 (Γb (M)) −→ Ha2 (M) −→ Ha2 (M ′ ).

(†)

Next, since the set AssR Ha1 (M)) is finite, it follows from the proof of Theorem 2.6 that,
for every p ∈ Spec R with dim R/p > 0, there exists a non-negative integer u such
that (bu Ha1 (M))p = 0. Furthermore, there exists a non-negative integer v such that
bv Hai (Γb (M)) = 0 for all i ≥ 0. Thus it follows from the exact sequence obtained by
the localization of the exact sequence (†) at the prime ideal p with dim R/p > 0 and
1
(Mp′ ) = 0, for some integer k ∈ N0 . Moreover, by [7,
[7, Lemma 9.1.1] that (bRp )k HaR
p
1
(Mp′ ) = 0,
Lemma 2.1.1], there exists x ∈ b which is a non-zerodivisor on M ′ . Then xk HaR
p
and if we consider the long exact sequence of local cohomology modules (with respect to
aRp ) induced by the short exact sequence
xk

0 −→ Mp′ −→ Mp′ −→ Mp′ /xk Mp′ −→ 0,
0
1
(Mp′ /xk Mp′ ), and so it is a finitely
(Mp′ ) is a homomorphic image of HaR
we see that HaR
p
p
generated Rp -module, for all p ∈ Spec R with dim R/p > 0. It therefore follows from [4,
Proposition 2.2] that Ha1 (M ′ ) is minimax; and hence, by [3, Theorem 2.3], the R-module
HomR (R/a, Ha2(M ′ )) is finitely generated.
bR
Since µaRpp (Mp ) > 2, analogous to the proof of Theorem 2.6, for each p ∈ Spec R
with dim R/p > 0, there is up ∈ N0 such that (bup Ha2 (M))p = 0. Thus it follows
from the exact sequence obtained by the localization of the exact sequence (†) at the
prime ideal p with dim R/p > 0 and [7, Lemma 9.1.1] that (bvp Ha2 (M ′ ))p = 0, for
some integer vp ∈ N0 . Since HomR (R/a, Ha2(M ′ )) is finitely generated, it follows from
the proof of Theorem 2.6 that there is an integer k ∈ N0 such that bk Ha2 (M ′ ) is Artinian, and so Supp(bk Ha2 (M ′ )) is a finite subset of MaxR. Now, let s := v + k. Then
Supp(bs Ha2 (M)) ⊆ Supp(bk Ha2 (M ′ )) ⊆ Max R. Let Supp(bs Ha2 (M)) := {m1 , . . . , mr }.
Then by assumption, for each integer j with 1 6 j 6 r, there is a non-negative integer
sj > s such that (bsj Ha2 (M))mj is a minimax Rmj -module. If we set t = max{s1 , . . . , sr },
then Supp(bt Ha2 (M)) ⊆ {m1 , . . . , mr } and (bt Ha2 (M))mj is minimax, for all j with
1 6 j 6 r. Therefore, by [2, Theorem 3.3] and [1, Proposition 2.2], bt Ha2 (M) is a
minimax R-module, as required.


Corollary 2.13. The local-global principle (for the minimaxness of local cohomology modules) holds over any (commutative Noetherian) ring R with dim R ≤ 3.

8

MOHAMMAD REZA DOUSTIMEHR AND REZA NAGHIPOUR∗

Proof. The assertion follows from Corollary 2.9, Theorem 2.12 and [7, Exercise 7.1.7]. 
3. Annihilation and associated primes of local cohomology modules
The main goal of this section is to explore an interrelation between the Faltings’ localglobal principle for the minimaxness and annihilation of local cohomology modules, and
to show the local-global principle for the annihilation of local cohomology modules holds
at level 2 over R and at all levels whenever dim R ≤ 3. These reprove the main results of
Brodmann et al. in [6]. Moreover, it will be shown in this section that the subjects of the
previous section can be used to prove a finiteness result about local cohomology module.
In fact, we will generalize the main results of Brodmann-Lashgari and Quy. The main
result is Theorem 3.6.
The following result describes a relation between the local-global principle for the minimaxness and the annihilation (of local cohomology modules) over a commutative Noetherian ring R.
Proposition 3.1. The local-global principle for the minimaxness (of local cohomology
modules) implies the local-global principle for the annihilation (of local cohomology modules) over any (commutative Noetherian) ring R.
Proof. Let r be a non-negative integer, and suppose that the local-global principle for
the minimaxness of local cohomology modules holds at level r. Let M be a finitely
bR
generated R-module such that faRpp (Mp ) > r for all p ∈ Spec R. We must show that
bR

bR

fab (M) > r. To this end, as faRpp (Mp ) > r, it follows that µaRpp (Mp ) > r. Therefore, by
hypothesis µba (M) > r; and hence there exists t ∈ N such that bt Hai (M) is minimax for
all i ≤ r. Thus the set AssR (bt Hai (M)) is finite. Let AssR (bt Hai (M)) := {p1 , . . . , ps }. By
assumption, for each 1 ≤ j ≤ s, there is an integer tj ≥ t such that (btj Hai (M))pj = 0.
Set k := max{t1 , . . . , ts }. Then AssR (bk Hai (M)) = ∅; and hence bk Hai (M) = 0. Therefore
fab (M) > r, as required.

As a consequence of previous proposition and Theorem 2.12, the following corollary
shows that the local-global principle for the annihilation of local cohomology modules
holds at level 2 over R. This reproves the main result of Brodmann et al. in [6].
Corollary 3.2. The Local-global principle (for the annihilation of local cohomology modules) holds over any (commutative Noetherian) ring R at level 2.
Proof. The assertion follows from Proposition 3.1 and Theorem 2.12.



In [16], P. H. Quy introduced the class of FSF modules and has given some properties of
these modules. An R-module L is said to be a FSF module if there is a finitely generated
submodule N of L such that support of quotient module L/N is a finite set. It is shown
in [2, Theorem 3.3] that an R-module L is FSF if and only if it is skinny.
Proposition 3.3. Let R be a Noetherian ring, M a finitely generated R-module, a an
ideal of R and r a positive integer such that the R-modules at Ha0 (M),. . . , at Har−1(M) are

FALTINGS’ LOCAL-GLOBAL PRINCIPLE OF LOCAL COHOMOLOGY

9

FSF for some t ∈ N0 . Then the R-module HomR (R/a, Har (M)) is finitely generated and
the R-modules Ha0 (M),. . . , Har−1(M) are a-cofinite. In particular the set AssR Har (M) is
finite.
Proof. Since for each i < r, at Hai (M) is FSF, it follows that there is a finitely generated submodule Ni of at Hai (M) such that the set Supp(at Hai (M)/Ni ) is finite, and so
dim(at Hai (M)/Ni ) ≤ 1, for each i < r. Therefore, for each p ∈ Spec R with dim R/p > 1,
we have
(aRp )t H i (Mp ) ∼
= (Ni )p .
= (at H i (M))p ∼
aRp

a

i
(Mp ) is finitely generated, for each i < r. Now,
Hence the Rp -module (aRp )t HaR
p
t i
as (aRp ) HaRp (Mp ) is aRp -torsion, so there exists a non-negative integer s such that
i
i
(Mp ) is a finitely generated
(Mp ) = 0. Thus, by [7, Proposition 9.1.2], HaR
(aRp )t+s HaR
p
p
Rp -module, for every p ∈ Spec R with dim R/p > 1 and for all i < r. It therefore
follows from [4, Proposition 3.1] that HomR (R/a, Har (M)) is finitely generated and the
R-modules Ha0 (M),. . . , Har−1(M) are a-cofinite.


Corollary 3.4. Let R be a Noetherian ring, M a finitely generated R-module, a an ideal
of R and r a positive integer such that the R-modules at Ha0 (M),. . . ,at Har−1(M) are skinny.
Then the R-modules Ha0 (M),. . . , Har−1 (M) are a-cofinite and for any ideal b of R with
b ⊆ a,
bR

µaRpp (Mp ) > r for all p ∈ Spec R ⇐⇒ µba (M) > r.
Proof. Apply [2, Theorem 3.3], Proposition 3.3 and Theorem 2.6.



Corollary 3.5. Let R be a Noetherian ring, M a finitely generated R-module, a an ideal
of R and r a positive integer such that the R-modules at Ha0 (M),. . . , at Har−1 (M) have
finite support, for some t ∈ N0 . Then the R-modules Ha0 (M), . . . , Har−1(M) are a-cofinite
and for any ideal b of R with b ⊆ a,
bR

µaRpp (Mp ) > r for all p ∈ Spec R ⇐⇒ µba (M) > r.
Proof. Since the set Supp(at Hai (M)) is finite, for every i < r, it follows that the R-module
at Hai (M) is FSF for each i < r. Now the assertion follows from Corollary 3.4.

The following theorem, which is one of our main results, generalizes the main results
of Brodmann-Lashgari [5] and Quy [16].
Theorem 3.6. Let R be a Noetherian ring, M a finitely generated R-module and a an
ideal of R. Let r be a non-negative integer such that at HIi (M) is FSF for all i < r
and for some t ∈ N0 . Then, for any minimax submodule N of Har (M), the R-module
HomR (R/a, Har (M)/N) is finitely generated. In particular, the set AssR (Har (M)/N) is
finite.

10

MOHAMMAD REZA DOUSTIMEHR AND REZA NAGHIPOUR∗

Proof. In view of Proposition 3.3, HomR (R/a, Har (M)) is finitely generated. On the other
hand, according to Melkersson [15, Proposition 4.3], N is a-cofinite. Now, the exact
sequence
0 −→ N −→ Har (M) −→ Har (M)/N −→ 0
induces the following exact sequence,
HomR (R/a, Har (M)) −→ HomR (R/a, Har (M)/N) −→ Ext1R (R/a, N).
Consequently HomR (R/a, Har (M)/N) is finitely generated, as required.



In [3, Theorem 2.3], Bahmanpour and Naghipour showed that if Ha0 (M),. . . , Har−1 (M)
are minimax, then Ha0 (M),. . . , Har−1(M) are a-cofinite. The following corollary provides
a slight generalization of [3, Theorem 2.3].
Corollary 3.7. Let R be a Noetherian ring, M a finitely generated R-module, a an ideal of
R and r a positive integer such that the R-modules at Ha0 (M),. . . , at Har−1 (M) are skinny.
Then the set AssR Har (M) is finite.
Proof. Apply [2, Theorem 3.3] and Theorem 3.6.



Acknowledgments
The authors would like to thank Professor Hossein Zakeri for his reading of the first draft
and valuable discussions. We also would like to thank from the Institute for Research in
Fundamental Sciences (IPM), for its financial support.
References
[1] M. Aghapour and L. Melkersson, Finiteness properties of minimax and coatomic local cohomology
modules, Arch. Math. 94(2010), 519-528.
[2] K. Bahmanpour, On the category of weakly laskerian cofinite modules, Math. Scand., to appear.
[3] K. Bahmanpour and R. Naghipour, On the cofiniteness of local cohomology modules, Proc. Amer.
Math. Soc. 136(2008), 2359-2363.
[4] K. Bahmanpour, R. Naghipour and M. Sedghi, Minimaxness and cofiniteness properties of local
cohomology modules, Comm. Algebra, 41(2013), 2799-2814.
[5] M.P. Brodmann and F.A. Lashgari, A finiteness result for associated primes of local cohomology
modules, Proc. Amer. Math. Soc. 128(2000), 2851-2853.
[6] M.P. Brodmann, Ch. Rothaus and R.Y. Sharp, On annihilators and associated primes of local cohomology modules, J. Pure and Appl. Algebra 153(2000), 197-227.
[7] M.P. Brodmann and R.Y. Sharp, Local cohomology; an algebraic introduction with geometric applications, Cambridge University Press, Cambridge,1998.
[8] N.T. Cuong, S. Goto and N.V. Hoang, On the cofiniteness of generalized local cohomology modules,
preprint.
[9] K. Divaani-Aazar and A. Mafi, Associated primes of local cohomology modules, Proc. Amer. Math.
Soc. 133(2005), 655-660.
[10] G. Faltings, Der Endlichkeitssatz in der lokalen Kohomologie, Math. Ann. 255(1981), 45-56.
[11] A. Grothendieck, Local cohomology, Notes by R. Hartshorne, Lecture Notes in Math., 862, Springer,
New York, 1966.
[12] R. Hartshorne, Affine duality and cofiniteness, Invent. Math. 9(1970), 145-164.
[13] H. Matsumura, Commutative ring theory, Cambridge Univ. Press, Cambridge, UK, 1986.

FALTINGS’ LOCAL-GLOBAL PRINCIPLE OF LOCAL COHOMOLOGY

11

[14] L. Melkersson, On asymptotic stability for sets of prime ideals connected with the powers of an ideal,
Math. Proc. Cambridge Philos. Soc. 107(1990), 267271.
[15] L. Melkersson, Modules cofinite with respect to an ideal, J. Algebra 285(2005), 649-668.
[16] P. H. Quy, On the finiteness of associated primes of local cohomology modules, Proc. Amer. Math.
Soc. 138(2010), 1965-1968.
[17] K.N. Raghavan, Local-global principle for annihilation of local cohomology,, Contemporary Math.
159(1994), 329-331.
[18] H. Robbins, Associated primes of local cohomology and 2 -fication, J. Pure and Appl. Algebra
216(2012), 519-523.
[19] H. Zöschinger, Minimax modules, J. Algebra. 102(1986), 1-32.
[20] H. Zöschinger, Ü ber die maximalbedingung für radikalvolle untermoduln, Hokkaido Math. J.
17(1988), 101-116.
Department of Mathematics, University of Tabriz, Tabriz, Iran; and School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O. Box 19395-5746,
Tehran, Iran.
E-mail address: m doustimehr@tabrizu.ac.ir
¯
E-mail address: naghipour@ipm.ir
E-mail address: naghipour@tabrizu.ac.ir

