arXiv:1108.4455v2 [] 8 Jul 2012

Local cohomology properties of direct summands
Luis Núñez-Betancourt
July 10, 2012

Abstract
In this article, we prove that if R → S is a homomorphism of
Noetherian rings that splits, then for every i ≥ 0 and ideal I ⊂ R,
i
AssR HIi (R) is finite when AssS HIS
(S) is finite. In addition, if S is a
Cohen-Macaulay ring that is finitely generated as an R-module, such
i
that all the Bass numbers of HIS
(S), as an S-module, are finite, then
i
all the Bass numbers of HI (R), as an R-module, are finite. Moreover, we show these results for a larger class a functors introduced by
Lyubeznik [6]. As a consequence, we exhibit a Gorenstein F -regular
UFD of positive characteristic that is not a direct summand, not even
a pure subring, of any regular ring.

1

Introduction

Throughout this article all rings are commutative Noetherian with unity.
Let R denote a ring. If M is an R-module and I ⊂ R is an ideal, we
denote the i-th local cohomology of M with support in I by HIi (M ). If I is
generated by the elements f1 , . . . , fℓ ∈ R, these cohomology groups can be
computed by the Čech complex,
0 → M → ⊕j Mfj → . . . → Mf1 ···fℓ → 0.
The structure of these modules has been widely studied by several authors. Among the results obtained, one encounters the following finiteness
properties for certain regular rings:
(1)

the set of associated primes of HIi (R) is finite;

(2)

the Bass numbers of HIi (R) are finite;

(3)

inj.dimHIi (R) ≤ dimSuppHIi (R).
1

Huneke and Sharp proved those properties for characteristic p > 0 [4].
Lyubeznik showed them for regular local rings of equal characteristic zero
and finitely generated regular algebras over a field of characteristic zero [6].
These properties have been proved for a larger family of functors introduced by Lyubeznik [6]. If Z ⊂ Spec(R) is a closed subset and M is an
R-module, we denote by HZi (R) the i-th local cohomology module of M
with support in Z. We notice that HZi (R) = HIi (R), where Z = V(I) =
{P ∈ Spec(R) : I ⊂ P }. For two closed subsets of Spec(R), Z1 ⊂ Z2 , there
is a long exact sequence of functors
. . . → HZi 1 → HZi 2 → HZi 1 /Z2 → . . .

(1)

We denote by T any functor of the form T = T1 ◦· · · ◦Tt , where every functor
Tj is either HZi for some closed subset Z of Spec(R) or the kernel, image
or cokernel of some morphism in the previous long exact sequence for some
closed subsets Z1 , Z2 of Spec(R).
Our aim in this manuscript is to prove the finiteness properties (1) and
(2) for direct summands. We need to make some observations before we
are able to state our theorems precisely. Let R → S be a homomorphism
of Noetherian rings. For an ideal I ⊂ R, we have two functors associated
i (−) : S-mod → S-mod, which
with it, HIi (−) : R-mod → R-mod and HIS
are naturally isomorphic when we restrict them to S-modules. Moreover,
for two ideals of R, I2 ⊂ I1 , the natural morphism HIi1 (−) → HIi2 (−) is the
same as the natural morphism HIi1 S (−) → HIi2 S (−) when we restrict the
functors to S-modules. Thus, their kernel, cokernel and image are naturally
isomorphic as S-modules. Hence, every functor T for R is a functor of the
same type for S when we restrict it to S-modules.
As per the previous discussion, for an S-module, M , we will make no
distinction in the notation or meaning of T(M ) whether it is induced by
ideals of R or their extensions to S and, therefore, by the corresponding
closed subsets of their respective spectra. Now, we are ready to state our
main results.
Theorem 1.1. Let R → S be a homomorphism of Noetherian rings that
splits. Suppose that AssS T(S) is finite for a functor T induced by extension
of ideals of R. Then, AssR T(R) is finite. In particular, AssR HIi (R) is finite
i (S) is finite.
for every ideal I ⊂ R, if AssS HIS
Theorem 1.2. Let R → S be a homomorphism of Noetherian rings that
splits. Suppose that S is a Cohen-Macaulay ring such that all the Bass
numbers of T(S), as an S-module, are finite for a functor T induced by
2

extension of ideals of R. If S is a finitely generated R-module, then all the
Bass numbers of T(R), as an R-module, are finite. In particular, for every
ideal I ⊂ R the Bass numbers of HIi (R) are finite, if the Bass numbers of
i (S) are finite.
HIS
The first theorem holds when S is a polynomial ring over a field and R
is the invariant ring of an action of a linearly reductive group over S. It also
holds when R ⊂ K[x1 , . . . , xn ] is an integrally closed ring that is finitely
generated as a K-algebra by monomials. This is because such a ring is a
direct summand of a possibly different polynomial ring (cf. Proposition 1
and Lemma 1 in [2]).
We would like to mention another case in which an inclusion splits. This
is when R → S is a module finite extension of rings containing a field
of characteristic zero such that S has finite projective dimension as an Rmodule. Moreover, such a splitting exists when Koh’s conjecture holds (cf.
[5, 9, 1]). Therefore, if Koh’s conjecture applies to R → S and T(S) has
finite associated primes or finite Bass numbers, so does T(R).
We point out that property (3) does not hold for direct summands
of regular rings, even in the finite extension case. A counterexample is
R = K[x3 , x2 y, xy 2 , y 3 ] ⊂ S = K[x, y], where S is the polynomial ring
in two variables with coefficients in a field K. The splitting of the inclusion is the map θ : S → R defined in the monomials by θ(xα y β ) = xα y β
if α + β ∈ 3Z and as zero otherwise. We have that the dimension of
2
Supp(H(x
3 ,x2 y,xy 2 ,y 3 ) (R)) is zero, but it is not an injective module, because
R is not a Gorenstein ring, since R/(x3 , y 3 )R has a two dimensional socle.
The manuscript is organized as follows. In section 2, we prove Theorem
1.1, and we show some consequences. In particular, we exhibit a Gorenstein
F -regular UFD of positive characteristic that is not a direct summand, not
even a pure subring, of any regular ring. In section 3, we give a proof for
Theorem 1.2.

2

Associated Primes

Lemma 2.1. Let R → S be an injective homomorphism of Noetherian rings,
and let M be an S-module. Then, AssR M ⊂ {Q ∩ R : Q ∈ AssS M }.
Proof. Let P ∈ AssR M and u ∈ M be such that AnnR u = P . We have that
(AnnS u) ∩ R = P . Let Q1 , . . . , Qt denote the minimal primes of AnnS u. We
obtain that
p
√
P = P = AnnS u ∩ R = (∩j Qj ) ∩ R = ∩j (Qj ∩ R),
3

so, there exists a Qj such that P = Qj ∩ R. Since Qj is a minimal prime for
AnnS u, we have that Qj ∈ AssS M and the result follows.
Definition 2.1. We say that a homomorphism of Noetherian rings R → S
is pure if M = M ⊗R R → M ⊗R S is injective for every R-module M. We
also say that R is a pure subring of S.
Proposition 2.1 (Cor. 6.6 in [3]). Suppose that R → S is a pure homeomorphism of Noetherian rings and that G is a complex of R-modules. Then,
the induced map j : H i (G) → H i (G ⊗R S) is injective.
Proposition 2.2. Let R → S be a pure homomorphism of Noetherian rings.
Suppose that AssS HIi (R) is finite for some ideal I ⊂ R and i ≥ 0. Then,
i (S) is finite.
AssS HIS
i (S) is injective by Proposition 2.1, Ass H i (R) ⊂
Proof. Since HIi (R) → HIS
R I
i
AssR HIS (S) and the result follows by Lemma 2.1.

Proof of Theorem 1.1. The splitting between R and S makes T(R) into a direct summand of T(S); in particular, T(R) ⊂ T(S). Therefore, AssR T(R) ⊂
AssR T(S) and the result follows by Lemma 2.1.
If R is a ring containing a field of characteristic p > 0, Theorem 1.1 gives
a method for showing that R is not a direct summand of a regular ring. We
used this method to prove that there exists a Gorenstein strongly F -regular
UFD of characteristic p > 0 that is not a direct summand of any regular
ring.
Theorem 2.1 (Thm. 5.4 in [8]). Let K be a field, and consider the hypersurface
K[r, s, t, u, v, w, x, y, z]
R=
.
(su2 x2 + sv 2 y 2 + tuxvy + rw2 z 2 )
Then, R is a unique factorization domain for which the local cohomology
3
module H(x,y,z)
(R) has infinitely many associated prime ideals. This is preserved if R is replaced by the localization at its homogeneous maximal ideal.
The hypersurface R has rational singularities if K has characteristic zero,
and it is F -regular if K has positive characteristic.
Corollary 2.1. Let R be as in the previous theorem taking K of positive
characteristic. Then, R is a Gorenstein F -regular UFD that is not a pure
subring of any regular ring. In particular, R is not direct summand of any
regular ring.
4

3
Proof. Since H(x,y,z)
(R) has infinitely many associated prime ideals, it cannot be a direct summand or pure subring of a regular ring by Theorem 1.1,
Proposition 2.1 and finiteness properties of regular rings of positive characteristic (cf. [7]).

Theorem 2.2 (Thm. 1 in [10]). Assume that S = K[x1 , . . . , xn ] is a polynomial ring in n variables over a field K of characteristic
p > 0. SupP
pose that I = (fP
,
.
.
.
,
f
)
is
an
ideal
of
S
such
that
deg
f
1
s
i < n. Then
i
i
dim S/Q ≥ n − i deg fi for all Q ∈ AssS HI (S).
Corollary 2.2. Let S = K[x1 , . . . , xn ] be a polynomial ring in n variables
over a field K of characteristic p > 0. Let R → S be a homomorphism of
NoetherianPrings that splits. Suppose that I = (f1 , . . . , fs ) is an ideal of R
such that i deg(fi )P
< dimR. If S is a finitely generated R-module, then
dim R/P ≥ dim R − i deg fi for all P ∈ AssR HIi (R).
Proof. Since HIi (−) commutes with direct sum of R-modules, we have that
a splitting of R ֒→ S over R induces an splitting of HIi (R) ֒→ HIi (S) over
R. Then, by Lemma 2.1, for any P ∈ AssR HIi (R) ⊂ AssR HIi (S) there exists
Q ∈PAssR HIi (S) such that P = Q ∩ R and then dimR/P = dimS/Q >
n − i deg fi , and the result follows.

3

Bass Numbers

Lemma 3.1. Let (R, m, K) be a local ring and M be an R-module. Then,
the following are equivalent:
a) dimK (ExtjR (K, M )) is finite for all j ≥ 0;
b) length(ExtjR (N, M )) is finite for every finite length module N for all
j ≥ 0;
c) there exists one module N of finite length such that length(ExtjR (N, M ))
is finite for all j ≥ 0.
Proof. a) ⇒ b): Our proof will be by induction on h = length(N ). If h = 1,
then N = K, and the proof follows from our assumption. We will assume
that the statement is true for h and prove it when length(N ) = h + 1. In
this case, there is a short exact sequence 0 → K → N → N ′ → 0, where N ′
has length h. From the induced long exact sequence
j−1
. . . → ExtR
(N ′ , M ) → ExtjR (K, M ) → ExtjR (N, M ) → . . . ,

5

we see that length(ExtiR (N, M )) is finite for all i ≥ 0.
b) ⇒ c): Clear.
c) ⇒ a): We will prove the contrapositive. Let j be the minimum nonnegative integer such that dimK (ExtjR (K, M )) is infinite. We claim that
length(ExtiR (N, M )) < ∞ for i < j and length(ExtjR (N, M )) = ∞ for any
module N of finite length. Our proof will be by induction on h = length(N ).
If h = 1, then N = K and it follows from our choice of j. We will assume
that this is true for h and prove it when length(N ) = h + 1. We have a short
exact sequence 0 → K → N → N ′ → 0, where N ′ has length h. From the
induced long exact sequence
j−1
. . . → ExtR
(N ′ , M ) → ExtjR (K, M ) → ExtjR (N, M ) → . . . ,

we have that length(ExtiR (N, M )) < ∞ for i < j and that the map
j−1
ExtjR (K, M )/Im(ExtR
(N ′ , M )) → ExtjR (N, M ) is injective. Therefore,
length(ExtjR (N, M )) = ∞.
Lemma 3.2. Let R → S be a pure homomorphism of Noetherian rings.
Assume that S is a Cohen-Macaulay ring. If S is finitely generated as an
R-module, then R is a Cohen-Macaulay ring.
Proof. Let P ⊂ R be a prime ideal. Let x = x1 , . . . , xd denote a system of parameters of RP , where d = dim(RP ). It suffices to show that
Hi (K(x; RP )) = 0 for i 6= 0, where K is the Koszul complex with respect
to x. We notice that the natural inclusion RP → SP is a pure homeomorphism of rings. This induces an injective morphism of R-modules
Hi (K(x; RP )) → Hi (K(x; SP )) by Proposition 2.1. Thus, it is enough to
show that Hi (K(x; SP )) = 0 for i 6= 0. Since SP is a module finite extension
of RP , we have that every maximal ideal Q ⊂ SP contracts to P RP and x is
a system of parameters for SQ . Then, Hi (K(x; SQ )) = 0 for i 6= 0 and every
maximal ideal Q ⊂ SP . Hence, Hi (K(x; SP )) = 0 for i 6= 0 and the result
follows.
Proposition 3.1. Let R → S be a homomorphism of Noetherian rings that
splits. Assume that S is a Cohen-Macaulay ring and S is finitely generated
as an R-module. Let N be an R-module and M be an S-module. Let N → M
be a morphism of R-modules that splits. If all the Bass numbers of M , as
an S-module, are finite, then all the Bass numbers of N , as an R-module,
are finite.
6

Proof. Since N ֒→ M splits, we have that ExtiRP (RP /P RP , NP ) is a direct
summand of ExtiRP (RP /P RP , MP ), so, we may assume that N = M .
Let P be a fixed prime ideal of R and let KP denote RP /P RP . Since
we want to show that dimKP (ExtiRP (KP , MP )) is finite, we may assume
without loss of generality that R is local and P is its maximal ideal. Let
x = x1 , . . . , xn be a system of parameters for R. Since R is Cohen-Macaulay
by Lemma 3.2, we have that the Koszul complex, KR (x), is a free resolution for R/I, where I = (x1 , . . . , xn ). We also have that for every maximal ideal Q ⊂ S lying over P , x is a system of parameters of SQ because dimR = dimSQ and SQ /ISQ is a zero dimensional ring. From the
Cohen-Macaulayness of S and the previous fact, we have that the Koszul
complex KS (x) is a free resolution for S/IS. Therefore, ExtiR (R/I, M ) =
H i (HomR (KR (x), M )) = H i (HomS (KS (x), M )) = ExtiS (S/IS, M ). Since
ExtiS (S/IS, M ) = ⊕Q ExtiSQ (SQ /ISQ , MQ ) has finite length as an S-module
by Lemma 3.1, we have that ExtiR (R/I, M ) has finite length as an R-module
because S is finitely generated. Then, we have that dimKP (ExtiR (KP , M ))
is finite by Lemma 3.1.
Proof of Theorem 1.2. The splitting between R and S induces a splitting
between T(R) ֒→ T(S). The rest follows from Proposition 3.1.

Acknowledgments
I would like to thank my advisor Mel Hochster for his valuable comments
and suggestions. I also wish to thank Juan Felipe Perez-Vallejo for carefully
reading this manuscript. I am grateful to the referee for her or his comments.
Thanks are also due to the National Council of Science and Technology of
Mexico by its support through grant 210916.

References
[1] R. Flórez, J.D. Vélez, Failure of splitting from module-finite extension rings. Beitrage Algebra Geom. 41 (2000), no. 2, 345-357.
[2] M. Hochster, Rings of invariants of tori, Cohen-Macaulay rings
generated by monomials, and polytopes, Ann. of Math. (2) 96
(1972), 318337.

7

[3] M. Hochster, J.L. Roberts, Rings of invariants of reductive groups
acting on regular rings are Cohen-Macaulay, Advances in Mathematics 13, 115–175 (1974).
[4] C. Huneke, R. Sharp, Bass numbers of local cohomology modules,
Transactions of the American Mathematical Society, Vol. 339, No.
2, October 1993), pp. 765–779.
[5] J. H. Koh, The direct summand conjecture and behavior of codimension in graded extensions, Thesis, University of Michigan,
1983.
[6] G. Lyubeznik, Finiteness properties of local cohomology modules
(an application of D-modules to commutative algebra), Invent.
Math. 113 (1993), no. 1, 41–55.
[7] G. Lyubeznik, F -modules: applications to local cohomology and
D-modules in characteristic p > 0, J. Reine Angew. Math. 491
(1997), 65–130.
[8] A. Singh, I. Swanson, Associated primes of local cohomology modules and of Frobenius powers, Int. Math. Res. Not. 2004, no. 33,
1703–1733.
[9] J.D. Vélez, Splitting results in module-finite extension rings and
Koh’s conjecture, J. Algebra 172 (1995), no. 2, 454-469.
[10] Y. Zhang, A property of local cohomology modules over polynomial
rings, Proc. Amer. Math. Soc. 139 (2011), 125–128.
Department of Mathematics, University of Michigan, Ann Arbor, MI 48109–1043, USA.
Email address: luisnub@umich.edu

8

