arXiv:1512.00608v1 [] 2 Dec 2015

ON THE RELATION BETWEEN FORMAL GRADE AND DEPTH
WITH A VIEW TOWARD VANISHING OF LYUBEZNIK
NUMBERS
KH. AHMADI-AMOLI , E. BANISAEED , M. EGHBALI , AND F. RAHMATI

Abstract. Let (R, m) be a local ring and I an ideal. The aim of the present
paper is twofold. At first we continue the investigation to compare fgrade(I, R)
with depth R/I and further we derive some results on the vanishing of Lyubeznik
numbers.

1. Introduction
Let (R, m) be a commutative Noetherian local ring and I be an ideal of R. For
an R-module M , we denote by HIi (M ) the ith local cohomology module of M with
respect to I. For more details the reader may consult [4].
i
Consider the family of local cohomology modules {Hm
(M/I n M )}n∈N . For every
i
i
n there is a natural homomorphism Hm
(M/I n+1 M ) → Hm
(M/I n M ) such that
i
the family forms a projective system. The projective limit limn Hm
(M/I n M ) is
←−
called the ith formal local cohomology of M with respect to I (cf. [25]). For more

information on this topic we refer the reader to [25], [3] and [10]. In the case (R, m)
is a Gorenstein local ring Peskine and Szpioro [24] proved the isomorphism
H i (R/I n ),
Hpi (X , OX ) ∼
= lim
←−n m
where X is the formal completion of Spec R along Spec R/I and p a closed point.
The formal grade, fgrade(I, M ), is defined as the index of the minimal nonvanishi
ing formal cohomology module, i.e., fgrade(I, M ) = inf{i ∈ Z| limn Hm
(M/I n M ) 6=
←−
0}.

The concept of formal grade can be used to investigate vanishing conditions of
local cohomology modules. One way to check out vanishing of local cohomology
modules is the following duality
(1.1)

i
limn Hm
(R/I n ) ∼
= HomR (HIdim R−i (R), E(R/m)),
←−

2000 Mathematics Subject Classification. 13D45, 14C14.
Key words and phrases. Local cohomology, Formal grade, Depth, Lyubeznik numbers.
The third named author’s research was in part supported by a grant from IPM (No. 94130017)
.
1

2

KH. AHMADI-AMOLI , E. BANISAEED , M. EGHBALI , AND F. RAHMATI

where (R, m) is a Gorenstein local ring and E(R/m) denotes the injective hull of
the residue field (cf. [25, Remark 3.6]).
In the case that (R, m) is a regular local ring containing a field k the following
consideration of formal grade have been given:
(1) If k = Q, then fgrade(I, R) ≤ de Rham depth of Spec R/I, (cf. [23, Theorem 2.8]).
(2) If k is of positive characteristic and R is F -finite, then fgrade(I, R) =
Frobenius depth of R/I, (cf. [12, Corollary 3.9]).
From the other viewpoint, the computation of depth(R/I n ), even for small values
of n, can be very difficult. So, determining of minn depth(R/I n ) in most of the cases
is abortive. A natural upper bound for the minn depth(R/I n ) is the depth R/I. In
an attempt to find a suitable (homological) upper bound for the minn depth(R/I n ),
the third named author in [11], examined the formal grade of I, fgrade(I, R) and
gave concrete examples for the equality minn depth(R/I n ) = fgrade(I, R). If (R, m)
is a regular local ring, in the light of equality (1.1) and [25, Lemma 4.8] one has
fgrade(I, R) = depth R/I

if and only if

pd R/I = cd(R, I).

We let pd(−) resp. cd(−, −) to be the projective dimension resp. cohomological
dimension (cf. Section 2).
The relation between fgrade(I, R) and depth R/I is not clear in general. It
is known that fgrade(I, R) ≤ dim R/I, (cf.

[25, Lemma 4.8]).

The equality

fgrade(I, R) = depth R/I is achieved in the following cases:
• R is a regular local ring of positive characteristic and R/I is Cohen-Macaulay,
(cf. [11, Remark 3.1]).
• R = k[x1 , . . . , xn ](x1 ,...,xn ) and I is a squarefree monomial ideal, (cf. [11,
Corollary 4.2]).
The equality fgrade(I, R) = depth R/I is not the case for non Cohen-Macaulay
ideals in general. Let I = (x0 x3 − x1 x2 , x31 − x20 x3 , x32 − x1 x23 ) ⊂ R = k[x0 , x1 , x2 , x3 ]
be the defining ideal of the twisted quartic curve in P3 . Using Mayer-Vietoris
sequence one can see that depth R/I = 1 and fgrade(I, R) = 2.
We conclude this introduction by giving a brief preview of what is to come. Our
main contribution in Section 2, is to further investigate on the equality between
fgrade(I, R) and depth R/I. More precisely, we prove the following.
Theorem 1.1. (cf. Theorem 2.4) Suppose that I is a equimultiple ideal of a regular
local ring (R, m) containing a field of characteristic zero. Then,
fgrade(I, R) = depth R/I n = depth R/I (n) , for all n > 0,
where I (n) denote the nth symbolic power of I.

FORMAL GRADE, DEPTH AND LUBEZNIK NUMBERS

3

As a consequence of the relationship between fgrade(I, R) and depth R/I, in
Section 3, we derive some results on the vanishing of Lyubeznik numbers (cf. Section
3 for the definitions). Lyubeznik numbers carry some geometrical and topological
information as indicated in [20]. For more applications of these invariants we refer
the reader to [14], [6], [21], [5], [28] and [2].
In [26] Varbaro raised the following question:
Question 1.2. Suppose that R is a regular local ring containing a field and I an
ideal. For all j < depth R/I and i ≥ j − 2 is it true that the Lyubeznik numbers
λi,j (R/I) = 0?
We give some partial positive answers to the aforementioned question as follows.
Theorem 1.3. (cf. Theorem 3.5 and Proposition 3.6) Let (R, m) be a local ring
and let I be an ideal of R. Assume that one of the following statements holds.
(1) Suppose that projective dimension of R/I is finite and ϕ : R → R is a ring
endomomorphism satisfying going down property such that {ϕt (I)R}t≥0 is
a decreasing chain of ideals cofinal with {I t }t≥0 and depth R/I = r.
(2) Let R be a regular complete ring containing a field and let I be a CohenMacaulay ideal of R which is generically complete intersection. Further
assume that ht(I) = l(I) − 1 and J is a proper minimal reduction of I with
depth R/J = r.
Then we have
λi−t,i (R/I) = 0 for all 0 ≤ i < r and 0 ≤ t ≤ i.
It is noteworthy to mention that in the case R is essentially of finite type the
Question 1.2 has been proved in [9].
2. Formal grade and depth
Let (R, m) be a commutative Noetherian local ring and I be an ideal of R. In
this section we will further investigate on the relationship between depth R/I and
fgrade(I, R). First of all we review some notions and results of formal grade and
related topics.
i
(2-1) dim M/IM = sup{i ∈ Z| limn Hm
(M/I n M ) 6= 0}, (cf. [25, Theorem 4.5]).
←−
(2-2) fgrade(I, M ) ≤ min{depthR M, dim M/IM }, (cf. [25, Lemma 4.8]).

(2-3) Suppose that R is a Cohen-Macaulay local ring.

Then fgrade(I, R) +

cd(R, I) = dim R, (cf. [3]), where cd(R, I) = sup{i ∈ Z | HIi (R) 6= 0}.
(2-4) minn depth R/I n ≤ fgrade(I, R), (cf. [11, Proposition 2.2]).
An ideal I is called cohomologically complete intersection if ht(I) = cd(R, I),
(cf. [15]). Suppose the residue field R/m is infinite. We denote by l(I) the Krull

4

KH. AHMADI-AMOLI , E. BANISAEED , M. EGHBALI , AND F. RAHMATI

n
n
dimension of ⊕∞
n=0 (I /I m), called the analytic spread of I. It is known that

ht(I) ≤ l(I) ≤ µ(I), where µ(I) is the minimal number of generators of I. The
ideal I is called equimultiple if ht(I) = l(I). There are large classes of such ideals,
for instance, every m-primary ideal I is equimultiple (cf. [22, Theorem 1, page
154]).
Remark 2.1. Let (R, m) be a Cohen-Macaulay local ring with infinite residue field
and I be a non Cohen-Macaulay cohomologically complete intersection ideal. Then
(a) depth R/I ≤ fgrade(I, R) − 1.
(b) If l(I) − ht(I) = 1, ht(I) ≥ 1 and the graded associated ring grI (R) is
Cohen-Macaulay, then depth R/I ≥ fgrade(I, R) − 1.
Proof. (a) As I is a cohomologically complete intersection ideal which is not CohenMacaulay, depth R/I ≤ dim R−cd(I, R)−1. The later is nothing but fgrade(I, R)−
1, by the equality (2-3) above.
(b) Since grI (R) is Cohen-Macaulay, by [13, Proposition 3.3] we have l(I) =
dim R − min depth R/I n . Now the assertion follows by the following inequality
1 ≥ dim R − depth R/I − cd(R, I) = fgrade(I, R) − depth R/I.

An ideal J ⊂ I is a reduction of I if JI r = I r+1 for some integer r. The least
such integer is the reduction number of I with respect to J.
Remark 2.2. Let (R, m) be a Cohen-Macaulay local ring with infinite residue field.
Assume that I is a Cohen-Macaulay ideal with l(I) − ht(I) = 1 and ht(I) ≥ 1.
Further assume that the reduction number of I is 1. Then
depth R/I ≥ fgrade(I, R) ≥ depth R/I − 1.
Proof. By [27, Corollary 5.3.7], grI (R) is Cohen-Macaulay. Once again using [13,
Proposition 3.3], the claim is clear.



As hinted at in the introduction, for a regular local ring (R, m) containing a
field of positive characteristic, fgrade(I, R) = depth R/I, whenever I is a CohenMacaualy ideal ([11, Remark 3.1]). The following result (Theorem 2.4) can be
thought of as its analogue in characteristic zero.
Definition 2.3. Let R be a reduced ring and I be an ideal. If p1 , . . . , pn are minimal
primes of I, we set S := R \ (p1 ∪ . . . ∪ pn ) a multiplicatively closed subset of R.
The nth symbolic power of I with respect to S is defined as I (n) = I n (S −1 R) ∩ R.

FORMAL GRADE, DEPTH AND LUBEZNIK NUMBERS

5

Theorem 2.4. Suppose that I is a equimultiple ideal of a regular local ring (R, m)
containing a field of characteristic zero. Then,
fgrade(I, R) = depth R/I n = depth R/I (n) , for all n > 0.
Proof. Since l(rad(I)) = l(I), fgrade(rad(I), R) = fgrade(I, R), depth R/(rad(I))n =
depth R/I n and depth R/(rad(I))(n) = depth R/I (n) , then we may assume that I
is a radical ideal. On the other hand, it is known that l(I) = l(I R̂) and since R is
regular, for all integer n one has Iˆ(n) = I (n) R̂ (see for instance [16, page 14]) where
R̂ is the completion of R with respect to the maximal ideal m. Moreover, depth
and formal grade are stable under completion, (cf. [25, Proposition 3.3]). Thus, by
passing to the completion we may assume that R is a complete regular local ring
containing a field of characteristic zero. Hence, R contains a field of characteristic
zero that maps onto its residue field. It implies that R/m is infinite. Now, by
our assumptions, the celebrated result of Cowsik and Nori [8], implies that I is a
complete intersection ideal. Thus, R/I n is Cohen-Macaulay for all n > 0, then
i
so is R/I (n) for all n > 0, by [19, Corollary 3.8]. Hence, Hm
(R/I n ) = 0 for all
i
i < depth R/I n = dim R/I. On the other hand, one has limn Hm
(R/I n ) = 0 for all
←−
i < dim R/I. Accordingly, by virtue of equality (2-1) we get

fgrade(I, R) = depth R/I n = depth R/I (n) , for all n > 0.

In the Theorem 2.4 we can not remove the assumption ht(I) = l(I). Consider
the following example.
Example 2.5. Let R = C[x, y, z, w](x,y,z,w) and I = (x, y) ∩ (z, w) be an ideal
of R. We have ht(I) = 2, l(I) = 3, where I is a radical ideal. On the other
hand, fgrade(I, R) = 2 and dim R/I = 2 but for all positive integers n, one has
I n = (x, y)n ∩ (z, w)n . Hence, depth R/I n = 1 for all n > 0.
Proposition 2.6. Let (R, m) be a local ring of positive dimension and I a nonCohen-Macaulay ideal of R. If depth R/I > 0 then fgrade(I, R) > 0.
Proof. Since depth and formal grade are not effected under completion, without
loss of generality we may assume that R is a complete local ring.
0
In the contrary, suppose that fgrade(I, R) = 0. Thus, limn Hm
(R/I n ) 6= 0. By
←−
virtue of [25, Lemma 4.1], there exists p ∈ Ass R such that I + p is an m-primary

ideal. So, by The Independence Theorem, one has
[
0
(2.1)
Hp0 (R/I) ∼
(R/I) ∼
= Hm
= (I :R pt ),
t

6

KH. AHMADI-AMOLI , E. BANISAEED , M. EGHBALI , AND F. RAHMATI

where the later module is zero by the assumption. Since p ∈ Ass R, there exists a
S
non zero element x ∈ R such that p = Ann(xR). It yields that 0 6= x ∈ t (I :R pt ),
contradicts to the vanishing in (2.1).



Remark 2.7. The previous result is not true for Cohen-Macaulay ideals:
Put R = k[[x, y, z]]/(xy, xz) and I = (x, y)R. Note that (y, z)R ∈ Ass R,
0
(y, z)R + I = (x, y, z)R. Hence, limn Hm
(R/I n ) 6= 0 but depth R/I = 1.
←−

Discussion 2.8. Let (R, m) be a Cohen-Macaulay local ring and I an ideal of R.
If depth R/I > t > 1 is it true that fgrade(I, R) > t? To answer this question in
special cases if either I is a cohomologically complete intersection ideal or I is a
non-Cohen-Macaulay ideal with ht(I) = cd(R, I) − 1, by virtue of (2-3), one has
fgrade(I, R) ≥ depth R/I.
It should be mentioned that for a regular local ring (R, m) containing a field, it has
been proved in [26, Proposition 3.1] that if depth(R/I) > 1, then fgrade(I, R) > 1.
3. Lyubeznik numbers
Let R be a local ring which admits a surjection from an n-dimensional regular
local ring S containing a field. Let I be the kernel of the surjection, and k = S/m.
Lyubeznik [20] proved that the Bass numbers λi,j (R) = dimk ExtiS (k, HIn−j (S)),
known as Lyubeznik numbers of R, depend only on R, i and j, but neither on S
nor on the surjection S → R. Note that, in the light of [17] and [20] these Bass
numbers are all finite.
Put d = dim R, Lyubeznik numbers satisfy the following properties:
(a) λi,j (R) = 0 for j > d or i > j.
(b) λd,d (R) 6= 0.
(c) If R is Cohen-Macaulay, then λd,d (R) = 1 (cf. [18]).
(d) Euler characteristic (cf. [1]):
X
(−1)i−j λi,j (R) = 1.
0≤i,j≤d

Therefore, we can record all nonzero Lyubeznik numbers in the so-called Lyubeznik
table:






Λ(R) = 




λ0,0

λ0,1

...

λ0,d−1

λ0,d

0

λ1,1

0

0

...
..
.

λ1,d−1
..
.

λ1,d
..
.

0

0

. . . λd−1,d−1

0

0

...

0

λd−1,d
λd,d







,




FORMAL GRADE, DEPTH AND LUBEZNIK NUMBERS

7

where λi,j := λi,j (R) for every 0 ≤ i, j ≤ d.
Proposition 3.1. ([26, Corollary 3.3]) Let R be as above. If depth(R) = r, then
λi−1,i (R) = λi,i (R) = 0
for all 0 ≤ i < r.
In this section, in order to give a positive answer to the Question 1.2 we try to
give a slight extension of the Proposition 3.1.
Lemma 3.2. Let (R, m) be a local ring admits an epimorphism from a regular
local ring (S, n) which is containing a field and let I be its kernel. Assume that
fgrade(I, S) ≥ depth S/I = r, r ∈ N, then
λi−t,i (R) = 0 for all 0 ≤ i < r and 0 ≤ t ≤ i.
Proof. The proof follows from the equality (1.1) mentioned in the Introduction. 
As a byproduct of the Lemma 3.2, we may prove the Theorem 3.5. Before it we
need a lemma pointed out to the authors by Matteo Varbaro. It provides a slight
generalization of our earlier result. Let us recall that for two rings R and S, a ring
map ϕ : R → S has the going-down property if, for any two primes p′ ( p of R
and any prime P in S with ϕ−1 (P) = p, there is a prime P ′ ( P of S such that
ϕ−1 (P ′ ) = p′ .
Remark 3.3. Notice that every flat homomorphism implies the going down property. Take into account that the Frobenius endomorphism of a ring of positive
characteristic and, for any field k and any integer t ≥ 2, the k-linear endomorphism
ϕ(xi ) = xti of k[x1 , . . . , xn ] are the prototypical examples of flat endomorphisms.
Lemma 3.4. Let R be a Noetherian local ring and I ⊂ R an ideal of finite projective
dimension. Assume that ϕ : R → R is a ring endomomorphism satisfying the going
down property and J = ϕ(I)R. Then depth R/I ≤ depth R/J.
Proof. Suppose that pd R/I = n. Let Fn → Fn−1 → . . . → F0 be a free resolution
of R/I, with maps given by matrices Ai = (apq ) : Fi → Fi−1 , where p, q are
integers. Applying the map ϕ to this free resolution, we get a complex of free
modules with maps given by ϕ(Ai ) = (ϕ(apq )). By the acyclicity criterion of
Buchsbaum-Eisenbud (cf. [7, Theorem 1.4.13]), the ideal of minors of the matrices
P
Ai namely Iri (Ai ) have grade ≥ i for i = 1, . . . , n, where ri = nj=i (−1)j−i rank Fj .

But, since ϕ satisfies the going down property, the ideals of minors of the ϕ(Ai ),

which are just the ideal of minors of Ai extended by ϕ, have enough grade too.
Once again using the Buchsbaum-Eisenbud criterion one has pd R/J ≤ pd R/I.
Now, the assertion follows by the Auslander-Buchsbaum Theorem.



8

KH. AHMADI-AMOLI , E. BANISAEED , M. EGHBALI , AND F. RAHMATI

Theorem 3.5. Let (R, m) be a regular local ring containing a field and let I be an
ideal of R. Assume that ϕ : R → R is a ring endomomorphism satisfying going
down property. Further assume that {ϕt (I)R}t≥0 is a decreasing chain of ideals
cofinal with {I t }t≥0 . If depth R/I = r then
λi−t,i (R/I) = 0 for all 0 ≤ i < r and 0 ≤ t ≤ i.
Proof. It is clear that composition of maps satisfying the going down property,
satisfies the going down property itself. In particular, if ϕ has the going-down
property, the so does ϕt for any positive integer t. By virtue of Lemma 3.4, one has
depth R/I ≤ depth R/ϕ(I)R ≤ depth R/ϕ2 (I)R ≤ depth R/ϕ3 (I)R ≤ . . . .
i
(R/ϕt (I)R) = 0 for all i < r and all integer t. By applying inverse limit
Hence, Hm
i
one has 0 = limt Hm
(R/ϕt (I)R) ∼
H i (R/I t ) for all i < r, i.e fgrade(I, R) ≥
= lim
←−
←−t m
depth R/I. To this end, note that the isomorphism follows from [25, Lemma 3.8].

Now we are done by Lemma 3.2.



With the assumptions of Theorem 3.5 we see that all the entries from column 1
up to column r in the Lyubeznik table of R/I are zero.
We conclude this section with a result on the vanishing of Lyubeznik numbers
using the concept of minimal reduction. A reduction J of I is minimal if it does
not contain properly another reduction of I.
Proposition 3.6. Let (R, m) be a complete regular local ring containing a field and
let I be a Cohen-Macaulay ideal of R which is generically complete intersection.
Further assume that ht(I) = l(I) − 1 and J is a proper minimal reduction of I.
Then
λi−t,i (R/I) = 0 for all 0 ≤ i < r and 0 ≤ t ≤ i,
where depth R/J = r.
Proof. Once again using Lemma 3.2, it is enough to prove that fgrade(I, R) ≥
depth R/J. It is known that rad(I) = rad(J), thus we have fgrade(I, R) = fgrade(J, R).
Suppose k = R/m. If char(k) > 0 the result is known (cf. [11, Remark 3.1]), so
we can assume char(k) = 0 (k is infinite). By the assumptions we have
depth R/J = dim R − ht(J) − 1 = dim R − l(I) ≤ dim R − cd(R, I) = fgrade(I, R),
where the first equality follows from [27, Theorem 5.3.4] and the last one is clear
from (2-3). To this end note that cd(R, I) = cd(R, J) ≤ µ(J) = l(I).



Acknowledgment. The authors are grateful to Josep Àlvarez Montaner and Matteo Varbaro for careful reading of the earlier draft of this paper and their useful
comments make this paper readable.

FORMAL GRADE, DEPTH AND LUBEZNIK NUMBERS

9

References
[1] J. Àlvarez Montaner, Lyubeznik table of sequentially Cohen-Macaulay rings., Comm. Alg.
43, 3695–3704 (2015).
[2] J. Àlvarez Montaner, Lyubeznik numbers and linear strands of Graded ideals., Available at
arXiv:1409.6486 (2014).
[3] M. Asgharzadeh and K. Divaani-Aazar, Finiteness properties of formal local cohomology
modules and Cohen-Macaulayness., Comm. Alg. 39(3), 1082–1103 (2011).
[4] M. Brodmann and R.Y. Sharp, Local cohomology: an algebraic introduction with geometric
applications. Cambridge Univ. Press, 60, Cambridge, (1998).
[5] M. Blickle, Lyubezniks numbers for cohomologically isolated singularities., J. Algebra 308,
118–123 (2007).
[6] M. Blickle and R. Bondu, Local cohomology multiplicities in terms of étale cohomology., Ann.
Inst. Fourier 55, 2239–2256 (2005).
[7] W. Bruns and J. Herzog, Cohen Macaulay rings Cambridge Univ. Press, 39, Cambridge,
(1993).
[8] R. C. Cowsik and M. V. Nori, Fibers of blowing up. J. Indian Math. Soc., 40, 217–222 (1976).
[9] H. Dao and S. Takagi, On the relationship between depth and cohomological dimension.
arXiv:1502.06077 (2015).
[10] M. Eghbali, On Artinianness of formal local cohomology, colocalization and coassociated
primes., Math. Scand. 113, 5–19 (2013).
[11] M. Eghbali, On set theoretically and cohomologically complete intersection ideals., Canad.
Math. Bull. 57(3), 477–484 (2014).
[12] M. Eghbali, On cohomological invariants of local rings in positive characteristic., arXiv
(2015).
[13] D. Eisenbud and C. Huneke, Cohen-Macaulay Rees Algebras and Their Specialization. J.
Algebra, 81, 202-224 (1983).
[14] R. Garcı́a López and C. Sabbah, Topological computation of local cohomology multiplicities.
Collect. Math. 49, 317–324 (1998).
[15] M. Hellus and P. Schenzel, On cohomologically complete intersections. J. Algebra 320, 3733–
3748 (2008).
[16] C. Huneke and M. Hochster, Fine behavior of symbolic powers of ideals. Illinois J. Math.
51(1), 171–183 (2007).
[17] C. Huneke and R. Y. Sharp, Bass numbers of local cohomology modules. Trans. Amer. Math.
Soc. 339, 765–779 (1993).
[18] K. I. Kawasaki, On the highest Lyubeznik number. Math. Proc. Cambridge Phil. Soc. 132(3),
409–417 (2002).
[19] A. Li and I. Swanson, Symbolic powers of radical ideals. Rocky mountain J. of Math. 36(3),
997–1009 (2006).
[20] G. Lyubeznik, Finiteness properties of local cohomology modules (an application of Dmodules to Commutative Algebra). Invent. Math. 113, 41–55 (1993).
[21] G. Lyubeznik, On some local cohomology invariants of local rings., Math. Z. 254, 627–640
(2006).
[22] D. G. Northcott and D. Rees, Reductions of ideals in local rings. Proc. Camb. phil. soc. 50,
145–158 (1954).

10

KH. AHMADI-AMOLI , E. BANISAEED , M. EGHBALI , AND F. RAHMATI

[23] A. Ogus, Local cohomological dimension of Algebraic Varieties. Ann. of Math. , 98(2), 327–
365 (1973).
[24] C. Peskine and L. Szpiro, Dimension projective finie et cohomologie locale. Publ. Math.
I.H.E.S., 42, 323–395 (1973).
[25] P. Schenzel, On formal local cohomology and connectedness. J. Algebra, 315(2), 894–923
(2007).
[26] M. Varbaro, Cohomological and projective dimensions. Composito Math. 149, 1203–1210
(2013).
[27] W. V. Vasconcelos, Arithmetic of blowup algebras. London Math. Soc. Lecture notes 195
(1994).
[28] W. Zhang, On the highest Lyubeznik number of a local ring., Compos. Math. 143, 82–88
(2007).

Department of Mathematics , Payame noor University, Tehran, 19395–3697, Iran.
E-mail address: khahmadi@pnu.ac.ir
Department of Mathematics , Payame noor University, Tehran, 19395–3697, Iran.
E-mail address: banisaeed.elahe@yahoo.com
School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P.
O. Box: 19395-5746, Tehran-Iran.
E-mail address: m.eghbali@yahoo.com
Department of Pure Mathematics , Faculty of Mathematics and Computer Science,
Amirkabir University of technology (Tehran Polytechnic), 424 Hafez Ave., 15914, Tehran,
Iran.
E-mail address: frahmati@aut.ac.ir

