LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE
CLASSES
KAMRAN DIVAANI-AAZAR, HOSSEIN FARIDIAN AND MASSOUD TOUSI

arXiv:1701.07727v1 [math.AC] 26 Jan 2017

Abstract. Given a Serre class S of modules, we compare the containment of the
Koszul homology, Ext modules, Tor modules, local homology, and local cohomology
in S up to a given bound s ≥ 0. As some applications, we give a full characterization of noetherian local homology modules. Further, we establish a comprehensive
vanishing result which readily leads to the formerly known descriptions of the numerical invariants width and depth in terms of Koszul homology, local homology, and
local cohomology. Also, we immediately recover a few renowned vanishing criteria
scattered about the literature.

Contents
1. Introduction

1

2. Prerequisites

3

3. Containment in Serre Classes

6

4. Noetherianness and Artinianness

13

5. Vanishing Results

15

References

21

1. Introduction
Throughout this paper, R denotes a commutative noetherian ring with identity, and
M(R) designates the category of R-modules.
The theory of local cohomology was invented and introduced by A. Grothendieck
about six decades ago and has since been tremendously delved and developed by various
algebraic geometers and commutative algebraists.
There exists a dual theory, called the theory of local homology, which was initiated
by Matlis [Mat2] and [Mat1] in 1974, and its investigation was continued by Simon in
[Si1] and [Si2]. After the ground-breaking achievements of Greenlees and May [GM],
and Alonso Tarrı́o, Jeremı́as López and Lipman [AJL], a new era in the study of this
theory has undoubtedly begun; see e.g. [Sc], [CN1], [CN2], [Fr], [Ri], [MD], [HD] and
[DFT]. However, the theory of local homology has not been addressed as it merits and
2010 Mathematics Subject Classification. 13D07; 13D45; 13C05.
Key words and phrases. Koszul homology module; local cohomology module; local homology module;
Serre class.
The research of the first author is supported by grants from IPM (No. 95130212).
1

2

K. DIVAANI-AAZAR, H. FARIDIAN AND M. TOUSI

numerous counterparts of the results in local cohomology are yet to be explored and
unearthed in local homology.
One interesting problem in local cohomology is the investigation of the artinian property. This is very well accomplished in [Me2, Theorem 5.5]. The dual problem, i.e. the
noetherian property of local homology will be, among other things, probed carefully in
this paper.
An excursion among the results [AM1, Theorem 2.10], [AM2, Theorem 2.9], [BA,
Corollary 3.1], [BKN, Lemma 2.1], [DM, Proposition 1 and Corollary 1], [HK, Lemma
4.2], [Me2, Theorem 2.1], [WW, Propositions 7.1, 7.2 and 7.4], and [Yo, Lemma 1.2]
reveals an in-depth connection between local cohomology, Ext modules, Tor modules,
and Koszul homology in terms of their containment in a Serre class of modules. The
purpose of this paper is to bring the local homology into play and uncover the true
connection between all these homology and cohomology theories, and consequently, to
illuminate and enhance the aforementioned results.
To shed some light on this revelation, we observe that given elements a = a1 , . . . , an ∈
R and an R-module M , the Koszul homology Hi (a; M ) = 0 for every i < 0 or i > n,
and further



Hn (a; M ) ∼
= 0 :M (a) ∼
= Ext0R R/(a), M

and


H0 (a; M ) ∼
= M/(a)M ∼
= TorR
0 R/(a), M .

These isomorphisms suggest the existence of an intimate connection between the
Koszul homology on the one hand, and Ext and Tor modules on the other hand. The
connection seems to manifest as in the following casual diagram for any given integer
s ≥ 0:


Ext0R R/(a), M , . . . , ExtsR R/(a), M
{z
}
|

l
z
}|
{
Hn (a; M ), . . . , Hn−s (a; M ), . . . , Hs (a; M ), . . . , H0 (a; M )
{z
}
|

l
z
}|

{
R
R/(a),
M
,
.
.
.
,
Tor
M
R/(a),
TorR
0
s

As the above diagram depicts, the Koszul homology acts as a connecting device in
attaching the Ext modules to Tor modules in an elegant way. One such connection, one
may surmise, could be the containment in some Serre class of modules that we are about
to study in the following sections. More specifically, we prove the following as our main
results; see Definitions 2.1, 2.3, 2.5, 2.7, and Theorems 3.1 and 3.3.
Theorem 1.1. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an Rmodule. Let P be a Serre property. Then the following three conditions are equivalent
for any given s ≥ 0:

LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE CLASSES

3

(i) Hi (a; M ) ∈ SP (R) for every 0 ≤ i ≤ s.
(ii) TorR
i (N, M ) ∈ SP (R) for every finitely generated R-module N with SuppR (N ) ⊆
V (a), and for every 0 ≤ i ≤ s.
(iii) TorR
i (N, M ) ∈ SP (R) for some finitely generated R-module N with SuppR (N ) =
V (a), and for every 0 ≤ i ≤ s.
If in addition, P satisfies the condition Da , then the above three conditions are equivalent
to the following condition:
 
b a for every 0 ≤ i ≤ s.
(iv) Hia (M ) ∈ SP R
And dually:

Theorem 1.2. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an Rmodule. Let P be a Serre property. Then the following three conditions are equivalent
for any given s ≥ 0:
(i) Hn−i (a; M ) ∈ SP (R) for every 0 ≤ i ≤ s.
(ii) ExtiR (N, M ) ∈ SP (R) for every finitely generated R-module N with SuppR (N ) ⊆
V (a), and for every 0 ≤ i ≤ s.
(iii) ExtiR (N, M ) ∈ SP (R) for some finitely generated R-module N with SuppR (N ) =
V (a), and for every 0 ≤ i ≤ s.
If in addition, P satisfies the condition Ca , then the above three conditions are equivalent
to the following condition:
(iv) Hai (M ) ∈ SP (R) for every 0 ≤ i ≤ s.
Having these results at our disposal, by specializing when s = n and the Serre property is noetherianness, artinianness, or being zero, we draw a handful of fruitful conclusions on noetherianness, artinianness, and vanishing of the five foregoing homology and
cohomology theories.

2. Prerequisites
First and foremost, we recall the notion of a Serre class of modules.
Definition 2.1. A class S of R-modules is said to be a Serre class if, given any short
exact sequence
0 → M ′ → M → M ′′ → 0
of R-modules, we have M ∈ S if and only if M ′ , M ′′ ∈ S.
The following example showcases the stereotypical instances of Serre classes.
Example 2.2. Let a be an ideal of R. Then the following classes of modules are Serre
classes:
(i) The zero class.
(ii) The class of all noetherian R-modules.
(iii) The class of all artinian R-modules.

4

K. DIVAANI-AAZAR, H. FARIDIAN AND M. TOUSI

(iv) The class of all minimax R-modules.
(v) The class of all minimax and a-cofinite R-modules; see [Me1, Corollary 4.4].
(vi) The class of all weakly Laskerian R-modules.
(v) The class of all Matlis reflexive R-modules.
We will be concerned with a change of rings when dealing with Serre classes. Therefore, we adopt the following notion of Serre property to exclude any possible ambiguity
in the statement of the results.
Definition 2.3. A property P concerning modules is said to be a Serre property if

SP (R) := M ∈ M(R) M satisfies the property P

is a Serre class for every ring R.

Given a Serre property, there naturally arise the corresponding notions of depth and
width.
Definition 2.4. Let a be an ideal of R, and M an R-module. Let P be a Serre property.
Then:
(i) Define the P-depth of M with respect to a to be
n
o
P-depthR (a, M ) := inf i ≥ 0 ExtiR (R/a, M ) ∈
/ SP (R) .

(ii) Define the P-width of M with respect to a to be
n
o
P-widthR (a, M ) := inf i ≥ 0 TorR
/ SP (R) .
i (R/a, M ) ∈

It is clear that upon letting P be the Serre property of being zero, we recover the
classical notions of depth and width.
We next remind the definition of local cohomology and local homology functors. Let
a be an ideal of R. We let

n
o
Γa (M ) := x ∈ M at x = 0 for some t ≥ 1

for an R-module M , and Γa (f ) := f |Γa (M) for an R-homomorphism f : M → N . This
provides us with the so-called a-torsion functor Γa (−) on the category of R-modules.
The ith local cohomology functor with respect to a is defined to be
Hai (−) := Ri Γa (−)
for every i ≥ 0. In addition, the cohomological dimension of a with respect to M is
n
o
cd(a, M ) := sup i ≥ 0 Hai (M ) 6= 0 .
Recall that an R-module M is said to be a-torsion if M = Γa (M ). It is well-known
ba -module structure in such a way
that any a-torsion R-module M enjoys a natural R

ba -submodules coincide. Besides, we have
that the lattices of its R-submodules and R
b a ⊗R M ∼
ba -modules.
R
= M both as R-modules and R
Likewise, we let

ca = lim(M/an M )
Λa (M ) := M
←
−
n

LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE CLASSES

5

for an R-module M , and Λa (f ) := fb for an R-homomorphism f : M → N . This provides

us with the so-called a-adic completion functor Λa (−) on the category of R-modules. The
ith local homology functor with respect to a is defined to be
Hia (−) := Li Λa (−)
for every i ≥ 0. Besides, the homological dimension of a with respect to M is

hd(a, M ) := sup i ≥ 0 Hia (M ) 6= 0 .

The next conditions are also required to be imposed on the Serre classes when we
intend to bring the local homology and local cohomology into the picture.
Definition 2.5. Let P be a Serre property, and a an ideal of R. We say that P satisfies
the condition Da if the following statements hold:
(i) If R is a-adically complete and M/aM ∈ SP (R) for some R-module M , then
H0a (M ) ∈ SP (R).

 
ba .
(ii) For any a-torsion R-module M , we have M ∈ SP (R) if and only if M ∈ SP R

Example 2.6. Let a be an ideal of R. Then we have:

(i) The Serre property of being zero satisfies the condition Da . Use [Si1, Lemma
5.1 (iii)].
(ii) The Serre property of being noetherian satisfies the condition Da . See [DFT,
Lemma 2.5].
Melkersson [AM3, Definition 2.1] defines the condition Ca for Serre classes. Adopting
his definition, we have:
Definition 2.7. Let P be a Serre property, and a an ideal of R. We say that P satisfies
the condition Ca if the containment (0 :M a) ∈ SP (R) for some R-module M , implies
that Γa (M ) ∈ SP (R).
Example 2.8. Let a be an ideal of R. Then we have:
(i) The Serre property of being zero satisfies the condition Ca . Indeed, if M is an
R-module such that (0 :M a) = 0, then it can be easily seen that Γa (M ) = 0.
(ii) The Serre property of being artinian satisfies the condition Ca . This follows from
the Melkersson’s Criterion [Me2, Theorem 1.3].
(iii) A Serre class which is closed under taking direct limits is called a torsion theory.
There exists a whole bunch of torsion theories, e.g. given any R-module L, the
class

TL := M ∈ M(R) SuppR (M ) ⊆ SuppR (L)

is a torsion theory. One can easily see that any torsion theory satisfies the
condition Ca .

6

K. DIVAANI-AAZAR, H. FARIDIAN AND M. TOUSI

We finally describe the Koszul homology briefly. The Koszul complex K R (a) on an
element a ∈ R is the R-complex
a

K R (a) := Cone(R −
→ R),
and the Koszul complex K R (a) on a sequence of elements a = a1 , . . . , an ∈ R is the
R-complex
K R (a) := K R (a1 ) ⊗R · · · ⊗R K R (an ).
It is easy to see that K R (a) is a complex of finitely generated free R-modules concentrated in degrees n, . . . , 0. Given any R-module M , there is an isomorphism of
R-complexes



K R (a) ⊗R M ∼
= Σn HomR K R (a), M ,

which is sometimes referred to as the self-duality property of the Koszul complex. Accordingly, we feel free to define the Koszul homology of the sequence a with coefficients
in M , by setting






Hi (a; M ) := Hi K R (a) ⊗R M ∼
= Hi−n HomR K R (a), M

for every i ≥ 0.

3. Containment in Serre Classes
In this section, we study the containment of Koszul homology, Ext modules, Tor
modules, local homology, and local cohomology in Serre classes.
In the proof of Theorem 3.1 below, we use the straightforward observation that given
elements a = a1 , . . . , an ∈ R, a finitely generated R-module N , and an R-module M , if
M belongs to a Serre class S, then Hi (a; M ) ∈ S, ExtiR (N, M ) ∈ S, and TorR
i (N, M ) ∈ S
for every i ≥ 0. For a proof refer to [AT, Lemma 2.1].
Theorem 3.1. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an Rmodule. Let P be a Serre property. Then the following three conditions are equivalent
for any given s ≥ 0:
(i) Hi (a; M ) ∈ SP (R) for every 0 ≤ i ≤ s.
(ii) TorR
i (N, M ) ∈ SP (R) for every finitely generated R-module N with SuppR (N ) ⊆
V (a), and for every 0 ≤ i ≤ s.
(iii) TorR
i (N, M ) ∈ SP (R) for some finitely generated R-module N with SuppR (N ) =
V (a), and for every 0 ≤ i ≤ s.
If in addition, P satisfies the condition Da , then the above three conditions are equivalent
to the following condition:
 
b a for every 0 ≤ i ≤ s.
(iv) Hia (M ) ∈ SP R

Proof. (i) ⇒ (iii): Set N = R/a. Let F be a free resolution of R/a consisting of finitely

generated R-modules. Then the R-complex F ⊗R M is isomorphic to an R-complex of
the form
∂

∂

2
1
· · · → M s2 −→
M s1 −→
M s0 → 0.

LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE CLASSES

7

We note that
∼
∼
TorR
0 (R/a, M ) = coker ∂1 = H0 (a; M ) ∈ SP (R),

(3.1.1)

by the assumption. If s = 0, then we are done. Suppose that s ≥ 1. The short exact
sequence
0 → im ∂1 → M s0 → coker ∂1 → 0,
induces the exact sequence
Hi+1 (a; coker ∂1 ) → Hi (a; im ∂1 ) → Hi (a; M s0 ).
The assumption together with the display (3.1.1) imply that the two lateral terms of
the above exact sequence belong to SP (R), so Hi (a; im ∂1 ) ∈ SP (R) for every 0 ≤ i ≤ s.
The short exact sequence
0 → ker ∂1 → M s1 → im ∂1 → 0,
yields the exact sequence
Hi+1 (a; im ∂1 ) → Hi (a; ker ∂1 ) → Hi (a; M s1 ).
Therefore, Hi (a; ker ∂1 ) ∈ SP (R) for every 0 ≤ i ≤ s − 1. As s ≥ 1, we see that
H0 (a; ker ∂1 ) ∈ SP (R). The short exact sequence
0 → im ∂2 → ker ∂1 → TorR
1 (R/a, M ) → 0,

(3.1.2)

implies the exact sequence



(R/a,
M
)
→ 0.
H0 (a; ker ∂1 ) → H0 a; TorR
1


R
Therefore, H0 a; TorR
1 (R/a, M ) ∈ SP (R). But a Tor1 (R/a, M ) = 0, so


R
∼
TorR
1 (R/a, M ) = H0 a; Tor1 (R/a, M ) ∈ SP (R).
If s = 1, then we are done. Suppose that s ≥ 2. The short exact sequence (3.1.2) induces
the exact sequence



Hi+1 a; TorR
1 (R/a, M ) → Hi (a; im ∂2 ) → Hi (a; ker ∂1 ) .

It follows that Hi (a; im ∂2 ) ∈ SP (R) for every 0 ≤ i ≤ s − 1. The short exact sequence
0 → ker ∂2 → M s2 → im ∂2 → 0,
yields the exact sequence
Hi+1 (a; im ∂2 ) → Hi (a; ker ∂2 ) → Hi (a; M s2 ).
Thus Hi (a; ker ∂2 ) ∈ SP (R) for every 0 ≤ i ≤ s−2. As s ≥ 2, we see that H0 (a; ker ∂2 ) ∈
SP (R). The short exact sequence

0 → im ∂3 → ker ∂2 → TorR
2 R/a, M → 0,

yields the exact sequence



H0 (a; ker ∂2 ) → H0 a; TorR
2 (R/a, M ) → 0.

8

K. DIVAANI-AAZAR, H. FARIDIAN AND M. TOUSI

As before, we conclude that


R
∼
TorR
2 (R/a, M ) = H0 a; Tor2 (R/a, M ) ∈ SP (R).
If s = 2, then we are done. Proceeding in this manner, we see that TorR
i (R/a, M ) ∈
SP (R) for every 0 ≤ i ≤ s.
(iii) ⇒ (ii): Let L be a finitely generated R-module with SuppR (L) ⊆ V (a). By
induction on s, we show that TorR
i (L, M ) ∈ SP (R) for every 0 ≤ i ≤ s. Let s = 0. Then
N ⊗R M ∈ S(R). Using Gruson’s Filtration Lemma [Va, Theorem 4.1], there is a finite
filtration
0 = L0 ⊆ L1 ⊆ · · · ⊆ Lt−1 ⊆ Lt = L,
such that Lj /Lj−1 is isomorphic to a quotient of a finite direct sum of copies of N for
every 1 ≤ j ≤ t. Given any 1 ≤ j ≤ t, the exact sequence
0 → Kj → N rj → Lj /Lj−1 → 0,

(3.1.3)
induces the exact sequence

N rj ⊗R M → (Lj /Lj−1 ) ⊗R M → 0.
It follows that (Lj /Lj−1 ) ⊗R M ∈ SP (R). Now the short exact sequence
0 → Lj−1 → Lj → Lj /Lj−1 → 0,

(3.1.4)
yields the exact sequence

Lj−1 ⊗R M → Lj ⊗R M → (Lj /Lj−1 ) ⊗R M.
A successive use of the above exact sequence, letting j = 1, . . . , t, implies that L ⊗R M ∈
SP (R).
Now let s ≥ 1, and suppose that the results holds true for s − 1. The induction
hypothesis implies that TorR
i (L, M ) ∈ SP (R) for every 0 ≤ i ≤ s − 1. Hence, it suffices
to show that TorR
s (L, M ) ∈ SP (R). Given any 1 ≤ j ≤ t, the short exact sequence (3.1.3)
induces the exact sequence

R
R
rj
TorR
s (N , M ) → Tors Lj /Lj−1 , M → Tors−1 (Kj , M ).

(Kj , M ) ∈ SP (R), so from the above exact
The induction hypothesis shows that TorR
 s−1
R
sequence we get that Tors Lj /Lj−1 , M ∈ SP (R). Now, the short exact sequence (3.1.4)

yields the exact sequence


R
R
TorR
s (Lj−1 , M ) → Tors (Lj , M ) → Tors Lj /Lj−1 , M .

A successive use of the above exact sequence, letting j = 1, . . . , t, implies that
TorR
s (L, M ) ∈ SP (R).
(ii) ⇒ (i): The hypothesis implies that TorR
i (R/a, M ) ∈ SP (R) for every 0 ≤ i ≤ s.
The R-complex K R (a) ⊗R M is isomorphic to an R-complex of the form
∂

∂

∂

2
n
1
M t1 −→
M tn−1 → · · · → M t2 −→
M → 0.
0 → M −→

LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE CLASSES

9

We have
H0 (a; M ) ∼
= TorR
= coker ∂1 ∼
0 (R/a, M ) ∈ SP (R),

(3.1.5)

by the assumption. If s = 0, then we are done. Suppose that s ≥ 1. The short exact
sequence
0 → im ∂1 → M → coker ∂1 → 0,
induces the exact sequence
R
R
TorR
i+1 (R/a, coker ∂1 ) → Tori (R/a, im ∂1 ) → Tori (R/a, M ).

The assumption along with the display (3.1.5) imply that the two lateral terms of the
above exact sequence belong to SP (R), so TorR
i (R/a, im ∂1 ) ∈ SP (R) for every 0 ≤ i ≤ s.
The short exact sequence
0 → ker ∂1 → M t1 → im ∂1 → 0,
yields the exact sequence
R
R
t1
TorR
i+1 (R/a, im ∂1 ) → Tori (R/a, ker ∂1 ) → Tori (R/a, M ).

Therefore, TorR
i (R/a, ker ∂1 ) ∈ SP (R) for every 0 ≤ i ≤ s − 1. As s ≥ 1, we see that
(R/a) ⊗R ker ∂1 ∈ SP (R). The short exact sequence
0 → im ∂2 → ker ∂1 → H1 (a; M ) → 0,

(3.1.6)

implies the exact sequence
(R/a) ⊗R ker ∂1 → (R/a) ⊗R H1 (a; M ) → 0.
Therefore, (R/a) ⊗R H1 (a; M ) ∈ SP (R). But aH1 (a; M ) = 0, so
H1 (a; M ) ∼
= (R/a) ⊗R H1 (a; M ) ∈ SP (R).
If s = 1, then we are done. Suppose that s ≥ 2. The short exact sequence (3.1.6) induces
the exact sequence

R
R
TorR
i+1 R/a, H1 (a; M ) → Tori (R/a, im ∂2 ) → Tori (R/a, ker ∂1 ).

It follows that TorR
i (R/a, im ∂2 ) ∈ SP (R) for every 0 ≤ i ≤ s − 1. The short exact
sequence
0 → ker ∂2 → M t2 → im ∂2 → 0,
yields the exact sequence

R
R
t2
TorR
i+1 R/a, im ∂2 → Tori (R/a, ker ∂2 ) → Tori (R/a, M ).

Thus TorR
i (R/a, ker ∂2 ) ∈ SP (R) for every 0 ≤ i ≤ s − 2. As s ≥ 2, we see that
(R/a) ⊗R ker ∂2 ∈ SP (R). The short exact sequence
0 → im ∂3 → ker ∂2 → H2 (a; M ) → 0,
implies the exact sequence
(R/a) ⊗R ker ∂2 → (R/a) ⊗R H2 (a; M ) → 0.

10

K. DIVAANI-AAZAR, H. FARIDIAN AND M. TOUSI

As before, we conclude that
H2 (a; M ) ∼
= (R/a) ⊗R H2 (a; M ) ∈ SP (R).
If s = 2, then we are done. Proceeding in this manner, we infer that Hi (a; M ) ∈ SP (R)
for every 0 ≤ i ≤ s.
Now, assume that the Serre property P satisfies the condition Da . We first note that
ba
since TorR
i (R/a, M ) is an a-torsion R-module, it has an R -module structure such that


ba
R
R
a
a ba
a
∼
∼
b
b
b
R
/a
R
,
R
⊗
M
,
Tor
R
⊗
Tor
(R/a,
M
)
(R/a,
M
)
TorR
=
=
R
R
i
i
i

ba -modules. Moreover, by [Si2, Lemma 2.3], we
for every i ≥ 0 both as R-modules and R

have

ba

Hia (M ) ∼
= HiaR




b a ⊗R M ,
R

ba -modules. With this preparation we prove:
for every i ≥ 0 both as R-modules and R

(iv) ⇒ (iii): We let N = R/a, and show that TorR
i (R/a, M ) ∈ SP (R) for every

0 ≤ i ≤ s. First suppose that R is a-adically complete. By [DFT, Lemma 2.6], there is
a first quadrant spectral sequence


R
a
2
(3.1.7)
Ep,q
= TorR
p R/a, Hq (M ) ⇒ Torp+q (R/a, M ).
p

2
The hypothesis implies that Ep,q
∈ SP (R) for every p ≥ 0 and 0 ≤ q ≤ s. Let 0 ≤ i ≤ s.

There is a finite filtration
0 = U −1 ⊆ U 0 ⊆ · · · ⊆ U i = TorR
i (R/a, M ),
∞
∞
2
for every 0 ≤ p ≤ i. Since Ep,i−p
is a subquotient of Ep,i−p
such that U p /U p−1 ∼
= Ep,i−p
and 0 ≤ i − p ≤ s, we infer that
∞
∈ SP (R)
U p /U p−1 ∼
= Ep,i−p

for every 0 ≤ p ≤ i. A successive use of the short exact sequence
0 → U p−1 → U p → U p /U p−1 → 0,
by letting p = 0, . . . , i, implies that TorR
i (R/a, M ) ∈ SP (R).
Now, consider the general case. Since

 

ba b a
ba ,
⊗R M ∼
HiaR R
= Hia (M ) ∈ SP R

for every 0 ≤ i ≤ s, the special case implies that
 


ba
R
∼
ba ,
b a /aR
ba, R
ba ⊗R M ∈ SP R
R
TorR
i (R/a, M ) = Tori

for every 0 ≤ i ≤ s. However, TorR
i (R/a, M ) is a-torsion, so the condition Da implies
that TorR
i (R/a, M ) ∈ SP (R) for every 0 ≤ i ≤ s.
(ii) ⇒ (iv): It follows from the hypothesis that TorR
i (R/a, M ) ∈ SP (R) for every
0 ≤ i ≤ s. First suppose that R is a-adically complete. We argue by induction on s. Let
s = 0. Then M/aM ∈ SP (R), whence H0a (M ) ∈ SP (R) by the condition Da .
Now let s ≥ 1, and suppose that the result holds true for s − 1. The induction
hypothesis implies that Hia (M ) ∈ SP (R) for every 0 ≤ i ≤ s − 1. Hence, it suffices to

LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE CLASSES

11

show that Hsa (M ) ∈ SP (R). Consider the spectral sequence (3.1.7). By the hypothesis,
2
Ep,q
∈ SP (R) for every p ∈ Z and 0 ≤ q ≤ s − 1. There is a finite filtration

0 = U −1 ⊆ U 0 ⊆ · · · ⊆ U s = TorR
s (R/a, M ),
∞
for every 0 ≤ p ≤ s. As TorR
such that U p /U p−1 ∼
= Ep,s−p
s (R/a, M ) ∈ SP (R), we
conclude that
E∞ ∼
= U 0 ∈ SP (R).
= U 0 /U −1 ∼
0,s

Let r ≥ 2, and consider the differentials
drr,s−r+1

dr0,s

r
r
r
−−→ E−r,s+r−1
= 0.
−−−−−→ E0,s
Er,s−r+1
r
2
Since s − r + 1 ≤ s − 1 and Er,s−r+1
is a subquotient of Er,s−r+1
, the hypothesis implies
r
that Er,s−r+1
∈ SP (R), and consequently im drr,s−r+1 ∈ SP (R) for every r ≥ 2. We thus

obtain
r+1 ∼
r
/ im drr,s−r+1 ,
E0,s
= ker dr0,s / im drr,s−r+1 = E0,s

and consequently a short exact sequence
(3.1.8)

r+1
r
0 → im drr,s−r+1 → E0,s
→ E0,s
→ 0.

r+1
∞ ∼
There is an integer r0 ≥ 2, such that E0,s
for every r ≥ r0 . It follows that
= E0,s
r0 +1
r0
E0,s ∈ SP (R). Now, the short exact sequence (3.1.8) implies that E0,s
∈ SP (R).

Using the short exact sequence (3.1.8) inductively, we conclude that
2
Hsa (M )/aHsa (M ) ∼
∈ SP (R).
= E0,s

Therefore, by [DFT, Lemma 2.4] and the condition Da , we get

Hsa (M ) ∼
= H0a Hsa (M ) ∈ SP (R).

Now, consider the general case. Since TorR
i (R/a, M ) is an a-torsion R-module such

that TorR
i (R/a, M ) ∈ SP (R) for every 0 ≤ i ≤ s, we deduce that

 

ba
R
a
a ba
∼
b
b
ba ,
TorR
R
/a
R
,
R
⊗
M
Tor
(R/a,
M
)
∈
S
=
R
P R
i
i

for every 0 ≤ i ≤ s. But the special case yields that
 


ba
ba ,
ba ⊗R M ∈ SP R
Hia (M ) ∼
= HiaR R

for every 0 ≤ i ≤ s.



The following special case may be of independent interest.
Corollary 3.2. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an Rmodule. Let P be a Serre property satisfying the condition Da . Then the following
conditions are equivalent:
(i) M/aM ∈ SP (R).
 
ba .
(ii) H0a (M ) ∈ SP R
 
ba .
ca ∈ SP R
(iii) M

12

K. DIVAANI-AAZAR, H. FARIDIAN AND M. TOUSI

Proof. (i) ⇔ (ii): Follows from Theorem 3.1 upon letting s = 0.
ca is
(ii) ⇒ (iii): By [Si1, Lemma 5.1 (i)], the natural homomorphism H0a (M ) → M

surjective. Thus the result follows.
 
 
ba . However, by
ca /aM
ca ∈ SP R
ba , we see that M
ca ∈ SP R
(iii) ⇒ (i): Since M
 
ba .
ca /aM
ca ∼
[Si1, Theorem 1.1], we have M
= M/aM . It follows that M/aM ∈ SP R

But M/aM is a-torsion, so by the condition Da , we have M/aM ∈ SP (R).



Using similar arguments, we can prove the dual result to Theorem 3.1. It is worth
noting that the following result is proved in [AM3, Theorem 2.9]. However, the condition
Ca is assumed to be satisfied in all four statements, but here we only require that the
condition Ca is satisfied for the last statement. Moreover, the techniques used there are
quite different than those used here.
Theorem 3.3. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an Rmodule. Let P be a Serre property. Then the following three conditions are equivalent
for any given s ≥ 0:
(i) Hn−i (a; M ) ∈ SP (R) for every 0 ≤ i ≤ s.
(ii) ExtiR (N, M ) ∈ SP (R) for every finitely generated R-module N with SuppR (N ) ⊆
V (a), and for every 0 ≤ i ≤ s.
(iii) ExtiR (N, M ) ∈ SP (R) for some finitely generated R-module N with SuppR (N ) =
V (a), and for every 0 ≤ i ≤ s.
If in addition, P satisfies the condition Ca , then the above three conditions are equivalent
to the following condition:
(iv) Hai (M ) ∈ SP (R) for every 0 ≤ i ≤ s.
Proof. The proof is similar to that of Theorem 3.1. However, instead of the spectral
sequence (3.1.7), we use the third quadrant spectral sequence


−p−q
2
= Ext−p
R/a, Ha−q (M ) ⇒ ExtR
(R/a, M ).
Ep,q
R
p


If we let the integer s exhaust the whole nonzero range of Koszul homology, i.e. s = n,
then we can effectively combine Theorems 3.1 and 3.3 to obtain the following result which
in turn generalizes [BA, Corollary 3.1].
Corollary 3.4. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an Rmodule. Let P be a Serre property. Then the following conditions are equivalent:
(i) Hi (a; M ) ∈ SP (R) for every 0 ≤ i ≤ n.
(ii) TorR
i (N, M ) ∈ SP (R) for every finitely generated R-module N with SuppR (N ) ⊆
V (a), and for every i ≥ 0.
(iii) TorR
i (N, M ) ∈ SP (R) for some finitely generated R-module N with SuppR (N ) =
V (a), and for every 0 ≤ i ≤ n.
(iv) ExtiR (N, M ) ∈ SP (R) for every finitely generated R-module N with SuppR (N ) ⊆
V (a), and for every i ≥ 0.

LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE CLASSES

13

(v) ExtiR (N, M ) ∈ SP (R) for some finitely generated R-module N with SuppR (N ) =
V (a), and for every 0 ≤ i ≤ n.
Proof. (i) ⇔ (ii) and (i) ⇔ (iv): Since Hi (a; M ) = 0 for every i > n, these equivalences
follow from Theorems 3.1 and 3.2, respectively.
(i) ⇔ (iii): Follows from Theorem 3.1.
(i) ⇔ (v): Follows from Theorem 3.3.



The following corollaries describe the numerical invariants P-depth and P-width in
terms of Koszul homology, local homology, and local cohomology.
Corollary 3.5. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an Rmodule. Let P be a Serre property. Then the following assertions hold:

(i) P-depthR (a, M ) = inf i ≥ 0 Hn−i (a; M ) ∈
/ SP (R) .

/ SP (R) .
(ii) P-widthR (a, M ) = inf i ≥ 0 Hi (a; M ) ∈

(iii) We have P-depthR (a, M ) < ∞ if and only if P-widthR (a, M ) < ∞. Moreover
in this case, we have

sup i ≥ 0 Hi (a; M ) ∈
/ SP (R) + P-depthR (a, M ) = n.

Proof. (i) and (ii): Follows from Theorems 3.1 and 3.3.
(iii): The first assertion follows from Corollary 3.4. For the second assertion, note
that


/ SP (R) = n − sup i ≥ 0 Hi (a; M ) ∈
/ SP (R) .
inf i ≥ 0 Hn−i (a; M ) ∈



Corollary 3.6. Let a be an ideal of R, and M an R-module. Let P be a Serre property.
Then the following assertions hold:
(i) If P satisfies the condition Ca , then

n
o
P-depthR (a, M ) = inf i ≥ 0 Hai (M ) ∈
/ SP (R) .

(ii) If P satisfies the condition Da , then

 
a
ba
.
P-widthR (a, M ) = inf i ≥ 0 Hi (M ) ∈
/ SP R

(iii) If P satisfies both conditions Ca and Da , and P-depthR (a, M ) < ∞, then
P-depthR (a, M ) + P-widthR (a, M ) ≤ ara(a).
Proof. (i) and (ii): Follows from Theorems 3.1 and 3.3.
(iii): Clear by (i), (ii), and Corollary 3.5 (iii).



4. Noetherianness and Artinianness
In this section, we apply the results of Section 3 to obtain some characterizations
of noetherian local homology modules and artinian local cohomology modules. The
following result together with Corollary 4.4 generalize [WW, Propositions 7.1, 7.2 and
7.4] when applied to modules.

14

K. DIVAANI-AAZAR, H. FARIDIAN AND M. TOUSI

Proposition 4.1. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an
R-module. Then the following assertions are equivalent for any given s ≥ 0:
(i) Hi (a; M ) is a finitely generated R-module for every 0 ≤ i ≤ s.
(ii) TorR
i (N, M ) is a finitely generated R-module for every finitely generated Rmodule N with SuppR (N ) ⊆ V (a), and for every 0 ≤ i ≤ s.
(iii) TorR
i (N, M ) is a finitely generated R-module for some finitely generated Rmodule N with SuppR (N ) = V (a), and for every 0 ≤ i ≤ s.
ba -module for every 0 ≤ i ≤ s.
(iv) Hia (M ) is a finitely generated R

Proof. Obvious in view of Example 2.6 (ii) and Theorem 3.1.



The following corollary provides a characterization of noetherian local homology modules in its full generality.
Corollary 4.2. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an Rmodule. Then the following assertions are equivalent:
ba -module for every i ≥ 0.
(i) Hia (M ) is a finitely generated R

(ii) Hi (a; M ) is a finitely generated R-module for every 0 ≤ i ≤ n.
(iii) Hi (a; M ) is a finitely generated R-module for every 0 ≤ i ≤ hd(a, M ).
(iv) TorR
i (N, M ) is a finitely generated R-module for every finitely generated Rmodule N with SuppR (N ) ⊆ V (a), and for every i ≥ 0.
(v) TorR
i (N, M ) is a finitely generated R-module for some finitely generated Rmodule N with SuppR (N ) = V (a), and for every 0 ≤ i ≤ hd(a, M ).
(vi) ExtiR (N, M ) is a finitely generated R-module for every finitely generated Rmodule N with SuppR (N ) ⊆ V (a), and for every i ≥ 0.
(vii) ExtiR (N, M ) is a finitely generated R-module for some finitely generated Rmodule N with SuppR (N ) = V (a), and for every 0 ≤ i ≤ n.
Proof. (ii) ⇔ (iv) ⇔ (vi) ⇔ (vii): Follows from Corollary 3.4.
(iii) ⇔ (v): Follows from Proposition 4.1 upon setting s = hd(a, M ).
(i) ⇔ (iii): Since Hia (M ) = 0 for every i > hd(a, M ), the result follows from Proposition 4.1.
(i) ⇔ (iv): Follows from Proposition 4.1.



One should note that a slightly weaker version of the following result has been proved
in [Me2, Theorem 5.5] by using a different method.
Proposition 4.3. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an
R-module. Then the following assertions are equivalent for any given s ≥ 0:
(i) Hn−i (a; M ) is an artinian R-module for every 0 ≤ i ≤ s.
(ii) ExtiR (N, M ) is an artinian R-module for every finitely generated R-module N
with SuppR (N ) ⊆ V (a), and for every 0 ≤ i ≤ s.
(iii) ExtiR (N, M ) is an artinian R-module for some finitely generated R-module N
with SuppR (N ) = V (a), and for every 0 ≤ i ≤ s.

LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE CLASSES

15

(iv) Hai (M ) is an artinian R-module for every 0 ≤ i ≤ s.
Proof. Obvious in view of Example 2.8 (ii) and Theorem 3.3.



The following corollary provides a characterization of artinian local cohomology modules in its full generality.
Corollary 4.4. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an Rmodule. Then the following assertions are equivalent:
(i) Hai (M ) is an artinian R-module for every i ≥ 0.
(ii) Hi (a; M ) is an artinian R-module for every 0 ≤ i ≤ n.
(iii) Hn−i (a; M ) is an artinian R-module for every 0 ≤ i ≤ cd(a, M ).
(iv) ExtiR (N, M ) is an artinian R-module for every finitely generated R-module N
with SuppR (N ) ⊆ V (a), and for every i ≥ 0.
(v) ExtiR (N, M ) is an artinian R-module for some finitely generated R-module N
with SuppR (N ) = V (a), and for every 0 ≤ i ≤ cd(a, M ).
(vi) TorR
i (N, M ) is an artinian R-module for every finitely generated R-module N
with SuppR (N ) ⊆ V (a), and for every i ≥ 0.
(vii) TorR
i (N, M ) is an artinian R-module for some finitely generated R-module N
with SuppR (N ) = V (a), and for every 0 ≤ i ≤ n.
Proof. (ii) ⇔ (iv) ⇔ (vi) ⇔ (vii): Follows from Corollary 3.4.
(iii) ⇔ (v): Follows from Proposition 4.3 upon setting s = cd(a, M ).
(i) ⇔ (iii): Since Hai (M ) = 0 for every i > cd(a, M ), the result follows from Proposition 4.3.
(i) ⇔ (iv): Follows from Proposition 4.3.



5. Vanishing Results
In this section, we treat the vanishing results. Since the property of being zero is a
Serre property that satisfies the condition Da , we obtain the following result.
Proposition 5.1. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an
R-module. Then the following assertions are equivalent for any given s ≥ 0:
(i) Hi (a; M ) = 0 for every 0 ≤ i ≤ s.
(ii) TorR
i (N, M ) = 0 for every R-module N with SuppR (N ) ⊆ V (a), and for every
0 ≤ i ≤ s.
(iii) TorR
i (N, M ) = 0 for some finitely generated R-module N with SuppR (N ) =
V (a), and for every 0 ≤ i ≤ s.
(iv) Hia (M ) = 0 for every 0 ≤ i ≤ s.
Proof. Immediate from Theorem 3.1. For part (ii), note that every module is a direct
limit of its finitely generated submodules and Tor functor commutes with direct limits.


16

K. DIVAANI-AAZAR, H. FARIDIAN AND M. TOUSI

The following result is proved in [St, Theorem 4.4] using a different method, but here
it is an immediate by-product of Proposition 5.1.
Corollary 5.2. Let M be an R-module, and N a finitely generated R-module. Then the
following conditions are equivalent for any given s ≥ 0:
(i) TorR
i (N, M ) = 0 for every 0 ≤ i ≤ s.

R
(ii) Tori R/ annR (N ), M = 0 for every 0 ≤ i ≤ s.

Proof. Immediate from Proposition 5.1.



We observe that Corollary 5.3 below generalizes [Va, Corollary 4.3], which states that
if N is a faithful finitely generated R-module, then N ⊗R M = 0 if and only if M = 0.
Corollary 5.3. Let M be an R-module, and N a finitely generated R-module. Then the
following conditions are equivalent:
(i) M ⊗R N = 0.
(ii) M = annR (N )M .
In particular, we have

SuppR (M ⊗R N ) = SuppR M/ annR (N )M .

Proof. For the equivalence of (i) and (ii), let s = 0 in Corollary 5.2. For the second part,
note that given any p ∈ Spec(R), we have annR (N )p = annRp (Np ), and so (M ⊗R N )p =


0 if and only if M/ annR (N )M p = 0.
The support formula in Corollary 5.3 generalizes the well-known formula
SuppR (M ⊗R N ) = SuppR (M ) ∩ SuppR (N ),
which holds whenever M and N are both assumed to be finitely generated.
Using Corollary 3.6, we intend to obtain two somewhat known descriptions of the
numerical invariant widthR (a, M ) in terms of the Koszul homology and local homology.
However, we need some generalizations of the five-term exact sequences. To the best of
our knowledge, the only place where one may find such generalizations is [Ro, Corollaries
10.32 and 10.34]. But, the statements there are not correct and no proof is presented.
Hence due to lack of a suitable reference, we deem it appropriate to include the correct
statements with proofs for the convenience of the reader.
2
Lemma 5.4. Let Ep,q
⇒ Hp+q be a spectral sequence. Then the following assertions
p

hold:
2
2
(i) If Ep,q
⇒ Hp+q is first quadrant and there is an integer n ≥ 1 such that Ep,q
=0
p

for every q ≤ n − 2, then there is a five-term exact sequence
2
2
2
Hn+1 → E2,n−1
→ E0,n
→ Hn → E1,n−1
→ 0.
2
2
(ii) If Ep,q
⇒ Hp+q is third quadrant and there is an integer n ≥ 1 such that Ep,q
=0
p

for every q ≥ 2 − n, then there is a five-term exact sequence
2
2
2
0 → E−1,1−n
→ H−n → E0,−n
→ E−2,1−n
→ H−n−1 .

LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE CLASSES

17

Proof. (i): Consider the following homomorphisms
d20,n

d22,n−1

d24,n−2

2
2
2
2
−−−→ E−2,n+1
= 0.
−−−−→ E0,n
−−−−→ E2,n−1
0 = E4,n−2

We thus have
3
∼
E2,n−1
= ker d22,n−1 / im d24,n−2 ∼
= ker d22,n−1 ,

and
3 ∼
E0,n
= ker d20,n / im d22,n−1 = coker d22,n−1 .

Let r ≥ 3. Consider the following homomorphisms
drr+2,n−r

dr2,n−1

r
r
r
0 = Er+2,n−r
−−−−−−→ E2,n−1
−−−−→ E2−r,n+r−2
= 0.

We thus have
r+1 ∼
r
E2,n−1
.
= ker dr2,n−1 / im drr+2,n−r ∼
= E2,n−1

Therefore,
∞
4
3
∼
∼
.
ker d22,n−1 ∼
= ··· ∼
= E2,n−1
= E2,n−1
= E2,n−1

Further, consider the following homomorphisms
dr0,n

drr,n−r+1

r
r
r
−−−→ E−r,n+r−1
= 0.
−−−−−−→ E0,n
0 = Er,n−r+1

We thus have
r+1 ∼
r
.
E0,n
= E0,n
= ker dr0,n / im drr,n−r+1 ∼

Therefore,
∞
4 ∼
3 ∼
.
coker d22,n−1 ∼
= ··· ∼
= E0,n
= E0,n
= E0,n

Hence, we get the following exact sequence
(5.4.1)

d22,n−1

∞
2
2
∞
0 → E2,n−1
→ E2,n−1
−−−−→ E0,n
→ E0,n
→ 0.

There is a finite filtration
0 = U −1 ⊆ U 0 ⊆ · · · ⊆ U n+1 = Hn+1 ,
∞
∼
such that Ep,n+1−p
= U p /U p−1 for every 0 ≤ p ≤ n + 1. If 3 ≤ p ≤ n + 1, then
∞
n + 1 − p ≤ n − 2, so Ep,n+1−p
= 0. It follows that

U 2 = U 3 = · · · = U n+1 .
∞
∼
Now since E2,n−1
= U 2 /U 1 , we get an exact sequence
∞
Hn+1 → E2,n−1
→ 0.

Splicing this exact sequence to the exact sequence (5.4.1), we get the following exact
sequence
(5.4.2)

d22,n−1

2
2
∞
Hn+1 → E2,n−1
−−−−→ E0,n
→ E0,n
→ 0.

On the other hand, there is a finite filtration
0 = V −1 ⊆ V 0 ⊆ · · · ⊆ V n = Hn ,

18

K. DIVAANI-AAZAR, H. FARIDIAN AND M. TOUSI

∞
∼
such that Ep,n−p
= V p /V p−1 for every 0 ≤ p ≤ n. If 2 ≤ p ≤ n, then n − p ≤ n − 2, so
∞
Ep,n−p
= 0. It follows that

V 1 = V 2 = · · · = V n.
∞
∞ ∼
∼
As E0,n
= V 1 /V 0 , we get the short exact sequence
= V 0 /V −1 = V 0 and E1,n−1
∞
∞
0 → E0,n
→ Hn → E1,n−1
→ 0.

Splicing this short exact sequence to the exact sequence (5.4.2), yields the exact sequence
d22,n−1

2
2
∞
Hn+1 → E2,n−1
−−−−→ E0,n
→ Hn → E1,n−1
→ 0.

(5.4.3)

Let r ≥ 2, and consider the following homomorphisms
drr+1,n−r

dr1,n−1

r
r
r
0 = Er+1,n−r
−−−−−−→ E1,n−1
−−−−→ E1−r,n+r−2
= 0.

We thus have
r+1 ∼
r
.
E1,n−1
= E1,n−1
= ker dr1,n−1 / im drr+1,n−r ∼

Therefore,
∞
3
2
∼
∼
.
E1,n−1
= ··· ∼
= E1,n−1
= E1,n−1

Thus from the exact sequence (5.4.3), we get the desired exact sequence
d22,n−1

2
2
2
Hn+1 → E2,n−1
−−−−→ E0,n
→ Hn → E1,n−1
→ 0.

(ii): Similar to (i).



For the next result, we need to recall the notion of coassociated prime ideals. Given
an R-module M , a prime ideal p ∈ Spec(R) is said to be a coassociated prime ideal
of M if p = annR (M/N ) for some submodule N of M such that M/N is an artinian
R-module. The set of coassociated prime ideals of M is denoted by CoassR (M ).
Corollary 5.5. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an Rmodule. Then the following assertions hold:


(i) widthR (a, M ) = inf i ≥ 0 Hi (a; M ) 6= 0 = inf i ≥ 0 Hia (M ) 6= 0 .
a
(ii) TorR
(R/a, M ) ∼
(M ).
= (R/a) ⊗R Hwidth
R (a,M)
widthR (a,M)

a
n
(M ) ∼
TorR
(iii) Λa Hwidth
= lim
widthR (a,M) (R/a , M ).
R (a,M)
←
−
n




a
(iv) CoassR TorR
widthR (a,M) (R/a, M ) = CoassR HwidthR (a,M) (M ) ∩ V (a).
Proof. (i): Follows immediately from Corollaries 3.5 and 3.6.
(ii): Consider the first quadrant spectral sequence


R
2
a
Ep,q
= TorR
p R/a, Hq (M ) ⇒ Torp+q (R/a, M ).
p

Let n = widthR (a, M ). Then by (i),
gives the exact sequence

2
Ep,q

= 0 for every q ≤ n − 1. Now, Lemma 5.4 (i)



R
a
TorR
(R/a,
M
)
→
Tor
R/a,
H
(M
)
→ (R/a) ⊗R Hna (M ) →
n+1
2
n−1


R
a
TorR
n (R/a, M ) → Tor1 R/a, Hn−1 (M ) → 0.

LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE CLASSES

But

so

19





R
a
a
R/a,
H
(M
)
,
R/a,
H
(M
)
=
0
=
Tor
TorR
n−1
n−1
1
2
(R/a) ⊗R Hna (M ) ∼
= TorR
n (R/a, M ).

n
(iii): Using (ii) and the facts that Hia (M ) ∼
= Hia (M ) and widthR (an , M ) =
widthR (a, M ) for all n, i ≥ 0, we get:




n a
a
a
(M
)
(M
)/a
H
(M
)
=
lim
H
Λa Hwidth
widthR (a,M)
widthR (a,M)
R (a,M)
←−

n

n
∼
TorR
= lim
widthR (a,M) (R/a , M ).
←−
n

(iv): Using (ii) and [Ya, Theorem 1.21], we have




a
CoassR TorR
(M
)
(R/a)
⊗
H
(R/a,
M
)
=
Coass
R
R
widthR (a,M)
widthR (a,M)


a
= SuppR (R/a) ∩ CoassR Hwidth
(M
)
(a,M)
R


a
= V (a) ∩ CoassR HwidthR (a,M) (M ) .

Note that part (iii) of Corollary 5.5 is proved in [Si2, Proposition 2.5] by deploying
a different method. On the other hand, in parallel with Corollary 5.10 (iii) below, one
may wonder if intersecting
with V(a) in part (iv) of Corollary 5.5 is redundant. In other

a
words, CoassR HwidthR (a,M) (M ) may be contained in V (a). However, the following
example shows that this is not the case in general.

Example 5.6. Let R := Q[X, Y ](X,Y ) and m := (X, Y )R. Then widthR (m, R) = 0 and
bm ∼
H0m (R) ∼
= Q[[X, Y ]].
=R

For each n ∈ Z, let pn := (X − nY )R. Then it is easy to see that R/pn ∼
= Q[Y ](Y ) , and
so it is not a complete local ring. By [Z, Beispiel 2.4],
 

bm
CoassR H0m (R) = CoassR R

= {m} ∪ p ∈ Spec R R/p is not a complete local ring .


Hence CoassR H0m (R) is not a finite set, while CoassR H0m (R) ∩ V (m) = {m}. In

particular, CoassR H0m (R) * V (m).
Since the property of being zero is a Serre property that satisfies the condition Ca ,
we obtain the following result.
Proposition 5.7. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an
R-module. Then the following assertions are equivalent for any given s ≥ 0:
(i) Hn−i (a; M ) = 0 for every 0 ≤ i ≤ s.
(ii) ExtiR (N, M ) = 0 for every finitely generated R-module N with SuppR (N ) ⊆
V (a), and for every 0 ≤ i ≤ s.

20

K. DIVAANI-AAZAR, H. FARIDIAN AND M. TOUSI

(iii) ExtiR (N, M ) = 0 for some finitely generated R-module N with SuppR (N ) =
V (a), and for every 0 ≤ i ≤ s.
(iv) Hai (M ) = 0 for every 0 ≤ i ≤ s.
Proof. Immediate from Theorem 3.3.



The following result is proved in [St, Theorem 3.2] using a different method, but here
it is an immediate by-product of Proposition 5.7.
Corollary 5.8. Let M be an R-module, and N a finitely generated R-module. Then the
following conditions are equivalent for any given s ≥ 0:
(i) ExtiR (N, M ) = 0 for every 0 ≤ i ≤ s.

(ii) ExtiR R/ annR (N ), M = 0 for every 0 ≤ i ≤ s.

Proof. Immediate from Proposition 5.7.



The following special case may be of independent interest.
Corollary 5.9. Let M be an R-module, and N a finitely generated R-module. Then the
following conditions are equivalent:
(i) HomR (N, M ) = 0.

(ii) 0 :M annR (N ) = 0.

Proof. Let s = 0 in Corollary 5.8.



It is easy to deduce from Corollary 5.9 that given a finitely generated R-module N ,
we have HomR (N, M ) 6= 0 if and only if there are elements x ∈ N and 0 6= y ∈ M with
annR (x) ⊆ annR (y), which is known as the Hom Vanishing Lemma in [C, Page 11].
We state the dual result to Corollary 5.5 for the sake of integrity and completeness.
Parts (ii) and (iii) of Corollary 5.10 below are stated in [Mar, Proposition 1.1], and it is
only mentioned that part (ii) can be deduced from a spectral sequence. In addition, a
proof of this result is offered in [Me1, Corollary 2.3] by using different techniques.
Corollary 5.10. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an
R-module. Then the following assertions hold:
n
o

(i) depthR (a, M ) = inf i ≥ 0 Hn−i (a; M ) 6= 0 = inf i ≥ 0 Hai (M ) 6= 0 .


depthR (a,M)
depth (a,M)
(M ) .
(ii) ExtR R
(R/a, M ) ∼
= HomR R/a, Ha




depthR (a,M)
depth (a,M)
(M ) .
(R/a, M ) = AssR Ha
(iii) AssR ExtR R
Proof. (i): Follows immediately from Corollaries 3.5 and 3.6.
(ii): Consider the third quadrant spectral sequence


−p−q
2
R/a, Ha−q (M ) ⇒ ExtR
(R/a, M ),
Ep,q
= Ext−p
R
p

and use Lemma 5.4 (ii).
(iii): Follows from (ii).
Finally, we present the following comprehensive vanishing result.



LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE CLASSES

21

Corollary 5.11. Let a = (a1 , . . . , an ) be an ideal of R, a = a1 , . . . , an , and M an
R-module. Then the following assertions are equivalent:
(i) Hi (a; M ) = 0 for every 0 ≤ i ≤ n.
(ii) Hi (a; M ) = 0 for every 0 ≤ i ≤ hd(a, M ).
(iii) Hi (a; M ) = 0 for every n − cd(a, M ) ≤ i ≤ n.
(iv) TorR
i (N, M ) = 0 for every R-module N with SuppR (N ) ⊆ V (a), and for every
i ≥ 0.
(v) TorR
i (N, M ) = 0 for some finitely generated R-module N with SuppR (N ) =
V (a), and for every 0 ≤ i ≤ hd(a, M ).
(vi) ExtiR (N, M ) = 0 for every finitely generated R-module N with SuppR (N ) ⊆
V (a), and for every i ≥ 0.
(vii) ExtiR (N, M ) = 0 for some finitely generated R-module N with SuppR (N ) =
V (a), and for every 0 ≤ i ≤ cd(a, M ).
(viii) Hia (M ) = 0 for every i ≥ 0.
(ix) Hai (M ) = 0 for every i ≥ 0.
Proof. Follows from Propositions 5.1 and 5.7.



The following corollary is proved in [Si2, Corollary 1.7]. However, it is an immediate
consequence of the results thus far obtained.
Corollary 5.12. Let a be an ideal of R, and M an R-module. Then depthR (a, M ) < ∞
if and only if widthR (a, M ) < ∞. Moreover in this case, we have
depthR (a, M ) + widthR (a, M ) ≤ ara(a).
Proof. Clear by Corollary 3.6 (iii).



References
[AJL] L. Alonso Tarrı́o, A. Jeremı́as López and J. Lipman, Local homology and cohomology on schemes,
Ann. Sci. École Norm. Sup., (4), 30(1), (1997), 1-39.
[AM1] M. Aghapournahr and L. Melkersson, A natural map in local cohomology, Arkiv för Matematik,
48(2), (2010), 243-251.
[AM2] M. Aghapournahr and L. Melkersson, Cofiniteness and coassociated primes of local cohomology
modules, Math. Scand., 105(2), (2009), 161-170.
[AM3] M. Aghapournahr and L. Melkersson, Local cohomology and Serre subcategories, J. Algebra,
320(3), (2008), 1275-1287.
[AT] M. Asgharzadeh and M. Tousi, A unified approach to local cohomology modules using Serre classes,
Canad. Math. Bull., 53(4), (2010), 577-586.
[BA] K. Bahmanpour and M. Aghapournahr, A note on cofinite modules, Comm. Algebra, 44(9),
(2016), 3683-3691.
[BKN] K. Bahmanpour, I. Khalili and R. Naghipour, Cofiniteness of torsion functors of cofinite modules, Colloquium Mathematicum, 136(2), (2014), 221-230.
[C] L.W. Christesen, Gorenstein dimensions, Lecture Note in Mathematics, 1747, 2000.
[CN1] N.T. Cuong and T.T. Nam, A local homology theory for linearly compact modules, J. Algebra,
319(11), (2008), 4712-4737.

22

K. DIVAANI-AAZAR, H. FARIDIAN AND M. TOUSI

[CN2] N.T. Cuong and T.T. Nam, The I-adic completion and local homology for Artinian modules,
Math. Proc. Cambridge Philos. Soc., 131(1), (2001), 61-72.
[DFT] K. Divaani-Aazar, H. Faridian and M. Tousi, Local homology, finiteness of Tor modules and
cofiniteness, preprint.
[DM] D. Delfino and T. Marley, Cofinite modules and local cohomology, J. Pure Appl. Algebra, 121(1),
(1997), 45-52.
[Fr] A. Frankild, Vanishing of local homology, Math. Z., 244(3), (2003), 615-630.
[GM] J.P.C. Greenlees and J.P. May, Derived functors of I-adic completion and local homology, J.
Algebra, 149(2), (1992), 438-453.
[HD] M. Hatamkhani and K. Divaani-Aazar, On the vanishing of local homology modules, Glasg. Math.
J., 55(2), (2013), 457-464.
[HK] G. Huneke and J. Koh, Cofiniteness and vanishing of local cohomology modules, Math. Proc.
Camb. Phil. Soc., 110(3), (1991), 421-429.
[Mar] T. Marley, The associated primes of local cohomology modules over rings of small dimension,
Manuscripta Math., 104(4), (2001), 519-525.
[Mat1] E. Matlis, The higher properties of R-sequences, J. Algebra, 50(1), (1978), 77-112.
[Mat2] E. Matlis, The Koszul complex and duality, Comm. Algebra, 1, (1974), 87-144.
[Me1] L. Melkersson, Modules cofinite with respect to an ideal, J. Algebra, 285(2), (2005), 649-668.
[Me2] L. Melkersson, On asymptotic stability for sets of prime ideals connected with the powers of an
ideal, Math. Proc. Cambridge Philos. Soc., 107(2), (1990), 267-271.
[MD] F. Mohammadi Aghjeh Mashhad and K. Divaani-Aazar, Local homology and Gorenstein flat
modules, J. Algebra Appl., 11(2), (2012), 1250022, 8 pp.
[Ri] A.S. Richardson, Co-localization, co-support and local homology, Rocky Mountain J. Math., 36(5),
(2006), 1679-1703.
[Ro] J.J. Rotman, An introduction to homological algebra, Universitext, Springer, New York, second
edition, 2009.
[Sc] P. Schenzel, Proregular sequences, local cohomology, and completion, Math. Scand., 92(2), (2003),
161-180.
[Si1] A.M. Simon, Some homological properties of complete modules, Math. Proc. Camb. Phil. Soc.,
108(2), (1990), 231-246.
[Si2] A.M. Simon, Adic-completion and some dual homological results, Publ. Mat. Camb., 36(2B),
(1992), 965-979.
[St] M. Stokes, Some dual homological results for modules over commutative rings, J. Pure Appl. Algebra, 65(2), (1990), 153-162.
[Va] W. Vasconcelos, Devisor theory in module categories, North-Holland, Amsterdam, 1974.
[WW] S. Sather-Wagstaff and R. Wicklein, Support and adic finiteness for complexes, Comm. Algebra,
to appear.
[Ya] S. Yassemi, Coassociated primes, Comm. Algebra, 23(4), (1995), 1473-1498.
[Yo] K.-I. Yoshida, Cofiniteness of local cohomology modules for ideals of dimension one, Nagoya Math.
J., 147, (1997), 179-191.
[Z] H. Zöschinger, Der Krullsche Durchschnittssatz für kleine Untermoduln, Arch. Math. (Basel),
62(4), (1994), 292-299.

K. Divaani-Aazar, Department of Mathematics, Alzahra University, Vanak, Post Code
19834, Tehran, Iran-and-School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O. Box 19395-5746, Tehran, Iran.
E-mail address: kdivaani@ipm.ir

LOCAL HOMOLOGY, KOSZUL HOMOLOGY AND SERRE CLASSES

23

H. Faridian, Department of Mathematics, Shahid Beheshti University, G. C., Evin, Tehran,
Iran, Zip Code 1983963113.
E-mail address: h.faridian@yahoo.com
M. Tousi, Department of Mathematics, Shahid Beheshti University, G.C., Tehran, Iran,
P.O. Box 19395-5746, Tehran, Iran.
E-mail address: mtousi@ipm.ir

