arXiv:1506.03614v2 [math.AC] 16 Dec 2015

ON A GENERALIZATION OF A RESULT OF PESKINE AND
SZPIRO
TONY J. PUTHENPURAKAL
Abstract. Let (R, m) be a regular local ring containing a field K. Let I be
a Cohen-Macaulay ideal of height g. If char K = p > 0 then by a result of
Peskine and Szpiro the local cohomology modules HIi (R) vanish for i > g.
This result is not true if char K = 0. However we prove that the Bass numbers
of the local cohomology module HIg (R) completely determine whether HIi (R)
vanish for i > g.

The result of this paper has been proved more generally for Gorenstein local rings
by Hellus and Schenzel [3, Theorem 3.2]. However our result for regular rings is
elementary to prove. In particular we do not use spectral sequences in our proof.
1. introduction
Let (R, m) be a regular local ring containing a field K. Motivated by a result of
Peskine and Szpiro we make the following:
Definition 1.1. An ideal I of R is said to be a Peskine-Szpiro ideal of R if
(1) I is a Cohen-Macaulay ideal.
(2) HIi (R) = 0 for all i 6= height I.
Note that as height I = grade I we have HIi (R) = 0 for i < height I. Thus the
only real condition for a Cohen-Macaulay ideal I to be a Peskine-Szpiro ideal is
that HIi (R) = 0 for i > height I. In their fundamental paper [7, Proposition III.4.1]
Peskine and Szpiro proved that if char K = p > 0 then for all Cohen-Macaulay
ideals I the local cohomology modules HIi (R) vanish for i > height I. This result is
not true if char K = 0, for instance see [2, Example 21.31]. We prove the following
surprising result:
Theorem 1.2. Let (R, m) be a regular local ring of dimension d containing a field
K. Let I be a Cohen-Macaulay ideal of height g. The following conditions are
equivalent:
(i) I is a Peskine-Szpiro ideal of R.
(ii) For any prime ideal P of R containing I, the Bass number
(
1 if i = height P − g,
g
µi (P, HI (R)) =
0 otherwise.
Date: January 8, 2018.
1991 Mathematics Subject Classification. Primary 13D45; Secondary 13D02, 13H10 .
Key words and phrases. local cohomology, bass numbers, associate primes.
1

2

TONY J. PUTHENPURAKAL

Here the j th Bass number of an R-module M with respect to a prime ideal P is
defined as µj (P, M ) = dimk(P ) ExtjRP (k(P ), MP ) where k(P ) is the residue field of
RP . Our result is essentially only an observation.
1.3. We need the following remarkable properties of local cohomology modules over
regular local rings containing a field (proved by Huneke and Sharp [4] if char K =
p > 0 and by Lyubeznik [5] if char K = 0). Let (R, m) be a regular ring containing
a field K and I is an ideal in R. Then the local cohomology modules of R with
respect to I have the following properties:
(i)
(ii)
(iii)
(iv)

j
Hm
(HIi (R)) is injective.
injdimR HIi (R) ≤ dim Supp HIi (R).
The set of associated primes of HIi (R) is finite.
All the Bass numbers of HIi (R) are finite.

Here injdimR HIi (R) denotes the injective dimension of HIi (R). Also Supp M =
{P | MP 6= 0 and P is a prime in R} is the support of an R-module M .
2. Permanence properties of Peskine-Szpiro ideals
In this section we prove some permanence properties of Peskine-Szpiro ideals.
We also show that if dim R − height I ≤ 2 then a Cohen-Macaulay ideal I is a
Peskine-Szpiro ideal.
Proposition 2.1. Let (R, m) be a regular local ring containing a field K. Let I be
a Peskine-Szpiro ideal of R. Let g = height I.
(1) Let P be a prime ideal in R containing I. Then IP is a Peskine-Szpiro ideal of
RP .
(2) Assume g < dim R. Let x ∈ m \ m2 be R/I-regular. Then the ideal (I + (x))/(x)
is a Peskine-Szpiro ideal of R/(x).
Proof. (1) Note IP is a Cohen-Macaulay ideal of height g in RP . Also note that
for i 6= g we have
HIiP (RP ) = HIi (R)P = 0.
Thus IP is a Peskine-Szpiro ideal of RP .
(2) Note that J = (I + (x))/(x) is a Cohen-Macaulay ideal of height g in the
regular ring R = R/(x). The short exact sequence
x

0→R−
→ R → R → 0,
induces a long exact sequence
· · · → HIi (R) → HJi (R) → HIi+1 (R) → · · · .
Thus HJi (R) = 0 for i > g. Therefore J is a Peskine-Szpiro ideal of R.



We now show that Cohen-Macaulay ideals of small dimensions are PeskineSzpiro. This result is already known, However we give a proof due to lack of a
suitable reference.
Proposition 2.2. Let (R, m) be a regular local ring containing a field K. Let I
be a Cohen-Macaulay ideal with dim R − height I ≤ 2. Then I is a Peskine-Szpiro
ideal.

PESKINE-SZPIRO IDEALS

3

Proof. We have nothing to show if char K = p > 0. So we assume char K = 0. Let
dim R = d and height I = g.
If g = d then I is m-primary. By Grothendieck vanishing theorem we have
HIi (R) = 0 for i > d. So I is a Peskine-Szpiro ideal.
b R
b = 1. By
Now consider the case when g = d−1. Note dim R/I = 1. So dim R/I
d
b = 0.
Hartshorne-Lichtenbaum theorem, cf. [2, Theorem 14.1], we have that HI Rb (R)
d
By faithful flatness we get HI (R) = 0.
Finally we consider the case when g = d − 2. We choose a flat extension (B, n)
of R with mB = n, B complete and B/n algebraically closed. We note that B/IB
is Cohen-Macaulay and dim B/IB = 2. As B/IB is Cohen-Macaulay we get that
the punctured spectrum Spec◦ (B/IB) is connected see [2, Proposition 15.7]. So
d−1
HIB
(B) = 0 by a result due to Ogus [6, 2.11]. By faithful faithfulness we get
d−1
HI (R) = 0. By an argument similar to the previous case we also get HId (R) = 0.

3. Proof of Theorem 1.2
In this section we prove our main result. The following remarks are relevant.
Remark 3.1.
(1) Notice for any ideal J of height g we have Ass HJg (R) =
{P | P ⊃ J and height P = g}. Also for any such prime ideal P we have
µ0 (P, HJg (R)) = 1.
(2) Let I be a Cohen-Macaulay ideal of height g in a regular local ring. Let P
be an ideal of height g + r and containing I. We note that dim HIg (R)P = r.
So by 1.3 we get injdimRP HIg (R)P ≤ r. Thus µi (P, HIg (R)) = 0 for i > r.
Let us recall the following result due to Rees, cf. [1, 3.1.16].
3.2. Let S be a commutative ring and let M and N be S-modules. (We note
that S need not be Noetherian. Also M, N need not be finitely generated as Smodules.) Assume there exists x ∈ S such that it is S ⊕ M -regular and xN = 0.
Set T = S/(x). Then HomS (N, M ) = 0 and for i ≥ 1 we have
ExtiS (N, M ) ∼
= Exti−1
T (N, M/xM ).
We now give:
Proof of Theorem 1.2. We first prove (i) =⇒ (ii). So I is a Peskine-Szpiro ideal.
We prove our result by induction on d − g.
d
If d − g = 0 then I is m-primary. So HId (R) = Hm
(R) = ER (R/m) the injective
d
hull of the residue field. Clearly µ0 (m, HI (R)) = 1 and µi (m, HId (R)) = 0 for i ≥ 1.
Now assume d−g = 1. If P is a prime ideal of R containing I with height P = d−1
then by 3.1 we have µ0 (P, HId−1 (R)) = 1 and µi (P, HId−1 (R)) = 0 for i ≥ 1. We
now consider the case when P = m. By 3.1 we have µ0 (m, HId−1 (R)) = 0. Choose
x ∈ m \ m2 which is R/I-regular. Set R = R/(x), n = m/(x) and J = IR =
x
(I + (x))/(x). Then J is n-primary. The exact sequence 0 → R −
→R→R→0
induces the following exact sequence in cohomology
x

0 → HId−1 (R) −
→ HId−1 (R) → HJd−1 (R) → 0.

4

TONY J. PUTHENPURAKAL

Here we have used that I is a Peskine-Szpiro ideal and J is n-primary. Thus by 3.2
we have for i ≥ 1,
(
1 if i = 1,
d−1
d−1
µi (m, HI (R)) = µi−1 (n, HJ (R)) =
0 otherwise.
Thus the result follows in this case.
Now consider the case when d − g ≥ 2. Let P be a prime ideal in R containing I
of height g + r. We first consider the case when P 6= m. By 2.1 we get that IP is a
Peskine-Szpiro ideal of height g in RP . Also dim RP − g < d − g. So by induction
hypothesis we have
(
1 if i = r,
i
i
µi (P, HI (R)) = µi (P RP , HIRP (RP )) =
0 otherwise.

We now consider the case when P = m. By 3.1 we have µ0 (m, HIg (R)) = 0.
Choose x ∈ m \ m2 which is R/I-regular. Set R = R/(x), n = m/(x) and J =
IR = (I + (x))/(x). Then J is height g Peskine-Szpiro ideal in R, see 2.1. The
x
exact sequence 0 → R −
→ R → R → 0 induces the following exact sequence in
cohomology
x
0 → HIg (R) −
→ HIg (R) → HJg (R) → 0.
Here we have used that I is a Peskine-Szpiro ideal in R and J is Peskine-Szpiro
ideal in R. Thus by 3.2 we have for i ≥ 1,
(
1 if i − 1 = d − 1 − g,
g
g
µi (m, HI (R)) = µi−1 (n, HJ (R)) =
0 otherwise.
For the latter equality we have used induction hypothesis on the Peskine-Szpiro
ideal J (as dim R − height J = d − 1 − g). We note that i − 1 = d − 1 − g is same
as i = d − g. Thus we have
(
1 if i = d − g,
g
µi (m, HI (R)) =
0 otherwise.
We now prove (ii) =⇒ (i). By Peskine and Szpiro’s result we may assume
char K = 0. We prove the result by induction on d − g. If d − g ≤ 2 then the result
holds by Proposition 2.2. So we may assume d − g ≥ 3. Let P be a prime ideal in R
containing I with P 6= m. The ideal IP is a Cohen-Macaulay ideal of height g in RP
satisfying the condition (ii) on Bass numbers of HIgP (RP ). As dim RP − g < d − g
we get by our induction hypothesis that IP is a Peskine-Szpiro ideal in RP . Thus
HIiP (RP ) = 0 for i > g. It follows that Supp HIi (R) ⊆ {m} for i > g. Let k = R/m
and let ER (k) be the injective hull of k as a R-module. Then by 1.3 there exists
non-negative integers ri with
HIi (R) = ER (k)ri

(3.2.1)

for i > g.

2

Choose x ∈ m \ m which is R/I-regular. Set R = R/(x), n = m/(x) and J = IR =
(I + (x))/(x). Then J is height g Cohen-Macaulay ideal in R. The exact sequence
x
0→R−
→ R → R → 0 induces the following exact sequence in cohomology
(3.2.2)

x

x

→ HIg+1 (R) → · · ·
0 → HIg (R) −
→ HIg (R) → HJg (R) → HIg+1 (R) −

PESKINE-SZPIRO IDEALS

5

We consider two cases:
Case 1 : HIg+1 (R) 6= 0.
x
→
We note that HomR (R, ER (k)) = ER (k). Thus the short exact sequence 0 → R −
R → R → 0 induces an exact sequence
(3.2.3)

x

→ ER (k) → 0.
0 → ER (k) → ER (k) −

By (3.2.1) and (3.2.3) the exact sequence (3.2.2) breaks down into two exact sequences
(3.2.4)
(3.2.5)

x

0 → HIg (R) −
→ HIg (R) → V → 0,
0 → V → HJg (R) → ER (k)rg+1 → 0.

As J is a Cohen-Macaulay ideal in R with dim R/J = d − 1 − g ≥ 2 we get by 3.1
that n ∈
/ AssR HJg (R). It follows from (3.2.5) that µ1 (n, V ) ≥ rg+1 > 0. By (3.2.4)
and 3.2 we get that
µ2 (m, HIg (R)) = µ1 (n, V ) > 0.
So by our hypothesis we get d − g = 2. This is a contradiction as we assumed
d − g ≥ 3.
Case 2 : HIg+1 (R) = 0.
By (3.2.2) we get a short exact sequence,
x

0 → HIg (R) −
→ HIg (R) → HJg (R) → 0.
Again by 3.2 we get that the Cohen-Macaulay ideal J of R satisfies the conditions
(ii) of our Theorem. As dim R − height J = d − g − 1 we get by induction hypothesis
that J is Peskine-Szpiro ideal in R. Thus HJi (R) = 0 for i > g. Using (3.2.1) and
(3.2.3) it follows that HIi (R) = 0 for i ≥ g+2. Also by our assumption HIg+1 (R) = 0.
Thus I is a Peskine-Szpiro ideal of R.
References
[1] W. Bruns and J. Herzog, Cohen-Macaulay Rings, revised edition, Cambridge Stud. Adv.
Math., vol. 39, Cambridge University Press, Cambridge, (1998).
[2] S. B. Iyengar; G. J. Leuschke; A. Leykin; C. Miller; E. Miller; A. K. Singh and U. Walther,
Twenty-four hours of local cohomology. Graduate Studies in Mathematics, 87. American
Mathematical Society, Providence, RI, 2007.
[3] M. Hellus and P. Schenzel, On cohomologically complete intersections, J. Algebra 320 (2008),
no. 10, 3733-3748.
[4] C. Huneke and R. Sharp, Bass Numbers of Local Cohomology Modules, AMS Transactions
339 (1993), 765-779.
[5] G. Lyubeznik, Finiteness Properties of Local Cohomology Modules (an Application of Dmodules to Commutative Algebra), Inv. Math. 113 (1993), 41-55.
[6] A. Ogus, Local cohomological dimension of algebraic varieties, Ann. of Math. (2) 98 (1973),
327-365.
[7] C. Peskine and L. Szpiro, Dimension projective finie et cohomologie locale. Applications la
dmonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck (French), Inst.
Hautes tudes Sci. Publ. Math. No. 42 (1973), 47-119.
Department of Mathematics, Indian Institute of Technology Bombay, Powai, Mumbai
400 076, India
E-mail address: tputhen@math.iitb.ac.in

