ON INVARIANTS AND ENDOMORPHISM RINGS OF CERTAIN
LOCAL COHOMOLOGY MODULES

arXiv:1310.0920v2 [] 7 Oct 2013

WAQAS MAHMOOD AND

PETER SCHENZEL

Abstract. Let (R, m) denote an n-dimensional Gorenstein ring. For an ideal I ⊂ R
with grade I = c we define new numerical invariants τi,j (I) as the socle dimensions of
i
Hm
(HIn−j (R)). In case of a regular local ring containing a field these numbers coincide
with the Lyubeznik numbers λi,j (R/I). We use τd,d (I), d = dim R/I, to characterize
the surjectivity of the natural homomorphism f : R̂ → HomR̂ (HIcR̂ (R̂), HIcR̂ (R̂)). As a
technical tool we study several natural homomorphisms. Moreover we prove a few results
on τi,j (I).

1. Introduction
Let (R, m) denote a local ring. For an ideal I ⊂ R let HIi (R), i ∈ Z, denote the local
cohomology modules of R with respect to I (see [4] and [2] for the definitions). In recent
research there is an interest in the study of the endomorphism rings HomR (HIi (R), HIi (R))
for certain i and I. This was started by Hochster and Huneke (see [8]) for i = dim R and
I = m. See also [3] for a generalization to an arbitrary ideal I and i = dim R.
The case of a cohomologically complete intersection with i = grade I was investigated
at first by Hellus and Stückrad (see [7]). They have shown that the natural map
f : R̂ → HomR̂ (HIi R̂ (R̂), HIi R̂ (R̂))
is an isomorphism. In the case of a Gorenstein ring (R, m) it follows (see [17]) that
HomR̂ (HIi R̂ (R̂), HIi R̂ (R̂)) is a commutative ring. Here we continue with the investigations
of f .
Theorem 1.1. Let (R, m) denote an n-dimensional Gorenstein ring. For an ideal I ⊂ R
with grade I = c and d = dim R/I the following conditions are equivalent:
(i) dimk HomR (k, Hmd (HIc (R))) = 1.
(ii) The natural map f : R̂ → HomR̂ (HIcR̂ (R̂), HIcR̂ (R̂)) is surjective.
Let S = ∩(R \ p) where the intersection is taken over all associated prime ideal p ∈
AssR R/I with dim R/p = dim R/I. Then ker f = 0RS ∩ R. That is, if R̂ is a domain
then Ann HIcR̂ (R̂) = 0.
As a consequence of Theorem 1.1 there is a numerical condition for f being an isomorphism. In general the socle dimension of Hmd (HIc (R)) is not finite. In case of (R, m) a
regular local ring containing a field it is known that dimk HomR (k, Hmd (H c (R))) is equal
2000 Mathematics Subject Classification. Primary: 13D45.
Key words and phrases. Local cohomology, Bass number, Lyubeznik number, endomorphism ring.
This research was partially supported by the Higher Education Commission, Pakistan.
1

2

W. MAHMOOD AND P. SCHENZEL

to the Lyubeznik number dimk ExtdR (k, HIc (R)). Another part of these investigations
is the relation of the Bass-Lyubeznik number to the socle dimension of Hmd (HIc (R)).
To this end we consider several re-interpretations of the natural mapf by Local and
Matlis Duality resp. This is related to the problem whether the natural homomorphism
ExtdR (k, HIc(R)) → k is non-zero, a question originally posed by the second author and
Hellus (see [6]). Under the additional assumption of inj dimR HIc (R) ≤ d we are able
to prove that if ExtdR (k, HIc(R)) → k is non-zero (resp. isomorphic), then f is injective (resp. isomorphic). Note that if (R, m) is a regular local ring containing a field
inj dimR HIc (R) ≤ d holds by the results of Huneke and Sharp resp. Lyubeznik (see [10]
resp. [11]). It is unknown to us whether this is true for any regular local ring. In the final
section we discuss the τ -numbers in more detail.
2. Preliminaries
Let (R, m) denote a (local) Gorenstein ring of dimension n. Let I ⊂ R be an ideal of
grade(I) = c. Then we have that height(I) = c and d := dimR (R/I) = n − c. For the
definition and basic results on local cohomology theory we refer to [4] and the textbook
[2]. In the following we need a slight extension of the Local Duality Theorem as its was
proved at first by Grothendieck (see [4]).
For an arbitrary local ring (R, m) let R̂ denote the m-adic completion. Moreover E =
ER (k), k = R/m, denotes the injective hull of the residue field k.
Let x = x1 , . . . , xr ∈ I denote a system of elements of R such that Rad I = Rad(x)R.
We consider the Čech complex Čx with respect to x = x1 , ..., xr (see [2] and also [13] for
its definition). Then
H i (Čx ⊗R M) ≃ HIi (M)
for i ∈ Z and an R-module M, where HIi (M), i ∈ Z, denote the local cohomology of M
with support in I.
Lemma 2.1. Let (R, m) denote a Gorenstein ring. Let M denote an arbitrary R-module.
Then there are the following natural isomorphisms
i
(a) TorR
n−i (M, E) ≃ Hm (M) and
n−i
(b) HomR (Hmi (M), E) ≃ ExtR
(M, R̂)
for all i ∈ Z.
Proof. Let x = x1 , . . . , xn denote a system of parameters of R. Then Hmi (R) ≃ H i (Čx )
and therefore
Hmi (R) ≃ H i (Čx ) = 0
for all i 6= n and Hmn (R) ≃ E. Note that R is a Gorenstein ring. That is, Čx [−n] provides
a flat resolution of E. Whence by the definitions
i
i
TorR
n−i (M, E) ≃ H (Čx ⊗R M) ≃ Hm (M)

for all i ∈ Z and any R-module M. This proves the first statement. By applying the
Matlis duality functor it follows that
i
HomR (TorR
n−i (M, E), E) ≃ HomR (Hm (M), E)

ON INVARIANTS OF LOCAL COHOMOLOGY

3

Therefore the duality beween ”Ext” and ”Tor” yields the isomorphism
n−i
HomR (TorR
n−i (M, E), E) ≃ ExtR (M, HomR (E, E)).

By Matlis duality we get HomR (E, E) ≃ R̂, which completes the proof.



Note that the proof of Lemma 2.1 is well-known (see for example [9]). The new aspect
- we need in the following - is its validity for an arbitrary R-module M.
Now let us recall the definition of the truncation complex as it was introduced in [15].
Assume that (R, m) is an n-dimensional Gorenstein ring. Let ER· (R) denote the minimal
injective resolution of R. Let ΓI (−) denote the section functor with support in I. Then
ΓI (ER· (R))i = 0 for all i < c (see [15] for more details).
Definition 2.2. Let CR· (I) be the cokernel of the embedding HIc (R)[−c] → ΓI (ER· (R))
considered as a morphism of complexes. It is called the truncation complex of R with
respect to I. Then there ia a short exact sequence of complexes
0 → HIc (R)[−c] → ΓI (ER· (R)) → CR· (I) → 0.
In particular H i (CR· (I)) = 0 for all i ≤ c or i > n and H i (CR· (I)) ≃ HIi (R) for all
c < i ≤ n.
The advantage of the truncation complex is the separation of the properties of the
cohomology module HIc (R) of those of the other cohomology modules HIi (R) for i 6= c.
The truncation complex is helpful in order to construct a few natural homomorphisms.
But as a first application of the truncation complex we have the following result.
Lemma 2.3. Let (R, m) be a local ring. Let X denote an R-module such that SuppR (X) ⊆
V (I) for an ideal I of grade I = c. Then there is a natural isomorphism
HomR (X, HIc (R)) ≃ ExtcR (X, R)
and ExtiR (X, R) = 0 for all i < c.
Proof. For the proof see [16, Theorem 2.3].



The truncation complex provides a few natural maps that arise also as edge homomorphisms of certain spectral sequences.
Lemma 2.4. With the previous notation and Definition 2.2 there are the following natural
homomorphisms
(a) Hmd (HIc (R)) → E,
(b) R̂ → ExtcR (HIc (R), R̂),
c
(c) TorR
c (E, HI (R)) → E,
(d) ExtdR (k, HIc (R)) → k, and
c
(e) TorR
c (k, HI (R)) → k.
Proof. Let x = x1 , . . . , xn ∈ m denote a system of parameters of R. Let Čx denote the
Čech complex with respect to x. It induces a homomorphism of complexes of R-modules
Čx ⊗R HIc (R)[−c] → Čx ⊗R ΓI (ER· (R))

4

W. MAHMOOD AND P. SCHENZEL

By view of [14, Theorem 3.2] we have a morphism of complexes
Γm (ΓI (ER· (R))) → Čx ⊗R ΓI (ER· (R))
that induces an isomorphism in cohomology. Moreover there is an identity of functors
Γm (ΓI (−)) = Γm (−). Because R is a Gorenstein ring it follows that Γm (ER· (R)) ≃ E[−n].
Therefore the above homomorphism considered in degree n induces the homomorphism
in (a).
By view of the Local Duality (see 2.1) we have the isomorphism
c
Hmd (HIc (R)) ≃ TorR
c (E, HI (R)).

Therefore the homomorphism in (a) implies the homomorphism in (c).
Again by Local Duality (see 2.1) there is the isomorphism
ExtcR (HIc (R), R̂) ≃ HomR (Hmd (HIc (R)), E)
By the Matlis Duality it follows that the homomorphism in (a) provides the homomorphism in (b).
Now let F· denote a free resolution of the residue field k. Then the truncation complex
induces – by tensoring with F· – the following morphism of complexes of R-modules
(F· ⊗R HIc (R))[−c] → F· ⊗R ΓI (ER· (R)).
Now let y = y1 , . . . , yr a generating set for the ideal I. Let Čy denote the Čech complex
with respect to y. Because of the natural morphisms ΓI (ER· (R)) → Čy ⊗R ER· (R) (see
[14]) induces an isomorphism in cohomology. We get the quasi-isomorphism of complexes
∼

F· ⊗R ΓI (ER· (R)) −→ F· ⊗R Čy ⊗R ER· (R)
∼

But now we have a quasi-isomorphism F· ⊗R Čy −→ F· . Then the homology in degree
0 induces the homomorphism in (e). A similar argument with HomR (F· , −) implies the
homomorphism in (d). This completes the proof.

3. Natural homomorphisms
Let M denote an R-module. Then there is the natural homomorphism
Φ : R → HomR (M, M), r → fr
where fr : M → M, m → rm, for all m ∈ M and r ∈ R. This homomorphism of R
into the endomorphism ring is in general neither injective nor surjective. Of course the
endomorphism ring is in general not a commutative ring.
Remark 3.1. (A) For a local Gorenstein ring (R, m) we use the above notations and
conventions. By view of Lemma 2.4 there are the following natural homomorphisms
ϕ1 : Hmd (HIc (R)) → E,
c
ϕ2 : TorR
c (E, HI (R)) → E,
ϕ3 : R̂ → ExtcR (HIc (R), R̂), and
ϕ4 : R̂ → HomR̂ (HIcR̂ (R̂), HIcR̂ (R̂)).
(B) It is known (see [17, Theorem 3.2 (a)]) that S = HomR (HIc (R), HIc (R)) is a commutative ring for an ideal I of a Gorenstein ring (R, m) and c = grade I.

ON INVARIANTS OF LOCAL COHOMOLOGY

5

In the following it will be our intention to investigate the homomorphisms of Remark
3.1 in more detail. In particular we have the following result:
Theorem 3.2. Let I ⊂ R denote an ideal of height c of a Gorenstein ring (R, m). With
the previous notation we have:
(a) ϕi , i = 1, . . . , 4, are all non-zero homomorphisms.
(b) The following conditions are equivalent:
(i) ϕ1 is injective (resp. surjective).
(ii) ϕ2 is injective (resp. surjective).
(iii) ϕ3 is surjective (resp. injective).
(iv) ϕ4 is surjective (resp. injective).
(c) The natural map ψ : HomR (k, Hmd (HIc (R))) → k is non-zero and therefore onto.
Proof. First of all we prove that there is a natural isomorphism
ExtcR (HIc (R), R̂) ≃ HomR̂ (HIcR̂ (R̂), HIcR̂ (R̂))
This follows from Lemma 2.3 since
ExtcR (HIc (R), R̂) ≃ ExtcR̂ (HIcR̂ (R̂), R̂)
and R̂ is a flat R-module. Moreover we have c = grade I R̂.
Because ϕ4 is non-zero and the previous isomorphism is natural we get that ϕ3 is nonzero too. By Lemma 2.1 the module ExtcR (HIc (R), R̂) is the Matlis dual of Hmd (HIc (R)). So
ϕ1 is also a non-zero homomorphism. By Local Duality (see Lemma 2.1) the last module
c
is isomorphic to TorR
c (HI (R), E). This finally proves also that ϕ2 6= 0. Therefore the
statement in (a) is shown to be true. With the same arguments the equivalence of the
conditions in the statement (b) follows by Matlis Duality.
For the proof of (c) first note that ϕ4 is non-zero and 1 7→ id. So the reduction modulo
m induces a non-zero homomorphism k → k ⊗ HomR̂ (HIcR̂ (R̂), HIcR̂ (R̂)). But this is the
Matlis dual of ψ as it follows by Local Duality.

In order to investigate the natural homomorphisms (d), (e) of Lemma 2.4 we need a
few more preliminaries. First note that by Lemma 2.4 (see also [17, Section 6]) there is a
commutative diagram
ExtdR (k, HIc (R)) → k
↓
↓
d
c
Hm (HI (R))
→ E
here the right vertical morphism is - by construction - the natural inclusion and the left
vertical morphism is the direct limit of the natural homomorphisms
λα : ExtdR (k, K(R/I α )) → Hmd (K(R/I α ))
for all α ∈ N, where K(M) denote the canonical module of M. Then it induces the
following commutative diagram
ExtdR (k, HIc (R))
λ↓

ϕ

→ k
k
ψ

HomR (k, Hmd (HIc (R))) → k

6

W. MAHMOOD AND P. SCHENZEL

It is of some interest to investigate the homomorphism ϕ. In fact, it was conjectured that
ϕ is in general non-zero. This was shown to be true for R a regular local ring containing
a field (see [17, Theorem 1.3]) while ψ is non-zero in a Gorenstein ring as shown above
(see Theorem 3.2 (c)).
For our purposes here let us summarize the main results of Huneke and Sharp resp.
Lyubeznik (see [10] and [11]).
Theorem 3.3. Let (R, m) be a regular local ring containing a field. Let I ⊂ R be an ideal
of grade c. Then for all i, j ∈ Z the following results are true:
(a) Hmj (HIi (R)) is an injective R-module.
(b) inj dimR (HIi (R)) ≤ dimR (HIi (R)) ≤ dim R − i.
(c) ExtjR (k, HIi (R)) ≃ HomR (k, Hmj (HIi (R))) and its dimension is finite.
Proof. For the proof we refer to [10] and [11].



In particular the result of Theorem 3.3 (c) is a motivation for the following Definition.
Definition 3.4. If I ⊂ R is an ideal of grade c in (R, m) a Gorenstein ring. Then
τi,j (I) := dimk HomR (k, Hmi (HIn−j (R)))
is called τ -number of type (i, j) of I.
Remark 3.5. Note that τi,j (I) is the socle dimension of the local cohomology module
Hmi (HIn−j (R)). In the case of a regular local ring (R, m) containing a field it was shown
by Huneke and Sharp resp. Lyubeznik (see Theorem 3.3) that
ExtiR (k, HIn−j (R)) ≃ HomR (k, Hmi (HIn−j (R)))
for all i, j ∈ Z. These Bass numbers are also called Lyubeznik numbers. In fact, Lyubeznik
showed that they are invariants of R/I and finite.
By the example of Hartshorne (see Example 5.3) it turns out that for a Gorenstein
(R, m) the integers τi,j (I) need not to be finite.
As a first result on the integers τi,j (I) let us consider its vanishing resp. non-vanishing.
Theorem 3.6. Let I ⊂ R denote an ideal of the local Gorenstein ring R and c = grade I.
(a) τd,d (I) 6= 0, where d = dim R/I.
(b) τi,j (I) = 0 if and only if Hmi (HIn−j (R)) = 0, where n = dim R.
(c) τi,j (I) < ∞ if and only if Hmi (HIn−j (R)) is an Artinian R-module.
Proof. The statement in (a) is a consequence of Theorem 3.2 (c). For the proof of (b)
first note that any element of Hmi (HIn−j (R)) is annihilated by a power of m. Then the
statement is true by the well-known fact that the module is zero if and only if its socle
vanishes.
In order to prove (c) recall again that Supp Hmi (HIn−j (R)) ⊆ V (m). Then the finiteness
of the socle dimension is equivalent to the Artinianness of a module.


ON INVARIANTS OF LOCAL COHOMOLOGY

7

4. The endomorphism ring
As above let I ⊂ R denote an ideal of grade c in the Gorenstein ring (R, m). In this
section we shall investigate the natural homomorphism
ϕ4 : R̂ → HomR̂ (HIcR̂ (R̂), HIcR̂ (R̂)).
As a first step we want to characterize when it will be surjective. To this end we need a
few preparations. For an ideal I let
Assh R/I = {p ∈ Ass R/I| dim R/p = dim R/I}.
Then we define the multiplicatively closed set S = ∩(R \ p), where the intersection is
taken over all p ∈ Assh R/I. For n ∈ N the n-th symbolic power I (n) of I is defined as
I (n) = I n RS ∩ R.
Definition 4.1. With the previous notation put
u(I) = ∩n≥1 I (n) = 0RS ∩ R.
Note that u(I) is equal to the intersection of all p-primary components q of a minimal
primary decomposition of the zero ideal 0 in R satisfying S ∩ p = ∅ .
Lemma 4.2. Let I ⊂ R is an ideal of grade c in (R, m) a Gorenstein ring. Then ker ϕ4 =
u(I R̂) and AnnR̂ HIcR̂ (R̂) = u(I R̂).
Proof. It is known (see [17, Theorem 3.2]) that ker ϕ4 = u(I R̂). Then cleary u(I R̂) =

AnnR̂ HIcR̂ (R̂).
It follows that HIcR̂ (R̂) is a torsion-free R̂-module if R̂ is a domain. In the next we
investigate when ϕ4 is surjective.
Theorem 4.3. Let (R, m) denote an n-dimensional Gorenstein ring. let I ⊂ R be an
ideal and grade(I) = c. Set d := n − c then the following conditions are equivalent:
(i) τd,d (I) = 1.
(ii) The natural homomorphism HomR (k, Hmd (HIc (R))) → k is an isomorphism.
(iii) The natural homomorphism R̂ → HomR̂ (HIcR̂ (R̂), HIcR̂ (R̂)) is surjective.
Proof. First of all note that we may assume that R is complete without loss of generality.
(iii)⇒(ii): Fix the above notation. If ϕ4 is surjective it follows (see Theorem 3.2) that
ϕ1 : Hmd (HIc (R)) → E
is injective. Since ψ is non-zero it provides (by applying HomR (k, −)) that
ψ : HomR (k, Hmd (HIc (R))) → k
is an isomorphism.
(ii)⇒(i): This is obviously true by the definition of τd,d .
(i)⇒(iii): In order to simplify notation we put S = HomR (HIc (R), HIc (R)). Then we
have to show that the natural homomorphism R → S is surjective. Note that ϕ4 is
non-zero since 1 → id and HIc (R) 6= 0. Moreover
S ≃ HomR (Hmd (HIc (R)), E)

8

W. MAHMOOD AND P. SCHENZEL

as follows because of S ≃ ExtcR (HIc (R), R) (see Lemma 2.3) and by the Local Duality
Theorem. Therefore we have isomorphisms
S/mS ≃ k ⊗R HomR (Hmd (HIc (R)), E) ≃ HomR (HomR (k, Hmd (HIc (R))), E)
By the assumption and Matlis Duality this implies that dimk S/mS = 1.
Now we claim that S is m-adically complete. With the same duality argument as above
there are isomorphisms
S/mα S ≃ HomR (HomR (R/mα R, Hmd (HIc (R))), E).
for all α ∈ N. Now both sides form an inverse system of modules. Since inverse limits
commutes with direct limits into HomR (−, −) at the first place. It provides an isomorphism
lim S/mα S ≃ HomR (Hm0 (Hmd (HIc (R))), E)
←−
as follows by passing to the inverse limit. But Hm0 (Hmd (HIc (R))) ≃ Hmd (HIc (R)) since
Hmd (HIc (R)) is an R-module whose support is contained in V (m). Finally this provides an
isomorphism
lim S/mα S ≃ S
←−

and hence S is m-adically complete.
By virtue of [12, Theorem 8.4] S is a finitely generated R-module, in fact a cyclic
module S ≃ R/J. This proves the statement in (iii).

As shown above there is the following commutative diagram
ExtdR (k, HIc (R))
λ↓

ϕ

→ k
k
ψ

HomR (k, Hmd (HIc (R))) → k.
Whence there is a relation between the Bass number µd (m, HIc (R)) and τd,d (I). In fact,
if (R, m) is regular local ring containing a field, then λ is an isomorphism (see [17]). It is
conjectured ([6]) that ϕ is non-zero. Note that if ϕ is non-zero then ψ is non-zero too and
both maps are surjective. In the next we want to continue with the investigations of ϕ.
Theorem 4.4. Let (R, m) be Gorenstein ring. Suppose that I ⊂ R is an ideal of grade c
such that inj dimR (HIc (R)) ≤ d = n − c. Suppose that the natural homomorphism
ϕ : ExtdR (k, HIc (R)) → k
is non-zero (resp. isomorphic). Then
ϕ4 : R̂ → HomR̂ (HIcR̂ (R̂), HIcR̂ (R̂))
is injective (resp. isomorphic).
Proof. Since R̂ is a flat R-module, the injective dimension of HIc (R) is finite if and only
if the injective dimension of HIcR̂ (R̂) is finite. Moreover ϕ is non-zero (resp. isomorphic)
if and only if ExtdR̂ (k, HIcR̂ (R̂)) → k is non-zero (resp. isomorphic). So without loss of
generality we may assume that R is complete.
It is a consequence of the truncation complex that there are natural homomorphisms
ϕα : ExtdR (R/mα , HIc (R)) → HomR (R/mα , E)

ON INVARIANTS OF LOCAL COHOMOLOGY

9

for all α ∈ N.
Put H = HIc (R). Then the short exact sequence
0 → mα /mα+1 → R/mα+1 → R/mα → 0
induces a commutative diagram with exact rows
ExtdR (R/mα , H) → ExtdR (R/mα+1 , H) → ExtdR (mα /mα+1 , H) → 0
↓ ϕα
↓ ϕα+1
↓f
α
α+1
0 → HomR (R/m , E) → HomR (R/m , E) → HomR (mα /mα+1 , E) → 0
Recall that the homomorphism ExtdR (R/mα+1 , H) → ExtdR (mα /mα+1 , H) is onto since
inj dim H ≤ d.
Now suppose that ϕ is non-zero, that is, it is surjective. So assume that ϕ is surjective
(resp. isomorphic). Then the natural homomorphism f is surjective (resp. isomorphic).
The snake lemma provides by induction on α ∈ N that ϕα is surjective (resp. isomorphic).
By passing to the direct limit of the direct systems it induces the homomorphism
ϕ1 : Hmd (HIc (R)) → E
is surjective (resp. isomorphic). Note that the direct limit is exact on direct systems. So
the statement follows by virtue of Theorem 3.2

Remark 4.5. (A) The assumption inj dim HIc (R) ≤ d implies that inj dim HIc (R) = d.
This follows since d = dim HIc (R) ≤ inj dim HIc (R) as it is easily seen.
(B) In the case of a regular local ring (R, m) containing a field it is shown (see Theorem
3.3) that inj dim HIc (R) ≤ d. We do not know whether this holds in any regular local ring.
5. The τ -numbers
In the following we shall give two applications concerning the τ -numbers of the ideal
I ⊂ R of a Gorenstein ring (R, m). To this end let us recall the following result:
Lemma 5.1. Let (R, m) denote an n-dimensional Gorenstein ring. Let I ⊂ R denote an
ideal with c = grade I. Let CR· (I) denote the truncation complex of I (see Definition 2.2).
Then there is a short exact sequence
0 → Hmn−1 (CR· (I)) → Hmd (HIc (R)) → E → Hmn (CR· (I)) → 0,
isomorphisms Hmi−c (HIc (R)) ≃ Hmi−1 (CR· (I)) for i < n and the vanishing Hmi−c (HIc (R)) = 0
for i > n.
Proof. For the proof we refer to [6, Lemma 2.2]. It is easily seen a consequence of the
truncation complex.

Theorem 5.2. Let I ⊂ R denote a 1-dimensional ideal in the Gorenstein ring (R, m).
(a) τi,j (I) = 0 for all (i, j) 6∈ {(0, 0), (1, 1)}.
(b) τ0,0 (I) = dimk Ext1R (k, Hm1 (HIn−1 (R))) < ∞ and τ1,1 (I) = 1.
(c) HomR̂ (HIcR̂ (R̂), HIcR̂ (R̂)) ≃ R̂/u(I R̂).

10

W. MAHMOOD AND P. SCHENZEL

Proof. Since H i (CR· (I)) ≃ HIi (R) for all c < i ≤ n and zero otherwise there is a naturally
defined morphism CR· (I) → HIn (R)[−n] that induces an isomorphism in cohomology.
Therefore Hmi (CR· (I)) ≃ Hmi−n (HIn (R)) for all i ∈ Z. Whence there are an exact sequence
0 → Hm−1 (HIn (R)) → Hm1 (HIn−1 (R)) → E → Hm0 (HIn (R)) → 0
and isomorphisms Hmi−n (HIn (R)) ≃ Hmi+2−n (HIn−1 (R)) for all i 6= n, n − 1 as it is a consequence of Lemma 5.1. This provides all the vanishing of the τ -numbers as claimed in
the statement. To this end recall that dim HIi (R) ≤ n − i for i = n − 1, n. Moreover it
implies a short exact sequence
0 → Hm1 (HIn−1(R)) → E → Hm0 (HIn (R)) → 0.
By applying Ext·R (k, −) it induces isomorphisms
HomR (k, Hm1 (HIn−1(R))) ≃ k and HomR (k, Hm0 (HIn (R))) ≃ Ext1R (k, Hm1 (HIn−1(R))).
To this end recall the the natural homomorphism HomR (k, Hm1 (HIn−1(R))) → k is not
zero (see Theorem 3.3 (c)). Because HIn (R) is an Artinian R-module (see e.g [3]) we have
Hm0 (HIn (R)) = HIn (R) and its socle dimension is finite. This proves the statements in (a)
and (b). The claim in (c) is a particular case of Theorem 4.3.

In his paper (see [l]) Blickle has shown a certain duality statement for Lyubeznik numbers in the case of cohomologically isolated singularities in a regular local ring containing
a field (see also [17, Corollary 5.4] for a slight extension). Here we prove a corresponding
result for the τ -numbers for an ideal in a Gorenstein ring.
Theorem 5.3. Let I ⊂ R denote an ideal of grade c in the Gorenstein ring (R, m).
Suppose that c < n − 1 and Supp HIi (R) ⊆ V (m) for all i 6= c. Then
τ0,j (I) = τd−j+1,d (I) − δd−j+1,d ,
where d = dim R/I.
Proof. Under the assumption of Supp HIi (R) ⊆ V (m) for all i 6= c it follows that there
are isomorphisms Hmi (CR· (I)) ≃ H i (CR· (I)) for all i ∈ Z. The exact sequence and the
isomorphisms shown in Lemma 5.1 provide the statement of the claim. Note that we have
an exact sequence
0 → HIn−1(R) → Hmd (HIc (R)) → E.
This in particular provides (as above) that τd,d (I) = τ0,1 (I) + 1.

Even under the assumptions of Theorem 5.3 it may happen that τd,d is infinite. To this
end consider the following example of Hartshorne (see [5]).
Example 5.4. (cf. [5, Section 2] and [17, Example 3.5]) Let k be a field and let A =
k[|u, v, x, y|] be the formal power series ring in four variables. Consider the complete
Gorenstein ring R = A/f A, where f = xv − yu. Let I = (x, y)R. Then n = 3, d = 2, c = 1
and Supp HI2 (R) = V (m), HI3 (R) = 0. It was shown by Hartshorne (see [5, Section 2])
that
dimk HomR (k, HI2 (R)) = τ0,1 (I) = τ2,2 (I) − 1
is not finite.

ON INVARIANTS OF LOCAL COHOMOLOGY

11

Problem 5.5. It would be of some interest to get a criterion for τd,d (I) to be finite for
an ideal I ⊂ R with d = dim R/I. By Theorem 3.6 this is equivalent to the Artinianness
of Hmd (HIc (R)).
Acknowledgement. The authors are grateful to the reviewer for suggestions to improve
the manuscript.
References
[l]
[2]
[3]
[4]
[5]
[6]
[7]
[8]

[9]
[10]
[11]
[12]
[13]

[14]
[15]
[16]
[17]

M. Blickle: Lyubeznik’s invariants for cohomologically isolated singularities, J. Algebra 308
(2007), 118-123.
M. Brodmann, R. Sharp: Local Cohomology. An Algebraic Introduction with Geometric Applications. Cambr. Stud. in Advanced Math., No. 60. Cambridge University Press, (1998).
M. Eghbali, P. Schenzel: On an endomorphism ring of local cohomology, Comm. Algebra, to
appear.
A. Grothendieck: Local Cohomology, Notes by R. Hartshorne, Lecture Notes in Math. vol. 41,
Springer, 1967.
R. Hartshorne: Affine duality and cofiniteness, Invent. Math. 9, 145-164 (1970).
M. Hellus, P. Schenzel: On cohomologically complete intersections, J. Algebra 320 (2008)
3733-3748.
M. Hellus, J. Stückrad: On endomorphism rings of local cohomology modules. Proc. Am.
Math. Soc. 136 (2008) 2333-2341.
M. Hochster, C. Huneke: Indecomposable canonical modules and connectedness, In: Commutative Algebra: Syzygies, Multiplicities, and Birational Algebra, (Eds.: W. Heinzer, C. Huneke,
J. Sally), Contemporary Math. 159, pp. 197-208, Providence, 1994.
C. Huneke : Lectures on local cohomology (with an Appendix by Amelia Taylor), Contemp.
Math. 436, pp. 51-100, Providence, 2007.
C. Huneke, R.Y. Sharp: Bass numbers of local cohomology modules, Trans. Amer. Math. Soc.
339 (1993) 765779.
G. Lyubeznik: Finiteness properties of local cohomology modules (an Application of D-modules
to Commutative Algebra), Invent. Math. 113 (1993) 41-55.
H. Matsumura: Commutative Ring Theory, Cambridge Studies in Advanced Mathematics 8,
Cambridge University Press, Cambridge (1986).
P. Schenzel: On the use of local cohomology in Algebra and Geometry. In: Six Lectures in
Commutative Algebra, Proceed. Summer School on Commutative Algebra at Centre de Recerca
Matemàtica, (Ed.: J. Elias, J. M. Giral, R. M. Miró-Roig, S. Zarzuela), Progr. Math. 166, pp.
241-292, Birkhäuser, 1998.
P. Schenzel: Proregular sequences, local cohomology, and completion, Math. Scand 92 (2003)
161-180.
P. Schenzel: On birational Macaulayfications and Cohen-Macaulay canonical modules. J. Algebra 275 (2004), 751-770.
P. Schenzel: Matlis duals of local cohomology modules and their endomorphism rings. Arch.
Math. (Basel) 95 (2010) 115-123.
P. Schenzel: On the structure of the endomorphism ring of a certain local cohomology module.
J. Algebra 344 (2011), 229-245.

Abdus Salam School of Mathematical Sciences, GCU, Lahore Pakistan
E-mail address:
waqassms@gmail.com
Martin-Luther-Universität Halle-Wittenberg, Institut für Informatik, D — 06 099
Halle (Saale), Germany
E-mail address: peter.schenzel@informatik.uni-halle.de

