A Study of Quasi-Gorenstein Rings

arXiv:1508.04597v2 [] 4 Sep 2016

EHSAN TAVANFAR and MASSOUD TOUSI

A BSTRACT. In this paper several quasi-Gorenstein counterparts to some known properties of Gorenstein rings are given. We, furthermore, give an explicit description of the
attached prime ideals of certain local cohomology modules.

1 Introduction
Throughout this article (R, m) is a commutative Noetherian local ring of dimension d with
identity where m denotes the unique maximal ideal of R. Furthermore, M always stands for
a finitely generated d ′ -dimensional R-module.
Following [2], we say that R is a quasi-Gorenstein ring precisely when Hdm (R) ∼
= E(R/m)
or, equivalently, R has a canonical module which is a rank one free module. In the geometric vein, a normal projective variety X is quasi-Gorenstein if the canonical divisor KX of X is
Cartier. Indeed, a Cohen-Macaulay quasi-Gorenstein ring is Gorenstein. According to [21]
(c.f. [38]), roughly speaking, quasi-Gorenstein rings arise from the theory of linkage. That is,
loosely speaking, they are residue rings of a Gorenstein ring modulo an ideal which is linked
to an unmixed almost complete intersection. Hence there are so many of them. From anb satisfies the S 2 condition then the trivial
other perspective, if R has a canonical module and R
extension of R by its canonical module is quasi-Gorenstein (see [2]). This, again, shows the
ubiquity of quasi-Gorenstein rings. When R is a complete normal domain with a canonical ideal ωR , the first author of the present paper, in [43, Remark 3.2.] and [43, Theorem
L
3.5.(i)], endowed R ωR with another R-algebra structure, by which it is a quasi-Gorenstein
domain (Note that the trivial extension is never domain). It is also worthwhile to mention
that by, [13, Lemma (2.4)], the class of quasi-Gorenstein rings contains the class of unique
factorization domains with canonical module. Such non-Cohen-Macaulay unique factorization domains have their origin in the invariant theory, see [5]. Rees Algebras provides us
with another important source of quasi-Gorenstein rings (see, e.g., [28] and [22]). In the light
of [41, Theorem 6.1.], there are (even) isolated rational singularity Q-Gorenstein rings with
non-Cohen-Macaulay quasi-Gorenstein cyclic cover. In [27, Theorem, page 336] the author
2010 Mathematics Subject Classification. 13H10, 13D45.
Key words and phrases. Canonical module, G-dimension, Gorenstein rings, limit closure, local cohomology, quasi-Gorenstein rings.
This research was in part supported by a grant from IPM (No. 93130211).

1

2

A S TUDY OF QUASI -G ORENSTEIN R INGS

gives a nice description of non-Cohen-Macaulay quasi-Gorenstein Fano 3-folds1 (over C)
with isolated non-rational loci, as the projective cone defined by an ample invertible sheaf
L on an Abelian surface. In [23] the authors give examples of quasi-Gorenstein Buchsbaum
affine semigroup rings of any admissible depth. It is noteworthy to point out that affine semigroup rings of [23] are not the only place where the non-Cohen-Macaulay quasi-Gorenstein
Buchsbaum rings come from. Another source of such rings is the Segre product of two hypersurfaces of a-invariant zero. For example, over an algebraically closed field k, the Segre
product ring,
¡
¢ ¡
¢
R := k[a, b, c]/(a 3 + b 3 + c 3 ) # k[x, y, z, w]/(x 4 + y 4 + z 4 + w 4 ) ,

is a quasi-Gorenstein Buchsbaum normal domain of dimension 4 and depth 2 (see, [19, Theorem (4.1.5)], [19, Proposition (4.2.2)], [19, Theorem (4.3.1)] and [32, Theorem A]). We end
this part of the introduction by stating that, in the light of Kunz’s [29, Proposition 1.1], the
class of almost complete intersections and the class of quasi-Gorenstein rings are disjoint.
A vast amount of research has been devoted to studying the class of Gorenstein rings.
Compared with Gorenstein rings, our understanding of the behaviour and properties of
quasi-Gorenstein rings is limited. In this paper we aim to increase our knowledge about
quasi-Gorenstein rings. For example, in Section 3 we deal with some natural questions concerning the interaction between quasi-Gorensteinness and regular elements. Namely, we
prove the following fact:
Theorem 1.1. (See Proposition 3.1 and Corollary 3.4(i)) If R is quasi-Gorenstein and x is a regular element of R, then R/xR is quasi-Gorenstein if and only if R/xR satisfies the S 2 condition
S
and this is equivalent to the assertion that x ∉
¡
¢ p.
p∈AttR Hdm−1 (R)

Accordingly, the main obstruction here is the failure of S 2-condition. Hence, the next natural question is that whether the S 2 -ification of R/xR is, always, quasi-Gorenstein provided R
is quasi-Gorenstein and R/xR has a canonical module? We settle this question affirmatively.
Theorem 1.2. (See Corollary 3.4(ii)) If R is quasi-Gorenstein and x is a regular element of R
such that R/xR has a canonical module, then the S 2 -ification of R/xR is quasi-Gorenstein.
Perhaps it is worth to stress the following application of Theorem 1.1 to the homological conjectures. In [43, Remark 3.6.(i)], applying both of two characterizations of quasiGorensteinness of R/xR, given in Theorem 1.1, as well as the first author’s reduction of some
homological conjectures to normal complete quasi-Gorenstein domains in [43], together
with Ochiai and Shimomoto’s [34], it is deduced that the validity of the Hochster’s Canonical
Element Conjecture in a dense open subset (in some sense) settles the Canonical Element
Conjecture in general.
Another immediate question is the deformation property of quasi-Gorenstein rings. In
[43, Proposition 3.4.], the first author of the present paper, shows that the Ulrich’s deformation of certain Gorenstein rings to unique factorization domains, developed in [44], has a
1

This means a 3-dimensional normal projective variety X such that its anti-canonical divisor, −KX , is an
ample Cartier divisor.

E HSAN TAVANFAR

AND

3

M ASSOUD T OUSI

quasi-Gorenstein counterpart. Although, at the time of writing the paper, we do not know
whether the quasi-Gorensteinness deforms in general, but we show that the following variant of deformation of quasi-Gorensteinness, which we call it as analytic deformation2, holds
true.
Theorem 1.3. (See Theorem 3.7) Suppose that x is a regular element of R such that R/x n R is
quasi-Gorenstein for each n ∈ N. Then R is quasi-Gorenstein.
In order to deduce Theorem 1.1 and Theorem 1.2, we used a special case of the following
fact which is the main result of Section 2.
Theorem 1.4. (See Theorem 2.9(ii)) Let M be a formally equidimensional module satisfying
the Serre-condition S 2 . Assume, additionally, that M has a canonical module ωM 3 . Set,
n := inf{i : i ≥ 1 and Hd−i
m (M) 6= 0}.
If the formal fibers of R satisfy the S n+2 -condition4 , then
¡
¢
¡
¢
(ω
)
AttR Hd−n
= n + 1 and htωM p ≥ n + 2}.
(M)
=
{
p
∈
Spec(R)
:
Depth
M
p
m
Rp

The section 2. of the paper is, also, devoted to reminding some definitions and wellknown facts as well as giving some remarks and lemmas which are required throughout the
paper.
By, e.g. [15], a Cohen-Macaulay local ring is Gorenstein if and only if Hdm (R) has finite
injective dimension. In [12], the authors introduce the notion of Gorenstein injective modules as a generalization of the concept of injective modules. Gorenstein injective modules
and, its related invariant, the Gorenstein injective dimension are studied by many authors.
For example, in [45, Theorem 2.6] the author shows that if R is a Cohen-Macaulay complete
local ring and Hdm (R) is Gorenstein injective then R is Gorenstein. Subsequently, in [46], the
authors relax the complete assumption and prove that even if Hdm (R) has finite Gorenstein
injective dimension, then the Cohen-Macaulay ring R is Gorenstein. On the other hand, for
the injective dimension case, there exists
counterpart. That is, R is a
¡ da quasi-Gorenstein
¢
quasi-Gorenstein ring if and only if IdR Hm (R) < ∞ ([1, Theorem 3]). This encouraged us
to investigate the Gorenstein injective version of the Aoyama’s theorem which is, indeed, a
theorem whenever R is Cohen-Macaulay. We proved the following fact which also recovers
the Cohen-Macaulay case of [46].
Theorem 1.5. (See Theorem 5.7) Assume that Hdm (R) has finite Gorenstein injective dimension.
If, furthermore,
DepthRb (ωRb )

Ext1Rb (ωRb , ωRb ) = . . . = Ext b

R

then R is quasi-Gorenstein.
2

(ωRb , ωRb ) = 0,

As far as we know, our paper is the first place where such a variant of deformation is studied. This is remarkable, because the ordinary deformation problem of quasi-Gorensteinness is mysterious.
3
See, Definition and Remark 2.2 for the definition of the canonical module of an R-module.
4
e.g., if R is a homomorphic image of a Gorenstein ring.

4

A S TUDY OF QUASI -G ORENSTEIN R INGS

The proof of Theorem 1.5 shows that the vanishing of Ext1R (ω, ωR ) and Ext2R (ωR , ωR ), in
the following sense, is sufficient for our purpose .
Question 1.6. (See Question 4.7) Assume that R has a canonical module ωR and that,
GdimR (ωR ) < ∞.
Then do we have, Ext1R (ωR , ωR ) = Ext2R (ωR , ωR ) = 0?
In fact an affirmative answer to the above question, which is proposed in Section 4, shows
that R is quasi-Gorenstein if and only if Hdm (R) has finite Gorenstein injective dimension.
In [4], the famous theorem of Bass gives a criterion for Gorensteinness in terms of the
irreducibility of all of the parameter ideals. Indeed, there exists a non-Gorenstein ring with
an irreducible parameter ideal. But, by virtue of [30], there is an invariant ℓd (R) of R such
that R is Gorenstein if and only if some parameter ideal contained in mℓd (R) is irreducible.
In Section 5, we prove the following quasi-Gorenstein version of [30] (see Section 5 for the
definition of the limit closure).
b is unmixed and the limit
Theorem 1.7. (See Theorem 5.7) R is quasi-Gorenstein if and only if R
closure of each parameter ideal (of some parameter ideal contained in mℓd (R) ) is irreducible.

It is worth pointing out that [30, Proposition 2.3.], [14], and [35, 3.2 Theorem] also show
that the limit closure of parameter ideals of non-Cohen-Macaulay rings can be considered as
a counterpart to the parameter ideals of Cohen-Macaulay rings. We would like to stress that
Theorem 1.7 may have the following computational application. According to Theorem 1.7
for verifying the quasi-Gorensteinness of a ring R, using
system, we can find a sys¡ Macaulay2
¢
lim
lim
tem of parameters x of R and then check whether, µ {x}lim
:
m
=
µ({x}
R
R ) + 1, wherein {x}R
denotes the limit closure of x. 5 . This can be, considerably, faster than computing the free
resolutions, especially when the defining ideal of R has too many generators or generators
with too many summands. It is noteworthy to mention, here, that, e.g., the limit closure of
any system of parameters x of a Buchsbaum local ring R is just the ideal, (x12 , . . . , xd2 ) : x1 · · · xd
(see, [17, Lemma (4.6).]).

2 Attached Prime ideals of Local Cohomology modules
Reminder 2.1. Here we aim to review some, probably known, definitions and facts.
(i) Throughout the paper, we use the notation Assht to denote the set,
AsshtR (M) := {p ∈ AssR (M) : dim(R/p) = d ′ }.

5

M is said to be equidimensional (respectively, unmixed) if Assht(M) = minAssR (M) (respectively, Assht(M) = AssR (M)). M is called formally equidimensional (respectively, forb 6 is an equidimensional (respectively, unmixed) R-module.
b
mally unmixed) if M

Here, the notation µ stands for the minimal number of generators. Recall that a primary ideal a of (R, m) is
irreducible if and only if µ(a : m) = µ(a) + 1.
6
b stands for the completion of M with respect to the m-adic topology.
Here the notation M

E HSAN TAVANFAR

AND

5

M ASSOUD T OUSI

(ii) For each ideal a of R we set,
¡
¢
htM a := htR/0:R M (a + 0 :R M)/0 :R M .

Note that, dimRp Mp = htM p, for each p ∈ SuppR (M). Thus,
htM a = inf{htM p : p ∈ Var(a)

\

SuppR M} = inf{dimRp Mp : p ∈ Var(a)

\

SuppR M}.

(iii) We say that M satisfies the Serre-condition S n precisely when,
DepthRp (Mp ) ≥ min{n, dimRp (Mp )},
for each p ∈ Spec(R). In fact, the following statements are equivalent.
(a) M satisfies S n .
(b) grade(a, M) ≥ min{n, htM a} for each ideal a of R.
(c) if a is an ideal generated by an M-regular sequence of length j ≤ n −1 then for each
p ∈ AssR (M/aM) we have htM (p) = j .
¡
¢
(iv) We use the notation, M∨ , to denote the Matlis dual HomR M, E(R/m) of an R-module
M. The canonical module for R, denoted by ωR , is a finitely generated R-module such
∼ d
that, ω∨
R = Hm (R). The module ωR , if exists, is an d -dimensional R-module satisfying
the Serre-condition S 2 and is unique up to isomorphism ([6, 12.1.6 Theorem], [6, 12.1.9
Proposition(i)] [6, 12.1.18 Theorem(i)]). So R is a quasi-Gorenstein ring if and only if
R has a canonical module which is a rank one free R-module. In particular a quasiGorenstein ring is S 2 and unmixed ([3, Lemma 1.1]). A fortiori, by [2, (1.8)] we have,

0 :R ωR =

\

q,

(1)

q

where the intersection runs over the primary components q of the zero ideal satisfying
dim(R/q) = d . This, again, implies the unmixedness of quasi-Gorenstein rings. If R is
a homomorphic image of a Gorenstein local ring S of dimension n then by virtue of
[6, 11.2.6 Local Duality Theorem ] we have, ωR := ExtSn−d (R, S).
(v) (See [39, Lemma 1.9.]) Assume that R is a homomorphic image of a Gorenstein local
ring S of dimension n. For each l ∈ Z set, ωlM := ExtSn−l (M, S). By [6, 11.2.6 Local Duality
Theorem] there are functorial isomorphisms

Hlm (N) ∼
= ExtSn−l (N, S)∨ ,

(2)

6

A S TUDY OF QUASI -G ORENSTEIN R INGS
M
for all finitely generated R-modules N. The R-module ωdim
is said to be the canoniM
cal module of M and is denoted by ωM . The R-module ωM satisfies S 2 and AssR (ωM ) =
AsshtR (M). In particular, dim(ωM ) = dim(M) (see [39, Lemma 1.9.(c)]).
dim(M)−dim(R/p)

Let p ∈ SuppR (ωM ). Then, by [39, Lemma 1.9(a)], (ωM )p ∼
= ωMp

. It follows,

dim(M)−dim(R/p)

from (2), that HpRp
(Mp ) 6= 0. Consequently, dim(R/p) + dim(Mp ) = dim(M).
In particular, we get (ωM )p = ωMp .
The argument of the preceding paragraph in conjunction with [39, Lemma 1.9(b)]
yields,
SuppR (ωM ) = {p ∈ SuppR (M) : dim(Mp ) + dim(R/p) = dim(M)}.
Similarly, as in part (iv) of the preceding reminder, the definition of the canonical module
of a finitely generated R-module can be extended to all local rings.
Definition and Remark 2.2. Let M be a finitely generated d ′ -dimensional R-module. Then
∼ d′
we say that a finitely generated R-module ωM is the canonical module for M if ω∨
M = Hm (M).
A similar argument as in the proof of [6, 12.1.6 Theorem] shows that the canonical module
N
∼
b
ωM of M, if exists, is unique up to isomorphism. Note that, ωM
b = ωM
R R. By Reminder 2.1(v),
b
M always has a canonical module. In Lemma 2.4 we prove some counterparts to the properties
of ωM stated in the part (v) of the preceding reminder. Note that, if R has a canonical module
ωR then, by [6, 6.1.10 # Exercise], for each d -dimensional R-module N we have HomR (N, ωR ) ∼
=
ωN .
Remark 2.3. Let M be a (finitely generated) d ′ -dimensional R-module. By virtue of the Cob = dim(S)
hen’s structure theorem there exists a Gorenstein ring S such that dim(R) = dim(R)
b
and R is a homomorphic image of S.
(a) Let x ∈ R\ZR (M). Then from the exact sequence,
x

0 → M → M → M/xM → 0,
x

′

′

∆

′

′

x

′

we get the exact sequence, Hdm −1 (M) → Hdm −1 (M) → Hdm −1 (M/xM) → Hdm (M) → Hdm (M), which
yields the exact sequence,
′

′

′

0 → Hdm −1 (M)/xHdm −1 (M) → Hdm −1 (M/xM) → 0 :Hd ′ (M) x → 0.
m

(3)

Applying the Matlis dual functor to the exact sequence (3) we obtain the exact sequence,
ι

0 → ωM
b M
b → C → 0,
b → ωM/x
b /xωM

¡ ′
¢∨
′
where, C = Hdm −1 (M)/xHdm −1 (M) . By [6, 11.2.6 Local Duality Theorem],

O
¢
¢
¡ ′
¡ d ′ −1
d−1 b ∨
b
b R,
b E(R/
b mR)
b
b
= HomRb HdmRb−1 (M)
R/x
C∼
= HmRb (M)/xH
b (M)
mR
b
R

¢ ´
∼
b ∨
b R,
b Hd −1 (M)
= HomRb R/x
b
mR
³

¡

∼
x.
= 0 :Extd −d ′ +1 (M,S)
b
S

′

(4)

E HSAN TAVANFAR

AND

7

M ASSOUD T OUSI

(b) Now assume, furthermore, that R is formally equidimensional. Set, M = R. Then
b p) = dim(R),
b for each p ∈ Spec(R).
b Set,
[31, page 250, Lemma 2] implies that, ht(p) + dim(R/
b
b
R = S/a. Let, p = P/a ∈ Spec(R) where P ∈ Spec(S). We have,
b − dim(R/
b p) = htb (p) = dim(R
b p ).
dim(S P ) = htS P = dim(S) − dim(S/P) = dim(R)
R

¡ dim(Rb p )−1
¢
b S)p ∼
b S)P ∼
b p, S P) ∼
b p ), E(R
b p /pR
b p ) . ConTherefore, Ext1S (R,
(R
= Ext1S (R,
= Ext1S P (R
= HomRb p H b
pRp
sequently,
³
¢´
¡
¢
¡ dim(Rb p )−1
∼
b
b
b
b
b
R
/x
R
,
Hom
(
R
),
E(
R
/
p
R
)
Cp ∼
0
:
x
Hom
H
1
=
p
p
bp
p
p
p
b
bp
R
Ext (R,S)
R
p=
b
pRp

S

¢
b
b p )−1
dim(R
∼
b p ), E(R
b p /pR
b p) .
b p )/xHdim(Rp )−1 (R
(R
= HomRb p H b
b
pRp
pRp
¡

We summarize the above observation as follows.
(c) If in addition R is presumed to be formally equidimensional then, setting M = R, the
b p )−1
b
dim(R
b p )/xHdim(Rp )−1 (R
b p ), for each
module C in the exact sequence (4) is locally dual to, H
(R
bp
pR

b
p ∈ Spec(R).

bp
pR

In the following lemma we show that some of the properties of the canonical module,
which are well-known in the case where R is a homomorphic image of a Gorenstein ring,
hold in general.
Lemma 2.4. Let M has a canonical module. The following statements hold.
(i) AssR (ωM ) = AsshtR (M). In particular, dim(ωM ) = dim(M) and SuppR (ωM ) ⊆ SuppR (M).
(ii) SuppR (ωM ) = {p ∈ SuppR (M) : htM p + dim(R/p) = d ′ }.
(iii) For each ideal a of R we have htωM a ≥ htM a. But, htωM p = htM p for each p ∈ Supp(ωM ).
(iv) ωM satisfies the Serre condition S 2 .

N
T
b for
Proof. (i) By, [31, Theorem 23.2], we can deduce that AssR N = {q R; q ∈ AssRb (N R R)}
each finitely generated R-module N. Thus, [39, Lemma 1.9.(c)] implies that,
AssR (ωM ) = {q
= {q
= {q

\

\

\

R : q ∈ AssRb (ωM

O
R

R : q ∈ AssRb (ωM
b )}
b
R : q ∈ Asshtb (M}.

b
R)}

R

T
b = AsshtR (M). Let, p ∈ AsshtR (M).
Thus it is enough to prove that, {q R : q ∈ AsshtRb (M)}
b
b
b
b pR).
b So we have dim(M)
b =
There exists q ∈ Spec(R) such that pR ⊆ q and dim(R/q) = dim(R/
b pR)
b = dim(R/
b q). Since, q ∈ min(pR),
b so [31, Theorem 9.5.] imdim(M) = dim(R/p) = dim(R/
T
b as required.
b
plies that q R = p. Thus, q ∈ SuppRb (M). Consequently q ∈ AsshtRb (M),
T
b
b and p = q R. We have p ∈ AssR (M) because q ∈ Ass b (M).
Conversely, let q ∈ AsshtRb (M)
R
b = dimR (M).
b pR)
b ≥ dim(R/
b q) = dimb (M)
Also, dimR (M) ≥ dim(R/p) = dim(R/
R

8

A S TUDY OF QUASI -G ORENSTEIN R INGS

(ii) Let N be a finitely generated R-module and p ∈ SuppR (N). Then we can choose q ∈
T
b such that dim(R/
b q) = dim(R/
b pR)
b = dim(R/p). Therefore, q R = p and so R
b q is a
min(pR)
N
N
N
∼
b
b
b
faithfully flat extension of Rp . Since, (N R R) = Np Rp Rq so we have q ∈ SuppRb (N R R).
Due to the formula [7, Theorem A.11] we have,
O
¢
¡ O
b q = dim(Np
b q ) = dim(Np ) + dim(R
b q /pR
b q ) = dim(Np ).
R)
R
dim (N
R

Rp

Now, our claim follows from the above observation in conjunction with the fact that ωM
b =
N
b
ωM R R.
(iii) Assume that R is complete. Then using Reminder
2.1(v)
we have (ωM )p ∼
= ωMp for
¡
¢
each p ∈ SuppR (ωM ). It turns out that, htωM p = dimRp (ωM )p = dimRp (Mp ) = htM p, for each
p ∈ SuppR (ωM ). It follows that,
\
htωM a = inf{htωM p : p ∈ Var(a) SuppR (ωM )}
\
= inf{htM p : p ∈ Var(a) SuppR (ωM )}
\
≥ inf{htM p : p ∈ Var(a) SuppR (M)}
= htM a.

But,
¡
¡
¢
¢
b + 0 :b ω b )/0 :b ω b = htω aR.
b
htωM a = htR/0:R ωM (a + 0 :R ωM )/0 :R ωM = htR/0:
b b ω b (aR
b
R M
R M
M
R

M

b Hence the statement follows from the preceding inequalBy the same token, htM a = htM
b aR.
ity. Clearly, since SuppR (ωM ) ⊆ SuppR (M), so in fact the inequality, htωM p ≥ htM p, is an equality for each p ∈ SuppR (ωM ).
N
∼
b
(iv) The statement follows from the fact that ωM
b = ωM
R R satisfies S 2 .
The second part of the following lemma, which is a special case of the first part, will be
used several times throughout the remainder of the paper. It is worth pointing out that one
implication of the second part of the following lemma can be deduced by [3, Lemma 2.1], in
the case where d ′ = d .
Lemma 2.5. The following statements hold.
(i) Let p ∈ SuppR (M) such that htM p ≥ 3. Suppose, furthermore, that p * ZR (M). If p ∈
¡ ′
¢
¡
¢
b ω b = 2.
Att Hdm −1 (M) , then grade pR,
M
¡ ′
¢
(ii) (c.f. Remark 2.7) Suppose that DepthR (M) ≥ 1 and dim(M) ≥ 3. Then, m ∈ Att Hdm −1 (M)
if and only if DepthRb (ωM
b ) = 2.

Proof. We first deal with the case where R¡is complete.
¢ Let x ∈ p\ZR (M). Then, by Reminder
d ′ −1
2.1(v), x ∈ p\ZR (ωM ). The fact that p ∈ AttR Hm (M) in conjunction with [6, 7.2.5. Exercise]
¡ ′
¢
′
implies that, p = 0 :R Hdm −1 (M)/A for some submodule A of Hdm −1 (M). Hence we get an exact
sequence,
′
′
′
Hdm −1 (M)/xHdm −1 (M) → Hdm −1 (M)/A → 0,

E HSAN TAVANFAR

AND

9

M ASSOUD T OUSI

¡ ′
¢
′
because x belongs to p. Thus, p/xR ∈ AttR/xR Hdm −1 (M)/xHdm −1 (M)
by virtue
³¡ . ′Consequently,
¢∨ ´
d −1
d ′ −1
of [6, 10.2.20 Corollary], we can conclude that, p/xR ∈ AssR/xR Hm (M)/xHm (M) . It
turns out that,
³
¡ ′
¢∨ ´
′
HomR/xR R/p, Hdm −1 (M)/xHdm −1 (M)
6= 0.
(5)
We have, dimRp /xRp (Mp /xMp ) = dimRp (Mp ) − 1 ≥ 2. Therefore Lemma 2.4(iii) yields,
htωM/xM (p/xR) ≥ htM/xM (p/xR) ≥ 2.
In particular, since ωM/xM is S 2 as R/xR-module so using Reminder 2.1(iii) we get,

It turns out that,

¢
¡
gradeR/xR p/xR, ωM/xM ≥ min{2, htωM/xM (p/xR)} ≥ 2.
HomR/xR (R/p, ωM/xM ) = Ext1R/xR (R/p, ωM/xM ) = 0

(6)

Now, using (5) and (6), in light of the exact sequence (4) of Remark 2.3, we can deduce that,
Ext1R/xR (R/p, ωM /xωM ) 6= 0.
Consequently, gradeR/xR (p/xR, ωM /xωM ) ≤ 1, i.e. gradeR (p, ωM ) ≤ 2. On the other hand,
htωM p ≥ htM p ≥ 3 which implies that, gradeR (p, ωM ) ≥ min{2, htωM p} ≥ 2. So the statement
holds in this case.
¢
¡ ′
b with
In the general case, in light of [6, 11.2.10 Exercise], there exists q ∈ AttRb Hd b−1 (M)
mR
N
N
T
b and 3 ≤ htM p ≤ ht b q. Then the above
b q * Z b (M R R)
p = q R. We have, q ∈ SuppRb (M R R),
M
R
b ω b ) ≤ 2. This completes the
argument shows that gradeRb (q, ωM
b ) = 2 and thence gradeR
b (pR,
M
b ≥ ht b (pR)
b = htM (p) ≥ 3 and ω b
proof because by Lemma 2.4(iii) and (iv) we have, htω (pR)
b
M

M

M

is S 2 .
(ii) We may and we do assume that R is complete. One implication follows from the
preceding part. Note that,
³¡ ′
¢∨ ´
d −1
d ′ −1
m/xR ∈ AssR/xR Hm (M)/xHm (M) ,

³
¡ ′
¢∨ ´
′
6= 0. Hence we can conclude the reif and only if, HomR/xR R/m, Hdm −1 (M)/xHdm −1 (M)
verse implication, also, by tracing back the proof of part (i).

Remark 2.6. It is, perhaps, worth pointing out that the reverse of the first part of the preceding lemma does not hold in general. For example, assume that R is a quasi-Gorenstein
Buchsbaum non-Cohen-Macaulay ring of dimension 4 and depth 2 (see [23, Lemma 2.2.]
or the Segre product ring given in the introduction). Let p ∈ Spec(R) with ht(p) = 3. R is
S 2 and htR (p) ≥ 3, hence by Reminder 2.1(iii)¡we have¢2 ≤ gradeR (p, R) ≤ Depth(R) = 2. So,
d−1
b R)
b = grade (p, R) = 2. But p ∉ AttR Hd−1
gradeRb (pR,
m (R) , because Hm (R) has finite length.
R
Also, it seems that we can not deduce Lemma 2.5(i) from Lemma 2.5(ii) by localization, because we shall need the further assumption, htM p + dim(R/p) = dim(M), which is not assumed.

10

A S TUDY OF QUASI -G ORENSTEIN R INGS

Remark 2.7. This remark is due to Raheleh Jafari. In fact, what follows inspired us to prove
L
Mp . Define the map
the preceding lemma, as a slight generalization. Set, M0 :=
p∈SuppR (M),
htM p=0

0
∂−1
M : M → M such that its projection onto Mp is the natural localization map for each p ∈
Supp(M) with htM p = 0. Assume,
inductively,
that Mi and ∂iM−1 : Mi −1 → Mi are constructed.
¡
¢
L
Coker(∂iM−1 ) p , and ∂iM : Mi → Mi +1 to be the following map. For
Then set, Mi +1 :=

p∈SuppR (M),
htM p=i +1

¡
¢
m ∈ Mi and p ∈ SuppR (M) with htM (p) = i + 1, the component of ∂iM (m) in Coker(∂iM−1 ) p is
m/1, where, − : Mi → Coker(∂iM−1 ) is the natural map. Then, we get the complex,
∂−1
M

∂0M

∂iM−2

∂iM−1

∂iM+1

C (M) := 0 → M → M0 → M1 . . . → Mi −1 → Mi → . . . ,
which is called the Cousin complex of M with respect to the hight filtration. The Cousin
complex is introduced and investigated firstly in [40] as the Commutative Algebraic analogue
of the Cousin complex introduced by A. Grothendieck and R. Hartshorne [20, Chapter IV].
i
Denote by H M
the i -th cohomology of the Cousin complex C (M).
Now assume, additionally, that M is S 2 and formally equidimensional and the formal
d ′ −2
fibers of R are Cohen-Macaulay. Then by virtue of [10, Theorem 2.4] we have H M
6= 0 if and
2
only if H b (ωM
b ) 6= 0. Moreover in spite of [11, Lemma 2.2.(iii)] and [10, Theorem 2.1.] we have
m
¡ R d ′ −1
¢
d ′ −2
m ∈ AttR HR (M) if and only if H M
6= 0. This, again, proves Lemma 2.5(ii) in the case
where M is S 2 and formally equidimensional and formal fibers of R are Cohen-Macaulay.
The following lemma is used in the proof of the second part of Theorem 2.9.
Lemma 2.8. Assume that M is not Cohen-Macaulay and that M has a canonical module ωM .
Put,
s := max{i : i < d ′ and Him (M) 6= 0}.
¡ s
¢
If DepthRb Hm
(M)∨ = 0, then,
(
d ′,
s =0
.
Depth(ωM ) =
′
d − s + 1, s > 0
Proof. It suffices to prove the claim in the complete case, so we assume that R is complete.
Set, R′ := R/0 :R M. Recall that since, 0 :R M ⊆ 0 :R ωM , so both of M and ωM are R′ -modules.
Furthermore, ωM is also
module of M over R′ . In addition, the numbers s,
¡ sthe canonical
¢
∨
Depth(ωM ) and Depth Hm (M) are independent of taking the base ring to be either R or R′ .
Thus, without loss of generality, we can presume additionally that dim(R) = dim(M) and that
R also has a canonical module (since R is assumed to be complete). So the statement follows
from [3, Lemma 2.1].
In the following theorem we give an explicit description of the attached prime ideals of
some of local cohomology modules, namely the first non-zero local cohomology supported
at m starting from the point dim(M) − 1. We also, as an application, reprove [39, Theorem
1.15] (In the case where R is not necessarily homomorphic image of a Gorenstein ring and

E HSAN TAVANFAR

AND

11

M ASSOUD T OUSI

our proof is quite different). Clearly we may replace ωR with R in the following theorem
provided R is quasi-Gorenstein. Furthermore, the first part of the next theorem shall be used
in the proof of the Corollary 3.4(i).
Theorem 2.9. Assume that M is formally equidimensional and S 2 and that M has a canonical
module ωM . Then the following statements hold.
(i) Suppose that the formal fibers of R are S 3 7 . Then we have,
¡
¡ ′
¢
¢
AttR Hdm −1 (M) = {p ∈ Spec(R) : DepthRp (ωM )p = 2, and, htωM p ≥ 3}.

(ii) Assume that, n ≥ 2 and that formal fibers of R satisfy the S n+1 condition. Then, ωM
satisfies the S n -condition, if and only if, Him (M) = 0, for each d ′ − n + 2 ≤ i ≤ d ′ − 1. In
this case,
¡
¢
¡ ′
¢
Att Hdm −n+1 (M) = {p ∈ Spec(R) : DepthRp (ωM )p = n and , htωM p ≥ n + 1}.
b is S 2 too.
Proof. Note that, Since M and formal fibers of R satisfies the S 2 -condition, so M
b is also S 1 so, minb (M)
b = Ass b (M).
b Consequently, in view of the our hypothesis, M
b
Since M
R
R
b Then there exists p ∈ Asshtb (M)
b such that p ⊆ q. By Lemma
is unmixed. Let q ∈ SuppRb (M).
R
2.4(i), we have p ∈ AssRb (ωM
b ). Hence, q ∈ SuppR
b (ωM
b ). So the identity,
b q) = d ′ ,
htM
b q + dim(R/

(7)

holds due to Lemma 2.4(ii).
(i) If d ′ ≤ 2 then M is a Cohen-Macaulay R-module and the statement
follows
from Lemma
¡
¢
2.4(iv). So we suppose that d ′ ≥ 3. Let p ∈ Spec(R) such that Depth (ωM )p = 2 and htωM p ≥
3. Then p ∈ SuppR (ωM ) and in view of Lemma 2.4(iii), we have htM p = htωM p ≥ 3. Let,
T
b Then, q R = p. Using [7, Proposition 1.2.16.(a)] and the fact that R
b q is a
q ∈ minRb (pR).
b q ), DepthR (Mp ) =
faithfully flat extension of Rp we can deduce that dimRp (Mp ) = dimRb q (M
p
¡
¢
¡
¢
b
DepthRb q (Mq ) and DepthRb q (ωM
b )q = DepthRp (ωM )p . On the other hand, in light of Reminder 2.1(v) we get, (ω b )q ∼
= ω b and thence by Lemma 2.5(ii),
M

Mq

¡

¢
b q )−1
dim(M
b q) .
(
M
bq
qR

b q ∈ Attb H
qR
Rq

¡ ht p−1
¢
Thus [6, 11.2.10 Exercise (iii)] yields pRp ∈ AttRp HpRMp (Mp ) . So the statement follows from
Lemma 2.4(ii) and [6, 11.2.11 Exercise]. ¡
¢
′
Now, conversely, assume that p ∈ AttR Hdm −1 (M) . By [6, 11.2.10 Exercise (iii)] there ex¢
¡ d ′ −1
b such that q lies over p and q ∈ Attb H
b . Hence, the identity (7) in conjuncists q ∈ R
(
M)
R
b
mR
¡
¢
b
b q ∈ Attb Hdim(Mq )−1 (M
b q ) . This, and equality
tion with [6, 11.2.8 Exercise(i)] implies that qR
R
b
qR q

7

Note that all formal fibers of a homomorphic image of a Cohen-Macaulay ring are Cohen-Macaulay

12

A S TUDY OF QUASI -G ORENSTEIN R INGS

b q ∉ Ass b (M
b q ), because M
b is unmixed. Next, since M
b is S 2 and M
b q is not Cohen7, yields qR
Rq
b q ) ≥ 3. Therefore we can invoke Lemma 2.5(ii) to deMacaulay, so we deduce that dimRb q (M
¢
¡
b
b
duce that Depth (ωM
b )q = 2. Hence, Depth(Rq /pRq ) ≤ 2, by [7, Proposition 1.2.16] (Note that,
N
∼
∼
b
b q /pR
b q is S 3 we can deduce that,
(ωM )p Rp Rq = (ωM
b )q = ωM
b q ). But then using the fact that R
b q /pR
b q is Cohen-Macaulay. So, it follows that htM p ≥ 3, otherwise Mp and thence
the fiber R
b
Mq is Cohen-Macaulay which is a contradiction. But then we get,
¡
¢
¡
¢
2 ≤ min{2, htωM p} ≤ DepthRp (ωM )p ≤ DepthRb q (ωM
b )q = 2.

(ii) We, firstly, argue by induction on d ′ . ωM is S 2 (see Lemma 2.4(iv)). If d ′ ≤ 2, then both
of M and ωM are Cohen-Macaulay and there is nothing to prove. So we assume that d ′ ≥ 3.
If n = 2, then the statement follows from the preceding part. Suppose that n > 2 and the
statement has been proved for smaller values of n.
Presume that ωM is S n . Since ωM satisfies the Serre-condition S n−1 also, so our inductive
hypothesis implies that Him (M) = 0 for each d ′ − n + 3 ≤ i ≤ d ′ − 1 and that,
¢
¡
¡ ′
¢
Att Hdm −n+2 (M) = {p ∈ Spec(R) : DepthRp (ωM )p = n − 1 and , htωM p ≥ n}.

But ωM satisfies S n -condition, so the set on the right hand side of the above identity is
d ′ −n+2
the¡ empty set. ¢Consequently, we get Hm
(M) = 0, as claimed. It remains to describe,
′
Att Hdm −n+1 (M) . In the case where d ′ ≤ n we have ωM is Cohen-Macaulay and d ′ − n + 1 ≤
1. Since, M is S 2 and d ′ ≥ 3, DepthR (M) ≥ 2 and consequently¡ H0m (M) = H¢1m (M) = 0. So
′
we may assume that d ′
n, in particular d ′
3. Let, p ∈ Att Hdm −n+1 (M) . We, firstly,
¢
¡ d ′ −n+1
b such that q lies over p
deal with the case that p 6= m. There exists q ∈ AttRb H b
(M)
mR
(see [6, 11.2.10 Exercise(iii)]). Then [6, 11.2.8. Exercise(i)] together with the identity (7)
b q )−n+1
¡ dimb (M
¢
b q ∈ Att b H Rq
b q ) . So, our inductive assumption on dimenimplies that qR
(M
qR q
b
¡ qR q ¢
¡
¢
b q ) ≥ n + 1. Therefore,
sion implies that DepthRb q (ωM
b )q = n and dimR
b q (ωM
b )q = dimR
b q (M
¡
¢
b q /pR
b q ) ≤ n and whence the fiber R
b q /pR
b q is Cohen-Macaulay. If dimRp (ωM )p ≤ n,
Depth(R
then (ωM )p is Cohen-Macaulay (Recall that ωM is assumed
to¢ be S n ) and hence (ωM
b )q is
¡
Cohen-Macaulay which is a contradiction. Hence dimRp (ωM )p ≥ n + 1. So,
¡
¡
¢
¢
¡
¢
n ≤ min{n, dimRp (ωM )p } ≤ DepthRp (ωM )p ≤ DepthRb q (ωM
b )q = n.

Thus our statement holds in this case where p 6= m. Suppose that p = m. Since dim(ωM ) =
dim(M) ≥ n + 1 so it is enough to show that DepthR (ωM ) = n. Let x be an M-regular el′
∼
ement. Since, Hdm −1 (M) = 0, so the exact sequence (4) in Remark 2.3 yields, ωM
b =
b /xωM
¡
¢
¢
¡
′
i
b .
b = 0 for each d ′ − n + 2 ≤ i ≤ d ′ − 1 and mR
b ∈ Attb Hd −n+1 (M)
ωM/x
b M
b . We have, H b M
R
b
mR
mR
b →M
b → M/x
b M
b → 0 a standard argument shows that,
So using
the
exact
sequence,
0
→
M
¢
¡
¢
¡
b M)
b . Conb M
b = 0 for each d ′ − n + 2 ≤ i ≤ d ′ − 2 and that mR
b ∈ Attb Hd ′ −n+1 (M/x
Hi M/x
R

b
mR

b
mR

sequently, by Lemma 2.8 we get DepthRb (ωM/x
b ) = n − 1, i.e.
b /xωM
b (ωM
b M
b ) = n − 1, i.e. DepthR
)
=
n.
DepthR (ωM ) = DepthRb (ωM
b
¡
¢
For the reverse inclusion, let p ∈ Spec(R) with DepthRp (ωM )p = n and htωM p ≥ n + 1. Let
¡
¢
b So by [7, Proposition 1.2.16] and [7, Theorem A.11] we have, Depthb (ω b )q =
q ∈ minb (pR).
R

Rq

M

E HSAN TAVANFAR

AND

13

M ASSOUD T OUSI

element in p. By, Lemma 2.4(i), x is an ωM -regular
n and htωMb q ≥ n +1. Let ¡x be an M-regular
¢
∼ b /xω b ).
element. Thus, DepthRb q (ωM/x
)
q ≥ n (Recall that ωM/x
=
n
−
1
and htωM/x
b M
b q
b M
b = ωM
b M
b
M
Now, since ωM/x
b M
b satisfies the S n−1 -condition, so in view of our inductive hypothesis we get
¢
¡ ′
b = 0, so we may deduce that q ∈
b M)
b . Consequently, since Hd ′ −n+2 (M)
q ∈ AttRb Hd b−n+1 (M/x
m
R
¢
¡ d ′ −n+1
¡ d ′ −n+1 m¢Rb
b which yields p ∈ AttR Hm
Attb H
(M)
(M) due to [31, Theorem 9.5.] and [6, 11.2.10
R

b
mR

Exercise(iii)].
Now, conversely, assume that, Him (M) = 0, for each d ′ −n +2 ≤ i ≤ d ′ −1. Then, the inductive assumption shows that,
¡ ′
¢
¡
¢
Att Hdm −(n−1)+1 (M) = {p ∈ Spec(R) : DepthRp (ωM )p = n − 1 and , htωM p ≥ n} = ;,

and that ωM satisfies
p ∈ Spec(R) such
¡
¢S n−1 . Suppose by way of contradiction that¡there exists
¢
that DepthRp (ωM )p
min{n, htωM p}. Also, we have, DepthRp (ωM )p ≥ min{n − 1, htωM p}.
¡
¢
¡ ′
¢
These facts yield htωM p ≥ n and DepthRp (ωM )p = n − 1. But then p ∈ Att Hdm −(n−1)+1 (M)
which is a contradiction.

3 Quasi-Gorenstein rings and regular elements
S
¡

If x ∈ R\Z(R) then [24, Lemma 5.1] states that ωR/xωR ∼
= ωR/xR if and only if x ∉

¢ p.

p∈AttR Hdm−1 (R)

But, as the proof8 of the Lemma shows us, we strongly believe that the author means the following observation:
The map, ι, of the exact sequence (4) in Remark 2.3 is an isomorphism if and only if x ∉
S
¡
¢ p. In fact the proof does not deal with the following question:

p∈AttR Hdm−1 (R)

Whether the map, ι, of the exact sequence (4) in Remark 2.3 is an isomorphism whenever
ωR /xωR ∼
= ωR/xR ?
At least in the case where ωR = R, as the following lemma shows us, the above question
has a positive answer.
Proposition 3.1. Suppose that R is a quasi-Gorenstein ring. Assume that x ∈ m is a regular
S
element of R. Then R/xR is a quasi-Gorenstein ring if and only if x ∉
¡
¢ p.
p∈AttR Hdm−1 (R)

Proof. Set M = R in the exact sequence (4) in Remark 2.3. Suppose that, x ∉

¡

S

¢ p.

p∈At t Hdm−1 (R)

Then C = 0 in the exact sequence (4). Thus, ι, is an isomorphism and whence ωR/xR ∼
=
ωR /xωR ∼
= R/xR.
Now, conversely, assume that R/xR is quasi-Gorenstein. It is harmless to assume that
S
R is complete. Namely the assertion, x ∉
¡
¢ q, is equivalent to the assertion that
b
q∈AttRb Hd −1
(R)
b
mR

d−1 b
b
(R) = 0. But according to [6, Flat Base Change Theorem 4.3.2] and faithfully
(R)/xH
Hd−1
b
b

mR
8

mR

The proof is given in the paragraph before the statement of the lemma.

14

A S TUDY OF QUASI -G ORENSTEIN R INGS

d−1
b the latter statement holds if and only if Hd−1
flatness of R
m (R)/xHm (R) = 0, that is to say,
S
x∉
¡
¢ q. On the other hand it is a well-known fact that a commutative local ring is

q∈Att Hdm−1 (R)

quasi-Gorenstein if and only if its completion is so.

¡
¢
d−1
∼
Suppose by way of contradiction that x ∈ p for some p ∈ Att Hd−1
m (R) . Since Hm (R/xR) =
ER/xR (R/m) ∼
= 0 :Hdm (R) x, the exact sequence (3) in Remark 2.3 gives us an exact sequence,
f

d−1
0 → Hd−1
m (R)/xHm (R) → ER/xR (R/m) → ER/xR (R/m) → 0.

b Dualizing
Using [6, 10.2.11 Theorem] we can deduce that f = sidR/xR E(R/m) for some s ∈ R.
we obtain the exact sequence,
¡
¢∨
sidR/xR
d−1
0 → R/xR −→ R/xR → Hd−1
(R)/xH
(R)
→ 0.
m
m

(8)

¡ d−1 ¢
Since p ∈ Att
so a similar
argument as in the proof of Lemma 2.5(i) shows that
R
¡ Hm (R) , d−1
¢
p/xR ∈ AttR/xR Hd−1
(R)/xH
(R)
.
Consequently,
the exact
m
m
¡
¢ sequence (8) together with [6,
10.2.20 Corollary] implies that p/xR ∈ AssR/xR R/(sR + xR) . Since R/xR is quasi-Gorenstein
so by Reminder 2.1(iv), R/xR satisfies the Serre
condition
¡
¢ S 2 . Consequently,
¡
¢ in view of Reminder 2.1(iii), the fact that, p/xR ∈ AssR/xR R/(sR+xR) yields htR/xR p/xR = 1, i.e. htR (p) =
2. Thus, dim(R/p) = d − 2, by virtue of Reminder 2.1(iv) and [31, page 250, Lemma 2]. Hence
¡ dim(R/p)+1 ¢
¡
¢
we have, p ∈ Att Hm
(R) . Consequently [6, 11.2.8 Exercise] yields pRp ∈ Att H1pRp (Rp ) .
On the other hand, R is S 2 and htR (p) = 2, thence Rp is Cohen-Macaulay and H1pRp (Rp ) = 0.
¡
¢
This contradicts with pRp ∈ Att H1pRp (Rp ) .
The following lemma shall be used in the proof of the corollary 3.4(ii).
Lemma 3.2. Assume that S is an R-algebra which is finitely generated as R-module (S is, indeed, semi-local but not necessarily local). Then,
¡
¢
HomR S, E(R/m) ∼
=

M

E(S/n).

n∈Max(S)

Proof. Recall that S is a semi-local ring (see e.g., [31, page 69, 9.3.] and [31, page ¡66, Lemma
¢
2]). Taking into account an epimorphism, Rn → S we get a monomorphism HomR S, E(R/m) →
n
¡
¢
L
E(R/m). It follows that HomR S, E(R/m) is an Artinian R-module and so it is an Artinian
i =1
¡
¢
¡
¢
S-module. But HomR S, E(R/m) is also an injective S-module. Therefore HomR S, E(R/m) ∼
=
L
µ(n)
E(S/n)
(see [7, Theorem 3.2.8]). We aim to prove that µ(n) = 1 for each n ∈ Max(S).
n∈Max(S)

Let, n ∈ Max(S). Since S/n is a finite extension of R/m so there exists u ∈ N such that S/n ∼
=

E HSAN TAVANFAR
u
L

i =1

AND

15

M ASSOUD T OUSI

R/m. We have,
µ(
n)u
M
i =1

R/m ∼
=

µ(
n)
M
i =1

¡
¢
S/n ∼
= HomS S/n, HomR (S, E(R/m)
¡
¢
∼
= HomR S/n, E(R/m)
u
¡M
¢
∼
R/m, E(R/m)
= HomR
i =1

∼
=

u
M

R/m.

i =1

It turns out that µ(n) = 1 as required.
The subsequent lemma is required for the next corollary.
Lemma 3.3. Let S be an R-algebra which is finitely generated as R-module. The following
statements hold.
N
N
(i) Assume that, the natural map ϕ : Hdm (R) → Hdm (R) R S, given by α 7→ α 1 is an Risomorphism. Then given an S-module N and a map f : HdmS (S) → HdmS (N) we have f is
an R-homomorphism if and only if it is an S-homomorphism.
(ii) Suppose that R has a canonical module ωR . For each d -dimensional finitely generated
S-module N the well-known R-isomorphism,
¡
¢
d
HomR HomR (N, ωR ), E(R/m) ∼
= HmS (N),
is an S-isomorphism too.

Proof. (i) For each finite S-module N by representing Hdm (R), (respectively HdmS (N)) as the
last cohomology of the Čech complex C• (x, R) (respectively, C• (xS, N)) for some system of
parameters x for R, it is easily seen that the natural R-isomorphism,
O
N → HdmS (N),
ψN : Hdm (R)
R

N
N
which takes an element, [r /xα ] R n ∈ Hdm (R) R N, to, [r n/xα ], is an S-isomorphism too. According to our hypothesis, we have the R-isomorphism, ψS ◦ ϕ : Hdm (R) → HdmS (S). Therefore,

³
O
¡
¢ Hom(ψS ,id)
¢
¡
¡
¢´
∼
HomS HdmS (S), HdmS (N)
HomS Hdm (R)
S, HdmS (N) ∼
=
= HomR Hdm (R), HomS S, HdmS (N)
R

−1

−1

¡
¢ Hom(ϕ ◦ψS
∼
∼
= HomR Hdm (R), HdmS (N)
=

,id)

¡
¢
HomR HdmS (S), HdmS (N) .

Let us to denote the composition
above
¢ isomorphisms with λ. It is easily seen that
¡ d of the
d
λ( f ) = f for each f ∈ HomS HmS (S), HmS (N) . This fact together with the surjectivity of λ
proves the claim.

16

A S TUDY OF QUASI -G ORENSTEIN R INGS

(ii) Let N be a finitely generated S-module. As we have seen just in the previous part there
N
exists a natural S-isomorphism, ψN : Hdm (R) R N → HdmS (N). Hence we have the following
chain of S-isomorphisms,
O
¡
¢
¡
¢O
HomR HomR (N, ωR ), E(R/m) ∼
N∼
N∼
= HdmS (N).
= HomR ωR , E(R/m)
= Hdm (R)
R

R

(The reader could easily verify that the first isomorphism is an S-isomorphisms too)
Corollary 3.4. Assume that R is a quasi-Gorenstein ring and x ∈ m is a regular element. Then
the following statements hold.
(i) A necessary and sufficient condition for R/xR to be quasi-Gorenstein is that R/xR satisfies the S 2 condition.
(ii) If R/xR has a canonical module then the S 2 -ification of R/xR is quasi-Gorenstein (up to
localization).
b is quasi-Gorenstein and hence S 2 . Hence the
Proof. (i) Since, R is quasi-Gorenstein so R
formal fibers of R are S 2 . Therefore the formal fibers of R/xR are S 2 too. It turns out that
b R
b is S 2 . Therefore, the statement follows from Theorem
R/xR satisfies S 2 precisely when R/x
3.5.
(ii) Let us denote the S 2 -ification HomR/xR (ωR/xR , ωR/xR ) of R/xR by S. Recall that, S is
∼ L E(S/n).
semi-local. Let mS be the Jacobson radical of S. We aim to prove that, Hd−1
mS (S) =
n∈Max(S)

Then the statement follows after localization. In order to accomplish this, we show that
∼ d−1
Hd−1
mS (S) = HmS (ωR/xR ) as S-modules. On the other hand using Lemma 3.2 we get R/xRisomorphisms,
¡
¢
¡
¢
L
E(S/n) ∼
= HomR/xR S, ER/xR (R/m) = HomR/xR HomR/xR (ωR/xR , ωR/xR ), ER/xR (R/m) ∼
=
n∈Max(S)

Hd−1
mS (ωR/xR ),

∼L
which is an S-isomorphism too by Lemma 3.3(ii). So, Hd−1
mS (S) = n∈Max(S) E(S/n), as was
to be proved.
Let us to denote the natural ring homomorphism R/xR → S, defined by the rule y 7→
yidωR/xR , with g . Let x be a system of parameters for R/xR whose image in S, also denoted
by x, is a system of parameters for S. In the following we will prove that not only Hd−1
m (g ) is
d−1
d−1
∼
an isomorphism (see (10)) but also Hm (R/xR) = Hm (ωR /xωR ) (see (11)). It turns out that
N
∼ d−1
Hd−1
(R/xR) R S →
the isomorphism, ΨS : Hd−1
m (S) = Hm (ωR/xR ) as R/xR-module. Consider N
m
N
n
d−1
n
Hd−1
m (S), which maps an element, [a/(x 1 . . . x d−1 ) ] R s ∈ Hm (R/xR) R S to [as/(x 1 . . . x d−1 ) ].
If we take into account the map ϕ of preceding lemma, then an easy verification shows that
d−1
∼ d−1
Hd−1
m (g ) = ψS ◦ ϕ. This implies that ϕ is bijective. Hence Hm (S) = Hm (ωR/xR ) as S-module
by virtue of Lemma 3.3(i). This gives us our desired isomorphism,
∼ d−1
Hd−1
mS (S) = HmS (ωR/xR )
of the preceding paragraph and completes our proof.

E HSAN TAVANFAR

AND

17

M ASSOUD T OUSI

Since R is quasi-Gorenstein so Lemma 2.4(ii) implies that ht(p) + dim(R/p) = dim(R) for
each p ∈ Spec(R). Furthermore R satisfies S 2 . Thus Reminder 2.1(iii) yields ht(p) = 1 for each
p ∈ Ass(R/xR). It follows that dim(R/p) = d − 1 for each p ∈ Ass(R/xR), i.e. R/xR is unmixed.
Therefore the identity (1) of Reminder 2.1(iv) shows that, 0 :R/xR ωR/xR = 0. Thus S is a finitely
generated integral extension of R/xR by the natural map g . Since R is quasi-Gorenstein, so
by virtue of Remark 2.3(c) and Reminder 2.1(iv), the exact sequence (4) of Reminder 2.3 gives
f
b R
b → ω b b → C → 0, where,
us an exact sequence, F := 0 → R/x
R/x R

¡ ht(p)−1
¢
b p )/xHht(p)−1 (R
b p ), E b (R
b
b
Cp ∼
(R
= HomRb p H b
Rp p /pRp )
b
pRp

(9)

pRp

g

b On the other hand we have the exact sequence, G := 0 → R/xR → S →
for each p ∈ Spec(R).
′
b yields the exact sequence,
C → 0. Tensoring G with R
gb

b R
b → Hom b (ω b b , ω b b ) → C′
Gb : 0 → R/x
R
R/x R
R/x R

O
R

b → 0.
R

b R
b is unmixed and thence (ω b b )q ∼
A similar argument as above shows that R/x
b R)
b q for
R/x R = ω(R/x
b
b
each q ∈ Spec(R/x R) (see Reminder 2.1(v)). In light of Proposition 3.1 and (9)in conjuncb ∉ Suppb b (C) if and only if
tion with the first part of the corollary we can deduce that p/x R
R/x R
b p /x R
b p satisfies the S 2 condition. On the other hand by [3, Proposition 1.2] we have gb b is
R
p/x R
b p /x R
b p satisfies S 2 . It turns out that,
an isomorphism if and only if R
′
dimR/x
b (C
b (C) = dimR/x
b R
b R

O
R

b = dimR/xR (C′ ).
R)

Since R/xR is S 1 , so R/xR is locally Cohen-Macaulay at each prime ideal of height less
than or equal one, whence by [3, Proposition 1.2] htR/xR (0 :R/xR C′ ) ≥ 2 and thereby,
¡
¢
dimR/xR (C′ ) = dim (R/xR)/(0 :R/xR C′ ) ≤ dim(R/xR) − ht(0 :R/xR C′ ) ≤ d − 3.

Thus using the exact sequence G we conclude that

∼ d−1
Hd−1
m (S) = Hm (R/xR).

(10)

b b ∼ d−1 b b ) similarly. This
Since dim(C) = dim(C′ ), using F , we deduce that Hd−1
m (R/x R) = Hm (ωR/x
R
implies that,
d−1
∼ d−1 b b ∼ d−1 b b ) ∼
Hd−1
(11)
m (R/xR) = Hm (R/x R) = Hm (ωR/x
R = Hm (ωR/xR ).
The first part of the preceding corollary is a special case of the following theorem.
b satisfies the S 2 -condition and that x is a regular element of R.
Theorem 3.5. Suppose that R
∼
Then, ωRb /xωRb = ωR/x
b R
b if and only if ωR
b /xωR
b satisfies the Serre-condition S 2 .

18

A S TUDY OF QUASI -G ORENSTEIN R INGS

Proof. We prove that ωR/x
b R
b is isomorphic to ωR
b /xωR
b provided the latter is S 2 . The converse is
obvious by By Remark 2.1(v). Suppose, to the contrary, that the map, ¡ι, in the exact sequence
¢∨
(4) of Remark 2.3, for M := R, is not isomorphism, i.e., coker( ι) = C = Hd−1
(R)/xHd−1
(R) 6=
m
m
S
S
0. It follows that, x ∈
¡
¢ p, and thence, x ∈
¡
¢ p. So, by Theorem 2.9(i),
p∈Att Hdm−1 (R)

b
p∈Att Hdm−1 (R)

¡
¢
b containing x, such that Depth b (ω b )q = 2 but htω q ≥
there exists a prime ideal q ∈ Spec(R),
b
Rq
R
R
¡
¢
3. Consequently, DepthRb q (ωRb /xωRb )q = 1 and htωRb /xωRb q ≥ 2, which violates the S 2 -property
of ωRb /xωRb .

The first author of the paper, in [43, Proposition 3.4.], shows that the Ulrich’s deformation
of certain Gorenstein rings to unique factorization domains, developed in [44], has a quasiGorenstein counterpart. We will mention the statement of this deformation theorem, for the
sake of completeness of the paper.
Theorem 3.6. (see, [43, Proposition 3.4.] and [44, Proposition 1]) Suppose that P is a regular
ring and R := P/a is a quasi-Gorenstein ring. Assume, furthermore, that R is locally complete
intersection at codimension ≤ 1. Then there exists a unique factorization domain S (which is
of finite type over P) and a regular sequence y of S such that R ∼
= S/(y).
In spite of the above deformation theorem, at the of writing this paper, it is not clear for us
whether the quasi-Gorenstein property deforms. However, in view of the following theorem,
the quasi-Gorenstein property adheres a variant of deformation which we call it as analytic
deformation. The following theorem will be used in the proof of Theorem 4.5.
Theorem 3.7. Suppose that x ∈ R\Z(R) and R/x n R is quasi-Gorenstein for each n ∈ N. Then R
is quasi-Gorenstein.
Proof. Our proof reduces to the complete case, so there exists a Gorenstein local ring (S, n)
such that dim(S) = d and R is a homomorphic image of S. The commutative diagrams,
xn

0 −−−−→ R −−−−→
°
°
°
x n+1

R −−−−→ R/x n R −−−−→ 0


x

, n+1 R)
y
y f n :=(r +x n R7→r x+x

(12)

0 −−−−→ R −−−−→ R −−−−→ R/x n+1 R −−−−→ 0
leads to the commutative diagrams,

0 −−−−→ HomS (R, S)/x n HomS (R, S) −−−−→ Ext1S (R/x n R, S) −−−−→ 0 :Ext1 (R,S) x n
S
x
x
x

Ext1 ( f ,id )
x

 S n S


−−−−→ 0
,

0 −−−−→ HomS (R, S)/x n+1 HomS (R, S) −−−−→ Ext1S (R/x n+1 R, S) −−−−→ 0 :Ext1 (R,S) x n+1 −−−−→ 0
S
(13)
for each n ∈ N. Taking the inverse limit we get the exact sequence,
0 → lim ωR /x n ωR → lim Ext1S (R/x n R, S) → lim 0 :Ext1 (R,S) x n .
←−

n∈N

←−

n∈N

←−

n∈N

S

(14)

E HSAN TAVANFAR

AND

19

M ASSOUD T OUSI

But, ωR ∼
= lim ωR /x n ωR , by [31, Theorem 8.7] and [31, page 63, 8.2.]. By our hypothesis we
←−

have,

n∈N

O
¡
¢
¡ d−1
¢
n
n
∼
Ext1S (R/x n R, S) ∼
R/x n R, ES (S/n)
= HomS Hd−1
n (R/x R), ES (S/n) = HomS Hm (R/x R)
³

´
¡
n
n
∼
(R/x
R),
Hom
R/x
R,
E
(S/
n
)
= HomR/x n R Hd−1
S
S
m
¡ d−1
¢
∼
= HomR/x n R Hm (R/x n R), ER/x n R (R/m)
∼
= R/x n R,

R/x n R

for each n ∈ N. Hence the inverse system,
¡

¢
lim Ext1S (R/x n R, S), Ext1S ( f n , idS ) n∈N ,
←−

n∈N

is isomorphic to an inverse system (R/x n R, γn : R/x n+1 R → R/x n R)n∈N . For each n ∈ N there
exists αn ∈ R such that γn (r + x n+1 R) = αn r + x n R. We claim that all but finitely many of
α′i s are invertible. In fact, one can easily verified that if our claim is wrong then for an arbiT
(m/x n R)l = 0 for each n ∈ N.
trary element (r n + x n R)n∈N ∈ lim R/x n R, we get r n + x n R ∈
←−

n

n∈N

l ∈N

Consequently lim R/x R = 0 and thereby ωR = 0 by the exact sequence (14) which is a con←−

n∈N

tradiction. Hence, without loss of generality we can assume that all of α′i s are invertible.
n+1
Modify the diagram (12) so that x n+1 is replaced by α−1
in the lower row and the vertical
n x
−1
−1
maps f n and xi d R are replaced by αn f n and αn x, respectively. This yields a modification of
1
the diagram (13) in which Ext1S ( f n , idS ) is replaced by α−1
n ExtS ( f n , idS ) and, by a slight abuse
of notation, xidExt1 (R,S) is replaced by α−1
n xidExt1S (R,S) . The result is an exact sequence analS
ogous to the exact sequence (14) in which the second non-zero module is isomorphic to
lim R/x n R ∼
= R.
←−

n∈N

Moreover, lim 0 :Ext1 (R,S) x n = 0, by the following fact. The ascending chain of modules,
←−

n∈Nn

S

{0 :Ext1 (R,S) x n }n∈N , stabilizes eventually, so that the multiplication by a fixed sufficiently large
S
power of x is zero. This concludes our proof.

4 Quasi-Gorenstein rings and the G-dimension of the canonical module
Definition 4.1. [9] A finitely generated R-module N is said to be a totally reflexive R-module if
it satisfies the following conditions.
¡
¢
(i) N is reflexive, i.e. the natural evaluation map, ηN : N → HomR HomR (N, R), R , is an
isomorphism.
¡
¢
(ii) ExtiR (N, R) = ExtiR HomR (N, R), R = 0 for each i ≥ 1.

20

A S TUDY OF QUASI -G ORENSTEIN R INGS

Definition 4.2. [9] An (augmented) G-resolution of a finitely generated R-module N is an exact
sequence, · · · → Gi → Gi −1 → · · · → G0 → N → 0, where Gi is totally reflexive. Moreover, the
G-dimension of N, denoted by G-dimR N, is the least integer n ≥ 0 such that there exists a Gresolution of N with Gi = 0 for each i > n (If there does not exist such a resolution then we say
that G-dimR N = ∞).
Lemma 4.3. Suppose that (R, m) is a zero depth local ring and M is a totally reflexive Rmodule. If M is indecomposable and 0 :R M = 0, then M ∼
= R. In particular, if HomR (M, M) ∼
= R,
∼
then M = R.
Proof. We assume that M is not free and we look for a contradiction. In particular, M has no
non-zero free direct summand. Let P• be a free resolution of M and F• be a free resolution of
M∗ . Then according to the totally reflexiveness of M we get a complete resolution,
A

. . . → P2 → P1 → P0 → F∗0 → F∗1 → F∗2 → . . . ,
of M where im(A) = im(M → F∗0 ). If the matrix A has some entries in R\m, then there exists
an element x := (r 1 , . . . , r i −1 , 1, r i +1 , . . . , r l ) ∈ im(A) = im(M →¡ F∗0 ). Let¢π : F∗0 → R be the projection map onto the i -th component.
Then,
π⌉im(A) ∈ HomR im(A), R , so O im(A) (x) = R, where
¡
¢
O im(A) (x) = { f (x) : f ∈ HomR im(A), R }. Therefore by [7, Lemma 9.5.1.], M ∼
= im(M → F∗0 ) =
im(A), has a non-zero free direct summand which is a contradiction. It turns out that entries
of A are elements of m9 . This immediately yields, 0 :R m ⊆ 0 :R im(A) = 0 :R im(M → F∗0 ) = 0 :R
M = 0, which contradicts with the fact that depth(R) = 0. It follows that M is free, as claimed.
If, HomR (M, M) ∼
= R, then 0 :R M ⊆ 0 :R HomR (M, M) = 0 :R R = 0. Furthermore, M is indecomposable, otherwise, R ∼
= HomR (M, M) would be decomposable which is a contradiction.
Remark 4.4. Let M be an R-module such that HomR (M, M) ∼
= R and Ext1R (M, M) = 0. Let
x1 ∈ R\Z(M). Then HomR/x1 R (M/x1 M, M/x1 M) ∼
= R/x1 R. If in addition, Ext2R (M, M) = 0, and
x1 , x2 is an M-regular sequence such that x1 ∉ Z(R) then by [31, page 140, Lemma 2.(i)]],
Ext1R/x1 R (M/x1 M, M/x1 M) ∼
= Ext2R (M/x1 M, M). On the other hand from the vanishing of the
modules Ext1R (M, M) and Ext2R (M, M) we can deduce that Ext2R (M/x1 M, M) = 0 and whence
Ext1R/x1 R (M/x1 M, M/x1 M) = 0. Thus, again, by the same argument as above we obtain,
HomR/¡(x

1 ,x2

³
´
¡
¢
¢ M/¡(x , x )M¢, M/¡(x , x )M¢ ∼
R/
(x
,
x
)R
.
=
1
2
1
2
1
2
)R

Theorem 4.5. Assume that R has a canonical module ωR and that Gdim(ωR ) < ∞. Then R is
quasi-Gorenstien provided ExtiR (ωR , ωR ) = 0 for each 1 ≤ i ≤ Depth(ωR ).
Proof. We induct on dim(R). In the case where dim(R) = 0 the statement follows from Lemma
4.3 and the Auslander-Bridger formula [9, Theorem 1.25.]. So we assume that dim(R) > 0 and
9

In general, the minimal free resolutions of M and M∗ for some totally reflexive R-module M, similarly as
above, give us a matrix A such that its entries may lie in R\m. For example, set M := R. Then it is easily seen that
the given matrix A will be the matrix [1].

E HSAN TAVANFAR

AND

21

M ASSOUD T OUSI

the statement has been proved for smaller values of dim(R). Applying the Auslander-Bridger
formula [9, Theorem 1.25.] we get,
Depth(Rp ) = Depth(ωRp ) + Gdim(ωRp ) ≥ DepthR (ωRp ) ≥ min{2, dim(Rp )},
for each p ∈ SuppR (ωR ). In particular, by virtue of [3, Proposition 1.2] we can conclude that R
is S 2 and thence HomR (ωR , ωR ) ∼
= R.
Let, Depth(ωR ) = 2 (respectively, Depth(ωR ) = 1). Since Depth(R) ≥ Depth(ωR ) so there
exists a regular sequence x := x1 , x2 (resp. x := x1 ) on R. By [2, 1.10], x is also a regular sequence on ωR . The above remark in conjunction with our hypothesis implies that
¡
¢
HomR/(x) ωR /xωR , ωR /xωR ∼
= R/(x).
So,

\

SuppR/x (ωR /xωR )
¡
¢
= AssR/xR (HomR/(x)R (ωR /xωR , ωR /xωR )
¡
¢
= AssR/xR R/xR .

m/(x) ∈ AssR/xR (ωR /xωR ) = AssR/xR (ωR /xωR )

¡
¢
Consequently, Depth R/xR = 0. Thus, Lemma 4.3 together with [8, Corollary 1.4.6], implies
that ωR /xωR ∼
= R/(x). Thus, µ(ωR ) = µ(ωR /xωR ) = 1. Also by [3, Lemma 1.1] together with (1)
in Reminder 2.1, we have 0 :R ωR = 0. Hence ωR ∼
= R.
Now we deal with the case where Depth(ω¡R ) ≥ 3. We
that R is complete.
¢ may assume
¡
¢
S
S
In this case, Lemma 2.5(ii) implies that m ∉ Att Hd−1
(R)
.
Let,
x
∈
R\
Z(R)
(
m
¡
¢ p) .
p∈Att Hdm−1 (R)

Then the exact sequence (4) in Remark 2.3 shows that ωR /xωR is the canonical module of
R/xR. Thus using [8, Corollary 1.4.6] we can conclude that GdimR/xR (ωR/xR ) < ∞. Our hypothesis in conjunction with [31, page 140, Lemma 2.(i)] implies that ExtiR/xR (ωR/xR , ωR/xR ) =
0 for each 1 ≤ i ≤ DepthR/xR (ωR/xR ). Therefore using the inductive assumption we can deduce that R/xR is quasi-Gorenstein. By the same token, R/x n R is quasi-Gorenstein for each
n ∈ N. Thus, by virtue of Theorem 3.7 we conclude that R is quasi-Gorenstein.

Remark 4.6. At this time we do not know whether the finiteness of the G-dimension of ωR
implies that Ext1R (ωR , ωR ) = Ext2R (ωR , ωR ) = 0. Note that in light of [1, Theorem 3], this is, indeed, the case when ProjdimR (ωR ) < ∞. We stress that, by arguing as in the proof of Theorem
4.5, an affirmative answer to this question shows that R is quasi-Gorenstein precisely when
Gdime(ωR ) < ∞ (c.f. the hypothesis of Theorem 4.5). Hence, it is perhaps worthwhile to
propose the following questions.
Question 4.7. Suppose that (the local ring) R has a canonical module with finite G-dimension.
Then, do we have Ext1R (ωR , ωR ) = Ext2R (ωR , ωR ) = 0?
Question 4.8. Assume that (the local ring) R has a canonical module with finite G-dimension.
Is R a quasi-Gorenstein ring?
We stress again that an affirmative answer to the former question would answer the latter
question positively.
The following remark sheds some light on the question of vanishing of Ext1R (ωR , ωR ) and
Ext2R (ωR , ωR ) which is related to the question 4.8.

22

A S TUDY OF QUASI -G ORENSTEIN R INGS

Remark 4.9. The following statement holds.
(i) Suppose that R is a homomorphic image of a Gorenstein local ring S with dim(R) =
dim(S). Then we can invoke the Grothendieck spectral sequence,
¢ i ,j
¡
i +j
j
ExtiR ωR , ExtS (R, S) ⇒ ExtS (ωR , S),
and [36, Theorem 10.33 (Cohomology Five-Term Exact Sequence)] to obtain the exact
sequence,

2
∨
d−1
Hd−2
m (ωR ) → ExtR (ωR , ωR ) → Hm (R)

O
R

1
∨
ωR → Hd−1
m (ωR ) → ExtR (ωR , ωR ) → 0. (15)

(ii) It is, perhaps, worthwhile to give an example of a ring satisfying S 2 but Ext1R (ωR , ωR ) 6= 0.
By virtue of [16,
( Theorem (1.1)] there exists a 5-dimensional Quasi-Buchsbaum ring
Him (R) = 0,
i 6= 2, 3
R such that,
, and it is a homomorphic image of a Gorenstein
i
H (R) ∼
= R/m, i = 2, 3
m

ring S. In particular since R is Cohen-Macaulay at punctured spectrum and Depth(R) =
2 so R satisfies the S 2-condition. Hence by [3, Remark 1.4] Hdm (ωR ) ∼
= E(R/m) and thence
R = ωωR . But it is not S 3 . Thus in view of Theorem 2.9(ii) in conjunction with the fact
that R = ωωR we can deduce that H4m (ωR ) 6= 0. Therefore the exact sequence (15) yields
Ext1R (ωR , ωR ) 6= 0.
(iii) In spite of the argument of the previous part, Ext1R (ωR , ωR ) = 0 whenever R and the formal fibers of R satisfy the S 3 -condition. Namely, under this condition we can pass to
b of R to use the exact sequence (15). Since, R = ωω so our hypoththe completion R
R
esis in conjunction with Theorem 2.9(ii) implies that Hd−1
(ω
)
=
0.
Hence
our claim
R
m
follows from the exact sequence (15).
(iv) Assume that R and formal fibers of R satisfies S 4 , DepthR (ωR ) ≥ 3 and Ext2R (ωR , ωR ) has
finite length. We have Ext1R (ωR , ωR ) = 0 by the previous part. We claim, furthermore,
that Ext2R (ωR , ωR ) = 0. We assume, again, that R is complete. Since R = ωωR we can
d−1
use Theorem 2.9(ii) to conclude that Hd−2
m (ωR ) = Hm (ωR ) = 0. Therefore the exact
sequence (15) yields
O
d−1
Ext2R (ωR , ωR )∨ ∼
ωR .
= Hm (R)
R

In addition by Reminder 2.1(iv) and [3, Lemma 1.1] we have, Supp(ωR ) = Spec(R). So,
³
³¡
O ¢∨ ´
O ¢
¡ d−1
¢´
¡
d−1
d−1
∨
ωR
ωR = AssR Hm (R)
AttR Hm (R)
= AssR HomR ωR , Hm (R)
R

R

¢\
¡
¡
¢
∨
= AssR Hd−1
Supp(ωR ) = AttR Hd−1
m (R)
m (R) .
¡ d−1
¢
N
Hence in view of the above
identity
and
Lemma
2.5(ii)
we
have,
m
∉
Att
ω
H
(R)
.
R
R
R
m
¢
¡
Now the fact that AssR Ext2R (ωR , ωR ) ⊆ {m} implies that Ext2R (ωR , ωR ) = 0.
In fact, for the vanishing of the second cohomology module Ext2R (ωR , ωR ) we imposed
several additional assumptions. Perhaps, this shows that the vanishing of Ext2R (ωR , ωR )
is considerably more complicated than the vanishing of Ext1R (ωR , ωR ).

E HSAN TAVANFAR

AND

23

M ASSOUD T OUSI

5 Several Characterizations of Quasi-Gorenstein Rings
Definition 5.1. Let M be an R-module and x := x1 , .¡. . , x v be a sequence of elements
¢ of R. FolS
t+1
t+1
t
t
lowing [25], by limit closure of x on M we mean,
(x1 , . . . , x v )M :M x1 . . . x v and we will
t≥0

denote it by {x}lim
M .

Remark 5.2. Let M be an R-module and x := x1 , . . . , x v be a sequence of elements of R. The
following statements hold.
¢
S ¡ i t+i
(i) It is easily verified that the submodule, {xi }lim
(x1 , . . . , x vi t+i )M :M x1i t . . . x vi t , of M
M =
t≥0
¢
S ¡ i +t
coincides with
(x1 , . . . , x vi +t )M :M x1t . . . x vt for each i ∈ N.
t≥0

(ii) For each i , j ∈ N with i ≤ j , we denote the the multiplication map,
j −i

j −i

. . . x v : M/(xi )M → M/(x j )M,
¡
¢
¡
¢
by ϕi ,j . So we have the direct system M/(xi )M, ϕi ,j i ,j ∈N whose direct limit lim M/(xi )M is
x1

−→

v
the top local cohomology H(x
(M) (c.f.
1 ,...,x v )

i ∈N

[6, 5.2.9. Theorem]).

(iii) By part (i), the kernel of the natural R-homomorphism λi : M/(xi )M → lim M/(xl )M,
−→

i.e. the module,

³S¡
t≥0

(x1i +t , . . . , x vi +t )M :M

l ∈N
¢´ i
t
t
i lim
x1 . . . x v /(x )M, is the submodule {x }M /(xi )M of

M/(xi )M. In particular, we have the induced R-monomorphism,
¡
¢
l
∼ v
λ˜i : M/{xi }lim
M → lim M/(x )M = H(x1 ,...,x v ) (M).
−→
l ∈N

¡
¢
(iv) It is easily verified that, similar to part (ii), we have a direct system M/{xi }lim
,
ψ
i
,j
M
i ,j ∈N

j lim
for which the R-homomorphism ψi ,j : M/{xi }lim
M → M/{x }M is, again, the multiplication
j −i

map by x1

j −i

. . . x v . Furthermore, for each i , j ∈ N the following diagram is commutative,
M/{xi }lim
M

λ˜i

¡

// lim M/(xl )M

−→
▼▼▼
▼▼▼ l ∈N
▼▼
ψi , j ▼▼▼
▼&&

OO ˜
λj

¢

M/{x j }lim
M

The injectivity of λ˜i together with above commutative diagram implies that ψi ,j is an Rmonomorphism for each i , j ∈ N. In addition, we have the natural isomorphism,
v
l
∼
lim M/{xi }lim
M → H(x1 ,...,x v ) (M) = lim M/(x )M.
−→
i ∈N

−→
l ∈N

10
(v) By [35, 3.2 Theorem] {x}lim
M = xM provided x is a regular sequence on M .
10

It is worth pointing out that Remark 5.2(v) remains true if we drop both of the assumptions for the ring R to
be Noetherian and local.

24

A S TUDY OF QUASI -G ORENSTEIN R INGS

(vi) ([30, Proposition 2.3.]) Suppose that M is finitely generated and {x}lim
M = xM. Then x 1 , . . . , x v
is a regular sequence on M.
Remark 5.3. Let M be an R-module. Then,
(i) [7, Definition 1.2.18] We use the notation Soc(M) to denote the socle of M, i.e. the Rmodule HomR (R/m, M) ∼
= 0 :M m which is isomorphic to the sum of the simple submodules
of M. Furthermore the length of M as R-module is denoted by λR (M).
(ii) Assume that R has a canonical module ωR . Then,
³

¡ d
¢´∨
N
N
N
∼
∼
b
Soc Hm (R)
= (ωR R R)
= Hdm (R)∨ R (R/m) ∼
R (R/m) = (ωR /mωR ).

(iii) In view of (ii) we have,

¶
¶
µ³
µ³
¡
¢´∨
¡
¢ ´∨
= λR Soc Hdm (R)
µ(ωR ) = VdimR/m (ωR /mωR ) = VdimR/m Soc Hdm (R)
³
³
¡
¢´
¡
¢´
= λR Soc Hdm (R) = VdimR/m Soc Hdm (R) .

Consequently,

³
³
¢´
¡
¡
¢´
d b
d
b
b
(
R)
=
Vdim
Hom
Hom
R/
m
R,
H
µ(ωRb ) = VdimR/
R/
m
,
H
(R)
.
R/m
b
R
b mR
b
m
R
b
mR

Lemma 5.4. Let A be an Artinian R-module. It is well-know that since A is an m-torsion Rb
module so A has a natural R-module
structure (see [6, 10.2.9 Remark.]). We have injdimR (A) =
injdimRb (A).

Proof. Let E • be a minimal injective resolution of A. Recall that, as A is an Artinian module,
E i is a finite copy of ER (R/m) for each i ≥ 0 and that we can endow both of A and E(R/m)
b
b mR)
b and E • is a minimal R-injective
b
with an R-module
structure such that ER (R/m) ∼
= ERb (R/
resolution of A too. Thus injdimR (A) = injdimRb (A).

Definition 5.5. [9] An R-module N is called Gorenstein injective (Gorenstein flat) if there exists an exact complex I of injective R-modules (exact complex F of flat R-modules) such that
N
Ker(I0 → I1 )] ∼
= N (Coker(F1 → F0 ) ∼
= N) and such that HomR (E, I) (E R F) is exact for every
injective R-module E.

Definition 5.6. [9] An (augmented) Gorenstein injective (respectively, Gorenstein flat) resolution of M is an exact sequence, 0 → M → B0 → B1 → · · · → Bi → · · · (respectively, · · · → Fi →
· · · → F1 → F0 → M → 0), where each Bi (respectively, each Fi ) is Gorenstein injective (respectively, Gorenstein flat). The Gorenstein injective (respectively, Gorenstein flat) dimension of N,
denoted by GinjdimR N (respectively, GfdimR N), is the least integer n ≥ 0 such that there exists
a Gorenstein injective resolution of N (respectively, Gorenstein flat resolution of N) such that
Bi = 0 (respectively, Fi = 0) for each i > n (If there does not exist such a resolution then we say
that GinjdimR N = ∞ (respectively, GfdimR N = ∞) ).

E HSAN TAVANFAR

AND

25

M ASSOUD T OUSI

According to the parts (v) and (vi) of Remark 5.2 we can deduce that R is Cohen-Macaulay
if and only if the assertion {x}lim
R = xR holds for some (equivalently for every) system of parameters x of R. Also recall that a Cohen-Macaulay ring is unmixed. Therefore the next theorem is a generalization of the fact that a Cohen-Macaulay ring is Gorenstein if and only if
each (some) parameter ideal is irreducible.
Theorem 5.7. The following statements are equivalent.
¡
¢
(i) injdim Hdm (R) < ∞.
¡
¢
(ii) GinjdimR Hdm (R) < ∞ and Extib (ωRb , ωRb ) = 0, for each 1 ≤ i ≤ DepthRb (ωRb ).
R

(iii) R is quasi-Gorenstein.

b is unmixed and the top local cohomology module of R with respect to m has one di(iv) R
mensional socle.
b is unmixed and {x}lim is irreducible for every system of parameters x := x1 , . . . , xd of R.
(v) R
R

b is unmixed and there exists a system of parameter x := x1 , . . . , xd of R such that {xn }lim
(vi) R
R
is irreducible for each n ∈ N.

b is unmixed and {x}lim is an irreducible ideal for some system of parameters x contained
(vii) R
R
in a high enough power of m.

Proof. (i)⇔(iii): One implication is clear. For the reverse, recall that Hdm (R) is an Artinian Rb with its induced R-module
b
structure. So by Lemma 5.4 we
module and that Hdm (R) ∼
= Hd b (R)
mR
can assume
that
R
is
complete
and
whence
R
has
a
canonical
module ωR . But the finiteness
¡ d
¢
of injdim Hm (R) implies that fdR (ωR ) < ∞. Therefore by [31, Theorem 7.10.] PdR (ωR ) =
fdR (ωR ) < ∞. Hence ωR is¡ free by¢ virtue of [1, Theorem 3].
¢
¡
b <
(ii)⇔(iii): If GinjdimR Hdm (R) < ∞ then [37, Lemma 3.5.] implies that GinjdimRb Hd b (R)
mR
∞. Hence using [9, Theorem 4.16.] and [9, Proposition 4.24] we conclude that GdimRb (ωRb ) <
∞. Thus the statement follows from Theorem 4.5. The reverse is straightforward.
b is quasi-Gorenstein. So by Reminder 2.1(iv) R
b is an unmixed ring. Since
(iii)⇒(iv): R
³
¡
¢
¡
¢
¡
¢´
d
∼
∼
HomR R/m, H (R) = HomR R/m, E(R/m) = R/m, we have VdimR/m Soc Hd (R) = 1.
m

(iv)⇒(v): By

m

Remark 5.2(iii) there is an R-monomorphism R/{xi }lim
R
³

→ lim R/(xn ) ∼
= Hdm (R)
−→

n∈N

¡
¢´
for each i ∈ N. So the fact that VdimR/m Soc Hdm (R) = 1 implies that either R/{xi }lim
R is zero
i lim
i lim
or it has one dimensional socle. Let, {x }R 6= R. Then since R/{x }R is an Artinian ring with
¡
¢
i lim
VdimR/m HomR (R/m, R/{xi }lim
R ) = 1, by [31, Theorem 18.1.] R/{x }R is a Gorenstein Artinian
i lim
ring and consequently the zero ideal of R/{xi }lim
R is irreducible, i.e. {x }R is an irreducible
11
i lim
ideal of R. Also if, {xi }lim
R = R , then {x }R is an irreducible ideal of R.
(v)⇒(vi): It is obvious.
11

Here, it is worth to mention the following. The Hochster’s Monomial Conjecture states that for each local
ring R and each system of parameters y of R we have {y}lim
R ( R. Hence in the case where either both of R and
R/m have the same characteristic or dim(R) ≤ 3, we already know that {x}lim
R ( R.

26

A S TUDY OF QUASI -G ORENSTEIN R INGS

(vi)⇒(iii): By our hypothesis, for sufficiently large n, R/{xn }lim
R is a Gorenstein Artinian
¡
¢
n lim
ring and consequently R/{x }R has one-dimensional socle. On the other hand Soc Hdm (R)
is a non-zero finitely generated R-module and,
¡
¢
n lim
∼
Soc Hdm (R) = Soc(lim R/{xn }lim
R ) = lim Soc(R/{x }R ).
−→

−→

n∈N

n∈N

It turns out that, Soc(R/{xn }lim
) → Soc(Hdm (R)) is onto for some m ∈ N and each n ≥ m and
¢ R
¡ d
thereby VdimR/m Hm (R) = 1. Hence ωRb is cyclic by Remark 5.3(iii). On the other hand our
unmixedness hypothesis together with the identity (1) of Reminder 2.1 yields, 0 :Rb ωRb = 0, i.e.
b
ωb ∼
= R.
R

(vii)⇒(iv): Let ℓd (R) ∈ N be as in [30, Definition 2.4.]. Suppose that x is a system of parameters in mℓd (R) such that {x}lim
Precisely
2.5.],
R is an irreducible ideal.
¢
¡
¢
¡ as in [30, Proposition
[18, Lemma 3.12] implies that the natural map Soc R/(x) → Soc lim R/(xn ) is onto. By Re−→

n∈N

n
mark 5.2(iv), there exists a natural isomorphism lim R/{xn }lim
R → lim R/(x ) which yields the
−→

−→

following commutative diagram,
¡
¢
Soc R/(x)

n∈N

n∈N

−−−−→



y

¢
¡
Soc lim R/(xn )
−→

n∈N

x
∼
=

n lim
Soc(R/{x}lim
R ) −−−−→ Soc(lim R/{x }R ).
−→

n∈N

¡
¢
¡ d
¢
n lim ∼
R/{x
}
)
→
Soc
lim
This implies that Soc(R/{x}lim
Soc
H
(R)
is an epimorphism too
=
m
R
R
−→
n∈N
¡
¢
and whence Socdim Hdm (R) = 1.
(v)⇒(vii): It is obvious.
It is worth pointing out that the equivalence (iv)⇔(iii) in the preceding theorem may be
considered as a counterpart to the well-known fact that R is a Gorenstein ring if and only if R
is a Cohen-Macaulay ring of type 1. Also the equivalence (vii)⇔(iii) is a generalization of the
main result of [30, Theorem 2.7.], i.e. the following: 12 .
Theorem: ([30] ) There exists an integer ℓ such that R is Gorenstein if and only if some
parameter ideal contained in mℓ is irreducible.
Remark 5.8. Assume that R has a canonical module ωR . By the identity (1) of Reminder 2.1, R
N
b = 0 if and only if R
b is unmixed.
is unmixed if and only if 0 :R ωR = 0 if and only if 0 :Rb (ωR R R)
b
Hence we can replace R with R in all parts of the Theorem 5.7 provided that R has a canonical
module. However, [33, EXAMPLE 2.3] gives us an example of a Noetherian local domain such
that its completion is not unmixed.
12

This is mentioned in the introduction of [30]

E HSAN TAVANFAR

AND

M ASSOUD T OUSI

27

In the following example we construct a ring R such that Hdm (R) has a one dimensional
socle but it is not quasi-Gorenstein. This implies that in Theorem 5.7 the unmixedness conb is necessary.
dition of R

Example 5.9. Let K be a field and consider the power series ring K[[X, Y]]. Then,
R = K[[X, Y]]/(X 5 Y 5 ),

is a Gorenstein ring. Let a = (X 4 Y 3 , X 3 Y 4 )/(X 5 Y 5 ) be an ideal of R. An easy verification shows
that 0 :R a is a principal ideal generated by the image of X 2 Y 2 in R and that a ( 0 :R (0 :R a) =
(X 3 Y 3 )/(X 5 Y 5 ). Note that htR (a) = 0. This implies that 0 :R a ∼
= HomR (R/a, R) is the canonical
module of R/a which is cyclic but 0 :R/a (0 :R a) = 0 :R (0 :R a)/a 6= 0. Therefore the canonical
module of R/a is not free and R/a is not quasi-Gorenstein. However by dualizing
an epimor³
¡ d
¢´
d
Soc
H
(R)
phism R → ωR we get an embedding Hm (R) → E(R/m). Therefore, VdimR/
= 1,
b mR
b
m
although R is not quasi-Gorenstein.
It is well-known that a Cohen-Macaulay ring R is Gorenstein if and only if there exists an
irreducible system of parameters for R. So, in accordance with Theorem 5.7, perhaps it is
b is unmixed and there exist a system
natural to ask whether R is quasi-Gorenstein provided R
of parameters for R whose limit closure is irreducible? The answer is negative.

Example 5.10. Let R = C[[X, Y, Z, T]]/(XY, XT, ZY, ZT). We denote the images of X, Y, Z, T in R
by x, y, z, t , respectively. Then R is a non-Cohen-Macaulay unmixed complete local ring of
dimension 2. One can verify that x + y, z + t is a system of parameters for R and that,
¡

¢
(x + y)2 , (z + t )2 : (x + y)(z + t ) = (x, y, z, t ).

So (x + y, z + t )lim is the unique maximal ideal of R and in particular it is irreducible. But R is
not quasi-Gorenstein as R is a non-Cohen-Macaulay ring of dimension 2.
In the Theorem 5.7 the quasi-Gorensteinness is characterized with the aid of the limit
closure of parameter ideals. We would like to digress momentarily to give another such application of the limit closure. The following proposition will be use in the proof of Theorem
5.12.
n
lim
Proposition 5.11.³ Suppose that there exists n ∈ N such
´ that m ({x}M /xM) = 0, for each s.o.p.
¡
¢
x for M. Then, mn (x1 , . . . , xi )M :M xi +1 /(x1 , . . . , xi )M = 0, for each s.o.p. x for M and for every

0 ≤ i ≤ d ′ − 1.

¡
¢
Proof. Let, m ∈ (x1 , . . . , xi )M :M xi +1 , where 0 ≤ i ≤ d ′ − 1. Then,

u
u
xi +1 m ∈ (x1 , . . . , xi , xiu+1
+1 , x i +2 , . . . , x d ′ )M,

for each u ∈ N. Therefore, x1 . . . xi xiu+1 . . . xdu′ m ∈ (x12 , . . . , xi2 , xi2u
, . . . , xd2u′ )M which yields m ∈
+1
n
u
u
{x1 , . . . , xi , xiu+1 , . . . , xdu′ }lim
M . Thus our hypothesis yields m m ∈ (x 1 , . . . , x i , x i +1 , . . . , x d ′ )M for
each u ∈ N. Now the assertion follows from the Krull’s intersection theorem.

28

A S TUDY OF QUASI -G ORENSTEIN R INGS

Theorem 5.12. The following statements hold.
(i) If R is a generalized Cohen-Macaulay ring, then there exists n ∈ N0 such that, mn ({x}lim
R /xR) =
13
0, for each s.o.p. x for R . The reverse also holds whenever R is a homomorphic image
of a Cohen-Macaulay ring.
(ii) R is a Buchsbaum14 ring if and only if m({x}lim
R /xR) = 0 for each s.o.p. x for R.
¡ lim
¢
n
Proof. If there ¡exists n ∈ N such that
m
{x}
/xR
= 0 for each s.o.p. x for R then by PropoR
¢
sition 5.11, mn (x1 , . . . , xi )R :R xi +1 ⊆ (x1 , . . . , xi )R, for each s.o.p x of R and 0 ≤ i ≤ d − 1. Thus
R is generalized Cohen-Macaulay by [42, Page 260, Proposition 16]. By the same token each
s.o.p. for R is a weak m-sequence of R, i.e. R is a Buchsbaum ring, provided n ≤ 1.
Conversely assume that R is generalized Cohen-Macaulay. Let, mαi Him (R) = 0, for each
d−1
P
d
αi . We show that, m(2 −1)n {x}lim
0 ≤ i ≤ d − 1. Choose an integer n ∈ N0 satisfying, n ≥
R ⊆
i =0

xR, for each s.o.p. x for R. To this aim we induct on d ≥ 1 (for the case where d = 0 the
assertion is obvious). If, d = 1, then for every s.o.p. x of R there exists t ∈ N such that {x}lim
R =
t+1
t
t
x R :R x = (0 :R x ) + xR. So by [7, Corollary 8.1.3.(b)] we are done in this case. Suppose
that the statement is true for smaller values of d . Let x be a s.o.p. for R and r ∈ {x}lim
R , i.e.
j

j

j +1

x1 . . . xd r ∈ (x1

j +1

, . . . , xd ) for some j ∈ N. Then there exists r ′ ∈ R such that,
j

j

j +1

x1 . . . xd−1 r − xd r ′ ∈ (x1

j +1

j

, . . . , xd−1 )R :R xd .

Thus, [7, Corollary 8.1.3.(b)] shows that,
j

j

j +1

j +1

mn (x1 . . . xd−1 r ) ⊆ (x1 , . . . , xd−1 , xd )R.
Therefore, mn r ⊆ {x1 , . . . , xd−1 }lim , where the notation means modulo xd R. We claim that,
R
d−2
¡
¢
P
βi , where βi is the least integer satisfying mβi ⊆ 0 :R Him (R) . But we defer the proof
2n ≥
i =0

of the claim for a while to see what it implies. Using our claim in conjunction with the
d −1

d

inductive hypothesis we can deduce that m(2 −1)2n mn r ⊆ (x 1 , . . . , x d−1 )R. So, m(2 −1)n r ⊆
(x1 , . . . , xd )R, as desired.
Now, we prove our claim. By [7, Corollary 8.1.3.] we have, 0 :R xd ⊆ Γm (R). Hence the
exact sequence, 0 → 0 :R xd → R → R/(0 :R xd ) → 0, shows that Him (R) ∼
= Him (R/0 :R xd ) for
xd

each i ≥ 1. Therefore using the exact sequence, 0 → R/(0 :R xd ) → R → R → 0, we can deduce
that, mαi +αi +1 Him (R) = 0 for each 0 ≤ i ≤ d − 2, provided mαi Him (R) = 0 for each 0 ≤ i ≤ d − 1.
d−2
d−1
P
P
(αi + αi +1 ) ≤ 2n. This proves our claim.
αi ≤ n. so,
Since,
i =0

i =0

Furthermore if R is a Buchsbaum ring then by [42, Proposition 1.17] every s.o.p. for R is
both of an unconditioned strong d -sequence15 and also a weak m-sequence. Hence by virtue
13

See [6, 9.5.7 Exercise] for the definition of Generalized Cohen-Macaulay rings.
See [42, Page 14, Theorem 2 and definition] for the definition of Buchsbaum rings.
15
See [26, Definition 1.2.] for the definition of an unconditional strongly d-sequence.

14

E HSAN TAVANFAR

AND

29

M ASSOUD T OUSI

d ¡
¢
P
of [26, Theorem 3.6.(ii)] we have, {x}lim
(x1 , . . . , c
x j , . . . , xd ) : x j . Since x is a weak mR =
j =1
¡
¢
sequence, so we have, m (x1 , . . . , xbi , . . . , xd ) : xi ⊆ (x1 , . . . , xbi , . . . , xd ). This, immediately gives
us, m{x}lim
R ⊆ xR.

Acknowledgement
We would like to express our deepest gratitude to Raheleh Jafari for many fruitful discussions and helpful suggestions, most notably for Remark 2.7. We are also grateful to Kamran
Divaani-Aazar for valuable comments.

References
[1] Y. Aoyama, On the depth and the projective dimension of the canonical module, Japan. J. Math. (N.S.), 6,
(1980), no. 1, 61-66.
[2]

, Some basic results on canonical modules, J. Math. Kyoto Univ., 23, (1983), no. 1, 85-94.

[3] Y. Aoyama and S. Goto, On the endomorphism ring of the canonical module, J. Math. Kyoto Univ., 25-1,
(1985), 21-30.
[4] H. Bass, On the ubiquity of Gorenstein rings, Math. Z., 82, (1963), 8–28.
[5] M. -J. Bertin, Anneaux d’invariants d’anneaux de polynomes, en caractéristique p, C. R. Acad. Sci. Paris Sér.
A-B 264 (1967), A653–A656.
[6] M. P. Brodmann and R. Y. Sharp, Local Cohomology: An Algebraic Introduction with Geometric Applications, second edition, Cambridge University Press, 2013.
[7] W. Bruns and J. Herzog, Cohen-Macaulay rings, Cambridge University Press, 1993.
[8] L. W. Christensen, Gorenstein dimensions., Berlin: Springer, 2000.
[9] L. W. Christensen and H-Børn Foxby and H. Holm, Beyond totally reflexive modules and back. A survey on
Gorenstein dimensions., New York, NY: Springer, 2011.
[10] M. T. Dibaei, A study of Cousin complexes through the dualizing complexes, Commun. Algebra, 33, (2005),
no. 1, 119–132.
[11] M. T. Dibaei and R. Jafari, Cohen-Macaulay loci of modules, Commun. Algebra, 39, (2011), no. 10, 3681–
3697.
[12] E. E. Enochs and O. M.G. Jenda, Gorenstein injective and projective modules, Math. Z. 220, (1995), no. 4,
611–633.
[13] R. Fossum, H-B Foxby, P. Griffith and I. Reiten, Minimal injective resolutions with applications to dualizing
modules and Gorenstein modules, Publ. Math., Inst. Hautes Étud. Sci., 45, (1975), 193–215.
[14] L. Fouli and C. Huneke, What is a system of parameter?, Proc. Am. Math. Soc., 139, (2011), 2681-2696.
[15] H-B Foxby, Isomorphisms between complexes with applications to the homological theory of modules,
Math. Scand., 40, (1977), 5–19.
[16] S. Goto, A note on quasi-Buchsbaum rings, Proc. Am. Math. Soc., 90, (1984), 511–516.
[17] S. Goto, On the associated graded rings of parameter ideals in Buchsbaum rings, J. Algebra 85 (1983), no. 2,
490–534.

30

A S TUDY OF QUASI -G ORENSTEIN R INGS

[18] S. Goto and H. Sakurai, The equality I2 = QI in Buchsbaum rings, Rend. Sem. Mat. Univ. Padova, 110, (2003),
25-56.
[19] S. Goto and K. Watanabe, On graded rings. I, J. Math. Soc. Japan, 30, (1978), no. 2, 179–213.
[20] R. Hartshorne, Residues and duality. Appendix: Cohomologie à support propre et construction du foncteur
f ! . par P. Deligne., 1966.
[21] H. Hassanzadeh Hafshejani, N. Shirmohammadi and H. Zakeri, A note on quasi-Gorenstein rings, Arch.
Math., 91, (2008), no. 4, 318–322.
[22] W. Heinzer and M. Kim and B. Ulrich, The Cohen-Macaulay and Gorenstein properties of rings associated
to filtrations, Commun. Algebra, 39, (2011), no. 10, 3547–3580.
[23] M. Herrmann and N. Trung, Examples of Buchsbaum quasi-Gorenstein rings, Proc. Am. Math. Soc., 117,
(1993), 619-625.
[24] M. Hochster, Canonical elements in local cohomology modules and the direct summand conjecture, J. Algebra, 84, (1983), 503–553.
[25] C. Huneke, Tight closure, parameter ideals, and geometry, in Six Lectures on Commutative Algebra (J. Elias,
J.M. Giral, R.M. MirÂt’o-Roig, and S. Zarzuela, eds), Progress in Mathematics, vol. 166, Birkhauser Verlag,
Basel, 1998, 187-239.
[26] C. Huneke, M. Katzman, R. Y. Sharp and Y. Yao, Frobenius test exponents for parameter ideals in generalized
Cohen-Macaulay local rings, J. Algebra, 305, (2006), no. 1, 516–539.
[27] S. Ishii, Quasi-Gorenstein Fano 3-folds with isolated non-rational loci., Compos. Math. 77 (1991), no. 3,
335–341.
[28] M. Johnson and B. Ulrich, Serre’s condition Rk for associated graded rings, Proc. Am. Math. Soc., 127, (1999),
no. 9, 2619–2624.
[29] E. Kunz, Almost complete intersections are not Gorenstein rings., J. Algebra 28 (1974), 111–115.
[30] T. Marley, M. W. Rogers, H. Sakurai, Gorenstein rings and irreducible parameter ideals, Proc. Am. Math.
Soc., 136, (2008), no. 1, 49–53.
[31] H. Matsumura, Commutative ring theory. Transl. from the Japanese by M. Reid., 1986 (English).
[32] C. Miyazaki, Graded Buchsbaum algebras and Segre products, Tokyo J. Math., 12, (1989), no. 1, 1–20.
[33] J. Nishimura, A few examples of local rings, I, Kyoto Journal of Mathematics, 52, (2012), 51âĂŞ87.
[34] T. Ochiai and K. Shimomoto, Bertini theorem for normality on local rings in mixed characteristic (applications to characteristic ideals)., Nagoya Math. J. 218 (2015), 125–173.
[35] L. O’Carroll, On the generalized fractions of Sharp and Zakeri, J. London Math. Soc., 28 (2), (1983), 417-427.
[36] J. J. Rotman, An introduction to homological algebra. 2nd ed., 2nd ed., Berlin: Springer, 2009.
[37] R. Sazeedeh, Gorenstein injectivity of the section functor, Forum Math., 22, (2010), no. 6, 1117–1127.
[38] P. Schenzel, A note on almost complete intersections, Seminar D. Eisenbud, B. Singh and W. Vogel, Vol. 2,
Teubner-Texte Math. 48, 49-54 (1982).
[39] Peter Schenzel, On the use of local cohomology in algebra and geometry, Basel: Birkhäuser, 1998.
[40] R.Y. Sharp, The Cousin complex for a module over a commutative Noetherian ring, Math. Z., 112, (1969),
340–356.
[41] Anurag K. Singh, Cyclic covers of rings with rational singularities., Trans. Am. Math. Soc. 355 (2003), no. 3,
1009–1024.
[42] J. Stückrad and W. Vogel, Buchsbaum rings and applications. An interaction between algebra, geometry and
topology, 1986 (English).

E HSAN TAVANFAR

AND

M ASSOUD T OUSI

31

[43] Ehsan Tavanfar, Reduction of certain homological conjectures to excellent unique factorization domains,
arXiv:1607.00025v1 [].
[44] B. Ulrich, Gorenstein rings as specializations of unique factorization domains, J. Algebra 86 (1984), no. 1,
129–140.
[45] T. Yoshizawa, On Gorenstein injectivity of top local cohomology modules, Proc. Am. Math. Soc., 140, (2012),
no. 6, 1897–1907.
[46] M. Rahro Zargar and H. Zakeri, On injective and Gorenstein injective dimensions of local cohomology modules, arXiv:1204.2394v1 [] 11 (2012).

E HSAN TAVNAFAR , D EPARTMENT OF M ATHEMATICS , S HAHID B EHESHTI U NIVERSITY, G.C., T EHRAN ,
I RAN .
E-mail address: tavanfar@ipm.ir
M. T OUSI , D EPARTMENT OF M ATHEMATICS , S HAHID B EHESHTI U NIVERSITY, G.C., T EHRAN , I RAN .
E-mail address: mtousi@ipm.ir

