THE FINITENESS DIMENSION OF MODULES AND RELATIVE
COHEN-MACAULAYNESS

arXiv:1702.00175v1 [math.AC] 1 Feb 2017

M. MAST ZOHOURI AND KH. AHMADI AMOLI
Abstract. Let R be a commutative Noetherian ring, a and b ideals of R. In
this paper, we study the finiteness dimension fa (M ) of M relative to a and the bminimum a-adjusted depth λba (M ) of M , where the underlying module M is relative
Cohen-Macaulay w.r.t a. Some applications of such modules are given.

1. Introduction
Throughout this paper, R is a commutative Noetherian ring with identity of positive
Krull dimension n, a and b are two ideals of R and M is a finite R-module of positive
dimension d. We denote by Hai (M) the ith local cohomology module of M supported
in a. The finiteness dimension fa (M) of M relative to a is defined by
fa (M) := inf{i ∈ N0 : Hai (M) is not finitely generated},
if there exists and +∞ otherwise. Another formulation is the b-finiteness dimension
of M relative to a which is defined by
fab (M) := inf{i ∈ N0 : b * Rad(0 :R Hai (M))},
which is either a positive integer or +∞.
Moreover, the b-minimum a-adjusted depth λba (M) of M is defined by
λba (M) := inf{depth Mp + height(a + p)/p : p ∈ Spec(R) \ V(b)},
which is either a positive integer or +∞ where V(b) denotes the set of prime ideals
containing b.
An R-module M is called relative Cohen-Macaulay with respect to (w.r.t for short) a
proper ideal a of R whenever there is precisely one non-vanishing local cohomology
module of M w.r.t a. In other words, M is relative Cohen-Macaulay w.r.t a if and only
if grade(a, M) = cd(a, M), where cd(a, M) is the largest integer i for which Hai (M) 6= 0
and grade(a, M) is the least integer i for which Hai (M) 6= 0 (see [10]). This concept has
a connection with a notion which has been studied under the title of cohomologically
complete intersection ideals in [7].
The main purpose of this paper is to examine the behavior of the notion fa (M) more
closely. In analogy with the notation of a(M) = a0 (M) . . . ad−1 (M) in a local ring
(R, m), defined in [2] and [11], where ai (M) is the annihilator of Hmi (M), we define the
following notation for R-module M and an ideal a of R with h := heightM (a), where
R is not necessarily local. We set
a′ (M) := a′0 (M) . . . a′h−1 (M)a′h+1 (M) . . . a′d (M),
2010 Mathematics Subject Classification. 13D45, 14M10.
Key words and phrases. Cohomological dimension, Relative Cohen-Macaulayness, The finiteness
dimension.
1

2

MAST ZOHOURI AND AHMADI AMOLI

where a′i (M) = AnnR (Hai (M)) for all 0 ≤ i ≤ d and i 6= h.
One question about the annihilation of local cohomology modules is that, which ideals
annihilate the local cohomology modules, and the classical theorem of this subject is
Faltings’ Annihilator Theorem (see [6]). Faltings’ Annihilator Theorem states that, if
R is a homomorphic image of a regular local ring or if R has a dualizing complex, then
for every choice of ideals a and b of R, λba (M) = fab (M). There are some improvement
of the conditions of this theorem (see for example [1]). In Lemma 2.5, we shall show
that if M is a relative Cohen-Macaulay R-module w.r.t a, then λba (M) = fab(M) for all
p ∈ Spec(R) ∩ V(a) \ V(b) with heightM (p) = heightM (a). Theorem 2.7 which is one
of our main results in this paper, let us to get several properties of fa (M) and λba (M)
on relative Cohen-Macaulay modules. Some characterizations of fa (−) are provided
via ring homomorphisms (Corollaries 2.10 and 2.12). Furthermore, we mention two
classes of modules, “multiplication” and “semidualizing” for which fa (M) = fa (R)
(Corollaries 2.16 and 2.18). Finally, we end by Corollary 2.19 which shows that for
a relative Cohen-Macaulay local ring R w.r.t a, fa (KR ) = fa (R) where KR denotes a
canonical module of R.
For unexplained notation and terminology about local cohomology modules, we refer
the reader to [1].
2. Main results
As we mentioned in the introduction, in this section, we are concerned with invariants such as the finiteness dimension fa (M) of M relative to a and the b-minimum
a-adjusted depth λba (M) of M, where M is a relative Cohen-Macaulay R-module w.r.t
a. Note that we do not assume that b ⊆ a in general. We begin by defining the
following notation in comparability with the notation of [2] and [11].
Definition 2.1. Let M be an R-module and a be an ideal of R with h := heightM (a).
We set
a′ (M) := a′0 (M) . . . a′h−1 (M)a′h+1 (M) . . . a′d (M),
where a′i (M) = AnnR (Hai (M)) for all 0 ≤ i ≤ d and i 6= h.
Remark 2.2. Note that if R is a relative Cohen-Macaulay local ring w.r.t a, then by
the above notation and using [8, Theorem 3.3] we have a′ (R) = R. Thus one deduces
immediately that dim(R/a′ (R)) = −1. In addition, it follows that fa′ (R) (R) = ∞.
Recall that the Cohen-Macaulay locus of M is denoted by
CM(M) := {p ∈ Spec(R) : Mp is Cohen-Macaulay as Rp − module}.
This motivate us to define the following set.
Definition 2.3. Let M be a finite R-module. Then we set
CM(a, M) := {p ∈ V(a) : Mp is relative Cohen-Macaulay w.r.t aRp }
and we call it the relative Cohen-Macaulay locus of M w.r.t a.
It is clear that if p ∈ CM(a, M) is such that heightM (p) = heightM (a), then p ∈
CM(M).
In order to prove Theorem 2.7, some lemmas are needed first.

FINITENESS DIMENSION AND RELATIVE COHEN-MACAULAYNESS

3

Lemma 2.4. Let M be a relative Cohen-Macaulay R-module w.r.t a with heightM (a) =
h. Then Mp is relative Cohen-Macaulay Rp -module w.r.t aRp with heightMp (aRp ) = h
for all p ∈ SuppR (M) ∩ V(a).
In the next lemma, we determine the b-minimum a-adjusted depth λba (M) of M,
where the underlying module M is relative Cohen-Macaulay w.r.t a with heightM (a) =
h and p ∈ V(a).
Lemma 2.5. Let M be a relative Cohen-Macaulay module w.r.t a with heightM (a) = h.
Suppose that p ∈ Spec(R) ∩ V(a) \ V(b) is such that heightM (a) = heightM (p). Then
λba (M) = h.
Proof. Since M is relative Cohen-Macaulay R-module w.r.t a with heightM (a) = h, it
follows that Mp is Cohen-Macaulay Rp -module for all p ∈ V(a) with heightM (p) = h
and so depthRp Mp = heightM (p). Also, we have height(a + p)/p = 0. Hence
depth Mp + height(a + p)/p = h
and therefore λba (M) ≤ h. On the other hand, [1, Theorem 9.3.7] completes the
proof.

The above result consider just the case p ∈ V(a). One may ask whether the equality
λba (M) = heightM (a) holds true in general. For this, if for instance further the local
ring (R, m) is a homomorphic image of a regular local ring, then we have the equality
(Theorem 2.7(iii)).
Remark 2.6. For any finite R-module M such that heightM (a) > 0, we have the
inequality fa (M) ≤ heightM (a). There are some cases for which the equality obtains.
For instance, part (i) of the next result.
The following result gives some nice applications of relative Cohen-Macaulayness
which is one of our main results.
Theorem 2.7. Let M be a relative Cohen-Macaulay R-module w.r.t a with heightM (a) =
h. Then the following statements are true:
(i) fa (M) = h.
(ii) fab (M) = h.
(iii) If R is a local ring which is a homomorphic image of a regular local ring, then
(a) λba (M) = h.
(b) cd(a, M) = cd(a, R/p) for all p ∈ AssR (M) \ V(a).
a′ (R)
a′ (R)
(iv) If R is a local ring and M 6= aM, then fa (M) = λa (M).
(v) fa (M) = dim(M) − dim(M/aM).
(vi) faRp (Mp ) = fa (M) for all p ∈ SuppR (M) ∩ V(a).
Proof. Part (i) and (ii) derived from the definitions directly.
(iii)(a). First, the b-finiteness dimension fab (M) of M relative to a is equal to h, by
the assumption. Next, use Faltings’ Annihilator Theorem [1, Theorem 9.5.1] to get
the desired claim.

4

MAST ZOHOURI AND AHMADI AMOLI

(iii)(b). Let p ∈ AssR (M)\V(a). Then by part (iii)(a) and the Independence Theorem
[1, Theorem 4.2.1], we have
cd(a, M) = λa (M) ≤ depth Mp + height(a + p)/p
= height(a + p)/p
≤ cd((a + p)/p, R/p)
= cd(a, R/p)
≤ cd(a, M).
Therefore, cd(a, M) = cd(a, R/p) for all p ∈ AssR (M) \ V(a).
(iv). First, we have a′ (R) = R by [8, Theorem 3.3]. Next, faR (M) = grade(a, M) =
λR
a (M) by [1, Exercises 9.1.9 and 9.3.3]. Thus, the assertion follows as required.
(v). Applying [5, Theorem 3.1], we get heightM (a) ≤ dim(M) − dim(M/aM) for each
finite R-module M. Also, for each finite R-module M, dim(M) − dim(M/aM) ≤
cd(a, M) by [5, Corollary 3.2]. Thus it follows that fa (M) = dim(M) − dim(M/aM)
as M is relative Cohen-Macaulay w.r.t a.
For the last part, use part (i) and Lemma 2.4.

Remark 2.8. By the above observations, if Hai (M) = 0 for all i 6= heightM (a), then
f (M )
Ha a (M) is not finite and also not artinian. In [3], the notion qa (M) is defined as
sup{i : Hai (M) is not artinian} for any R-module M. Since the top local cohomology
modules Hadim M (M) are artinian, we have qa (M) < dim M. In particular, if Hai (M) =
0 for all i 6= heightM (a), then qa (M) = fa (M).
Although, the top local cohomology modules are almost always non-artinian as we
have seen for example in [5], we present an artinian submodule of such modules as
follows.
Proposition 2.9. Let (R, m) be a local ring and M be a relative Cohen-Macaulay
0
R-module w.r.t a with heightM (a) = h, and dimR (M/aM) = 1. Then HRx
(Hah (M)) is
artinian R-module for some x ∈ m.
Proof. First, dim(M/aM) = 1 implies the existance of x ∈ m such that dim M/(a +
Rx)M = 0. Hence, we have the following exact sequence by [12, Corollary 3.5].
1
0
0 −→ HRx
(Hah−1(M)) −→ Hmh (M) −→ HRx
(Hah (M)) −→ 0.
0
Next, Hah−1(M) = 0 by the assumption. Thus HRx
(Hah (M)) is artinian over R.



In the remainder of this paper, we present a number of corollaries to the finiteness
dimension fa (M) of M relative to a, where M is a relative Cohen-Macaulay R-module
w.r.t a. In particular, in two following corollaries, we characterize the behaviour of it
under some homomorphisms.
Corollary 2.10. Assume that for all integers k ∈ N there is a ring-homomorphism
ϕk : R −→ R such that the inverse system of ideals {ϕk (a)R}k∈N is cofinal with
{ak }k∈N . If R is relative Cohen-Macaulay w.r.t a, then fa (R) = fϕk (a)R (R) for all
k ∈ N.

FINITENESS DIMENSION AND RELATIVE COHEN-MACAULAYNESS

5

Proof. As the inverse system of ideals {ϕk (a)R}k∈N is cofinal with {ak }k∈N , for all i
there exists j such that aj ⊆ ϕi (a)R ⊆ a. Thus grade(ϕk (a)R, R) = grade(a, R) for
all k ∈ N. On the other hand, cd(ϕk (a)R, R) = cd(a, R) for all k ∈ N by [4, Lemma
2.1]. Thus R is relative Cohen-Macaulay module w.r.t a if and only if R is relative
Cohen-Macaulay module w.r.t ϕk (a)R for all k ∈ N. Now, Theorem 2.7 completes the
proof.

Example 2.11. (see [9, Example 3.10]) For any Noetherian ring R of positive characteristic, the assertion of above Corollary is true because it is sufficient to take
ϕk : R −→ R as the Frobenius map.
Corollary 2.12. Let f : R −→ R′ be a faithful flat homomorphism of Noetherian
rings such that R be relative Cohen-Macaulay w.r.t a. Then fa (R) = faR′ (R′ ).
Proof. By [9, Proposition 3.11] R is relative Cohen-Macaulay w.r.t a if and only if R′ is
relative Cohen-Macauly ring w.r.t aR′ . Now, apply Theorem 2.7 to end the proof. 
b (resp. M
c) be the
Example 2.13. (see [9, Example 3.13]) Let a ⊆ Jac(R) and R
b is relative Cohen-Macaulay ring w.r.t aR
b
a-adic completion of R (resp. M). Then R
if and only if R is relative Cohen-Macauly ring w.r.t a.
Example 2.14. (see [9, Example 3.14]) R[x] is relative Cohen-Macaulay ring w.r.t a
if and only if R is relative Cohen-Macaulay ring w.r.t a.
At the end by recalling two classes of R-modules, we show that fa (M) = fa (R) if
M is one of these.
Definition 2.15. An R-module M is called multiplication if for every submodule N
of M there exists an ideal a of R such that N = aM.
Corollary 2.16. Let R be a relative Cohen-Macaulay ring w.r.t a and M be a faithful
multiplication R-module. Then fa (M) = fa (R).
Proof. Apply [9, Corollary 3.2] and Theorem 2.7.



Definition 2.17. The R-module M is semidualizing if it satisfies the following:
(i) M is finitely generated,
(ii) The homotopy map χR
M : R −→ HomR (M, M), defined by r 7→ [s 7→ rs], is an
isomorphism, and
(iii) ExtiR (M, M) = 0 for all i > 0.
Corollary 2.18. Let R be a relative Cohen-Macaulay ring w.r.t a and M be a semidualizing R-module. Then fa (M) = fa (R).
Proof. Apply [9, Corollary 3.4] and Theorem 2.7.



Corollary 2.19. Let (R, m) be a relative Cohen-Macaulay local ring w.r.t a and KR
be its canonical module. Then fa (KR ) = fa (R).
Proof. By [9, Proposition 3.6], KR is relative Cohen-Macaulay module w.r.t a. Thus
the proof is completed by Theorem 2.7.

Acknowledgements. The authors would like to thank Dr. Raheleh Jafari from
Kharazmi University for her helpful comments.

6

MAST ZOHOURI AND AHMADI AMOLI

References
[1] M. P. Brodmann and R.Y. Sharp, Local cohomology: an algebraic introduction with geometric
applications, Cambridge University Press, Cambridge, 2013. 2, 3, 4
[2] N. T. Coung, On the dimension of the non-Cohen-Macaulay locus of local rings admitting dualizing complexes, Math. Proc. Camb. Phil. Soc. (1991), 109, 479-488. 1, 2
[3] M.T. Dibaei, S. Yassemi, Associated primes and cofiniteness of local cohomology modules,
Manuscripta Math. 117 (2) (2005)199-205. 4
[4] K. Divaani-Aazar, R. Naghipour and M. Tousi, Cohomological dimension of certain algebraic
varieties, Proc. Amer. Math. Soc. 130 (2002) 3537-3544. 5
[5] V. Erdogdu, T. Yildirim, On the cohomological dimension of local cohomology modules,
arXiv:1504.01148v2 [math.AC]. 4
[6] G. Faltings, Ü ber die Annulatoren lokaler Kohomologiegruppen, Arch. Math. (Basel) 30 (1978),
473-476. 2
[7] M. Hellus and P. Schenzel, On cohomologically complete intersections, Journal of Algebra, 320
(2008) 3733-3748. 1
[8] L. R. Lynch, Annihilators of top local cohomology, Comm. Algebra 40 (2012) 542-551. 2, 4
[9] M. Mast Zohouri, KH. Ahmadi Amoli, and S. O. Faramarzi, Relative Cohen-Macaulay filtered
modules with a view toward relative Cohen-Macaulay modules, arXiv:1607.04529v1 [math.AC]. 5
[10] M. Rahro Zargar and H. Zakeri, On injective and Gorenstein injective dimensions of local cohomology modules, Algebra. Colloq 22 (2015) 935-946. 1
[11] P. Schenzel, On the use of local cohomology in algebra and geometry, in: Lectures at the summer
school of commutative Algebra and Algebraic Geometry, Birkha, Basel, Ballaterra, 1996. 1, 2
[12] P. Schenzel, Proregular sequences, local cohomology, and completion, Math. Scand. 92 (2) (2003)
161-180. 4
Department of Mathematics, Payame Noor University, Tehran, 19395-3697, Iran.
E-mail address: zohouri@phd.pnu.ac.ir
Department of Mathematics, Payame Noor University, Tehran, 19395-3697, Iran.
E-mail address: khahmadi@pnu.ac.ir

