ON THE EXISTENCE OF CERTAIN MODULES OF FINITE GORENSTEIN
HOMOLOGICAL DIMENSIONS, II
KAMRAN DIVAANI-AAZAR, FATEMEH MOHAMMADI AGHJEH MASHHAD AND MASSOUD TOUSI

arXiv:1401.5716v1 [math.AC] 22 Jan 2014

Abstract. One of the remaining questions in Gorenstein homology is whether a local ring R is CohenMacaulay if it possesses a nonzero module which is either finitely generated of finite Gorenstein injective
dimension or Cohen-Macaulay of finite G-dimension. In this paper, we continue our investigation on
this question. Also, we treat two other closely related questions.

1. Introduction
Throughout, (R, m, k) is a commutative Noetherian local ring. The New Intersection Theorem is
one of the most important results in local algebra. It provides simple proofs for several outstanding
homological conjectures e.g. Auslander’s zero-divisor conjecture [R, Theorem 6.2.3] and Bass’ conjecture
[PS, Theorem 5.1]. The New Intersection Theorem was proved in prime characteristic by Peskine and
Szpiro [PS] in 1973. Then Hochster’s works [H1], [H2] established a reduction to prime characteristic
from equicharacteristic zero to give a proof of this theorem in all equicharacteristic rings in 1975. Finally,
in 1987, Roberts [R] proved the New Intersection Theorem for mixed characteristic rings by using local
Chern characters.
The New Intersection Theorem asserts that if
0 −→ Fs −→ Fs−1 −→ · · · −→ F1 −→ F0 −→ 0
is a non-exact complex of finitely generated free R-modules with finite length homology modules, then
dim R ≤ s. Using the New Intersection Theorem, one can easily see that if R admits a nonzero CohenMacaulay module with pdR M < ∞, then R must be Cohen-Macaulay. Another implication of the
New Intersection Theorem is the Intersection Inequality which says that for any two nonzero finitely
generated R-modules M and N if pdR M < ∞, then
dimR N ≤ pdR M + dimR (M ⊗R N ).
The New Intersection Theorem has another equivalent form which asserts that if
0 −→ I0 −→ I−1 −→ · · · −→ I−s −→ 0
is a non-exact complex of injective R-modules with finitely generated homology modules, then dim R ≤
s; see e.g. [M, page 151, Remark]. Using this, one can easily verify Bass’ Theorem to the effect that if
R admits a nonzero finitely generated module of finite injective dimension, then R is Cohen-Macaulay.
2010 Mathematics Subject Classification. 13D05; 13C14; 13D22.
Key words and phrases. Big Cohen-Macaulay modules; G-dimension; Gorenstein injective dimension; Gorenstein
injective modules; New Intersection Theorem; totally reflexive modules.
The third author was supported by a grant from IPM (no. 90130211).
1

2

K. DIVAANI-AAZAR, F. MOHAMMADI AGHJEH MASHHAD AND M. TOUSI

Since many results in classical homological algebra have counterparts in Gorenstein homological
algebra, the following questions are raised naturally:
Question 1.1. Let (R, m, k) be a local ring.
i) Assume that 0 −→ Gs −→ Gs−1 −→ · · · −→ G1 −→ G0 −→ 0 is a non-exact complex of totally
reflexive R-modules with finite length homology modules. Is dim R ≤ s?
ii) Assume that 0 −→ I0 −→ I−1 −→ · · · −→ I−s −→ 0 is a non-exact complex of Gorenstein
injective R-modules with finitely generated homology modules. Is dim R ≤ s?
Question 1.2. Let (R, m, k) be a local ring and M and N two nonzero finitely generated R-modules.
Assume that G-dimension of M is finite. Is dimR N ≤ G–dimR M + dimR (M ⊗R N )?
Question 1.3. Let (R, m, k) be a local ring.
i) Assume that R admits a nonzero Cohen-Macaulay module of finite G-dimension. Is R CohenMacaulay?
ii) Assume that R admits a nonzero finitely generated module of finite Gorenstein injective dimension. Is R Cohen-Macaulay?
Question 1.3 was asked in [C, pages 40 and 147], [CFoH, Questions 1.31 and 3.26] and [T2]. This
question has been studied by many authors; see e.g. [T3], [T2], [FF] and [GHT]. Our investigation
on this question was initiated by [DMT]. As we mentioned above, in the proof of the Intersection
Inequality, the New Intersection Theorem was used. By [C, Remarks 1.5.7] the answer of Question 1.2
is not positive in general. Hence, one may think that the answer of Question 1.1 is negative, and so it
was not asked before. In contrary, we strongly believe that the answer of Question 1.1 is affirmative.
It is straightforward to see that an affirmative answer to the second part of Question 1.1 implies an
affirmative answer to its first part. Also, note that Question 1.1 easily implies Question 1.3. This paper
is concerned with the study of the above questions.
We show that if either R is Cohen-Macaulay or R possesses an R-module B such that depthR B < ∞
and depthR (B ⊗R T ) ≥ dim R for all totally reflexive R-modules T , then the answer of Question 1.1 i)
is positive; see Theorem 3.3 below. Also, we prove that if either R is Cohen-Macaulay or R possesses an
R-module B such that widthR B < ∞ and widthR (HomR (B, T )) ≥ dim R for all Gorenstein injective
R-modules T , then the answers of Question 1.1 ii) is positive; see Theorem 3.4 below.
By assuming that Question 1.1 i) has an affirmative answer and imposing some extra assumptions
on M and N , we provide a positive answer to Question 1.2; see Corollary 4.2 below.
We show that if there exists a big Cohen-Macaulay R-module B such that TorR
1 (B, T ) = 0 for all
totally reflexive R-modules T , then the answers of Question 1.3 i) is positive; see Theorem 4.3 below.
Also, we prove that if exists a big Cohen-Macaulay R-module B such that Ext1R (B, T ) = 0 for all
Gorenstein injective R-modules T , then the answers of Question 1.3 ii) is positive; see Theorem 4.5
below.

ON THE EXISTENCE OF CERTAIN MODULES ...

3

2. Prerequisites
Throughout this paper, (R, m, k) is a commutative Noetherian local ring with nonzero identity.
c and “complete” stands for “m-adic
The m-adic completion of an R-module M , will be denoted by M
complete”.
(2.1) Hyperhomology. As we will use technical side of hyperhomology and derived category of
R-modules, D(R), we recall some necessary information and notations which are needed in this paper.
The objects in D(R) are complexes of R-modules and symbol ≃ denotes isomorphisms in this category.
For a complex

X
∂n+1

∂X

n
Xn−1 −→ · · ·
X = · · · −→ Xn+1 −→ Xn −→

in D(R), its supremum and infimum are defined respectively by sup X := sup{i ∈ Z|Hi (X) 6= 0}
and inf X := inf{i ∈ Z|Hi (X) 6= 0}, with the usual convention that sup ∅ = −∞ and inf ∅ = ∞. A
complex X is said to be non-exact if it has some nonzero homology modules. The full subcategory of
homologically bounded to the right (resp. left) complexes is denoted by D❂ (R) (resp. D❁ (R)). Also,
the full subcategories of homologically bounded complexes and of complexes with finitely generated
homology modules will be denoted by D✷ (R) and Df (R), respectively. Modules can be considered as
complexes concentrated in degree zero. The full subcategory of homologically bounded complexes with
f
finitely generated homology modules will be denoted by D✷
(R).

For any complex X in D❂ (R) (resp. D❁ (R)), there is a bounded to the right (resp. left) complex P
(resp. I) of projective (resp. injective) R-modules which is isomorphic to X in D(R). A such complex
P (resp. I) is called a projective (resp. injective) resolution of X. By using these resolutions, one can
compute derived functors in D(R). The left derived tensor product functor −⊗L
R ∼ is computed by taking a projective resolution of the first argument or of the second one. The right derived homomorphism
functor R HomR (−, ∼) is computed by taking a projective resolution of the first argument or by taking
an injective resolution of the second one. For any convenient two complexes X, Y and any integer i, set
i
L
TorR
i (X, Y ) := Hi (X ⊗R Y ) and ExtR (X, Y ) := H−i (R HomR (X, Y )).

Assume that X ∈ D❁ (R) and Y ∈ D❂ (R). The notions depthR X and widthR Y are defined,
respectively, by depthR X := − sup R HomR (k, X) and widthR Y := inf(k ⊗L
R Y ). If X ∈ D✷ (R), [C,
f
Theorem A.6.6] yields that depthR X is finite if and only if widthR X is finite. If X ∈ D✷
(R), then

widthR X = inf X and depthR X is finite if and only if X is non-exact; see respectively[C, A.6.3.2] and
[FI, 2.5]. Also, for any X ∈ D(R), dimR X and SuppR X are defined by dimR X := sup{dim R/p −
inf Xp |p ∈ Spec R} and SuppR X := {p ∈ Spec R|Xp 6≃ 0}.
(2.2) Gorenstein homological dimensions. A finitely generated R-module M is said to be
totally reflexive if there exists an exact complex F of finitely generated free R-modules such that
M ∼
= im(F0 −→ F−1 ) and HomR (F, R) is exact. Obviously, any finitely generated projective module
is totally reflexive. Also, an R-module N is said to be Gorenstein injective if there exists an exact
∼ im(I1 −→ I0 ) and HomR (E, I) is exact for all injective
complex I of injective R-modules such that N =
R-modules E. Clearly, any injective module is Gorenstein injective.

4

K. DIVAANI-AAZAR, F. MOHAMMADI AGHJEH MASHHAD AND M. TOUSI

f
For a complex X ∈ D❂
(R), G-dimension of X is defined by

G–dimR X

:= inf{sup{l ∈ Z|Ql 6= 0}|Q is a bounded to the right complex of
totally reflexive R-modules such that Q ≃ X}.

Also, for a complex Y ∈ D❁ (R), its Gorenstein injective dimension is defined by
GidR Y

:= inf{sup{l ∈ Z|E−l 6= 0}|E is a bounded to the left complex of
Gorenstein injective R-modules such that Y ≃ E}.
3. The Main Results

We start this section with the following lemma which states the Auslander-Buchsbaum and Bass
formulas for Gorenstein homological dimensions.
f
(R).
Lemma 3.1. Let (R, m, k) be a local ring and X ∈ D✷

i) If G-dimension of X is finite, then G–dimR X = depth R − depthR X.
ii) If Gorenstein injective dimension of X is finite, then GidR X = depth R − inf X.
Proof. See [C, Theorem 2.3.13] and [CW, Corollary 2.3].



Recall that for an ideal I of R, an R-module M is said to be I-torsion if each element of M is
annihilated by some power of I.
Lemma 3.2. Let (R, m, k) be a local ring, M an R-module and X ∈ D✷ (R).
i) Assume that all homology modules of X are complete. If ExtiR (M, X) 6= 0 for some integer i,
then widthR (ExtiR (M, X)) = 0.
ii) Assume that all homology modules of X are m-torsion. If TorR
i (M, X) 6= 0 for some integer i,
then depthR (TorR
i (M, X)) = 0.
Proof. i) Assume that ExtiR (M, X) 6= 0 for some integer i. Let L be a free resolution of M and
dt+1

d

s
Ps−1 −→ · · · −→ Pt −→ 0
P = · · · −→ Ps −→

a projective resolution of X. Let Pb denote the complex
db

dbt+1

s
cs −→
Pbs−1 −→ · · · −→ Pbt −→ 0.
· · · −→ P

Then [Si, Corollary 5.5] implies that P ≃ Pb , and so by [C, A.4.1], one has:
R HomR (M, X) ≃ HomR (L, X) ≃ HomR (L, Pb ).
Every module in the complex HomR (L, Pb ) is a product of complete R-modules, and so is complete. Note that by [Si, 1.5] any product of complete R-modules is complete. Since Exti (M, X) ∼
=
R

H−i (HomR (L, Pb )), the claim follows by [Si, Proposition 1.4].
ii) Assume that TorR
i (M, X) 6= 0 for some integer i. Let Y := HomR (X, E(k)). Then Y ∈ D✷ (R)
and all homology modules of Y are complete by [Si, 4.2]. The isomorphism
i
i
∼
HomR (TorR
i (M, X), E(k)) = ExtR (M, HomR (X, E(k))) = ExtR (M, Y )

ON THE EXISTENCE OF CERTAIN MODULES ...

5

yields that ExtiR (M, Y ) 6= 0. So, by [FI, Proposition 4.4] and i), we deduce that
R
depthR (TorR
i (M, X)) = widthR (HomR (Tori (M, X), E(k)))

= widthR (ExtiR (M, Y ))
= 0.

The following result is one of the main results of this paper. It provides some partial answers
to Question 1.1 i). Before presenting it, we recall the Right Acyclicity Lemma for the right connected
sequence of functors ExtiR (k, ·) and the Left Acyclicity Lemma for the left connected sequence of functors
TorR
i (k, ·).
Let
Y := 0 −→ Ys −→ Ys−1 −→ · · · −→ Y1 −→ Y0
be a complex of R-modules such that for each i = 1, . . . , s, both depth Yi ≥ i and either Hi (Y ) = 0 or
depthR Hi (Y ) = 0. Then the Right Acyclicity Lemma [St, Proposition 1.1.1] asserts that Y is exact.
Now, let
X := X0 −→ X−1 −→ · · · −→ X−s+1 −→ X−s −→ 0
be a complex of R-modules such that for each i = 1, . . . , s, both widthR X−i ≥ i and either H−i (X) = 0
or widthR H−i (X) = 0. Then the Left Acyclicity Lemma [St, Proposition 1.1.2] asserts that X is exact.
Theorem 3.3. Let (R, m, k) be a local ring and G = 0 −→ Gs −→ Gs−1 −→ · · · −→ G0 −→ 0 a
non-exact complex of totally reflexive R-modules with finite length homology modules. If either:
i) there exists an R-module B such that depthR B < ∞ and depthR (B ⊗R M ) ≥ dim R for all
totally reflexive R-modules M ; or
ii) R is Cohen-Macaulay,
then dim R ≤ s.
Proof. i) By [C, Theorem A.6.6], we see that widthR B < ∞. Set t := inf G and h := widthR B. By
[C, Theorem A.3.2 L)], one can choose a resolution
F := · · · −→ Fi −→ Fi−1 −→ · · · −→ Ft+1 −→ Ft −→ 0
of finitely generated free R-modules such that F ≃ G. Since G–dimR G ≤ s, [C, Theorem 2.3.7] yields
that CnF := coker(Fn+1 −→ Fn ) is a totally reflexive R-module for all n ≥ s. By [C, Lemma A.6.5 and
A.6.3.2],
widthR (B ⊗L
R G) = widthR B + widthR G
= widthR B + inf G
= h + t.

6

K. DIVAANI-AAZAR, F. MOHAMMADI AGHJEH MASHHAD AND M. TOUSI

Now,
h + t = widthR (B ⊗L
R G)
≥ inf k + inf(B ⊗L
R G)
≥ inf B + inf G
= t.
Thus l := inf(B ⊗L
R G) is an integer, and so the complex
B⊗R F
Y := 0 −→ Cl+s
−→ B ⊗R Fl+s−1 −→ · · · −→ B ⊗R Fl+1 −→ B ⊗R Fl −→ B ⊗R Fl−1

is not exact. By Lemma 3.2 ii), any nonzero homology module of Y is of zero depth. Set Yi :=
B⊗R F
B ⊗R Fl+i−1 for i = 0, . . . , s and Ys+1 := Cl+s
. Now, by applying the Right Acyclicity Lemma (see

paragraph preceding this theorem) to the complex Y, we conclude that depthR Yi < i ≤ s + 1 for some
positive integer i. By our assumption on B, we have
depthR Yi = depthR (B ⊗R Fl+i−1 ) ≥ dim R
for all 0 ≤ i ≤ s and
B⊗R F
F
depthR Ys+1 = depthR Cl+s
= depthR (B ⊗R Cl+s
) ≥ dim R.

Thus dim R ≤ s.
ii) By Lemma 3.1 i), depthR M = depth R for all nonzero totally reflexive R-modules M . Hence, the
assertion is clear by letting B := R and using i).



In the next result, we present a partial answer to Question 1.1 ii). It also provides a dual of Theorem
3.3.
Theorem 3.4. Let (R, m, k) be a local ring and I = 0 −→ I0 −→ I−1 −→ · · · −→ I−s −→ 0 a non-exact
complex of Gorenstein injective R-modules with finitely generated homology modules. If either:
i) there exists an R-module B such that widthR B < ∞ and widthR (HomR (B, N )) ≥ dim R for
all Gorenstein injective R-modules N ; or
ii) R is Cohen-Macaulay,
then dim R ≤ s.
b is finite. So, Lemma 3.1 ii) yields that
Proof. i) By [FF, Theorem 3.6], GidRb (I ⊗R R)
b
b = depth R
b − inf(I ⊗R R)
GidRb (I ⊗R R)
= depth R − inf I
= GidR I
≤ s.
Hence, by [C, Theorem A.3.2] and [CFrH, Theorem 3.3], there exists a bounded complex
Y := 0 −→ Yg −→ Yg−1 −→ · · · −→ Y−t −→ 0

ON THE EXISTENCE OF CERTAIN MODULES ...

7

b So, Y is nonb
of Gorenstein injective R-modules
of length at most s + 1 such that Y ≃ I ⊗R R.
b
exact and all of its homolog modules are finitely generated R-modules.
Also, by [ND, Lemma 2.4]
b
any Gorenstein injective R-module
is also Gorenstein injective as an R-module. On the other hand,
b < ∞ and for any Gorenstein injective R-module
b
N , we have:
widthRb (B ⊗R R)
b N )) = width b (HomR (B, Hom b (R,
b N )))
widthRb (HomRb (B ⊗R R,
R
R
= widthRb (HomR (B, N ))
= widthR (HomR (B, N )).
Thus, we may and do assume that R is complete.
By [FI, 2.5], depthR I is finite. Hence [C, Lemma A.6.4] yields that
depthR (R HomR (B, I)) = widthR B + depthR I < ∞,
and so the complex R HomR (B, I) is not exact. Let J be an injective resolution of I such that Ji = 0
J
for all i > sup I. As GidR I ≤ s, [CFrH, Theorem 3.3] implies that Z−n
:= ker(J−n −→ J−n−1 ) is a

Gorenstein injective R-module for all n ≥ s. Since R HomR (B, I) ≃ HomR (B, J), it follows that the
complex HomR (B, J) is not exact. Set l := sup(HomR (B, J)). Then [C, Proposition A.4.6] implies that
l ≤ sup I. Hence l is an integer, and so the complex
HomR (B,J)

X := HomR (B, Jl+1 ) −→ HomR (B, Jl ) −→ · · · −→ HomR (B, Jl−s+1 ) −→ Zl−s

HomR (B,J)

is not exact. Set X−i := HomR (B, Jl+1−i ) for i = 0, . . . , s and X−s−1 := Zl−s

−→ 0

. Since R is

complete, the homology modules of I, and so that of J are complete. So, Lemma 3.2 i) yields that the
width of any nonzero homology module of X is zero. Now, by applying the Left Acyclicity Lemma (see
paragraph preceding Theorem 3.3 ) on the complex X, we deduce that widthR X−i < i ≤ s + 1 for some
positive integer i. By the assumption,
widthR X−i = widthR (HomR (B, Jl+1−i )) ≥ dim R
for all 0 ≤ i ≤ s and
HomR (B,J)

widthR X−s−1 = widthR Zl−s

J
= widthR (HomR (B, Zl−s
)) ≥ dim R.

Thus dim R ≤ s.
ii) Suppose that R is Cohen-Macaulay. By [CW, Lemma 2.1], widthR N ≥ dim R for all Gorenstein
injective R-modules N . So, the assertion follows by letting B := R in i).



Now, we provide big Cohen-Macaulay R-modules satisfy the assumptions of Theorems 3.3 i) and 3.4
i). Recall that an R-module B is called big Cohen-Macaulay if there exists a system of parameters x :=
x1 , . . . , xn such that x is a B-regular sequence. Hochster [H2] has proved that if R is equicharacteristic
(i.e. R and k have the same characteristic), then it admits a big Cohen-Macaulay module.
Lemma 3.5. Let (R, m, k) be a local ring and B a big Cohen-Macaulay R-module. Assume that M is
a totally reflexive R-module and N a Gorenstein injective R-module.
i) If TorR
1 (B, T ) = 0 for all totally reflexive R-modules T , then depthR (M ⊗R B) ≥ dim R.

8

K. DIVAANI-AAZAR, F. MOHAMMADI AGHJEH MASHHAD AND M. TOUSI

ii) If Ext1R (B, T ) = 0 for all Gorenstein injective R-modules T , then widthR (HomR (B, N )) ≥
dim R.
Proof. Since i) and ii) have similar proofs, we only prove i).
Set d := dim R. We can assume that M is nonzero. Since M is totally reflexive, there exists an exact
sequence
F := 0 −→ M −→ F0 −→ F−1 −→ F−2 −→ · · ·
in which each Fi is a finitely generated free R-module and each K−i := im(F−i −→ F−(i+1) ) is a totally
reflexive R-module. By the assumption, we have the following short exact sequences
0 −→ M ⊗R B −→ F0 ⊗R B −→ K0 ⊗R B −→ 0
and
0 −→ K1−i ⊗R B −→ F−i ⊗R B −→ K−i ⊗R B −→ 0
for all i ≥ 1.
Now, we have two cases. At first, we assume that there exists a non-negative integer i such that
d < depthR (K−i ⊗R B) + 1,
and we set s := inf{j ∈ N0 |d < depthR (K−j ⊗R B) + 1}. Since depthR B = dim R, by applying [BH,
Proposition 1.2.9] on the above short exact sequences successively, we deduce that
depthR (M ⊗R B) ≥ min{d, depthR (K0 ⊗R B) + 1}
≥ min{d, depthR (K−1 ⊗R B) + 1} + 1
..
.
≥ min{d, depthR (K−s ⊗R B) + 1} + s
≥ d.
So, the proof is complete in this case. Now, assume that
depthR (K−i ⊗R B) + 1 ≤ d
for all i ∈ N0 . By repeating the above inequalities d times, the assertion follows.
Remark 3.6.



i) By Lemma 3.5, certain big Cohen-Macaulay R-modules satisfy the assumptions of

part i) of Theorems 3.3 and 3.4. Now, let B be as in part i) of either Theorem 3.3 or Theorem
b is a big Cohen-Macaulay
3.4. Then using [BH, page 353, Ex. 9.1.12], it is easy to check that B
R-module.
ii) In view of Lemma 3.5, one may guess that our assumptions on the module B in part i) of
Theorems 3.3 and 3.4 are satisfied by any big Cohen-Macaulay R-module. But, this is not
the case. To this end, let R := k[[X, Y ]]/(XY ), where k is a field. Then R is a Gorenstein
complete local ring of dimension one. Denote by x and y the residue classes of X and Y in
R and set B := R/(x) and M := R/(y). We can easily check that B and M are maximal
Cohen-Macaulay R-modules, and so both B and M are totally reflexive. Now, as B ⊗R M ∼
= k,

ON THE EXISTENCE OF CERTAIN MODULES ...

9

we have depthR (B ⊗R M ) = 0. Also, by [C, Theorems 5.1.11 and 6.4.2], N := HomR (M, E(k))
is a Gorenstein injective R-module and
widthR (HomR (B, N )) = widthR (HomR (B, HomR (M, E(k))))
= widthR (HomR (B ⊗R M, E(k)))
= widthR (HomR (k, E(k)))
= widthR k
= 0.
iii) One may conjecture that if an R-module B is such that depthR B < ∞ and depthR (M ⊗R B) ≥
dim R for all totally reflexive R-modules M , then either B = R or the class of totally reflexive
R-modules coincides with the class of finitely generated free R-modules. Similarly, one may
guess that if an R-module B is such that widthR B < ∞ and widthR (HomR (B, N )) ≥ dim R
for all Gorenstein injective R-modules N , then either B = R or the class of Gorenstein injective
R-modules coincides with the class of injective R-modules. But, this is not the case. To realize
this, let (R, m, k) be an Artinian Gorenstein local ring which is not regular. Then, the R-module
k is both totally reflexive and Gorenstein injective, while it is neither free nor injective. On the
other hand, any R-module with finite depth can be chosen as B.
iv) Let (R, m, k) be an Artinian Gorenstein local ring which is not regular. Then the R-module k
is both totally reflexive and Gorenstein injective. Set B := k. Then B is a big Cohen-Macaulay
R-module and depthR (B ⊗R M ) ≥ dim R (resp. widthR (HomR (B, N )) ≥ dim R) for all totally
reflexive (resp. Gorenstein injective) R-modules M (resp. N ). As k is neither free nor injective,
1
we deduce that TorR
1 (B, k) 6= 0 and ExtR (B, k) 6= 0. Thus, in Lemma 3.5, the converse of

neither part i) nor part ii) holds.
4. Applications
We begin this section by showing that the Gorenstein analogue of the New Intersection Theorem
implies the Gorenstein analogue of the Intersection Inequality in a special case.
f
Theorem 4.1. Let (R, m, k) be a local ring, N a nonzero cyclic R-module and X ∈ D✷
(R) a non-exact

complex. Assume that pdR N < ∞, G–dimR X < ∞ and SuppR (X ⊗L
R N ) = {m}. If Question 1.1 i)
has a positive answer (e.g. R is Cohen-Macaulay), then
dimR N ≤ G–dimR X + dimR (X ⊗L
R N ).
Proof. Set s := G–dimR X and t := inf X. By [C, Theorem 2.3.7], there exists a complex
G := 0 −→ Gs −→ Gs−1 −→ · · · −→ Gt+1 −→ Gt −→ 0
of totally reflexive R-modules such that G ≃ X.
At first, we let N = R. As SuppR X = {m}, it follows that inf Xp = ∞ for all p ∈ Spec R − {m}, and
so dimR X = − inf X. Since the complex G satisfies the assumptions of Question 1.1 i), one obtains
dim R ≤ s − t = G–dimR X + dimR X.

10

K. DIVAANI-AAZAR, F. MOHAMMADI AGHJEH MASHHAD AND M. TOUSI

Now, assume that N is an arbitrary cyclic R-module. Then there exists an ideal I of R such that
′
′
f
N∼
= R/I. Consider the natural epimorphism R −→ R/I. Set X := X ⊗L
R R/I. Then X ∈ D✷ (R/I),
′
′
′
and one can easily check that SuppR/I X = {m/I} and dimR X = dimR/I X . Since pdR R/I is finite,
[C, Theorem 5.1.11] and [CFrH, Corollary 2.16] imply that
′

X ≃ G ⊗L
R R/I ≃ G ⊗R R/I.
By [CFoH, Proposition 1.5], it turns out that G ⊗R R/I consists of totally reflexive R/I-modules. So,
′

G–dimR/I X ≤ s and then the first part of the proof implies that
′

′

dim R/I ≤ G–dimR/I X + dimR/I X ≤ s + dimR (X ⊗L
R N ),
as desired.



Corollary 4.2. Let (R, m, k) be a local ring, N a nonzero cyclic R-module and M a nonzero finitely
generated R-module. Assume that pdR N < ∞, G–dimR M < ∞ and lR (M ⊗R N ) < ∞. If Question
1.1 i) has a positive answer (e.g. R is Cohen-Macaulay), then dimR N ≤ G–dimR M.
Proof. By [F, Proposition 3.5], one has
i
dimR (M ⊗L
R N ) = sup{dimR (TorR (M, N )) − i|i ∈ N0 } = dimR (M ⊗R N ).

So, the assertion follows by setting X := M in Theorem 4.1.



Now, as an application of Theorem 3.3 i), we give a partial answer to Question 1.3 i). We recall that
every local ring containing a field has a big Cohen-Macaulay module.
Theorem 4.3. Let (R, m, k) be a local ring. Assume that there exists a nonzero Cohen-Macaulay
R-module M with finite G-dimension. The following are equivalent:
i) R is a Cohen-Macaulay ring.
ii) There exists a big Cohen-Macaulay R-module B such that TorR
1 (B, T ) = 0 for all totally reflexive
R-modules T .
iii) There exists an R-module B such that depthR B < ∞ and depthR (B ⊗R T ) ≥ dim R for all
totally reflexive R-modules T .
Proof. Suppose that x1 , . . . , xt ∈ m is a maximal M -regular sequence. Then the R-module M/(x1 , . . . , xt )M
has finite length and [A, Theorem 8.7.7)] implies that
G–dimR M/(x1 , . . . , xt )M = G–dimR M + t.
Hence, we may and do assume that M has finite length.
i ⇒ ii) Take B := R.
ii ⇒ iii) It follows from Lemma 3.5 i). Note that as B/mB 6= 0, we have widthR B < ∞, and so [C,
Theorem A.6.6] implies that depthR B < ∞.
iii ⇒ i) Set s := depth R. Lemma 3.1 i) implies that G–dimR M = s, and so there is a non-exact
complex
G := 0 −→ Gs −→ · · · −→ G0 −→ 0
of totally reflexive R-modules such that G ≃ M . Now, by Theorem 3.3 i), it turns out that dim R ≤ s,
and so R is Cohen-Macaulay.



ON THE EXISTENCE OF CERTAIN MODULES ...

11

The following example shows that the conditions of Theorem 4.3 are not equivalent in general.
Example 4.4. Let R := k[[X, Y ]]/(X 2 , XY ), where k is a field. By [T1, Example 5.5], the two classes of
totally reflexive R-modules and finitely generated free R-modules are the same. Set B := R/(x), where
x is the residue class of X in R. Then B is a maximal Cohen-Macaulay R-module. It is trivial that
TorR
1 (B, T ) = 0 for all totally reflexive R-modules T , while R is not a Cohen-Macaulay ring.
We end this paper by the following result which gives a partial answer to Question 1.3 ii).
Theorem 4.5. Let (R, m, k) be a local ring. Assume that there exists a nonzero finitely generated
R-module N with finite Gorenstein injective dimension. The following are equivalent:
i) R is a Cohen-Macaulay ring.
ii) There exists a big Cohen-Macaulay R-module B such that Ext1R (B, T ) = 0 for all Gorenstein
injective R-modules T .
iii) There exists an R-module B such that widthR B < ∞ and widthR (HomR (B, T )) ≥ dim R for
all Gorenstein injective R-modules T .
Proof. i ⇒ ii) Take B := R.
ii ⇒ iii) It follows by Lemma 3.5 ii). Note that as B/mB 6= 0, we have widthR B < ∞.
iii ⇒ i) Set s := depth R. Lemma 3.1 ii) implies that GidR N = s, and so there is a non-exact
complex
I := 0 −→ I0 −→ · · · −→ I−s −→ 0
of Gorenstein injective R-modules such that N ≃ I. Now, by Theorem 3.4 i), it turns out that dim R ≤ s,
and so R is Cohen-Macaulay.


References

[A] L.L. Avramov, Homological dimensions and related invariants of modules over local rings, Representations of Algebras, I, II, 1-39, Beijing Norm. Univ. Press, 2002.
[BH] W. Bruns and J. Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, 39, Cambridge
University Press, Cambridge, 1993.
[C] L.W. Christensen, Gorenstein dimensions, Lecture Notes in Mathematics, 1747, Springer-Verlag, Berlin, 2000.
[CFrH] L.W. Christensen, A. Frankild and H. Holm, On Gorenstein projective, injective and flat dimensions—a functorial
description with applications, J. Algebra, 302(1), (2006), 231-279.
[CFoH] L.W. Christensen, H-B. Foxby and H. Holm, Beyond totally reflexive modules and back: a survay on Gorenstein
dimensions, Commutative algebra-Noetherian and non-Noetherian perspectives, 101-143, Springer, New York, 2011.
[CW] L.W. Christensen and S.S. Wagstaff, Transfer of Gorenstein dimensions along ring homomorphisms, J. Pure Appl.
Algebra, 214(6), (2010), 982-989.
[DMT] K. Divaani-Aazar, F. Mohammadi Aghjeh Mashhad and M. Tousi, On the existence of certain modules of finite
Gorenstein homological dimensions, Comm. Algebra, 42(4), (2014), 1630-1643.
[F] H-B. Foxby, Bounded complexes of flat modules, J. Pure Appl. Algebra, 15(2), (1979), 149-172.
[FF] H-B. Foxby and A. Frankild, Cyclic modules of finite Gorenstein injective dimension and Gorenstein rings, Illinois
J. Math., 51(1), (2007), 67-82.
[FI] H-B. Foxby and S. Iyengar, Depth and amplitude for unbounded compelexes, Contemp. Math., 331, Amer. Math.
Soc., Providence, RI, (2003), 119-137.
[GHT] S. Goto, F. Hayasaka and R. Takahashi, On vanishing of certain Ext modules, J. Math. Soc. Japan, 60(4), (2008),
1045-1064.

12

K. DIVAANI-AAZAR, F. MOHAMMADI AGHJEH MASHHAD AND M. TOUSI

[H1] M. Hochster, The equicharacteristic case of some homological conjectures on local rings, Bull. Amer. Math. Soc.,
80(4), (1974), 683-686.
[H2] M. Hochster, Topics in the homological theory of modules over commutative rings, CBMS Reg. Conf. Ser. Math.,
24, Amer. Math. Soc., Providence, RI, 1975.
[M] H. Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, 8, Cambridge University
Press, Cambridge, 1989.
[ND] M. Nikkhah Babaei and K. Divaani-Aazar, Gorenstein injective envelopes of Artinian modules, Comm. Algebra, to
appear.
[PS] C. Peskine and L. Szpiro, Dimension projective finie et cohomologie locale. Applications à la démonstration de
conjectures de M. Auslander, H. Bass et A. Grothendieck, Publ. Math. Inst. Hautes Études Sci., 42, (1973), 47-119.
[R] P. Roberts, Multiplicities and chern classes in local algebra, Cambridge Tracts in Math., 133, Cambridge University
Press, Cambridge, 1998.
[Si] A-M. Simon, Some homological properties of complete modules, Math. Proc. Cambridge Philos. Soc., 108(2), (1990),
231-246.
[St] J.R. Strooker, Homological questions in local algebra, London Mathematical Society Lecture Note Series, 145, Cambridge University Press, Cambridge, 1990.
[T1] R. Takahashi, On G-regular local rings, Comm. Algebra, 36(12), (2008), 4472-4491.
[T2] R. Takahashi, The existence of finitely generated modules of finite Gorenstein injective dimension, Proc. Amer.
Math. Soc., 134(11), (2006), 3115-3121.
[T3] R. Takahashi, Some characterizations of Gorenstein local rings in terms of G-dimension, Acta Math. Hungar.,
104(4), (2004), 315-322.
K. Divaani-Aazar, Department of Mathematics, Az-Zahra University, Vanak, Post Code 19834, Tehran,
Iran-and-School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O. Box 193955746, Tehran, Iran.
E-mail address: kdivaani@ipm.ir
F. Mohammadi Aghjeh Mashhad, Parand Branch, Islamic Azad University, Tehran, Iran.
E-mail address: mohammadi fh@yahoo.com
M. Tousi, Department of Mathematics, Shahid Beheshti University, G.C., Tehran, Iran-and-School of
Mathematics, Institute for Research in Fundamental Sciences (IPM), P.O. Box 19395-5746, Tehran, Iran.
E-mail address: mtousi@ipm.ir

