arXiv:1308.6428v1 [] 29 Aug 2013

BOCKSTEIN COHOMOLOGY OF ASSOCIATED GRADED
RINGS
TONY J. PUTHENPURAKAL
Abstract. Let (A, m) be a Cohen-Macaulay local ring of dimension d and let
I be an m-primary ideal. Let G be the associated graded ring of A with respect
to I and let R = A[It, t−1 ] be the extended Rees ring of A with respect to I.
Notice t−1 is a non-zero divisor on R and R/t−1 R = G. So we have Bockstein
i (G)(−1) → H i+1 (G) for i ≥ 0. Since β i+1 (+1) ◦ β i = 0 we
operators β i : HG
G
+

+

have Bockstein cohomology modules BH i (G) for i = 0, . . . , d. In this paper we
show that certain natural conditions on I implies vanishing of some Bockstein
cohomology modules.

Introduction
Let (A, m) be a Cohen-Macaulay local ring of dimension d and let I be an
m-primary ideal. The Hilbert function of A with respect to I is H I (A, n) =
ℓ(I n /I n+1 ). Here ℓ(−) denotes length as an A-module. A fruitful area of research has been to study the interplay between Hilbert functions and properties
of blowupL
algebra’s of A with respect to I, namely
associated graded ring
L the
n
n
n+1
I
and
the extended Rees
I
/I
,
the
Rees
ring
S(I)
=
GI (A) =
n≥0
n≥0
L
ring R(I) = n∈Z I n (here I n = A for n ≤ 0 and R(I) is considered as a subring
of A[t, t−1 ]). See the texts [22, Section 6] and [23, Chapter 5] for nice surveys on
this subject. Graded local cohomology has played an important role in this subject.
For various applications see [3, 4.4.3],[20], [10], [1], [8], [21] and [6].
i
Set G = GI (A).
denote ith -local cohomology module of G with
L Let nH (G)
n+1
. Notice t−1 is a non-zero divisor on R(I) and
respect to G+ =
n>0 I /I
R(I)/t−1 R(I) = G. So we have Bockstein operators β i : H i (G)(−1) → H i+1 (G)
for i ≥ 0. Since β i+1 (+1) ◦ β i = 0 we have Bockstein cohomology modules BH i (G)
for i = 0, . . . , d. Despite being natural, Bockstein cohomology groups of associated
graded rings have not been investigated before. The goal of this paper is to compute
it in some cases.
It is well known that for n ≫ 0 we have depth GI n (A) ≥ 1. It can occur
that depth GI n (A) = 1 for all n ≫ 0; see [14, 7.13]. Bockstein cohomology fares
better. In Theorem 5.1 we prove that if d ≥ 2 then for for all n ≫ 0 we have
BH i (GI n (A)) = 0 for i = 0, 1. P
The formal series H I (A, z) = n≥0 H I (A, n)z n is called the Hilbert series of A.
It is well-known that
hI (z)
H I (A, z) =
where hI (z) ∈ Z[z], and hI (1) > 0.
(1 − z)d
Date: July 25, 2017.
1991 Mathematics Subject Classification. Primary 13A30; Secondary 13D40, 13D07.
1

2

TONY J. PUTHENPURAKAL

If f is a polynomial we use f (i) to denote the i’th formal derivative of f . For i ≥ 0
(i)
the numbers eIi (A) = hI (1)/i! are called the Hilbert coefficients of A. (If I = m
then we drop the superscript m). The number eI0 (A) is called the multiplicity of A
with respect to I. As A is Cohen-Macaulay, the Hilbert coefficients satisfy various
constraints, cf. [13]. There has been a lot of work to understand GI (A) when the
Hilbert coefficients satisfy the boundary values; see [18].
Narita proved that eI2 (A) ≥ 0, see [12]. Furthermore if dim A = 2 and eI2 (A) = 0
then GI n (A) is Cohen-Macaulay for all n ≫ 0. Narita’s result is false in dimension
≥ 3. There are examples of three dimensional Cohen-Macaulay rings with eI2 (A) = 0
and depth GI n (A) = 1 for all n ≫ 0, see [15, 8.5]. In Theorem 6.1 we prove that if
dim A = 3 and eI2 (A) = 0 then for all n ≫ 0 we haveBH i (GI n (A)) = 0 for i < 3. We
prove a similar result when I is integrally closed and eI2 (A) = eI1 (A)−eI0 (A)+ℓ(A/I).
Recall an ideal I is said to be normal if I n is integrally closed for all n ≥ 1. If I is
a normal m-primary ideal the Huckaba and Huneke showed that depth GI n (A) ≥ 2
for all n ≫ 0, see [5, Theorem 3.1]. Moreover they gave an example of an m-primary
normal ideal I in a 3-dimensional Cohen-Macaulay local ring with depth GI n (A) = 2
for all n ≥ 1, see [5, 3.11]. In Theorem 7.1 we prove that if dim A ≥ 3 and I is a
normal ideal then for all n ≫ 0 we have BH i (GI n (A)) = 0 for i < 3.
Finally we consider the case when e2 = e1 − e0 + 1. If e2 ≤ 2 the the structure
of Gm (A) is well understood, see [22, Section 6]. In Theorem 8.1 we prove that if
dim A = 3 and e2 = e1 − e0 + 1 = 3 then BH i (Gm (A)) = 0 for i < 3.
Although we are primarily interested in the case for Cohen-Macaulay rings we
prove most of our results for Cohen-Macaulay modules M . It is technically easier
to work with modules. Also note that Bockstein cohomology is a module theoretic
construct. LSo for this reason too it is convenient to work with modules. Let
GI (M ) = n≥0 I n M/I n+1 M be the associated graded module of M with respect
to I. It can be easily proved that GI (M ) is a finitely generated GI (A)-module.
Here is an overview of the contents of the paper. In section one we recall the
notion of Bockstein cohomology and then discuss some properties of it that we need.
We give anLalternate construction of Bockstein operators using the R(I) module
LI (M ) = n≥0 M/I n+1 M . In section two we discuss some properties of LI (M )
which were proved in [14] and are needed for this paper. In section three we give
a condition which characterizes when BH 0 (GI (M )) = 0. We also prove a rigidity
result for Bockstein cohomology. In section four we discuss the effect on Bockstein
operators modulo an element x∗ which is GI (M )-regular. We prove an analogue
of Sally descent for Bockstein cohomology. In the next four sections we prove our
results.

1. Bockstein Cohomology
In this paper all rings are commutative Noetherian and all modules are assumed
to be finitely generated unless specified otherwise. In this section we first recall a
very general construction of Bockstein cohomology. We then specialize to the case
of associated graded modules. We then give an alternate description of Bockstein
cohomology which is useful for our computations.
1.1. General construction of Bockstein Cohomology.

BOCKSTEIN COHOMOLOGY

3

Let R be a ring, M an R-module and x a non-zerodivisor on M . We have a
natural exact sequence
M α M π M
−
→ 2
−
→
→ 0.
xM
x M
xM
Here π is the natural projection map and α(m + xM ) = xm + x2 M .
Let F : M od(R) → M od(R) be any left exact functor. Then note that we have
natural maps
β i : RF i (M/xM ) → RF i+1 (M/xM ).
0→

We call β i the ith Bockstein operator on M/xM with respect to F . Consider the
natural exact sequence
x

ρ

0→M −
→M −
→ M/xM → 0.
So we have an exact sequence
RF i+1 (ρ)

δi

→ RF i (M/xM ) −→ RF i+1 (M ) → RF i+1 (M ) −−−−−−→ RF i+1 (M/xM ) →
It can be easily shown that β i = RF i+1 (ρ) ◦ δ i . Since δ i+1 ◦ RF i+1 (ρ) = 0 we get
that β i+1 ◦ β i = 0 for all i ≥ 0. Thus we have a complex
β i−1

βi

β i+1

· · · −−−→ RF i (M/xM ) −→ RF i+1 (M/xM ) −−−→ RF i+2 (M/xM ) · · ·
The cohomology of this complex is denoted by BF ∗ (M/xM ) and is called the
Bockstein cohomology of M/xM with respect to F .
1.2. Bockstein L
Cohomology of Associated graded modules
Let R(I) = n∈Z I n be the extended Rees-ring of A with respect to I. Here
−1
I n = A for all n ≤ 0 and R(I) is considered
L asna subring of A[t, t ]. Let R(I)+
to be the ideal
n>0 I . Let M be an A-module. Let
L in R(I) generated by
R(I, M ) = n∈Z I n M be the extended Rees-module of M with respect to I.
Clearly t−1 is a non-zero divisor on R(I, M ). Note R(I, M )/t−1 R(I, M ) =
GI (M ). We have an exact sequence (after a shift)
0 → GI (M ) → R(I, M )/t−2 R(I, M )(−1) → GI (M )(−1) → 0.
Here
R(I, M )
= M/IM ⊕M/I 2M ⊕IM/I 3 M ⊕I 2 M/I 4 M ⊕· · ·⊕I n−1 M/I n+1 M · · · ,
t−2 R(I, M )
with M/IM sitting in degree −1.
Let ΓR(I)+ : M od(R(I)) → M od(R(I)) be the R(I)+ -torsion functor. So by the
general theory we have Bockstein homomorphisms
i+1
i
(GI (A))(−1) → HG
β i : HG
(GI (A)),
+
+

and we have Bockstein cohomology modules
i
(GI (A)) = ker(β i (+1))/ image(β i−1 )
BHG
+

for all i ≥ 0.

Set βIi (M ) = β i (GI (M )).
Remark 1.3. Let (A, m) → (A′ , m′ ) be a flat extension with mA′ = m′ . Set
I ′ = IA′ and M ′ = M ⊗A A′ . Then it is clear that
βIi ′ (M ′ ) = βIi (M ) ⊗A A′ .

4

TONY J. PUTHENPURAKAL

It follows that for all i ≥ 0 we have
′
i
i
′
∼
BHG
′ (GI ′ (A )) = BHG (GI (A)) ⊗A A .
+
+

We use this primarily when the residue field k of A is finite. In this case we set
A′ = A[X]mA[X] . Note that the residue field of A′ is k(X) which is infinite. Thus
for many computations we may assume that the residue field of A is infinite.
1.4. Although for definition of Bockstein cohomology we used the extended Rees
algebra, for computation it is easier to use the following R(I)-module:
M M
.
LI (M ) =
I n+1 M
n≥0

To see that LI (M ) is an R(I)-module, note that we have an exact sequence
0 → R(I, M ) → M [t, t−1 ] → LI (M )(−1) → 0.
By this exact sequence we can give LI (M ) a structure of R(I)-module. Note that
LI (M ) is not finitely generated as a R(I)-module. For r ≥ 0 consider the finitely
generated submodules LIr (M ) of LI (M ) defined as follows:
* r
+
M M
LIr (M ) =
.
I n+1 M
n=0
Notice that LI0 (M ) = GI (M ) and LI1 (M ) = R(I, M )/t−2 R(I, M )(−1).

1.5. Definition of Bockstein cohomology via LIr (M )
Set Lr = LIr (M ), L = LI (M ) and G = GI (M ). For systemic reasons set
L−1 = 0. For all r ≥ 0 we have an exact sequence
ρr

0 → Lr−1 → Lr −→ G(−r) → 0.

(1.5.1)
For r = 1 we get

0 → G → L1 → G(−1) → 0.
This is nothing but the defining exact sequence for Bockstein cohomology. For
r ≥ 0 we first take local cohomology of the exact sequence (1.5.1) for r + 1 with
respect to R(I)+ . We obtain
(1.5.2)

i
δr+1

· · · H i (Lr+1 ) → H i (G(−r − 1)) −−−→ H i+1 (Lr ) · · ·

Taking local cohomology of the exact sequence (1.5.1) for r we obtain
(1.5.3)

H i+1 (ρr )

· · · → H i+1 (Lr ) −−−−−−→ H i+1 (G(−r)) → · · ·

i
So we obtain maps αir = H i+1 (ρr ) ◦ δr+1
: H i (G(−r − 1)) → H i+1 (G(−r)). Notice
i
i
that α0 = β . More generally we have

Proposition 1.6. (with hypotheses as above)
β i = αir (r).
Proof. For r ≥ 0 we have an exact sequence
π

r
Lr−1 (−1) → 0.
0 → G → Lr −→

BOCKSTEIN COHOMOLOGY

5

Consider the commutative diagram Cr with exact rows
0

/ Lr+1

/ Lr

πr+1

πr


0

/ G(−r − 1)


/ Lr (−1)

/ Lr−1 (−1)

/0

ξ


/ G(−r)(−1)

/0

It can be easily shown that ξ is the identity map. So we have a commutative
diagram
/ H i+1 (Lr )
H i (G)(−r − 1)
H i+1 (πr )

H i (ξ)


H i (G(−r))(−1)


/ H i+1 (Lr−1 )(−1)

By considering the diagram Cr−1 we obtain a commutative diagram
/ H i+1 (G(−r))

H i+1 (Lr )
H i+1 (πr )

H i+1 (ξ)




/ H i+1 (G(−r + 1))(−1)

H i+1 (Lr−1 )(−1)

Since H i (ξ) and H i+1 (ξ) are identity maps we get that αir = αir−1 (−1). So αir (r) =
αir−1 (r − 1). Therefore we obtain that αir (r) = αi0 (0) = β i .

2. Some Properties of LI (M )
In this section we collect some of the properties of LI (M ) which we proved in
[14]. Throughout this section (A, m) is a local ring with infinite residue field, M is
a Cohen-Macaulay module of dimension r ≥ 1 and I is an ideal of definition for
M , i.e., ℓ(M/IM ) is finite.
2.1. Set S(I)
L = A[It]; the Rees Algebra of I. In [14, 4.2] we proved that
LI (M ) = n≥0 M/I n M is a S(I)-module. Note that we also gave LI (M ) an R(I)module structure and as S(I) is a subring of R(I) we have an induced S-module
structure on LI (M ). It is easily verified that these two S(I)-module structures on
LI (M ) are the same.
2.2. Set M = MS(I) = m ⊕ S(I)+ . In [14] we proved many properties of
i
HM
(LI (M )). In this paper we need properties of the local cohomology modules
i
i
i
(LI (M )) for all i ≥ 0. For
(LI (M )) = HS(I)
HR(I)+ (LI (M )). Note that HR(I)
+
+
i
all i ≥ 0 we also have natural maps θ(i) : HM
(LI (M )) → HSi + (LI (M )). Our first
result is
Proposition 2.3 (with hypotheses as above). For every i ≥ 0 the map θ(i) is an
isomorphism.
Proof. Let L = LI (M ) and for r ≥ 0 let Lr = LIr (M ). Notice
[
L=
Lr .
r≥0

It follows that for every i ≥ 0 we have an isomorphism

Hqi (L) = lim Hqi (Lr ) where q ∈ {S+ , M}; see [2, 3.4.10].
−→

6

TONY J. PUTHENPURAKAL

Note that Lr is a finitely generated S-module with each component of finite length.
(i)
i
i
(Lr )
It is elementary fact that in this case the natural maps θr : HM
(Lr ) → HS(I)
+
(i)

are isomorphisms. It is also clear that for all i ≥ 0 we have θ(i) = lim θr . It follows
−→
that θ(i) is an isomorphism for all i ≥ 0.

i
2.4. Let H i (−) = HM
denote the ith -local cohomology functor with respect to M.
Recall a graded S(I)-module V is said to be *-Artinian if every descending chain
of graded submodules of V terminates. For example if E is a finitely generated
S(I)-module then H i (E) is *-Artinian for all i ≥ 0.

2.5. In [14, 4.7] we proved that
H 0 (LI (M )) =

n+1 M
M I^
n≥0

I n+1 M

.

g denotes the Ratliff-Rush closure of M with respect to an ideal K. Recall
Here KM
[
g =
KM
K i+1 M : K i .
i≥1

2.6. For LI (M ) we proved that for 0 ≤ i ≤ r − 1

(a) H i (LI (M )) are *-Artinian; see [14, 4.4].
(b) H i (LI (M ))n = 0 for all n ≫ 0; see [14, 1.10 ].
(c) H i (LI (M ))n has finite length for all n ∈ Z; see [14, 6.4].
2.7. The natural maps 0 → I n M/I n+1 M → M/I n+1 M → M/I n M → 0 induce
an exact sequence of S(I)-modules
Π

0 −→ GI (M ) −→ LI (M ) −
→ LI (M )(−1) −→ 0.

(2.7.4)

We call (2.7.4) the first fundamental exact sequence. We use (2.7.4) also to relate
the local cohomology of GI (M ) and LI (M ).
2.8. Let x be M -superficial with respect to I, i.e., (I n+1 M : x) = I n M for all
n ≫ 0. Set N = M/xM and u = xt ∈ S(I)1 . Notice LI (M )/uLI (M ) = LI (N ).
For each n ≥ 1 we have the following exact sequence of A-modules:
M ψn
N
M
I n+1 M : x
−→ n
−→ n+1 −→ 0,
−−→ n+1
I nM
I M
I
M
I
N
where ψn (m + I n M ) = xm + I n+1 M.

0 −→

This sequence induces the following exact sequence of S-modules:
(2.8.5)

ρx

Ψ

u
LI (M ) −→ LI (N ) −→ 0,
0 −→ B I (x, M ) −→ LI (M )(−1) −−→

where Ψu is left multiplication by u and
B I (x, M ) =

M (I n+1 M :
n≥0

M x)

I nM

We call (2.8.5) the second fundamental exact sequence.

.

BOCKSTEIN COHOMOLOGY

7


2.9. Notice λ B I (x, M ) < ∞. A standard trick yields the following long exact
sequence connecting the local cohomology of LI (M ) and LI (N ):
0 −→ B I (x, M ) −→ H 0 (LI (M ))(−1) −→ H 0 (LI (M )) −→ H 0 (LI (N ))
−→ H 1 (LI (M ))(−1) −→ H 1 (LI (M )) −→ H 1 (LI (N ))

(2.9.6)

······
2.10. We will use the following well-known result regarding *-Artinian modules
quite often:
Let L be a *-Artinian S(I)-module.
(a) If ψ : L(−1) → L is a monomorphism then L = 0.
(b) If φ : L → L(−1) is a monomorphism then L = 0.
2.11. One huge advantage of considering LI (M ) is that it behaves well with respect
to the Veronese functor. Notice
<t>
t
LI (M )(−1)
= LI (M )(−1) for all t ≥ 1.
Also note that S(I)<t> = S(I t ) and that (MS(I) )<t> = MS(I t ) . It follows that for
all i ≥ 0
<t>

t
i
I
i
∼
HM
(L
(M
)(−1)
(LI (M )(−1).
= HM
S(I)
S(I t )
t

By 2.6(b) it follows that for for t ≫ 0 we have H 0 (LI (M )) = 0 and for 1 ≤ i ≤ r−1
we have
t
H i (LI (M ))n = 0 for n ≥ 0.
2.12. Set
ξI (M ) :=

min { i | H i (L)−1 6= 0 or ℓ(H i (L)) = ∞}.

0≤i≤r−1

ampI (M ) := max{ |n| | H i (L)n−1 6= 0 for i = 0, . . . , ξI (M ) − 1}.
In [14, 7.5] we showed that
depth GI l (M ) = ξI (M ) for all l > ampI (M ).
2.13. By Proposition 9.2 in [14] and its proof it follows that the following conditions
are equivalent:
(1) ξI (M ) ≥ 2
(2) H 1 (LI (M ))n = 0 for n < 0.
(3) H 1 (LI (M ))−1 = 0.
(4) H 1 (GI (M ))n = 0 for n < 0.
(5) H 1 (GI (M ))−1 = 0.
3. Vanishing of BH 0 (G)
Let M be a Cohen-Macaulay module of dimension ≥ 1 and let I be an ideal of
definition of M . Set G = GI (M ). In this section we characterize when BH 0 (G) = 0.
We also prove that if dim M ≥ 2 and if BH 1 (G) = 0 then BH 0 (G) = 0.
n M = I n M for all n ≥ 1.
3.1. It is well-known that H 0 (G) = 0 if and only if I]
For Bockstein cohomology we have the following result.

Proposition 3.2. (with hypotheses as above)
BH 0 (G) = 0 ⇐⇒

j+1 M ⊆ I j M
I^

∀j ≥ 1.

8

TONY J. PUTHENPURAKAL

j+1 M ⊆ I j M
Proof. Set L = LI (M ) and for r ≥ 0 set Lr = LIr (M ). If I^
then note that H 0 (G) = H 0 (L). Notice that for all r ≥ 0 we have

∀j ≥ 1

H 0 (G) ⊆ H 0 (Lr ) ⊆ H 0 (L).
So H 0 (Lr ) = H 0 (G) for all r ≥ 0. In particular H0 (L1 ) = H0 (G). Consider the
exact sequence
0 → G → L1 → G(−1).
Computing the long exact sequence in cohomology we get that β 0 : H 0 (G)(−1) →
H 1 (G) is injective. So BH 0 (G) = 0.
Conversely if BH 0 (G) = 0 we have that β 0 is injective. By Proposition 1.6 we
get that αr is injective for all r ≥ 0. It follows that for all r ≥ 0 the natural
inclusion H 0 (Lr ) → H 0 (Lr+1 ) is an isomorphism. So we have that
H 0 (G) = H 0 (L0 ) = H 0 (Lr ) for all r ≥ 0.
As H 0 (L) has finite length it follows that H 0 (L) = H 0 (Lr ) for all r ≫ 0. Therefore
H 0 (G) = H 0 (L). Fix j ≥ 1. As H 0 (G)j = H 0 (L)j we have that
j+1 M
j+1 M ∩ I j M
I^
I^
=
.
I j+1 M
I j+1 M
j+1 M ⊆ I j M .
It follows that I^



We now prove a rigidity result for Bockstein cohomology.
Theorem 3.3. (with hypotheses as above). Assume dim M ≥ 2. If BH 1 (G) = 0
then BH 0 (G) = 0.
Proof. Set L = LI (M ) and for r ≥ 0 set Lr = LIr (M ) Using equation (1.5.3) it
follows that
image αir ⊆ image(H i+1 (ρr )) = ker δri+1 ⊆ ker αi+1
r−1 .
As BH 1 (G) = 0 we have that ker β 1 (1) = image β 0 . It follows that for all r ≥ 0 we
have image α0r = ker α1r−1 . Note that there is no shift in the later equation. So we
have image α0r = image H 1 (ρr ) for all r ≥ 0.
As H 0 (L) has finite length it follows that H 0 (Lr ) = H 0 (L) for all r ≫ 0, say
from r ≥ c. Fix r ≥ c + 1. Note that we have a commutative diagram
0

/ Lr−1

0


/ Lr

/L

/ L(−r)

ξ

i


/L

/0

π(−r)


/ L(−r − 1)

/0

Here ξ is the identity map and ker π(−r) = coker i = G(−r). Taking cohomology
and as H 0 (Lr−1 ) = H 0 (Lr ) = H 0 (L) we have a diagram
0

/ H 0 (L)(−r)

0


/ H 0 (L)(r − 1)

H 0 (π(−r))

/ H 1 (Lr−1 )
H 1 (i)


/ H 1 (Lr )

/ H 1 (L)
H 1 (ξ)


/ H 1 (L)

Note that ker H 0 (π(−r)) = H 0 (G)(−r). Note H 1 (ξ) is the identity map. Further
note that K = coker H 1 (i) = image H 1 (ρr ) = image α0r . Set C = coker H 0 (π(−r)).

BOCKSTEIN COHOMOLOGY

9

Note that we have an induced map θ : C → K. Since H 1 (ξ) is the identity map,
a simple diagram chase shows that θ is injective. Note that ℓ(C) = ℓ(H 0 (G)).
However ℓ(K) = ℓ(image α0r ) ≤ ℓ(H 0 (G)). It follows that ℓ(image α0r ) = ℓ(H 0 (G)).
It follows that α0r is injective. So β 0 is injective. Thus BH 0 (G) = 0.

We also have the following very general result on the vanishing of Bockstein
operator.
Proposition 3.4. [with hypotheses as above]
H i (L) = 0 =⇒ β i = 0.
Proof. For all r ≥ 0 we have an exact sequence
(3.4.7)

0 → Lr → L → L(−r − 1) → 0.

Also note that we have a commutative diagram with exact rows
0

/ Lr−1

0


/ Lr

/L

j

/ L(−r)

ξ

/0

π(−r)


/ L(−r − 1)


/L

/0

Here ξ is the identity map and ker π(−r) = coker j = G(−r). So we have a commutative diagram
/ H i (L)

/ H i+1 (Lr−1 )

H i (π(−r))


/ H i (L)

/ H i+1 (L)

H i+1 (j)

/

H i+1 (ξ)





/ H i+1 (Lr )

/ H i+1 (L)
/

If H i (L) is zero then as H i+1 (ξ) is the identity map it follows that the natural map
H i+1 (j) : H i+1 (Lr−1 ) → H i+1 (Lr ) is an inclusion. So δri in 1.5.2 is the zero map.
Therefore αir−1 = 0. Thus β i = 0.

Example 3.5. Let (A, m) be local and let N be a 2-dimensional Cohen-Macaulay
A-module. Let I be an ideal of definition for N . Assume that any one of the
following conditions hold
(1) eI2 (N ) = 0.
(2) N = A, the ideal I is an integrally closed with eI2 (A) = eI1 (A) − eI0 (A) +
ℓ(A/I).
Then BH i (GI (N )) = 0 for i = 0, 1.
i+1 N ⊆ I i N for all i ≥ 1. It follows that
By [15, 4.3] and [15, 4.4] we have that I^
0
0
BH (GI (N )) = 0, i.e., β is injective.
By [15, 4.5] H 1 (LI (N )) = 0. It follows that β 1 = 0. Since H 0 (GI (N ) ∼
=
0
H (LI (M )) it follows from 2.7.4 that H 1 (GI (N )) ∼
= H 0 (GI (N )(−1). Therefore β 0
is an isomorphism. It follows that BH 1 (GI (N )) = 0.
We now give an example of a one dimensional Cohen-Macaulay local ring A and
an m-primary ideal with BH 0 (GI (A)) 6= 0. The example is from [4, 1.18].
Example 3.6. Let A = k[[t5 , t6 ]]. Let I = (t10 , t11 ). Then note that t24 ∈
/ I.
However it can be easily verified that t24 ∈ (I 4 : I 2 ) ⊆ Ie2 . Thus we have Ie2 * I.
So by 3.2 we have that BH 0 (GI (A)) 6= 0.

10

TONY J. PUTHENPURAKAL

Remark 3.7. Let (A, m) be a one dimensional Cohen-Macaulay local ring and let
I be an m-primary ideal with BH 0 (GI (A)) 6= 0. Consider B = A[X1 , · · · , Xn ]n
where n = (m, X1 , . . . , Xn ). Set J = (I, X1 , . . . , Xn ). Clearly B is a CohenMacaulay local ring of dimension n + 1 and J is a nB-primary ideal. In 4.7 we
prove that BH n (GJ (B)) 6= 0.
Remark 3.8. Example 3.6 is rather simple. However the author does not know of
an example of a monomial ideal I in k[X1 , . . . , Xn ] (here 2 ≤ n ≤ 4) with Ie2 * I.
4. Bockstein operators modulo a super regular element
and Sally Descent for Bockstein Cohomology

Let M be a Cohen-Macaulay A-module of dimension r ≥ 2 and let I be an ideal
of definition for M . Let x ∈ I \ I 2 be such that x∗ is GI (M ) regular. Here x∗ is
the image of x in I/I 2 . Set N = M/xM . In this section we relate the Bockstein
operators of N and M . This will be used in the later sections. We also prove an
analogue for Sally descent for Bockstein cohomology.
4.1. Set G = GI (M ), G = GI (N ), R = R(I, M ) and R = R(I, N ). Set u =
xt ∈ R(I)1 . Note that u is R-regular and R/(u) = R. Furthermore notice that
the action of u on G is same as that of x∗ . It follows that t−1 , u is a R-regular
sequence. So t−2 , u is also a R-regular sequence, cf., [11, 16.1]. Therefore we get a
commutative diagram
0

0

0

0


/ G(−1)

x∗


/G


/G

/0

0


/ R/t−2 R(−1)

u


/ R/t−2 R


/ R/t−2 R

/0

0


/ G(−2)

x∗


/ G(−1)


/ G(−1)

/0


0


0


0
As a corollary we obtain

4.2. (with hypotheses as in 4.1) We have a commutative diagram
H i (G)(−1)
βi


H i+1 (G)

/ H i+1 (G)(−2)

x∗

/ H i+1 (G)(−1)

β i+1 (−1)


/ H i+2 (G)(−1)

β i+1
x∗


/ H i+2 (G))

Sally descent is a basic technique in our area. Let x ∈ I be M -superficial with
respect to I. Then Sally descent says that
depth GI (M/xM ) ≥ r ≥ 1 ⇐⇒ depth GI (M ) ≥ r + 1.

BOCKSTEIN COHOMOLOGY

11

We now prove a version of Sally descent for Bockstein cohomology modules. Unfortunately the hypothesis is more restrictive. However in section 7 we will use this
result. We will use Matlis duality in the proof of the theorem. So for convenience
we take I to be m-primary and not just an ideal of definition for M . Also let (−)∨
denote the Matlis dual of a GI (A)-module.
Theorem 4.3. Let M be a Cohen-Macaulay A-module and let I be an m-primary
ideal. Let x ∈ I \ I 2 be such that x∗ is GI (M ) regular. Also assume that for i =
1, . . . , r either H i (GI (M )) is zero or x∗ is H i (GI (M ))∨ regular. Let r < dim M .
Then
BH i (GI (M/xM )) = 0 for i ≤ r − 1 ⇐⇒ BH i (GI (M )) = 0 for i ≤ r.
Proof. Set G = GI (M ) and G = GI (M/xM ). As H 0 (G) = 0 we get that
BH 0 (G) = 0.
We prove by induction on m with 1 ≤ m ≤ r that
(1) BH m (G) = 0 ⇐⇒ BH m−1 (G) = 0.
(2) We have an exact sequence
0→

H m (G)
β m−1

H m+1 (G)
H m+1 (G)
x∗
(−1)
−
→
.
→ m
β (H m (G))
β m (H m (G))
H m−1 (G)

Furthermore the multiplication by x∗ is surjective if m < r.

We first prove the result for m = 1. Note by 4.2 we have an commutative diagram
0

/ H 0 (G)(−1)

/ H 1 (G)(−2)

/ H 1 (G)(−1)

β 1 (−1)

β0


/ H 1 (G)

x∗

δ

1


/ H 2 (G)(−1)

/0

β1
x

∗


/ H 2 (G)

Note that multiplication by x∗ on H 1 (G) is surjective since x∗ is H 1 (G)∨ -regular.
It also follows that δ 1 is injective. Thus the diagram above satisfies the hypotheses
of Snake Lemma. By Snake Lemma and as β 0 = 0 we have an exact sequence
0 → BH 0 (G) → BH 1 (G)(−1) → BH 1 (G).
If BH 0 (G) = 0 then we have an inclusion BH 1 (G)(−1) → BH 1 (G). As H 1 (G) is
∗-Artinian GI (A)-module we have that its subquotient BH 1 (G) is also ∗-Artinian.
By 2.10 it follows that BH 1 (G) = 0. Conversely if BH 1 (G) = 0 then by the above
exact sequence we get BH 0 (G) = 0.
We now assume BH 1 (G) = 0. By Snake Lemma we have an exact sequence
0→

H 1 (G)
β0

H 2 (G)
H 2 (G)
x∗
(−1)
−
→
.
→ 1
β (H 1 (G))
β 1 (H 1 (G))
H 0 (G)

Note that if 2 ≤ r then multiplication by x∗ on H 2 (G) is surjective since x∗ is
H 2 (G)∨ -regular. It again follows by the Snake Lemma that the map
H 2 (G)
H 2 (G)
x∗
(−1)
−
→
β 1 (H 1 (G))
β 1 (H 1 (G))
is surjective.

12

TONY J. PUTHENPURAKAL

Thus we have proved the assertion for m = 1. Assume the result for m = i and
we prove the result for m = i + 1 (if i < r). Note as β j ◦ β j−1 = 0, by 4.2 and the
assertion (2) of our inductive hypotheses we have a commutative diagram
0

/
β i−1

H i (G)
(−1)
(H i−1 (G))

/

H i+1 (G)
β i (H i (G)) (−2)

/

H i+1 (G)
β i (H i (G)) (−1)

β i+1 (−1)

βi


/ H i+1 (G)

x∗

δ i+1


/ H i+2 (G)(−1)

/0

β i+1
x∗


/ H i+2 (G)

As x∗ is H i+1 (G)∨ -regular we get that multiplication by x∗ on H i+1 (G) is surjective.
It follows that δ i+1 is injective. Thus we can apply the Snake Lemma again. By an
argument similar to the case m = 1 we can prove the assertion for m = i + 1. 
We now give an example where the hypotheses of our Theorem on Sally descent
is satisfied.
Example 4.4. Let (A, m) be a Cohen-Macaulay local ring of dimension d ≥ 1 and
let J be an m-primary ideal. Let B = A[X]n where n = (m, X). Set I = (J, X).
Then J is nB-primary. Furthermore GI (B) ∼
= GJ (A)[X ∗ ]. It can be easily verified
i−1
i
∨ ∼
that in this case H (GI (B)) = H (GJ (A))∨ [X ∗ ](−1) for i ≥ 1. Thus in this
case the hypotheses of Theorem 4.3 are satisfied.
We give two applications of the above example.
Example 4.5. (with hypotheses as in 4.4). If BH i (GJ (A)) = 0 for i ≤ r − 1 then
BH i (GI (B)) = 0 for i ≤ r.
Example 4.6. ((with hypotheses as in 4.4). If BH i (GJ (A)) = 0 for i ≤ r − 1 and
BH r (GJ (A)) 6= 0 then BH i (GI (B)) = 0 for i ≤ r and BH r+1 (GI (B)) 6= 0.
Remark 4.7. The assertion in Remark 3.7 follows from 4.6 and an easy induction
on the number of variables attached.
5. Asymptotic Bockstein cohomology
It is well known that for all n ≫ 0 we have depth GI n (A) ≥ 1. However there are
examples where H 1 (GI n (A)) has infinite length for all n ≥ 1. Thus it is possible
to have depth GI n (A) = 1 for all n ≫ 0.
For Bockstein Cohomolgy we have the following result:
Theorem 5.1. Let (A, m) be a local ring and let M be a Cohen-Macaulay A-module
of dimension d ≥ 2. Let I be an ideal of definition for M . Then BH 1 (GI n (M )) = 0
for all n ≫ 0.
Proof. We may assume that residue field of A is infinite and that I is m-primary.
Choose n ≫ 0 such that
n

n

H 0 (LI (M )) = 0 and H 1 (LI (M ))j = 0 for all j ≥ 0; see 2.11.
We may also assume that H 2 (GI n (A))j = 0 for all j ≥ 1, see [2, 18.3.13]. Set
K = I n . Let x be a M -superficial with respect to K. Let N = M/xM . Set
G = GK (M ), L = LK (M ), G = GK (N ) and L = LK (N ).
By 2.7.4 we have an exact sequence
0 → H 1 (G)j → H 1 (L)j .

BOCKSTEIN COHOMOLOGY

13

So H 1 (G)j = 0 for j ≥ 0 and ℓ(H 0 (G)−1 ) ≤ ℓ(H 0 (L)−1 ). By 2.9.6 we have an
exact sequence
0 → H 0 (L)n → H 1 (L)n−1 → H 1 (L)n .
So H 0 (L)n = 0 for n > 0 and
H 1 (L)−1 = H 0 (L)0 =
We also have an exact sequence

g
KN
.
KN

x∗

x∗

0 → H 0 (G)n → H 1 (G)n−1 −→ H 1 (G)n → H 1 (G)n → H 2 (G)n−1 −→ H 2 (G)n .
so we obtain
g
KN
H 1 (G)−1 ∼
= H 0 (G)0 =
KN
Furthermore the map
x∗

H 1 (G)n−1 −→ H 1 (G)n

(†)

and H 1 (G)1 ∼
= H 2 (G)0 .

is injective for n < 0.

We now consider the defining exact sequence for Bockstein cohomology of G. Set
L1 = LK
1 (N ). Note we have an exact sequence
o → G → L1 → G(−1) → 0
0

0

Since H (L1 )1 ⊆ H (L)1 = 0 we have an inclusion
0

β 1 : H 0 (G(−1))1 = H 0 (G)0 → H 1 (G)1 .
By 4.2 we have a commutative diagram
H 0 (G)0

/ H 1 (G)−1

0

β01

β1


H 1 (G)1


/ H 2 (G)0
0

Note the horizontal maps are isomorphisms. Since β 1 is an inclusion we have that
β01 is an inclusion.
We now prove that β 1 : H 1 (G)(−1) → H 2 (G) is injective. It suffices to prove
that the graded components of β 1 , i.e., the maps βn1 : H 1 (G)n−1 → H 2 (G)n is
injective for all n ∈ Z. As H 1 (G)n = 0 for n ≥ 0 we have trivially that ker βn1 = 0
1
for n ≥ 1. By induction on m = −n we prove that ker β−m
= 0 for all m ≥ 0. By
1
1
the above argument we have that ker β0 = 0. Assume that m > 0 and that β−m+1
is injective. By 4.2 we have a commutative diagram
H 1 (G)−m−1

x∗

1
β−m


H 2 (G)−m

/ H 1 (G)−m
1
β−m+1

x∗


/ H 2 (G)−m+1

1
1
By (†) the top row is injective. As β−m+1
is injective we have that β−m
is an
1
inclusion. Thus by induction we have shown that ker β−m = 0 for all m ≥ 0. It
follows that ker β 1 = 0. Thus BH 1 (GK (M )) = 0.


14

TONY J. PUTHENPURAKAL

Conjecture (with assumptions as in Theorem)

ℓ BH 1 (GI (M )) < ∞.

6. eI2 (M ) = 0 or I is an integrally closed ideal
with eI2 (A) = eI1 (A) − eI0 (A) + ℓ(A/I).

In this section we prove the following theorem:
Theorem 6.1. Let (A, m) be a local ring and let M be a 3-dimensional CohenMacaulay A-module. Let I be an ideal of definition for M . Assume that any one
of the following conditions hold
(1) eI2 (M ) = 0.
(2) M = A, the ideal I is an integrally closed with eI2 (A) = eI1 (A) − eI0 (A) + ℓ(A/I).
Then for all n ≫ 0 we have BH i (GI n (M )) = 0 for i < 3.
We now state a more general result which implies Theorem 6.1.
Theorem 6.2. Let (A, m) be a local ring and let M be a Cohen-Macaulay module
of dimension d ≥ 3. Let I be an ideal of definition for M and let x be M -superficial
with respect to I. Set N = M/xM . If H 1 (LI (N )) = 0 then for all n ≫ 0 we have
BH i (GI n (M )) = 0 for i < 3.
Proof. Since H 1 (LI (N )) = 0 it follows from 2.9.6 and 2.10 that H 2 (LI (M )) = 0.
We also have an exact sequence
0 → H 0 (LI (N ))n → H 1 (LI (M ))n−1 → H 1 (LI (M ))n → 0
It follows that H 1 (LI (M ))n ∼
= H 1 (LI (M ))−1 for all n < 0.
We now chose n ≫ 0 such that
n

n

H 0 (LI (M )) = 0 and H 1 (LI (M ))j = 0 for j ≥ 0.
We may also assume that BH 1 (GI n (M )) = 0. Set K = I n . Also note that
H 2 (LK (M )) = 0 and H 1 (LK (M ))j ∼
= H 1 (LK (M ))−1 for j < 0.
Note xn is M -superficial with respect to K. Set E = M/xn M . Also set L = LK (M )
and L = LK (E). We have an exact sequence
0 → H 0 (L)j → H 1 (L)j−1 → H 1 (L)j → H 1 (L)j → 0.
g
So we have H 1 (L)−1 ∼
Also note that as H 1 (L)−2 ∼
= H 0 (L)0 = KE/KE.
= H 1 (L)−1
1
we get that H (L)−1 = 0. It follows that ξK (E) ≥ 2; see 2.13. It follows that
H 1 (L)j = 0 for j < 0.
Set G = GK (M ) and G = GK (E). As ξK (E) ≥ 2 we have that H 1 (G)j = 0 for
j < 0 see 2.13. Also note that we have an exact sequence
0 → H 1 (G)j → H 1 (L)j
So we have H 1 (G)j = 0 for j ≥ 0. We also have an exact sequence
0 → H 0 (G)j → H 1 (G)j−1 → H 1 (G)j → H 1 (G)j
g
and H 1 (G)j ∼
It follows that H 1 (G)−1 ∼
= H 1 (G)−1 for j < 0.
= H 0 (G)0 = KE/KE
1
1
∼
Thus H (G)j = H (L)j for all j < 0. By the exact sequence
0 → H 1 (G)j → H 1 (L)j → H 1 (L)j−1 → H 2 (G)j → 0,

BOCKSTEIN COHOMOLOGY

15

for j ≤ 0 we have H 2 (G)j ∼
= H 1 (G)j−1 . Also note that H 2 (G)j = 0
= H 1 (L)j−1 ∼
2
K
2
for j > 0. As H (L ) = 0, we get β = 0; see 3.4. Also as BH 1 (G) = 0 and
H 0 (G) = 0 we have that β 1 is injective. Consider β 1 : H 1 (G)(−1) → H 2 (G).
Let βj1 : H 1 (G)j−1 → H 2 (G)j be a component of β 1 . Note βj1 is injective as β 1
is injective. Also as ℓ(H 2 (G)j ) = ℓ(H 1 (G)j−1 ) for all j we get that βj1 is an
isomorphism. Thus β 1 is an isomorphism. It follows that BH 2 (G) = 0.

We now prove Theorem 6.1.
Proof of Theorem 6.1. By 1.3 we may assume that residue field of A is infinite.
So there exists x ∈ I an M -superficial element with respect to I. By [9, Lemma
11] we may assume that if I is integrally closed then the A/(x) ideal I/(x) is also
integrally closed. By [15, 4.5] the conditions of Theorem 6.2 are satisfied. The
result follows.

7. Normal ideals
Recall that an ideal I is said to be normal(asymptotically normal) if I n is integrally closed for all n ( for all n ≫ 0). Huneke and Huckaba showed that if dim A ≥ 3
is Cohen-Macaulay and I is an m-primary normal ideal then depth GI n (A) ≥ 2 for
all n ≫ 0. They also gave an example of a normal ideal in a 3-dimensional CohenMacaulay ring with depth GI n (A) = 2 for all n ≥ 1. In this section our result
is
Theorem 7.1. Let (A, m) be a Cohen-Macaulay local ring of dimension d ≥ 3 and
let I be an m-primary normal ideal. Then for all n ≫ 0 the Bockstein cohomology
modules BH i (GI n (A)) = 0 for i = 0, 1, 2.
Proof. We may assume that the residue field is infinite. Assume n ≫ 0 such that
depth GI n (A) ≥ 2

n

and H 2 (LI )j = 0 for j ≥ 0.

We also assume, see [2, 18.3.13], that
H 3 (GI n (A))j = 0 for j ≥ 1.
Set K = I n . Let x, y be a K-superficial sequence. Set B = A/(x) and C = A/(x, y).
Note we can assume, perhaps going to a faithfully flat extension, that J = K/(x)
is an asymptotically normal ideal, see [8, Theorem 1]. So ξK (B) ≥ 2. In particular
we have
H 1 (LK (B))j = H 1 (GK (B))j = 0 for j < 0; see 2.13.
Set
L = LK (A), G = GK (A), L = LK (B), G = GK (B), L∗ = LK (C) and G∗ = GK (C).
We have an exact sequence
0 → H 1 (L)j → H 2 (L)j−1 → H 2 (L)j .
It follows that H 1 (L)j = 0 for j ≥ 1. We also have an exact sequence
0 → H 0 (L∗ )j → H 1 (L)j−1 → H 1 (L)j .
It follows that H 0 (L∗ )j = 0 for j = 0 and j ≥ 2. Furthermore
2C
]
K
H 1 (L)0 ∼
= H 0 (L∗ )1 = 2 .
K C

16

TONY J. PUTHENPURAKAL

By using the exact sequence
0 → H 1 (G)j → H 1 (L)j → H 1 (L)j−1 ,
we get that H 1 (G)j = 0 for j ≥ 1 and
2C
]
K
H 1 (G)0 ∼
= H 1 (L)0 ∼
= 2 .
K C

We have an exact sequence
0 → H 2 (G)n → H 2 (L)n .
So H 2 (G)n = 0 for n ≥ 0. We now consider the exact sequence
x∗

x∗

0 → H 1 (G)n → H 2 (G)n−1 −→ H 2 (G)n → H 2 (G)n → H 3 (G)n−1 −→ H 3 (G)n → 0.
It follows that
H 1 (G)0 ∼
= H 2 (G)−1

and H 2 (G)1 ∼
= H 3 (G)0 .

As H 1 (G)n = 0 for n < 0 we have the map
x∗

H 2 (G)n−1 −→ H 2 (G)n

(†)
Set L1 =
ogy of G,

LK
1 (B).

is injective for n < 0.

We consider the defining exact sequence for Bockstein cohomol0 → G → H 1 (L1 ) → G(−1) → 0.

Since H 1 (L1 )1 ⊆ H 1 (L)1 = 0 we get that the map
1

β 1 : H 1 (G)0 → H 2 (G)1

is injective.

By 4.2 we have a commutative diagram
H 1 (G)0

/ H 2 (G)−1

1

β02

β1


H 2 (G)1


/ H 3 (G)0
1

Note the horizontal maps are isomorphisms. Since β 1 is an inclusion we have that
β02 is an inclusion.
We now prove that β 2 : H 2 (G)(−1) → H 3 (G) is injective. It suffices to prove
that the graded components of β 2 , i.e., the maps βn2 : H 2 (G)n−1 → H 3 (G)n is
injective for all n ∈ Z. As H 2 (G)n = 0 for n ≥ 0 we have trivially that ker βn2 = 0
2
for n ≥ 1. By induction on m = −n we prove that ker β−m
= 0 for all m ≥ 0. By
2
2
the above argument we have that ker β0 = 0. Assume that m > 0 and that β−m+1
is injective. By 4.2 we have a commutative diagram
H 2 (G)−m−1

x∗

2
β−m+1

2
β−m


H 3 (G)−m

/ H 2 (G)−m

x∗


/ H 3 (G)−m+1

2
2
By (†) the top row is injective. As β−m+1
is injective we have that β−m
is an
2
inclusion. Thus by induction we have shown that ker β−m = 0 for all m ≥ 0. It
follows that ker β 2 = 0. Thus BH 2 (GK (A)) = 0.


BOCKSTEIN COHOMOLOGY

17

8. e2 = e1 − e0 + 1, e2 = 3 and dim A = 3
In this section we prove the following result
Theorem 8.1. Let (A, m) be Cohen-Macaulay of dimension three. If e2 = e1 −e0 +1
and e2 = 3 then BH i (Gm (A)) = 0 for i ≤ 2.
To prove this result we need the following:
Proposition 8.2. Let (A, m) be a Cohen-Macaulay local ring of dimension two and
with an infinite residue field. Assume e2 = e1 − e0 + 1 = 3. Set G = Gm (A). Then
(1) depth G = 0 or 2.
fj = mj for all j 6= 2. Furthermore
f2 6= m2 and m
(2) If depth G = 0 then m
f2 /m2 ) = 1.
ℓ(m

Proof. Let x, y be an A-superficial sequence with respect to m. Set J = (x, y),
B = A/(x) and n = m/(x).
(1) If depth G = 1 then we have e2 (B) = e1 (B)−e0 (B)+1. Using [13, Proposition
13] it follows that n3 = yn2 . So by [19, 2.1] we have that depth Gn (B) = 1. So by
Sally descent we have depth G = 2 a contradiction.
fj
]
j+1
Pσj = ℓ(m /J m ). Then by [9, Theorem 3] we have e1 =
P (2) For j ≥ 0 set
jσ
.
Since
e
σ
and
e
=
j
2 = e1 − e0 + 1 we get σj = 0 for j ≥ 2 and
2
j≥1
j≥0 j
f2 /Jm) = 3.
e2 = σ1 = ℓ(m
f
f3 = Jm2 . It follows that m
f3 = m3 . As
2
If m = m2 then as σ2 = 0 we get m
j
f
σj = 0 for j ≥ 2 inductively one can show that mj = m for j ≥ 2. It follows that
f2 6= m2 .
depth G ≥ 1, a contradiction. Therefore m
Note

f2 /Jm) = ℓ(m
f2 /m2 ) + ℓ(m2 /Jm).
3 = e2 = ℓ(m
2
2
It follows that ℓ(m /Jm) ≤ 2. If ℓ(m /Jm) ≤ 1 then by [16] or [24] we have
f2 /m2 ) = 1.
depth G ≥ 1, a contradiction. Thus ℓ(m2 /Jm) = 2. It follows that ℓ(m
As ei (B)
i ≤ 1, [13, Corollary 10] we get e1 (B) = e0 (B) + 2. Note
P = ei for
j+1
e1 (B) =
ℓ(n
/ynj ). Also ℓ(n2 /yn) = ℓ(m2 /Jm) = 2. It follows that
j≥0
P
3
2
4
ℓ(n /yn ) = 1 and n = yn3 . Thus e2 (B) = j≥1 jℓ(nj+1 /ynj ) = 4.
By [13, Corollary 10] we have
X
e2 = e2 (B) −
ℓ((mn+1 : x)/mn ).
So

P

n≥2

n≥2

ℓ((m

n+1

n

: x)/m ) = 1. We have an exact sequence, see [17, p. 305]
0→

(m3 : x)
m3
n3
→
→
→ 0.
m2
Jm2
yn2

If (m3 : x) = m2 then ℓ(m3 /Jm2 ) = 1. So by a result due to Huckaba [7] we get
depth G ≥ 1, a contradiction. So (m3 : x) 6= m2 . It follows that (mn+1 : x) = mn for
n ≥ 3. For all i ≥ 0 we have an exact sequence, see [14, 2.6],
(8.2.8)

0→

fi
]
i+1
m
m
(mi+1 : x)
→
→
mi
mi
mi+1

fj = mj for j ≥ 3.
It follows that m
We now give



18

TONY J. PUTHENPURAKAL

Proof of Theorem 8.1. Set G = Gm (A). By Proposition 8.2 it easily follows that
depth G = 0, 1 or 3.
Case 1 : depth G = 3
Then H i (G) = 0 for i < 3. It follows that BH i (G) = 0 for i < 3.
Case 2 : depth G = 0.
We may assume that the residue field of A is infinite, see 1.3. Let x ∈ m be msuperficial. Set B = A/(x) and n = m/(x). Also set G = Gn (B), L = Lm (A) and
L = Ln (B). By Sally descent depth G = 0. By [15, 4.4] we have H 1 (L) = 0. So
H 2 (L) = 0. By 8.2 we also have that nej = nj for j 6= 2 and ne2 /n2 ∼
= k. For all
i ≥ 0 we have an exact sequence, see [14, 2.9],
fi
i+1
]
i+1
(mi+1 : x)
m
ng
m
→ i → i+1 → i+1
i
m
m
m
n
2
j
e
f
2
j
Claim 1: m 6= m . If this is not the case then as n = n for all j ≥ 3 we have that
fj = mj for all j ≥ 3. Also trivially m
fj = mj for all j ≥ 1. It follows
e = m. Thus m
m
f2 6= m2 .
that depth G ≥ 1. This is a contradiction. Thus m
2
2
e
f
2
2
e = m and m 6= m we have an isomorphism
Since ℓ(n /n ) = 1, m

(8.2.9)

0→

f2
m
ne2
→
m2
n2

It follows that

f2 = ne2 .
m

Also as nej = nj for j ≥ 3 we have that
0

fj = nej
m

for all j.

0

Thus the natural map H (L) → H (L) is surjective. By 2.9.6 we have an inclusion
H 1 (L)(−1) → H 1 (L). By 2.10 it follows that H 1 (L) = 0. As H 2 (L) = 0 also, it
follows from 2.7.4 that H 2 (G) = 0. So trivially we have that BH 2 (G) = 0. As
H 1 (L) = 0 we have that β 1 = 0.
By (8.2.9) we also have that for j ≥ 2
fj + mj+1 .
]
j+1 = xm
m

f2 ⊆ m, iteratively we have that
As m

]
j+1 ⊆ mj
m

for all j ≥ 2.

It follows that BH 0 (G) = 0, i.e., β 0 is injective. We also have an exact sequence
0 → H 0 (G) → H 0 (L) → H 0 (L)(−1) → H 1 (G) → H 1 (L) = 0.
∼ H 0 (G)(−1). It follows that β 0 is
Notice H 0 (G) = H 0 (L). It follows that H 1 (G) =
1
surjective too. Thus BH (G) = 0.
Case 3 : depth G = 1.
Let x be A-superficial with respect to m. Set B = A/(x) and n = m/(x). Also set
G = Gn (B), L = Lm (A) and L = Ln (B). Note x∗ is G-regular. By 3.5 we have
BH i (G) = 0 for i = 0, 1. We will use Sally descent to conclude that BH i (G) = 0
for i = 0, 1, 2.
Set u = xt ∈ R(I)1 . Since H 1 (L) = 0 we have an exact sequence
u

→ H 1 (L)n → 0.
0 → H 0 (L)n → H 1 (L)n−1 −

BOCKSTEIN COHOMOLOGY

19

Since H 0 (L)n = 0 for n ≥ 2 we have H 1 (L)n = 0 for n ≥ 1. We also get
ne2
H 1 (L)0 ∼
= H 0 (L)1 = 2 .
n
0
Since H (L)j = 0 for j ≤ 0, we obtain isomorphisms
u

→ H 1 (L)n
H 1 (L)n−1 −
Thus

ne2
H 1 (L)n ∼
= 2
n

for n ≤ 0

for n ≤ 0,

and u is H 1 (L)∨ -regular.
We have an exact sequence

0 → H 1 (G)n → H 1 (L)n .
It follows that H 1 (G)n = 0 for n ≥ 1. We also have an exact sequence
x∗

0 → H 0 (G)n → H 1 (G)n−1 −→ H 1 (G)n → H 1 (G)n .
So we obtain

ne2
H 1 (G)0 ∼
= H 0 (G)1 = 2 .
n
1
0
Also note that H (G) = H (G)(−1). It follows that H 1 (G)n = 0 for all n 6= 2. We
also have H 0 (G)n = 0 for n ≤ 0. Thus we obtain isomorphisms
x∗

H 1 (G)n−1 −→ H 1 (G)n
So

ne2
H 1 (G)n ∼
= 2
n

for n ≤ 0

for n ≤ 0,

and x∗ is H 1 (G)∨ -regular.
As H 2 (L) = 0 we obtain an exact sequence
0 → H 1 (G) → H 1 (L) → H 1 (L)(−1) → H 2 (G) → 0.
Note
ne2
H 1 (G)n = H 1 (L)n = 0 for n ≥ 1 and H 1 (G)n ∼
= H 1 (L)n = 2 for n ≤ 0.
n
1
1
2
1
∼
∼
∼
Thus H (G) = H (L). It follows that H (G) = H (L)(−1) = H 1 (G)(−1). It
follows that x∗ is H 2 (G)∨ -regular. Thus by Sally descent we get that BH i (G) = 0
for i < 3.

References
[1] C. Blancafort, On Hilbert functions and cohomology, J. Algebra 1 (1997), 439–459.
[2] M.P. Brodmann and R.Y. Sharp, Local Cohomology: An algeraic introduction with geometric applitions, vol. 60, Cambridge studies in advanced mathematics, Cambridge University
Press, Cambridge, 1998.
[3] W. Bruns and J. Herzog, Cohen-Macaulay rings, vol. 39, Cambridge studies in advanced
mathematics, Cambridge University Press, Cambridge, 1993.
[4] W. Heinzer, D. Lantz and K. Shah, The Ratliff-Rush ideals in a Noetherian ring, Comm.
Algebra 20 (1992), 591-622.
[5] S. Huckaba and C. Huneke, Normal ideals in regular rings, J. Reine angew. Math 510 (1999),
63–83.

20

TONY J. PUTHENPURAKAL

[6] S. Huckaba and T. Marley, On associated graded rings of normal ideals, J. Algebra 222
(1999), 146–163.
[7] S. Huckaba, On associated graded rings having almost maximal depth, Comm. Algebra 26
(1998), no. 3, 967-976.
[8] S. Itoh, Coefficients of Normal Hilbert polynomials, J. Algebra 150 (1992), 101–117.
, Hilbert coefficients of integrally closed ideals , J. Algebra 176 (1995), 638–652.
[9]
[10] B. Johnston and J. K. Verma, Local cohomology of Rees algebras and Hilbert functions,
Proc. Amer. Math. Soc. 123 (1995), 1–10.
[11] H. Matsumura, Commutative ring theory, Translated from the Japanese by M. Reid. Second edition. Cambridge Studies in Advanced Mathematics, 8. Cambridge University Press,
Cambridge, 1989.
[12] M. Narita, A note on the coefficients of Hilbert characteristic functions in semi-regular local
rings, Proc. Cambridge Philos. Soc. 59 (1963), 269–275.
[13] T. J. Puthenpurakal, Hilbert coeffecients of a Cohen-Macaulay module, J. Algebra 264 (2003),
82–97.
, Ratliff-Rush filtration, regularity and depth of higher associated graded modules. I,
[14]
J. Pure Appl. Algebra 208 (2007), no. 1, 159–176.
[15]
, Ratliff-Rush filtration, regularity and depth of higher associated graded modules. II,
eprint arXiv:0808.3258
[16] M. E. Rossi and G. Valla, A conjecture of J. Sally, Comm. Algebra 24 (1996), no. 13, 42494261.
, Cohen-Macaulay local rings of dimension two and an extended version of a conjec[17]
ture of J. Sally, J. Pure Appl. Algebra 122 (1997), no. 3, 293-311.
[18]
, Hilbert functions of filtered modules, Lecture Notes of the Unione Matematica Italiana, 9. Springer-Verlag, Berlin; UMI, Bologna, 2010.
[19] J. D. Sally, Tangent cones at Gorenstein singularities, Compositio Math. 40 (1980) 167-175.
, Reductions, local cohomology and Hilbert functions of local ring, Commutative
[20]
Algebra: Durham 1981 (R. Y. Sharp, ed.), London Math. Soc. Lecture Note Ser, vol. 72,
Cambridge Univ. Press, Cambridge-New York, 1982, pp. 231–241.
[21] N. V. Trung, The Castelnuovo regularity of the Rees algebra and the associated graded ring,
Trans. Amer. Math. Soc 350 (1998), no. 7, 2813–2832.
[22] G. Valla, Problems and results on Hilbert functions of graded algebras, Six Lectures in Commutative Algebra, Progress in Mathematics, vol. 166, BIR, Basel, 1998; pp.293-344.
[23] W. V. Vasconcelos, Cohomological degrees of graded modules, Six Lectures in Commutative
Algebra, Progress in Mathematics, vol. 166, BIR, Basel, 1998; pp.345-398.
[24] H. Wang, On Cohen-Macaulay local rings with embedding dimension e + d − 2, J. Algebra
190 (1997), no. 1, 226-240.
Department of Mathematics, IIT Bombay, Powai, Mumbai 400 076, India
E-mail address: tputhen@math.iitb.ac.in

