THE DERIVED CATEGORY ANALOGUE OF THE
HARTSHORNE-LICHTENBAUM VANISHING THEOREM

arXiv:1208.4447v1 [math.AC] 22 Aug 2012

MARZIYEH HATAMKHANI AND KAMRAN DIVAANI-AAZAR

Abstract. Let a be an ideal of a local ring (R, m) and X a d-dimensional homologically bounded
complex of R-modules whose all homology modules are finitely generated. We show that Had (X) = 0 if
b R
b + p > 0 for all prime ideals p of R̂ such that dim R̂/p − inf(X ⊗R R̂)p = d.
and only if dim R/a

1. Introduction
The Hartshorne-Lichtenbaum Vanishing Theorem is one of the most important results in the theory
of local cohomology modules. There are several proofs known now of this result; see e.g. [BH], [CS] and
[Sc]. Also, there are several generalizations of this result. The second named author, Naghipour and
Tousi [DNT] have extended it to local cohomology with support in stable under specialization subsets.
Takahashi, Yoshino and Yoshizawa [TYY] have extended it to local cohomology with respect to pairs of
ideals. Also, more recently, the Hartshorne-Lichtenbaum Vanishing Theorem is extended to generalized
local cohomology modules; see [DH]. Our aim in this paper is to establish a generalization of the
Hartshorne-Lichtenbaum Vanishing Theorem which contains all of these generalizations. We do this
by establishing the derived category analogue of the Hartshorne-Lichtenbaum Vanishing Theorem. For
giving the precise statement of this result, we need to fix some notation.
Throughout, R is a commutative Noetherian ring with nonzero identity. The derived category of Rmodules is denoted by D(R). We use the symbol ≃ for denoting isomorphisms in D(R). For a complex
X ∈ D(R), its supremum and infimum are defined, respectively, by sup X := sup{i ∈ Z|Hi (X) 6= 0}
and inf X := inf{i ∈ Z|Hi (X) 6= 0}, with the usual convention that sup ∅ = −∞ and inf ∅ = ∞. Also,
amplitude of X is defined by amp X := sup X − inf X. Recall that dimR X is defined by dimR X :=
sup{dim R/p − inf Xp |p ∈ Spec R} and we define AsshR X by
AsshR X := {p ∈ Spec R| dim R/p − inf Xp = dimR X}.
Any R-module M can be considered as a complex having M in its 0-th spot and 0 in its other spots.
We denote the full subcategory of homologically left bounded complexes by D❁ (R). Also, we denote the
full subcategory of complexes with finitely generated homology modules that are homologically bounded
f
f
(resp. homologically left bounded) by D✷
(R) (resp. D❁
(R)).

Let a be an ideal of R and X ∈ D❁ (R). A subset Z of Spec R is said to be stable under specialization
if V(p) ⊆ Z for all p ∈ Z. For any R-module M , ΓZ (M ) is defined by
ΓZ (M ) := {x ∈ M | SuppR Rx ⊆ Z}.
2010 Mathematics Subject Classification. 13D45; 13D02; 14B15.
Key words and phrases. Attached prime ideals; derived categories; local cohomology; stable under specialization subsets.
The second author was supported by a grant from IPM (No. 90130212).
1

2

M. HATAMKHANI AND K. DIVAANI-AAZAR

The right derived functor of the functor ΓZ (−) exists in D(R) and the complex RΓZ (X) is defined
by RΓZ (X) := ΓZ (I), where I is any injective resolution of X. Also, for any integer i, the i-th local
cohomology module of X with respect to Z is defined by HZi (X) := H−i (RΓZ (X)). To comply with the
usual notation, for Z := V(a), we denote RΓZ (−) and HZi (−) by RΓa (−) and Hai (−), respectively. By
f
[F3, Corollary 3.7 and Proposition 3.14 d)], for any complex X ∈ D✷
(R), we know that

sup{i ∈ Z|Hai (X) 6= 0} ≤ dimR X
with equality if R is local and a is its maximal ideal. Denote the set of all ideals b of R such that
S
V(b) ⊆ Z by F (Z). Since for any R-module M , ΓZ (M ) = b∈F (Z) Γb (M ), one can easily check that
HZi (X) ∼
H i (X) for all integers i. Hence HZi (X) = 0 for all i > dimR X.
= lim
−→b∈F (Z) b
f
Let (R, m) be a local ring, Z a stable under specialization subset of Spec R and X ∈ D✷
(R). We
prove that HZdimR X (X) = 0 if and only if for any p ∈ AsshR̂ (X ⊗R R̂), there is q ∈ Z such that
dim R̂/qR̂ + p > 0. Yoshino and Yoshizawa [YY, Theorem 2.10] have showed that for any abstract local
cohomology functor δ : D❁ (R) −→ D❁ (R), there is a stable under specialization subset Z of Spec R
such that δ ∼
= RΓZ . Thus our result may be considered as the largest generalization possible of the
Hartshorne-Lichtenbaum Vanishing Theorem. In fact, we show that it includes all known generalizations
of the Hartshorne-Lichtenbaum Vanishing Theorem.
2. Results
Let Z be a stable under specialization subset of Spec R and X ∈ D(R). The Propositions 2.1 and 2.3
below determine some situations where the local cohomology modules HZi (X) are Artinian. Recall that
S
SuppR Hi (X)).
SuppR X is defined by SuppR X := {p ∈ Spec R|Xp 6≃ 0}(=
i∈Z

f
(R). Assume that
Proposition 2.1. Let Z be a stable under specialization subset of Spec R and X ∈ D❁

SuppR X ∩ Z consists only of finitely many maximal ideals. Then HZi (X) is Artinian for all i ∈ Z.
Proof. Let p be a prime ideal and E(R/p) denote the injective envelope of R/p. Since, p is the only
associated prime ideal of E(R/p), it turns out

E(R/p) , p ∈ Z
ΓZ (E(R/p)) =
0
,p ∈
/ Z.

For each integer i, the Rp -module ExtiRp (Rp /pRp , Xp ) is finitely generated, and so
µi (p, X) := VdimRp /pRp ExtiRp (Rp /pRp , Xp ) < ∞.
By [F2, Proposition 3.18], X possesses an injective resolution I such that Ii ∼
=

i

E(R/p)(µ

F

(p,X))

p∈Spec R

for all integers i. Let i ∈ Z. Then
G
i
ΓZ (Ii ) =
ΓZ (E(R/p))(µ (p,X)) =
p∈Spec R

G

i

E(R/p)(µ

(p,X))

.

p∈SuppR X∩Z

By the assumption, SuppR X ∩Z consists only of finitely many maximal ideals. This yields that ΓZ (Ii )
is an Artinian R-module, and so HZi (X) = H−i (ΓZ (I)) is Artinian too.



THE DERIVED CATEGORY ANALOGUE OF THE ...

3

We record the following immediate corollary which extends [Z, Theorem 2.2]. We first recall some
definitions. The left derived tensor product functor −⊗L
R ∼ is computed by taking a projective resolution
of the first argument or of the second one. Also, the right derived homomorphism functor R HomR (−, ∼) is
computed by taking a projective resolution of the first argument or by taking an injective resolution of the
second one. Let a be an ideal of R and M, N two R-modules. The notion of generalized local cohomology
modules Hai (M, N ) := limn ExtiR (M/an M, N ) was introduced by Herzog in his Habilitationsschrift [He].
−→
When M is finitely generated, [Y, Theorem 3.4] yields that Hai (M, N ) ∼
= H−i (RΓa (R HomR (M, N ))) for
all integers i.
Corollary 2.2. Let a be an ideal of R and M and N two finitely generated R-modules. Assume that
SuppR M ∩ SuppR N ∩ V(a) consists only of finitely many maximal ideals. Then Hai (M, N ) is Artinian
for all i ∈ Z.
Proposition 2.3. Let Z be a stable under specialization subset of Spec R. Assume that for any finitely
generated R-module M of finite dimension, HZdimR M (M ) is Artinian. Then for any finite dimensional
f
(R), HZdimR X (X) is Artinian.
complex X ∈ D✷

Proof. Set d := dimR X and s := sup X. Clearly, we may assume that X 6≃ 0, and so n := amp X is a
non-negative integer. We argue by induction on n. Let n = 0. Then X ≃ Σs Hs (X), and so
HZd (X) = HZd (Σs Hs (X)) = HZd+s (Hs (X)).
On the other hand, by [F3, Proposition 3.5], d = sup{dim Hi (X) − i|i ∈ Z}. Hence dim Hs (X) = d + s,
and so HZd+s (Hs (X)) is Artinian by our assumption. Now, assume that n ≥ 1 and let W := τ⊃s X and
Y := τs−1⊂ X be truncated complexes of X; see [C, A.1.14]. Since amp W = 0 and amp Y ≤ n − 1, theses
complexes satisfy the induction hypothesis. Next, one has
dimR X

= sup{dimR Hi (X) − i|i ∈ Z}
= max{sup{dimR Hi (X) − i|i ∈ Z − {s}}, dimR Hs (X) − s}
= max{dimR Y, dimR W }.

Thus by Grothendieck’s Vanishing Theorem and induction hypothesis, we deduce that HZd (W ) and HZd (Y )
are Artinian. Now, by [F1, Theorem 1.41], there is a short exact sequence
0 −→ W −→ X −→ Y −→ 0
of complexes which induces a long exact sequence
f

g

HZd−1 (Y ) −→ HZd (W ) −→ HZd (X) −→ HZd (Y ) −→ 0.
It implies that HZd (X) is Artinian.



f
Corollary 2.4. Let Z be a stable under specialization subset of Spec R, a an ideal of R and X ∈ D✷
(R).

i) If R is local, then HZdimR X (X) is Artinian.
ii) If dimR X is finite, then HadimR X (X) is Artinian.
Proof. In view of the above proposition, i) follows by [DNT, Theorem 2.6 and Lemma 3.2] and ii) follows
by [BS, Exercise 7.1.7].



4

M. HATAMKHANI AND K. DIVAANI-AAZAR

Let A be an Artinian R-module. Recall that the set of attached prime ideals of A, AttR A, is the set
of all prime ideals p of R such that p = AnnR L for some quotient L of A. Clearly, A = 0 if and only
if AttR A is empty. If R is local with the maximal ideal m, then AttR A = AssR (HomR (A, E(R/m))).
Also, for an exact sequence 0 −→ U −→ V −→ W −→ 0 of Artinian R-modules, one can see AttR W ⊆
AttR V ⊆ AttR U ∪ AttR W . For proving our theorem, we need to the following lemmas.
f
dimR X
Lemma 2.5. Let (R, m) be a local ring and X ∈ D✷
(R). Then AttR (Hm
(X)) = AsshR X.
d
Proof. Set d := dimR X. By Proposition 2.1, Hm
(X) is an Artinian R-module. Hence, we have a natural
d
d
∼
isomorphism H (X) = H (X) ⊗R R̂, and so [L, Corollary 3.4.4] provides a natural R̂-isomorphism
m

m

d
d
(X ⊗R R̂). From the definition of attached prime ideals, it follows that
Hm
(X) ∼
= Hm
R̂
d
d
AttR (Hm
(X)) = {q ∩ R|q ∈ AttR̂ (Hm
(X ⊗R R̂))}.
R̂

Let q be a prime ideal of R̂, p := q ∩ R and M an R-module. We have the natural isomorphism
Mp ⊗Rp (R̂)q ∼
= (M ⊗R R̂)q . Since, the natural ring homomorphism Rp −→ (R̂)q is faithfully flat, Mp = 0
if and only if (M ⊗R R̂)q = 0. This implies that inf Xp = inf(X ⊗R R̂)q . On the other hand, one can
easily check that dimR X = dimR̂ (X ⊗R R̂). Thus, we can immediately verify that
AsshR X = {q ∩ R|q ∈ AsshR̂ (X ⊗R R̂)}.
Therefore, we may and do assume that R is complete, and so it possesses a normalized dualizing complex
D. By [Ha, Chapter V, Theorem 6.2], there is a natural isomorphism
i
Hm
(X) ∼
= HomR (Ext−i
R (X, D), E(R/m))

for all integers i. Since all homology modules of X and of D are finitely generated, X is homologically
f
bounded and the injective dimension of D is finite, it follows that R HomR (X, D) ∈ D✷
(R). In particular,

Ext−i
R (X, D) is a finitely generated R-module for all i ∈ Z. Thus we have
d
AttR (Hm
(X))

= AttR (HomR (Ext−d
R (X, D), E(R/m)))
= AssR (HomR (HomR (Ext−d
R (X, D), E(R/m))), E(R/m))
= AssR (Ext−d
R (X, D))
= AssR (Hd (R HomR (X, D))).

[F1, Theorem 16.20] implies that sup(R HomR (X, D)) = d. Let p ∈ Spec R. By [F1, Theorem 12.26],
p ∈ AssR (Hd (R HomR (X, D))) if and only if depthRp R HomR (X, D)p = −d. But, [C, Lemma A.6.4 and
A.6.32] and [F1, Theorem 15.17], yield that
depthRp R HomR (X, D)p

= depthRp (R HomRp (Xp , Dp ))
= depthRp Dp + inf Xp
= − dim R
p + inf Xp .

Therefore, p ∈ AssR (Hd (R HomR (X, D))) if and only if dim R
p − inf Xp = dimR X.
d
AttR (Hm
(X))

= AsshR X, as desired.

This means


f
Lemma 2.6. Let (R, m) be a local ring, Z a stable under specialization subset of Spec R and X ∈ D✷
(R).
dimR X
Then HZdimR X (X) is a homomorphic image of Hm
(X).

THE DERIVED CATEGORY ANALOGUE OF THE ...

5

Proof. Let a be an ideal of R and x ∈ m. Let I be an injective resolution of X. Then Ix , the localization
f
of I at x, provides an injective resolution of Xx in D✷
(Rx ). Now, [BS, Lemma 8.1.1] yields the following

exact sequence of complexes
0 −→ Γa+(x) (I) −→ Γa (I) −→ Γa (Ix ) −→ 0,
where the maps are the natural ones. Set d := dimR X. We deduce the long exact sequence
d
d
(Xx ) −→ 0.
(X) −→ Had (X) −→ HaR
· · · −→ Ha+(x)
x

By Corollary 2.4, Had (X) is Artinian. Hence Had (X) is supported at most at m, and so
d
(Xx ) ∼
HaR
= Had (X)x = 0.
x
d
Hence, the natural homomorphism Ha+(x)
(X) −→ Had (X) is epic.

We may choose x1 , x2 , . . . , xn ∈ R such that m = a + (x1 , x2 , . . . , xn ). Set ai := a + (x1 , . . . , xi−1 )
for i = 1, . . . , n + 1. By the above argument, the natural homomorphism Hadi+1 (X) −→ Hadi (X) is epic
d
for all 1 ≤ i ≤ n. Hence Had (X) is a homomorphic image of Hm
(X). This completes the proof, because
d
d
∼

HZ (X) = limHb (X), where the direct limit is over all ideals b of R such that V(b) ⊆ Z.
−→
b

f
(R).
Lemma 2.7. Let M be a finitely generated R-module and X ∈ D✷

i) dimR (M ⊗L
R X) ≤ dimR X.
ii) If SuppR M ∩ AsshR X 6= ∅, then dimR (M ⊗L
R X) = dimR X and
AsshR (M ⊗L
R X) = SuppR M ∩ AsshR X.
f
Proof. For any Noetherian local ring S and any two complexes V, W ∈ D✷
(S), Nakayama’s Lemma for

complexes asserts that inf(V ⊗L
R W ) = inf V + inf W ; see e.g. [C, Corollary A.4.16]. In particular, this
yields that SuppR (V ⊗L
R W ) = SuppR V ∩ SuppR W . Now, by noting that for any complex Y ∈ D(R),
we have
dimR Y = sup{dim R/p − inf Yp |p ∈ SuppR Y },
both assertions follow immediately.



Next, we conclude our theorem.
Theorem 2.8. Let (R, m) be a local ring, Z a stable under specialization subset of Spec R and X ∈
f
(R). Then AttR̂ (HZdimR X (X)) = {p ∈ AsshR̂ (X ⊗R R̂)| dim R̂/qR̂ + p = 0 for all q ∈ Z}.
D✷

Proof. Set d := dimR X and s := sup X. We may assume that n := amp X is a non-negative integer.
First, by induction on n, we prove the inclusion ⊆. If n = 0, then X ≃ Σs Hs (X), and so
HZd (X) = HZd (Σs Hs (X)) = HZd+s (Hs (X)).
In the proof of Proposition 2.3, we saw that dim Hs (X) = d + s, hence [DNT, Corollary 2.7] implies that
AttR̂ (HZd (X))

= AttR̂ (HZd+s (Hs (X)))
= {p ∈ AsshR̂ (Hs (X) ⊗R R̂)| dim R̂/qR̂ + p = 0 for all q ∈ Z}
= {p ∈ AsshR̂ (X ⊗R R̂)| dim R̂/qR̂ + p = 0 for all q ∈ Z}.

6

M. HATAMKHANI AND K. DIVAANI-AAZAR

Now, assume that n ≥ 1 and p ∈ AttR̂ (HZd (X)). By Lemma 2.6, HZd (X) is an homomorphic image of
d
Hm
(X), and so Lemma 2.5 yields that
d
AttR̂ (HZd (X)) ⊆ AttR̂ (Hm
(X)) = AsshR̂ (X ⊗R R̂).

Thus p ∈ AsshR̂ (X ⊗R R̂). Let W := τ⊃s X and Y := τs−1⊂ X be truncated complexes of X. We have a
short exact sequence
0 −→ W −→ X −→ Y −→ 0
of complexes and from the proof of Proposition 2.3, we know that dimR X = max{dimR W, dimR Y }.
From the long exact sequence
· · · −→ HZd (W ) −→ HZd (X) −→ HZd (Y ) −→ 0,
we deduce that
AttR̂ (HZd (X)) ⊆ AttR̂ (HZd (W )) ∪ AttR̂ (HZd (Y )).
Thus, either p ∈ AttR̂ (HZd (W )) or p ∈ AttR̂ (HZd (Y )). By Grothendieck’s Vanishing Theorem, the first
case implies that dimR W = d and the second case implies that dimR Y = d. Since amp W = 0 and
amp Y ≤ n − 1, in both cases, the induction hypothesis yields that dim R̂/qR̂ + p = 0 for all q ∈ Z.
Now, we prove the inclusion ⊇. Let p ∈ AsshR̂ (X ⊗R R̂) be such that dim R̂/qR̂ + p = 0 for all q ∈ Z.
We have to show that p ∈ AttR̂ (HZd (X)). Since HZd (X) is an Artinian R-module, we have the natural
∼ H d (X) ⊗R R̂. On the other hand, by [L, Corollary 3.4.4], for any ideal a of R,
isomorphism HZd (X) =
Z
there is a natural R̂-isomorphism H d (X) ⊗R R̂ ∼
= H d (X ⊗R R̂). Let Ẑ := {q ∈ Spec R̂|q ∩ R ∈ Z}, which
a

aR̂

can be easily checked that is a stable under specialization subset of Spec R̂. It is straightforward to see
that the two families {aR̂|a is an ideal of R with V(a) ⊆ Z} and {b|b is an ideal of R̂ with V(b) ⊆ Ẑ}
are cofinal. This implies that H d (X) ∼
= H d (X ⊗R R̂). Also, we have dim (X ⊗R R̂) = dimR X and
Z

Ẑ

R̂

dim R̂/q + p = 0 for all q ∈ Ẑ. Therefore, we may and do assume that R is complete.
Since R is complete, there is a complete regular local ring (T, n) and a surjective ring homomorphism
f
(T ) and dimT X = dimR X. Set Z̄ := {f −1 (q)|q ∈ Z},
f : T −→ R. One can easily check that X ∈ D✷

which is clearly a stable under specialization subset of Spec T . By [L, Corollary 3.4.3], for any ideal
∼ H d (X). From this, we can conclude a natural
b of T , there is a natural T -isomorphism Hbd (X) =
bR
T -isomorphism HZ̄d (X) ∼
= HZd (X). For any Artinian R-module A and any q ∈ Spec R, it turns out that
A is also Artinian as a T -module and q ∈ AttR A if and only if f −1 (q) ∈ AttT A. Finally, we have
dim T /q̄ + f −1 (p) = 0 for all q̄ ∈ Z̄ and AsshT X = {f −1 (q)|q ∈ AsshR X}. Thus from now on, we can
assume that R is a complete regular local ring.
L
Lemma 2.7 yields that dimR (p ⊗L
R X) ≤ dimR X and dimR (R/p ⊗R X) = dimR X. Let P be a

projective resolution of X. Applying − ⊗R P to the short exact sequence
0 −→ p −→ R −→ R/p −→ 0,
yields the following exact sequence of complexes
L
0 −→ p ⊗L
R X −→ X −→ R/p ⊗R X −→ 0.

It yields the following exact sequence
d
d
L
· · · −→ HZd (p ⊗L
R X) −→ HZ (X) −→ HZ (R/p ⊗R X) −→ 0.

THE DERIVED CATEGORY ANALOGUE OF THE ...

7

As R is regular, the projective dimension of any R-module is finite, and so for any finitely generated Rf
module M , one has M ⊗L
R X ∈ D✷ (R). Since dim R/q + p = 0 for all q ∈ Z, it follows that ΓZ (Γp (M )) =

Γm (M ) for all R-modules M . Let I be an injective resolution of R/p ⊗L
R X. Since
SuppR I = SuppR (R/p ⊗L
R X) ⊆ V(p),
by [L, Corollary 3.2.1], Γp (I) ≃ I, and so
ΓZ (I) ≃ ΓZ (Γp (I)) = Γm (I).
L
∼ d
In particular, there is an isomorphism HZd (R/p ⊗L
R X) = Hm (R/p ⊗R X). Therefore, by Lemmas 2.7 and
d
2.5, we deduce that p ∈ AttR (HZd (R/p ⊗L
R X)) ⊆ AttR (HZ (X)).



Now, we are ready to establish the derived category analogue of the Hartshorne-Lichtenbaum Vanishing
Theorem.
Corollary 2.9. Let (R, m) be a local ring, Z a stable under specialization subset of Spec R and X ∈
f
(R). The following are equivalent:
D✷

i) HZdimR X (X) = 0.
ii) For any p ∈ AsshR̂ (X ⊗R R̂), there is q ∈ Z such that dim R̂/qR̂ + p > 0.
f
Corollary 2.10. Let a be an ideal of the local ring (R, m) and X ∈ D✷
(R).

1) AttR̂ (HadimR X (X)) = {p ∈ AsshR̂ (X ⊗R R̂)| dim R̂/aR̂ + p = 0}.
2) The following are equivalent:
i) HadimR X (X) = 0.
ii) dim R̂/aR̂ + p > 0 for all p ∈ AsshR̂ (X ⊗R R̂).
Corollary 2.11. Let (R, m) be a local ring, Z a stable under specialization subset of Spec R and M, N two
f
finitely generated R-modules. Assume that R HomR (M, N ) ∈ D✷
(R) and set d := dimR (R HomR (M, N )).

The following are equivalent:
i) HZd (M, N ) = 0.
ii) For any p ∈ AsshR̂ (R HomR̂ (M̂ , N̂ )), there is q ∈ Z such that dim R̂/qR̂ + p > 0.
Proof. Note that R HomR (M, N )⊗R R̂ ≃ R HomR̂ (M̂ , N̂ ), and so the result follows by Corollary 2.9. 
f
Remark 2.12. Let Z be a stable under specialization subset of Spec R and X ∈ D✷
(R).

Then HZdimR X (X) is supported only at maximal
ideals. To realize this, in view of Corollary 2.4 ii), it is enough to notice that HZdimR X (X) ∼
=

1) Suppose that dimension of X is finite.

lima HadimR X (X), where the direct limit is over all ideals a of R such that V(a) ⊆ Z. But,
−→
HZdimR X (X) is not Artinian in general. To this end, let R be a finite dimensional Gorenstein
ring such that the set Z := {m ∈ Max R| ht m = dim R} is infinite. Clearly, Z is a stable under
specialization subset of Spec R. The minimal injective resolution of R has the form
G
G
G
0 −→
E(R/p) −→
E(R/p) −→ · · · −→
E(R/p) −→ 0.
ht p=0

Hence HZdim R (R) =

ht p=1

F

m∈Z

ht p=dim R

E(R/m), which is not Artinian.

8

M. HATAMKHANI AND K. DIVAANI-AAZAR

2) Suppose that R is local with the maximal ideal m and I, J two ideals of R. In [TYY], Takahashi,
Yoshino and Yoshizawa considered the following stable under specialization subset of Spec R
W (I, J) = {p ∈ Spec(R)|I n ⊆ p + J for a natural integer n}.
i
i
For each integer i, they called HI,J
(−) := HW
(I,J) (−), i-th local cohomology functor with respect

to (I, J). For the ring R itself, they extended the Hartshorne-Lichtenbaum Vanishing Theorem ;
dim R
see [TYY, Theorem 4.9]. Namely, they showed that HI,J
(R) = 0 if and only if for any prime

ideal p ∈ AsshR̂ R̂ ∩ V(J R̂), we have dim R̂/I R̂ + p > 0. On the other hand by [DNT, Theorem
dim R
2.8], HI,J
(R) = 0 if and only if for any prime ideal p ∈ AsshR̂ R̂, there is q ∈ W (I, J) such

that dim R̂/qR̂ + p > 0. Hence the following statements are equivalent:
i) For any prime ideal p ∈ AsshR̂ R̂ ∩ V(J R̂), we have dim R̂/I R̂ + p > 0.
ii) For any prime ideal p ∈ AsshR̂ R̂, there is q ∈ W (I, J) such that dim R̂/qR̂ + p > 0.
As Takahashi, Yoshino and Yoshizawa [TYY, Remark 4.10] have mentioned, it is not so easy to
check the equivalence of these statements directly. Here, we do this under the extra assumption
that R is complete. (In fact this assumption is not needed for the implication ii) =⇒ i).)
Suppose ii) holds and let p ∈ AsshR R ∩ V(J). By the assumption there is q ∈ W (I, J) such that
dim R/q + p > 0. Since q ∈ W (I, J), there is a natural integer n, such that I n ⊆ q + J. This
yields that I n + p ⊆ q + p, and so
dim R/I + p = dim R/I n + p ≥ dim R/q + p > 0.
Conversely, suppose that i) holds and let p ∈ AsshR R. First, assume that J ⊆ p. Then by
the assumption, dim R/I + p > 0, and so there is q ∈ V(I + p) such that dim R/q > 0. Then
I + J ⊆ I + p ⊆ q. Hence q ∈ W (I, J) and dim R/q + p = dim R/q > 0. Thus ii) follows when
J ⊆ p. Now, assume that J * p. By [TYY, Lemma 3.3],
\
W (m, q).
V(J) =
q∈W (m,J)

So, there is q ∈ W (m, J) ⊆ W (I, J) such that p ∈
/ W (m, q). Since p ∈
/ W (m, q), it follows that
q + p is not m-primary, and so dim R/q + p > 0.
3) Suppose that R is local and F (Z) denote the set of all ideals b of R such that V(b) ⊆ Z. As
we mentioned in the introduction HZi (X) ∼
H i (X) for all integers i. The relationship
= lim
−→b∈F (Z) b
between HZdimR X (X) and HbdimR X (X)′ s is more deeper. In fact by Theorem 2.8, we have
\
AttR̂ (HbdimR X (X)).
AttR̂ (HZdimR X (X)) =
b∈F (Z)

This implies that HZdimR X (X) = 0 if and only if HbdimR X (X) = 0 for an ideal b ∈ F (Z).
Acknowledgement . Part of this research was done during the second author’s visit to the Department of
Mathematics at the University of Nebraska-Lincoln. He thanks this department for its kind hospitality.
References
[BH] M. Brodmann and C. Huneke, A quick proof of the Hartshorne-Lichtenbaum vanishing theorem, Algebraic geometry
and its applications, (West Lafayette, IN, 1990), 305-308, Springer, New York, 1994.

THE DERIVED CATEGORY ANALOGUE OF THE ...

9

[BS] M. Brodmann and R.Y. Sharp, Local cohomology: An algebraic introduction with geometric applications, Cambridge
Studies in Advanced Mathematics, 60, Cambridge University Press, Cambridge, (1998).
[CS] F.W. Call and R.Y. Sharp, A short proof of the local Lichtenbaum-Hartshorne theorem on the vanishing of local
cohomology, Bull. London Math. Soc., 18(3), (1986), 261-264.
[C] L.W. Christensen, Gorenstein dimensions, Lecture Notes in Mathematics, 1747, Springer-Verlag, Berlin, (2000).
[DH] K. Divaani-Aazar and A. Hajikarimi, Generalized local cohomology modules and homological Gorenstein dimensions,
Comm. Algebra, 39(6), (2011), 2051-2067.
[DNT] K. Divaani-Aazar, R. Naghipour and M. Tousi, The Lichtenbaum-Hartshorne theorem for generalized local cohomology and connectedness, Comm. Algebra, 30(8), (2002), 3687-3702.
[F1] H-B. Foxby, Hyperhomological algebra & commutative rings, in preparation.
[F2] H-B. Foxby, A homological theory of complexes of modules, Preprint Series no. 19 a & 19 b, Department of Mathematics,
University of Copenhagen, 1981.
[F3] H-B. Foxby, Bounded complexes of flat modules, J. Pure Appl. Algebra, 15(2), (1979), 149-172.
[Ha] R. Hartshorne, Residues and duality, Lecture Notes in Mathematics, 20, Springer-Verlag, Berlin-New York, (1966).
[He] J. Herzog, Komplex Auflösungen und Dualität in der lokalen Algebra, Habilitationsschrift, Universität Regensburg,
(1974).
[L] J. Lipman, Lectures on local cohomology and duality, Local cohomology and its applications (Guanajuato, 1999),
Lecture Notes in Pure and Appl. Math., 226, Dekker, New York, (2002), 39-89.
[Sc] P. Schenzel, Explicit computations around the Lichtenbaum-Hartshorne vanishing theorem, Manuscripta Math., 78(1),
(1993), 57-68.
[TYY] R. Takahashi, Y. Yoshino and T. Yoshizawa, Local cohomology based on a nonclosed support defined by a pair of
ideals, J. Pure Appl. Algebra, 213(4), (2009), 582-600.
[Y] S. Yassemi, Generalized section functors, J. Pure Appl. Algebra, 95(1), (1994), 103-119.
[YY] Y. Yoshino and T. Yoshizawa, Abstract local cohomology functors, Math. J. Okayama Univ., 53, (2011), 129-154.
[Z] N. Zamani, On graded generalized local cohomology, Arch. Math. (Basel), 86(4), (2006), 321-330.
M. Hatamkhani, Department of Mathematics, Az-Zahra University, Vanak, Post Code 19834, Tehran, Iran
E-mail address: hatamkhanim@yahoo.com
K. Divaani-Aazar, Department of Mathematics, Az-Zahra 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

