arXiv:1512.04873v1 [math.AC] 15 Dec 2015

SMOOTH ALGEBRA AND FINITENESS OF THE SET OF
ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES
RAJSEKHAR BHATTACHARYYA
Abstract. In this article, we study the behaviour of smooth algebra R over
local Noetherian local ring A. At first, we observe that for every f ∈ R, Rf has
finite length in the category of D(R, A)-module if dimension of A is zero. This
extends the result of Theorem 2 of [Ly3]. We use this fact to generalize the
result of Theorem 4.1 of [BBLSZ], from the finiteness of the set of associated
primes of local cohomology module to that of Lyubeznik functor. Finally,
we introduce the definition of Σ-finite D-modulue for smooth algebra and we
extend the result of Theorem 1.3 of [Nu3] from polynomial and power series
algebra to smooth algebra. Theorem 1.3 of [Nu3] comes out as a partial answer
to a question raised by Melvin Hochster. Thus, we extend the partial answer
to the above question from polynomial and power series algebra to smooth
algebra over an arbitrary Noetherian local ring.

1. introduction
Throughout this paper A and R always denote commutative Noetherian rings
with unity. Let M be an R-module and I ⊂ R be an ideal. Then, for every integer
i ≥ 0, we denote the i-th local cohomology of M with support in I by HIi (M ).
Although, in general, the local cohomology modules are not finitely generated, but
the set of associated primes of HIi (R) is finite for certain regular rings. Huneke and
Sharp proved this for characteristic p > 0 [HS]. Lyubeznik showed this finiteness
property for regular local rings of equal characteristic zero and finitely generated
regular algebras over a field of characteristic zero [Ly1]. Recently, in [BBLSZ], the
finiteness of local cohomology module is proved for smooth algebra over Z and ZpZ
and from results of that paper, it is evident that smooth algebra can play a crucial
role in the study of local cohomology modules, even if the dimension of the base
ring is more than one.
In studying the finiteness of local cohomology module, D-module plays an important role, see [Ly1, Ly2, Ly3] and also [BBLSZ]. One of the important property
of smooth A-algebra R, which resemblances polynomial and power series algebra,
is that the ring D(R, A) of A-linear differential operators of R, commutes with the
base change, see Lemma 2.1 of [BBLSZ]. In this article, we study the behaviour of
smooth algebra over local ring and in this context, we generalize certain the results
of [Nu2], and [Nu3] from the polynomial and power series algebra to smooth algebra
over a Noetherian local ring. In this context, it is to be noted that Lemma 2.1 of
[BBLSZ] plays a very important role in this generalization.
For a field A, and for A-algebra R, Rf has finite length in the category of D(R, Amodules for every f ∈ R, if R satisfies the conditions of Theorem 2 of [Ly3]. In
2010 Mathematics Subject Classification. 13D45.
Key words and phrases. Local Cohomology.
1

2

Lemma 3.2 of [Nu2], the result of Theorem 2 of [Ly3], is extended from polynomial
or power series algebra over a field to those algebras over zero dimensional ring.
In section 3, at first in Theorem 3.2, we extend the result of Theorem 2 of [Ly3]
further, from polynomial or power series algebra over a field to smooth algebra over
zero dimensional ring. Later, in Theorem 3.5, we use this fact to generalize the
result of Theorem 4.1 of [BBLSZ] (see Corollary 1), from the finiteness of the set
of associated primes of local cohomology to that of Lyubeznik functor.
In section 4, we study the following question raised by Melvin Hochster (see,
Question 1.1 of [Nu3]):
Question. Let (A, m, k) be a local ring and R be a flat extension with regular closed
0
fibre. Is Ass R HmR
HIi (R) finite for every ideal I ⊂ R and i ∈ N?
In Theorem 1.3 of [Nu3], it is proved that the answer is positive when R is either
a polynomial or a power series ring over a Noetherian local ring A and for an ideal
I ⊂ R such that dim(A/I ∩ A) ≤ 1. In doing so, definition of Σ-finite D-module is
introduced for polynomial or power series algebra. From definition of smoothness
it is immediate that every closed fibres are regular. So, we can expect to lift the
result of Theorem 1.3 of [Nu3] to smooth algebra. So, at first, we introduce the
definition of Σ-finite D-module for smooth algebra and then in Theorem 4.4, we
extend the result and we get the partial answer to the above question, when R is a
smooth A-algebra.
2. basic results
Here we briefly review some of the basic results which we need in the next
sections.
2.1. Lyubeznik Functor. Lyubeznik Functor is introduced by Lyubeznik in [Ly1].
Here, we account for a brief description of it: Let R be a Noetherian ring and M be
an R-module. Let Z be a closed subset of Spec R. We set HZi (M ) as the i-th local
cohomology module of M with support in Z . We notice that HZi (M ) = HIi (M ),
for Z = V (I) = {P ∈ Spec R : I ⊂ P }. For any two closed subsets of Spec R,
Z 1 ⊂ Z 2 , there is a long exact sequence of functors
. . . → HZi 1 → HZi 2 → HZi 1 /Z 2 → . . .

We set T = T 1 ◦ · · · ◦ T t , where every functor T j is either HZi for some closed
subset Z of Spec R or the kernel or image (or cokernel) of some map in the above
long exact sequence. T is known as Lyubeznik functor.
We note the following well known fact for Lyubeznik functor.
Remark 1. Let S be faithfully flat over R. Then, for Lyubeznik functor T ,
Ass S T (S) is a finite set if and only if Ass R T (R) is a finite set.
2.2. Introduction to D-modules. Consider Noetherian rings A and R, such that
A ⊂ R, and we denote by D(R, A) the ring of A-linear differential operators of R.
This is the subring of Hom A (R, R) defined inductively as follows: The differential
operators of order zero are the homomorphisms induced by multiplying by elements
in R. An element θ ∈ Hom A (R, R) is a differential operator of order less than or
equal to k + 1 if θ · r − r · θ is a differential operator of order less than or equal to
k for every r ∈ R = Hom R (R, R).

3

It is well known that if M is a D(R, A)-module, then Mf has the structure of a
D(R, A)-module such that, for every f ∈ R, the natural morphism M → Mf is a
morphism of D(R, A)-modules. As a result of this, since R is a D(R, A)-module,
T (R) is also a D(R, A)-module (see, Examples 2.1 in [Ly1]).
∂t
If R = A[x1 , . . . , xn ] or R = A[[x1 , . . . , xn ]], then t!1 ∂x
t can be viewed as a
i
differential operator on R where the integer t! is not invertible. By Theorem
16.11.2 in [Gr], in each of these cases, D(R, A) is the free R-module with basis
1 ∂ tn
1 ∂ t1
t1 ! ∂xt1 . . . tn ! ∂xtnn , where for each i = 1 to n, ti ∈ N. Thus, it follows that for every
1
A-algebra B, D(R, A) ⊗A B ∼
= D(R ⊗A B, B). In particular, for an ideal I ⊂ A, we
have the isomorphism D(R, A)/ID(R, A) ∼
= D(R/IR, A/IA). Moreover, if M is a
D(R, A)-module, then IM is a D(R, A)-submodule and the last isomorphism gives
the structure of M/IM as a D(R, A)-module.
In [Ly3], we observe a definition of a subcategory, denoted by C(R, A), which is
the smallest subcategory of D(R, A)-modules that contains Rf for all f ∈ R and
that is closed under subobjects, extensions, and quotients. In particular, the kernel,
image, and cokernel of a morphism of D(R, A)-modules that belong to C(R, A) are
also objects in C(R, A).
2.3. D-modules of Finite Length. A D(R, A)-module M is simple, if its only
D(R, A)-submodules are 0 and M . We say that a D(R, A)-module M has finite
length, if there is a strictly ascending chain of D(R, A)-modules, 0 ⊂ M0 ⊂ M1 ⊂
. . . ⊂ Mh = M, called a composition series of M , such that Mi+1 /Mi is a nonzero
simple D(R, A)-module for every i = 0, . . . , h. Here, h is independent of the filtration and it is called the length of M . Moreover, for every filtration, the composition
factors, Mi+1 /Mi , are the same, up to permutation and isomorphism.
Notations. If M is a D(R, A)-module of finite length, we denote the set of its
composition factors by Cf M .
Remark 2. (a) If M is a nonzero simple D(R, A)-module, then M has only one
associated prime. This is because for every prime ideal P ⊂ Ass R M , HP0 (M ) is a
nonzero D(R, A)-submodule of M and so it is the whole ofSM . As a consequence,
if M is a D(R, A)-module of finite length, then Ass R M ⊂ N ∈Cf M Ass R N, which
is finite.
(b) If 0 → M ′ → M → M ′′ → 0Sis a short exact sequence of D(R, A)-modules
of finite length, then Cf M = Cf M ′ Cf M ′′ .
We recall that, for a field A, and for A-algebra R, Rf has finite length in the category of D(R, A)-modules for every f ∈ R, if R satisfies the conditions of Theorem
2 of [Ly3]. In this context, we note the following result.
Lemma 2.1. (a) If M is an object in C(R, A), then T (M ) is also an object in this
subcategory; in particular, T (R) belongs to C(R, A)
(b) For A-algebra R, assume that Rf has finite length in the category of D(R, A)modules for every f ∈ R and M is an object of C(R, A), then M has finite length
as a D(R, A)-module. As a consequence, T (R) would also have finite length.
Proof. (a) Proof is similar to that of Lemma 5 of [Ly3].
(b) Proof is similar to that of Corollary 6 of [Ly3].



4

2.4. Smooth Algebra. We recall the definition of regular algebras, (see [Ma1],
page 249). Here, we call finitely presented regular algebra over the base ring as
smooth algebras. More precisely: A ring R is said to be smooth over A if R is
a finitely presented and flat A-algebra, such that for each prime ideal p of A, the
fiber Rp /pRp is geometrically regular over Ap /pAp . We have already seen that if
R = A[x1 , . . . , xn ] or R = A[[x1 , . . . , xn ]], then for an A-algebra B, it follows that
D(R, A) ⊗A B = D(R ⊗A B, B). Recently in Lemma 2.1 of [BBLSZ], this result is
been extended to R when it is smooth over A.
Here we mention the known results about the behaviour of smooth algebra under
base change of finite type.
Lemma 2.2. Let R be a smooth A-algebra, and let A → Ā be a base change of
finite type. Then R ⊗A Ā is also smooth over Ā.
Proof. If R be a finitely presented A-algebra, then under the base change A → Ā,
R ⊗A Ā is also a finitely presented algebra over Ā. Now for the rest of the proof,
see Lemma 4 in page 253 of [Ma1].

2.5. Direct Limit of Regular Rings. Here we state a known result regarding
direct limit of regular rings. We also present its proof for completeness.
Lemma 2.3. Let (Bi , fij ) be a directed system of local rings whose transition maps
are local ring maps. If each Bi is a regular local ring and B∞ = lim Bi is Noether→i

ian, then B∞ is a regular local ring.
Proof. Let m ⊂ B∞ be the maximal ideal; it is the direct limit of the maximal ideal
mi ⊂ Bi . We proceed by induction on d = dim m/m2 . If d = 0, then B∞ = B∞ /m
is a field and B∞ is a regular local ring. If d > 0 pick an x ∈ m − m2 . For some
i we can find an xi ∈ mi mapping to x. Note that B∞ /xB∞ = lim Bj /xi Bj is
→j≥i

a Noetherian local ring. Since xi is in the set of minimal generator of mj we find
that Bj /xi Bj is a regular local ring. Hence by induction we see that B∞ /xB∞ is
a regular local ring. Since each Bi is a domain, B∞ is also a domain. Hence x is a
nonzero divisor and we conclude that B∞ is a regular local ring.

3. smooth algebra, results of [Nu2] and lyubeznik functor

In this section, at first in Theorem 3.2, we extend the result of Theorem 2 of
[Ly3], from polynomial or power series algebra over a field to smooth algebra over
zero dimensional ring. Later in Theorem 3.5, we use this fact to generalize the
result of Theorem 4.1 of [BBLSZ] (see Corollary 1), from the finiteness of the set
of associated primes of local cohomology to that of Lyubeznik functor.
To explore our first main result, we need the following lemma.
Lemma 3.1. Let k be a field of characteristic p > 0 and B be a finitely generated
i
k-algebra. Set Bi = B ⊗k k 1/p . If Bi is regular for every i ≥ 0, then lim Bi =
→i

B∞ = B ⊗k k 1/p

∞

is regular.

Proof. Since B is a finitely generated k-algebra, Bi is also a finitely generated
i
i
i+1
k 1/p -algebra due to base change. From flatness of k 1/p → k 1/p , we find that
∞
Bi+1 is also a flat Bi -algebra. B∞ is also a finitely generated k 1/p and so it is
Noetherian and it turns out that B∞ = lim→i Bi . For a maximal ideal m ⊂ B∞ ,

5

let mi = m ∩ Bi be a prime ideal of Bi . Consider the local rings (Bi )mi . Observe
the following commutative diagram
. . . −−−−→ (Bi )mi −−−−→ (Bi+1 )mi+1 −−−−→ . . . −−−−→ (B∞ )m
x
x
x






. . . −−−−→

Bi

−−−−→

Bi+1

−−−−→ . . . −−−−→

B∞

where each map is a localization map and each of the horizontal map of local
rings is injective, since each of the local ring is faithfully flat extension of the
previous. For any b/s ∈ (B∞ )m , take b, s ∈ B∞ , such that s ∈
/ m. Clearly, there
exists, some Bi , where b, s ∈ Bi and s ∈
/ mi . Thus b/s ∈ (Bi )mi . This gives that
(B∞ )m = lim(Bi )mi and it is Noetherian. So from Lemma 2.3 we find that (B∞ )m
→i

is a regular local ring. Thus B∞ is a regular ring.



Now we state our first main result of this section.
Theorem 3.2. Let A be a zero-dimensional Noetherian ring. Let R be a smooth
A-algebra containing A. Then, Rf has finite length as a D(R, A)-module for every
f ∈ R.
Proof. Here, A has finite length as an A-module, and let 0 = N0 ⊂ N1 ⊂ . . . ⊂ Nℓ =
A be a finite filtration of ideals such that Nj+1 /Nj is isomorphic to a field. Since
A sits inside R, we have an induced filtration of D(R, A)-modules, 0 = N0 Rf ⊂
N1 Rf ⊂ . . . ⊂ Nℓ Rf = Rf . It suffices to prove that Nj+1 Rf /Nj Rf is of finite length
for j = 1, . . . , ℓ. We note that Nj+1 Rf /Nj Rf is zero or isomorphic to (R/mR)f for
some maximal ideal m ⊂ A.
Set k = A/m and B = R/mR which is a finitely generated k-algebra. Since
R is smooth over A, due to base change, R/mR is also smooth over k and hence
it is regular. If Char k = 0, then using (a) of Theorem 2 of [Ly3] we can say
that (R/mR)f is of finite length as D(R/mR, A/m) module. If Char k = p > 0,
i
set Bi = R/mR ⊗k k 1/p and due to smoothness Bi is regular for each i. Thus
∞
∞
from Lemma 3.1, we get B∞ = B ⊗k k 1/p = R/mR ⊗k k 1/p is regular. Thus
using (c) of Theorem 2 of [Ly3], again we find that (R/mR)f is of finite length
as D(R/mR, A/m) module. Thus, irrespective of the characteristics of k = A/m,
(R/mR)f is of finite length as D(R/mR, A/m) module.
So, Nj+1 Rf /Nj Rf has finite length as a D(R/mR, A/mA)-module and from
Lemma 2.1 of [BBLSZ], we get D(R/mR, A/mA) = D(R, A)/mD(R, A). Thus, it
has finite length as a D(R, A)-module, which concludes the proof.

The following results generalizes that of Proposition 3.3 of [Nu2] from polynomial
or power series ring to smooth algebra over zero dimensional ring.
Proposition 3.3. Let A be a zero-dimensional commutative Noetherian ring. Let
R be a smooth A-algebra such that A ⊂ R. Then, Ass R M is finite for every object
in M ∈ C(R, A); in particular, this holds for T (R) for Lyubeznik functor T .
Proof. By Theorem 3.2, Rf has finite length in the category of D(R, A)-modules
for every f ∈ R. If M is an object of C(R, A), then by Lemma 2.1, M has finite
length as a D(R, A)-module. Now, using Lemma 3.1 of [Nu2], we conclude.

We need the following important result.

6

Lemma 3.4. Let A be a Noetherian ring and R be a smooth A-algebra. Consider
an element π ∈ A and set Ā and R̄ denote A/πA and R/πR respectively. Let M be
a D(R, A)-module, such that Ann M (π) and M ⊗R R̄ are objects in C(R̄, Ā). Then,
Ann T (M) (π) and T (M ) ⊗R R̄ are objects in C(R̄, Ā) for every functor T .

Proof. We first note the following: Since M is D(R, A)-module, both Ann M (π) and
M ⊗R R̄ are D(R, A)/πD(R, A)-module. Since R is smooth overA, from Lemma
2.1 of [BBLSZ] we find that both Ann M (π) and M ⊗R R̄ are D(R̄, Ā)-module.
Now, rest of the proof is similar to that of Lemma 3.5 of [Nu2].

Now, we state the next main results of this section in the following theorem and
in the corollaries.
Theorem 3.5. Let A be a one-dimensional domain,and π ∈ A be an element. Let
R be a faithfully flat smooth A-algebra. Then, the set of associated primes over R
of T (R) that contain π is finite, for Lyubeznik functor T .

Proof. Set Ā = A/πA and R̄ = R/πR. The set of associated primes of T (R) that
contain π is Ass R Ann T (R) (π). Here π ∈ A is a nonzero divisor of A. Since R is
flat over A, π ∈ A is also a nonzero divisor of R. Thus Ann R (π) = 0. Moreover,
R̄ ∈ C(R̄, Ā). So, we can apply Lemma 3.4, to see that Ann T (R) (π) is in C(R̄, Ā).
Since R is smooth over A, due to finite base change A → Ā, R̄ is also smooth over
Ā. Here dim Ā = 0. Thus from Theorem 3.2 we get that R̄f¯ is of finite length for every f¯ ∈ R̄. From first paragraph of the proof, we already know that Ann T (R) (π) is
in C(R̄, Ā). Thus from Lemma 2.1, we conclude that Ann T (R) (π) is also a D(R̄, Ā)module of finite length as an R̄-module. So, we have that Ass R̄ Ann T (R) (π) is finite
by Lemma 3.1 [Nu2]. Thus Ass R Ann T (R) (π) is finite by Proposition 2.2 of [Pu]. 
Recall the definition of p-ring from [Ma2], which is also referred as DVR of mixed
characteristic (see, statement of Theorem 4.1 of [BBLSZ]). Now, we have the result
which generalizes that of Theorem 4.1 of [BBLSZ].
Corollary 1. Let A be a one dimensional regular domain containing Z and R be
a smooth local A-algebra of mixed characteristic p > 0, containing A. Then for
Lyubeznik functor T , Ass R T (R) is a finite set.
Proof. Due to smoothness, R is regular local ring. Consider the prime p ∈ Z. Set
Ass R T (R) = S1 ∪ S2 , where p ∈ S1 if and only if p ∈ p and p ∈ S2 if and only if
p∈
/ p. From Theorem 3.5 above, S1 is finite, while from Corollary 4.5 of [Nu1], S2
is finite. Thus Ass R T (R) is a finite set.

Remark 3. The result of above corollary generalizes the result of Theorem 4.1 of
[BBLSZ], from the finiteness of the set of associated primes of local cohomology to
that of Lyubeznik functor. The technique of proof which is adopted here, is different
from that of [BBLSZ]. Moreover, from the technique of proof of Theorem 4.1 of
[BBLSZ], it appears that, it may not be easy to generalize the result of Theorem 4.1
of [BBLSZ] for Lyubeznik functor.
Remark 4. The result of above corollary is true for local case and till now we
donot know whether it can be extended to an arbitrary smooth non local algebra.
But recently, in Theorem F of [Nu4], similar result is obtained for polynomial ring
over Z.

7

From structure of complete regular local ring we know that for every complete
ramified regular local ring can be thought as an extension of a complete p-ring,
see Theorem 29.7 and 29.8 of [Ma2]. The extension is the composition of a power
series extension followed by a module finite ‘Eisenstein extension’. In the following
corollary, we explore a special situation of such extension.
Corollary 2. For complete regular local ring R of mixed characteristic p > 0, if it
is smooth over a complete p-ring, or more generally, for any regular local ring R of
mixed characteristic p, if its completion is smooth over a complete p-ring then for
Lyubeznik functor T , Ass R T (R) is a finite set.
Proof. Due to Remark 1 of the section 2, second assertion follows from first assertion
and first assertion is immediate from previous corollary.

Remark 5. Unramified complete regular local ring in mixed characteristic p > 0 is
actually a power series ring over a complete p-ring. Power series rings are examples
of smooth algebra. The results in the above corollary include those complete ramified
regular local rings which are not power series rings, but which are smooth over
complete p-rings.
Example 3.1. For example of smooth regular local ring over DVR of mixed characteristic, see Theorem 3.4 of [Du] and also observe Corollary 6 of [GL].
4. smooth algebra and Σ-finite D-module
In this section, at first, we introduce the definition of Σ-finite D-module for
smooth algebra and then, in Theorem 4.4, we extend the result of Theorem 1.3 of
[Nu3] from polynomial and power series algebra to smooth algebra over an arbitrary
Noetherian local ring. As mentioned in the introduction that Theorem 1.3 of [Nu3]
comes out as a partial answer to a question raised by Melvin Hochster. Thus, we
extend the partial answer to the above question from polynomial and power series
algebra to smooth algebra over an arbitrary Noetherian local ring.
We begin with the following lemma.
Lemma 4.1. Let (A, m, k) be a Noetherian local ring and R be a smooth algebra
over A. Then,
(a) For every f ∈ R, (R/mR)f is a D(R/mR, A/m)-module of finite length and
it is a D(R, A)-module of finite length.
(b) For every objects M of C(R/mR, A/m), M has finite length as a D(R/mR, A/m)module and hence it has finite length as a D(R, A)-module.
Proof. (a) From the part of the proof of Theorem 3.2, it follows that (R/mR)f is a
D(R/mR, A/m)-module of finite length. Since (R/mR)f is also D(R, A)/mD(R, A)module, from Lemma 2.1 of [BBLSZ], we get that it is also a D(R, A)-module of
finite length.
(b) From the result of (a), and using (b) of Lemma 2.1, it follows that M has
finite length as a D(R/mR, A/m)-module. From Lemma 2.1 of [BBLSZ], it follows
that M has finite length as a D(R, A)/mD(R, A)-module. Hence, it has finite length
as a D(R, A)-module.

Thus above lemma helps us to extend the definition of Σ-Finite module [Nu3]
for smooth algebras.

8

Definition. Let (A, m, k) be a Noetherian local ring and R be a smooth algebra
over A. Let M be a D(R, A)-module supported at mR. We set Fin M as the set of
all D(R, A)-submodules of M that have finite length. We say that M is Σ-Finite
if:
S
(i) SN ∈Fin M N = M,
(ii) N ∈Fin M Cf N is finite, and
(iii) For every N ∈ Fin M and L ∈ Cf N , L ∈ C(R/mR, A/m).
S
We denote the set of composition factors of M , N ∈Fin M Cf N , by Cf M .
Remark 6. In context to the above situation,
[
Ass R M ⊂
Ass R M
N ∈Cf M

for every Σ-Finite D(R, A)-module, M . In particular, Ass R M is finite.
The way which leads us to Theorem 4.4, from the definition of Σ-finite D(R, A)module, is similar to that of [Nu3]. But for the sake of completeness, we present the
way. For this purpose, at first, we observe the following properties of the Σ-Finite
D(R, A)-module.
Proposition 4.2. Consider smooth A-algebra R, over the local ring (A, m, k).
(a) Let 0 → M ′ → M → M ′′ → 0 be a short exact sequence of D(R, A)-modules.
If M is Σ-Finite then M ′ and M ′′ are Σ-Finite. Moreover, Cf M = Cf M ′ ∪ Cf M ′ .
(b) Let M and M ′ be Σ-Finite D(R, A)-modules. Then, M ⊕M ′ is also Σ-Finite.
(c) Let M be a Σ-Finite D(R, A)-module. Then, HIi (M ) is Σ-Finite for every
ideal I ⊂ R and i ∈ N.
S
(d) Let Mt be an inductive direct system of Σ-Finite
D(R, A)-modules. If t Cf Mt
S
is finite, then lim Mt is Σ-Finite and Cf M ⊂ t Cf Mt .
→t

Proof. (a) Proof is similar to that of Proposition 3.6 of [Nu3].
(b) Proof is similar to that of Lemma 3.9 of [Nu3].
(c) Proof is similar to that of Corollary 3.10 of [Nu3].
(d) Proof is similar to that of Proposition 3.11 of [Nu3].



Proposition 4.3. Consider smooth A-algebra R, over the local ring (A, m, k).
(a) Let J ⊂ R be an ideal and M be an A-module of finite length. Then,
i
HJi (M ⊗A R) is a D(R, A)-module of finite length. Moreover, Cf HJR
(M ⊗A R) ⊂
S
j
Cf
H
(R/mR).
j
JR
(b) Let I ⊂ R be an ideal containing mR. Then HIi (R) is Σ-Finite for every
i ∈ N.
(c) Let I ⊂ R be an ideal containing mR and J1 , . . . , Jℓ ⊂ R be any ideals. Then
HJj11 · · · HJjℓℓ HIi (R) is Σ-Finite.
Proof. (a) It is to be noted that for smooth A-algebra R, due to (c) of Theorem 2
j
and Corollary 6 of [Ly3] and Lemma 2.1 of [BBLSZ], we find that HJR
(R/mR) is
of finite length. Rest of the proof of this part is similar to that of Lemma 4.2 of
[Nu3].
(b) The proof is similar to that of Proposition 4.3 of [Nu3].
(c) The proof is immediate from (c) of Proposition 4.2 and (b) of Proposition
4.3.

Now we state the main result of this section.

9

Theorem 4.4. Let (A, m, K) be any Noetherian local ring. Let R be a smooth A0
algebra. Then, Ass R HmR
HIi (R) is finite for√every ideal I ⊂ R such that dim A/I ∩
A ≤ 1 and every i ∈ N. Moreover, if mR ⊂ I, Ass R HJj11 · · · HJjℓℓ HIi (R) is finite for
all ideals J1 , . . . , Jℓ ⊂ R and integers j1 , . . . , jℓ ∈ N.
Proof. For the first assertion, use the results of (a) Proposition 4.2 and (b) of
Proposition 4.3, and the proof follows in the similar manner of that of Proposition
4.5 of [Nu3].
Second assertion follows immediately from (c) of Proposition 4.3 and Remark
5.

References
[BBLSZ] B. Bhatt, M. Blickle, G. Lyubeznik, A. Singh and W. Zhang, Local Cohomology Modules
of a Smooth Z-Algebra have Finitely Many Associated Primes, Inventiones Mathematicae, 197
(2014) 509-519, arXiv: 1304.4692v2 [math.AC].
[Du] S. P. Dutta, On Chow Groups and Intersection Multiplicity of Modules (II), Journal of
Algebra, Volume 171, 1995, 370-382.
[GL] H. Gillet and M. Levine, The Relative Form of Gersten’s Conjecture over a Discrete Valuation Ring: The Smooth Case,Journal of Pure and Applied Algebra 46 (1987) 59-71.
[Gr] A. Grothendieck, Éléments de géométrie algébrique IV, Étude locale des schémas et des
morphismes de schémas IV, Inst. Hautes Études Sci. Publ. Math. 32 (1967), 5-361.
[HS] C. Huneke and R. Sharp, Bass Numbers of Local Cohomology Modules, Transaction of American Mathematical Society, Vol. 339, No. 2, 765-779, 1993.
[Ly1] G. Lyubeznik, Finiteness Properties of Local Cohomology modules (an application of Dmodules to commutative algebra), Invent. Math. 113, 41-55, 1993.
[Ly2] G. Lyubeznik, F-modules: applications to local cohomology and D-modules in characteristic
p > 0, J.Reine Angew. Math. 491 (1997), 65-130.
[Ly3] G. Lyubeznik, Finiteness properties of local cohomology modules: a characteristic-free approach, Journal of Pure and Applied Algebra 151 (2000) 43-50.
[Ma1] H. Matsumara, Commutative Algebra, The Benjamin/Cummings Publishing Company,
1980
[Ma2] H. Matsumara,Commutative Ring Theory, Cambridge University Press, 1990.
[Nu1] L. Núñez-Betancourt On certain rings of differentiable type and finiteness properties of
local cohomology, Journal of Algebra, Volume 379, April 2013, Pages 1-10, (arXiv: 1202.3597
[math.AC]).
[Nu2] L. Núñez-Betancourt Local cohomology modules of polynomial or power series rings over
rings of small dimension, Illinois Journal of Mathematics, Volume 57, No. 1 (2013), Pages 279294, (arXiv: 1207.1896 [math.AC]).
[Nu3] L. Núñez-Betancourt Associated primes of local cohomology of flat extensions with regular
fibres and Σ finite D-modules, Journal of Algebra, Volume 399, February 2014, Pages 770-781.,
(arXiv: 1210.3107 [math.AC]).n
[Nu4] D. Hernádez, L. Núñez-Betancourt, F. Pérez, and E. Witt Lyubeznik numbers and injective
dimension in mixed characteristic, arXiv: 1512.02298 [math.AC].
[Pu] T. J. Puthenpurakal, Local Cohomology Modules of Invariant Rings, arXiv: 1310.4626v1
[math.AC].
Dinabandhu Andrews College, Garia, Kolkata 700084, India
E-mail address: rbhattacharyya@gmail.com

