LYUBEZNIK NUMBERS IN MIXED CHARACTERISTIC

arXiv:1208.5525v1 [] 27 Aug 2012

LUIS NÚÑEZ-BETANCOURT AND EMILY E. WITT

Abstract. This manuscript defines a new family of invariants, analogous to the
Lyubeznik numbers, associated to any local ring whose residue field has prime characteristic. In particular, as their nomenclature suggests, these Lyubeznik numbers
in mixed characteristic are defined for all local rings of mixed characteristic. Some
properties similar to those in equal characteristic hold for these new invariants.
Notably, the “highest” Lyubeznik number in mixed characteristic is a well-defined
notion. Although the Lyubeznik numbers in mixed characteristic and their equalcharacteristic counterparts are the same for certain local rings of equal characteristic
p > 0, we also provide an example where they differ.

1. Introduction
1.1. Background. Let I be an ideal of a regular local ring S of equal characteristic.
When S has prime characteristic, Huneke and Sharp proved that the Bass numbers
of every local cohomology module of the form HIi (S) are finite [HS93]. Subsequently,
Lyubeznik showed this for S of equal characteristic zero using D-module theory.
He also extended these finiteness results to a larger family of functors that include
iterated local cohomology modules of the form HIi11 · · · HIiℓℓ (S), for I1 , . . . , Iℓ ideals of
S and i1 , . . . , Iℓ ∈ N. Using these results, he defined families of invariants that are
now called Lyubeznik numbers [Lyu93].
Suppose that (R, m, K) is a local ring admitting a surjection from an n-dimensional
local regular local ring (S, η, K) containing a field. If I is the kernel of this surjection,
the Lyubeznik numbers of R, depending on two
 nonnegative integers i and j, are
defined as λi,j (R) := dimK ExtiS K, HIn−j (S) . Remarkably, these numbers only
depend on the ring R and on i and j, not on S, nor even on the choice of surjection
b
from S. Moreover, if R is any local ring containing a field, letting λi,j (R) := λi,j (R)
extends the definition, making the Lyubeznik numbers well defined for every such
ring [Lyu93].
For R containing a field, the Lyubeznik numbers of R provide essential information about the ring. For example, if d = dim R, then λi,j (R) = 0 for j >
d, and λd,d (R) 6= 0 [Lyu93, Properties 4.4i, 4.4iii]. If R is a Cohen-Macaulay
ring, then λd,d (R) = 1 [Kaw02, Theorem 1]. Moreover, the Lyubeznik numbers
have extensive connections with geometry and topology, including étale cohomology and the connected components of certain punctured spectra. (See, for example,
[BB05, GLS98, Kaw00, Wal01, Zha07].)
1.2. Aim and Main Results. The aim of this manuscript is to define a new invariant, analogous to the Lyubeznik numbers, which are associated to any local ring
whose residue field has prime characteristic. In particular, these new invariants are
defined for local rings of mixed characteristic. Moreover, we study properties of the
1

2

LUIS NÚÑEZ-BETANCOURT AND EMILY E. WITT

Lyubeznik numbers in mixed characteristic, and investigate when they agree with the
equal-characteristic Lyubeznik numbers, as well as whether they ever differ from them.
If S is a regular local ring of unramified mixed characteristic, then Lyubeznik, along
with Núñez-Betancourt, have shown that the Bass numbers are also finite [Lyu00b,
NB12]. This enables us to give the following definition:
Proposition/Definition (3.4, 3.5). Let (R, m, K) be a local ring such that char(K) =
b denote its completion. By the Cohen Structure Theorems, R
b admits
p > 0, and let R
b where S is an unramified regular local
a surjective ring homomorphism π : S ։ R,
ring of mixed characteristic. Let I = Ker(π) and n = dim(S). Then, given integers
i, j ≥ 0, dimK ExtiS (K, HIn−j (S)) is finite and depends only on R, i, and j. We define
the Lyubeznik numbers in mixed characteristic of R with respect to i and j as
ei,j (R) := dimK Exti (K, H n−j (S)).
λ
S
I

When R is a ring of equal characteristic p > 0, both the Lyubeznik numbers and
the Lyubeznik numbers in mixed characteristic are defined. We give some conditions
for which these two definitions agree. However, in Theorem 6.10, we prove that these
numbers are not the same in general.
Motivated by analogous properties of the Lyubeznik numbers in equal characteristic, we study properties of these invariants (cf. [Lyu93, Properties 4.4]). Some
similar vanishing properties hold (see Proposition 3.9), as well as analogous computations for complete intersection rings (see Proposition 3.10). Moreover, the “highest”
Lyubeznik number in mixed characteristic of a local ring for which these invariants
are defined is a well-defined notion: if (R, m, K) is a local ring of dimension d such
ei,j (R) = 0 if either i > d or j > d (see Theorem 4.10 and
that char(R) = p > 0, λ
Definition 4.11).
We investigate conditions on a local ring R of equal characteristic p > 0 (i.e., when
both the Lyubeznik numbers and the Lyubeznik numbers in mixed characteristic of
R are defined) under which e
λi,j (R) = λi,j (R) for all i, j ∈ N. We find that they agree
for R Cohen-Macaulay, and R of dimension less than or equal to two (see Corollary
5.4).
ei,j (R) 6= λi,j (R) for some i, j ∈ N,
Moreover, we give a specific example for which λ
employing the work on Bockstein morphisms of Singh and Walther, as well as a
computation of Àlvarez Montaner and Vahidi [SW11, ÀMV] (see Remark 6.9 and
Theorem 6.10).
1.3. Outline. We recall some definitions and properties of D-modules in Section 2.
In addition, we introduce a functor that will play a fundamental role in proving that
the Lyubeznik numbers in mixed characteristic are well defined. In Section 3, we
define the Lyubeznik numbers in mixed characteristic, and prove some similar properties to those that hold for the Lyubeznik numbers in equal characteristic. Next, in
ed,d (R)
Section 4, we prove in Theorem 4.10 that, with our definition, if d = dim R, λ
is again the “highest” Lyubeznik number. The goal of Section 5 is to prove that the
original Lyubeznik numbers and Lyubeznik numbers in mixed characteristic are the
same for certain rings of characteristic p > 0. On the other hand, in Section 6, we
give an example where these numbers differ.

LYUBEZNIK NUMBERS IN MIXED CHARACTERISTIC

3

2. Preliminaries
2.1. D-modules. Here, we briefly review some facts about D-modules that will be
used; we refer readers to [Bjö72, Cou95] for a more detailed exposition.
If R ⊆ S is an extension of commutative rings, the R-linear differential operators of
S, denoted D(S, R), is the (non-commutative) subring of EndR (S) defined inductively
as follows:
• The operators of order zero are the endomorphisms defined by multiplication
by some element of S, and
• φ ∈ EndR (S) is an operator of order less than or equal to ℓ if [φ, σ] = φ·σ−σ·φ
is an operator of order less than or equal to ℓ − 1 for every σ ∈ S.
If S = R[[x1 , . . . , xn ]] for some n ∈ N, then


1 ∂t
D(S, R) = S
| t ∈ N, i = 1, . . . , n ⊆ HomR (S, S)
t! ∂xi t
[Gro67, Theorem 16.12.1].
The canonical map M → Mf is a map of D(S, R)-modules for any D(S, R)-module
M, and any f ∈ S. Since S is a D(S, R)-module, this map induces a natural D(S, R)module structure on any local cohomology module of the form HIj (S), where I is
an ideal of S and j ∈ N. Moreover, it is not hard to see that this also makes
HIjsℓ . . . HIi22 HIi11 (S) a D(S, R)-module as well [Lyu93, Example 2.1(iv)]. Given a field
K and any f ∈ S, Sf finite length in the category of D(S, K)-modules. Thus,
HIjsℓ . . . HIi22 HIi11 (S) does as well [Lyu00a, Corollary 6].
2.2. A key functor. Lyubeznik introduced a certain functor in proving that the
equal-characteristic Lyubeznik numbers are well defined (cf. [Lyu93, Lemma 4.3]). In
[NBW12, Section 2.2], the authors study further properties of this functor. As we
will rely greatly on some of these properties to prove that the Lyubeznik numbers
in mixed characteristic are well defined, we include them here for the reader’s convenience. Please refer to loc. cit. for all details and proofs.
Fix a Noetherian ring R, and let S = R[[x]]. Let G denote the functor from the
category of R-modules to that of S-modules L
given by G(−) = (−) ⊗R Sx /S. Fix an
R-module M. Since G(M) = M ⊗R Sx /S =
(M ⊗ Rx−α ), any u ∈ G(M) can be
α∈N

written uniquely in the form u = m1 ⊗ x−α1 + . . . + mℓ ⊗ x−αℓ for some ℓ, αi , mi ∈ N.
Actually, G is an equivalence between the category of R-modules to that of D(S, R)modules supported on the V(xS), the Zariski closed subset of Spec(S) given by xS.
1 ∂t
The
 R)-module structure of G(M) is defined by the action of each t! ∂xt , t ∈ N:
 tD(S,
1 ∂
· (m ⊗ x−α ) = α+t−1
· ((−1)t m ⊗ x−α−t ) . The functor G is also flat, and
t! ∂xt
t
commutes with taking local cohomology.

j+1
For every ideal I of R and every j ∈ N, G HIj (M) ∼
= H(I,x)S (M ⊗R S). Moreover,
if R is Gorenstein, P is a prime ideal of R, and ER (R/P ) denotes the injective hull of
R/P over R, G(ER (R/P )) = ES (S/(P, x)S). In fact, in this case, M is an injective
R-module if and only if G(M) is an injective S-module. Using this fact, it can also be
shown that, endowing R = S/xS with the natural S-module structure via extension
of scalars, if N is also an R-module, ExtiS (M, G(N)) = ExtiR (M, N) for all j ∈ N.

4

LUIS NÚÑEZ-BETANCOURT AND EMILY E. WITT

3. Definition and properties
Lemma 3.1. Let S = R[[x]], where (R, m, K) is a Gorenstein local ring. Then for
every ideal I of R, and all i, j ∈ N,
j+1
dimK ExtiS (K, H(I,x)S
(S)) = dimK ExtiR (K, HIj (R)).

j+1
Proof. Let G be the functor defined in Section 2.2. Now, G(HIj (R)) = H(I,x)
(S)
by [NBW12, Lemma 3.9]. Since R is Gorenstein, [NBW12, Proposition 3.12] indicates that ExtiS (M, G(N)) = ExtiR (M, N) for all R-modules M and N. Thus,
j+1
ExtiS (K, H(I,x)S
(S)) = ExtiR (K, HIj (R)), and we are done.


Corollary 3.2. Let (R, m, K) be a Gorenstein local ring, and let S = R[[x1 , . . . , xn ]]
denote a power series ring over R. For every ideal I of R and all i, j ∈ N,
j+n
dimK ExtiS (K, H(I,x
(S)) = dimK ExtiR (K, HIj (R)).
1 ,...,xn )S

Proof. Using Lemma 3.1, apply induction on n.



Remark 3.3 ([Coh46]). If (V, pV, K) and (W, pW, K) are both complete Noetherian
DVRs with residue class field K, then V and W are isomorphic (via a non-unique
isomorphism).
By the Cohen Structure Theorems, if (R, m, K) is a complete local ring of mixed
characteristic p > 0, R is the homomorphic image of a ring of the form V [[x1 , . . . , xn ]],
where (V, pV, K) is an (unramified) mixed characteristic complete Noetherian discrete
valuation domain. Therefore, if V [[x1 , . . . , xn ]] ։ R and W [[y1 , . . . , yn′ ]] ։ R, then
V ∼
= W. (In fact, we can take n = n′ to be the embedding dimension of R/pR.)
If (R, m, K) is a complete local ring of equal characteristic p > 0, R is a homomorphic image of some K[[x1 , . . . , xn ]] by the Cohen Structure Theorems. Therefore, if (V, pV, K) is the complete Noetherian DVR provided above, the composition
V [[x1 , . . . , xn ]] ։ K[[x1 , . . . , xn ]] ։ R is a surjection.
Thus, any complete local ring (R, m, K) such that char(K) = p > 0 is the homomorphic image of V [[x1 , . . . , xn ]], where (V, pV, K) is a uniquely determined mixed
characteristic complete Noetherian discrete valuation domain.
Proposition 3.4. Let (R, m, K) be a local ring such that char(K) = p > 0, admitting
a surjection π : S ։ R, where S is an unramified regular local ring of dimension n.
Let I = Ker(π), and take i, j ∈ N. Then
dimK ExtSn−i (K, HIj (S))

is finite and depends only on R, i, and j, but not on S, nor on π.
Proof. Each dimK ExtiS (K, HIn−j (S)) is finite (cf. [Lyu00b, NB12]), so it remains to
prove that these numbers are well defined. Let π ′ : S ′ ։ R be another surjective
map, where S ′ is an unramified regular local ring of dimension n′ . Set I ′ = Ker(π ′ ),
and let m′ be the maximal ideal of S ′ . Since the Bass numbers with respect to
the maximal ideal are not affected by completion, we may assume that R, S, and
S ′ are complete. Let V denote the complete DVR associated to K given by the
Cohen Structure Theorems (see Remark 3.3), so that we can make identifications
S = V [[x1 , . . . , xn−1 ]] and S ′ = V [[y1 , . . . , yn′−1 ]].

LYUBEZNIK NUMBERS IN MIXED CHARACTERISTIC

5

Let S ′′ = V [[z1 , . . . , zn+n′−2 ]], and let π ′′ : S ′′ ։ R be the surjective map defined by
π (zj ) = π(xj ) for 1 ≤ j ≤ n − 1 and π ′′ (zj ) = π ′ (yj−n+1) for n ≤ j ≤ n + n′ − 2. Let
I ′′ be the preimage of I under π ′′ , respectively. Let α : S → S ′′ be the map defined by
α(xj ) = zj . Note that π ′′ ◦ α = π. Since π ′ is surjective, there exist f1 , . . . , fn′ −1 ∈ S
such that π ′′ (zn−1+j ) = π(fj ) for j ≤ n′ − 1. Then zn−1+j − α(fj ) ∈ Ker(π ′′ ). We note
that β : S ′′ → S, defined by sending zj to xj for j ≤ n − 1, and zn−1+j to fj for
j ≤ n′ − 1, is a splitting of α. Then I ′′ = (I, zn − α(f1 ), . . . , zn′ +n−2 − α(fn′−1 ))S ′′ .
Since
z1 , . . . , zn−1 , zn − α(f1 ), . . . , zn′ +n−2 − α(fn′ −1 )
form a regular system of parameters, we obtain, by Corollary 3.2, that
′′

′

−j
(S ′′ )) = dimK ExtiS (K, HIn−j (S)).
dimK ExtiS ′′ (K, HIn+n
′′

By an analogous argument, we also have that
′

′

−j
(S ′′ )) = dimK ExtiS ′ (K, HIn′ −j (S ′ )),
dimK ExtiS ′′ (K, HIn+n
′′

and the result follows.



Definition 3.5 (Lyubeznik numbers in mixed characteristic). Let (R, m, K) be a local ring such that char(K) = p > 0. By the Cohen Structure Theorems, the compleb admits a surjection π : S ։ R,
b where S is an unramified regular local ring
tion R
of mixed characteristic. Let I = Ker(π), n = dim(S), and i, j ∈ N. We define the
Lyubeznik number in mixed characteristic of R with respect to i and j as
ei,j (R) := dimK Exti (K, H n−j (S)).
λ
S

I

ei,j (R) are well defined and depend only on R, i,
Note that by Proposition 3.4, the λ
and j.

Remark 3.6. In Definition 3.5, we need to take the completion of R for the Cohen
Structure Theorems to ensure the existence of a surjection from an unramified regular
b If such a map exists without taking
local ring S of mixed characteristic, π : S ։ R.
n−j
i
i
b
the completion, then e
λi,j (R) = dimK ExtSb(K, HIn−j
(S)),
b (S)) = dimK ExtS (K, HI
S
where I = Ker(π).
Remark 3.7. Fix (R, m, K), a local ring of equal characteristic p > 0. On one hand,
there exists a surjection from an n-dimensional unramified regular local ring of mixed
b On the other hand, the induced map π ′ : S/pS ։ R
b is also
characteristic, π : S ։ R.
′
′
′
surjective. If I = Ker(π) and I = Ker(π ), I is the preimage of I under the canonical
surjection S ։ S/pS. There are two notions of Lyubeznik numbers corresponding
to these homomorphisms, those given by Lyubeznik’s original definition for rings
of equal characteristic, λi,j (R) = dimK ExtiS/pS (K, HIn−j−1
(S/pS)) [Lyu93], and the
′
e
Lyubeznik numbers in mixed characteristic, λi,j (R) = dimK ExtiS (K, HIn−j (S)).

Remark 3.7 naturally incites the following question:

ei,j (R) = λi,j (R) whenever both are defined, i.e., for every local
Question 3.8. Is λ
ring (R, m, K) of equal characteristic p > 0 and all i, j ∈ N? In other words, with
(S/pS)) =
notation as in Remark 3.7, is it always true that dimK ExtiS/pS (K, HIn−j−1
′
n−j
i
dimK ExtS (K, HI (S))?

6

LUIS NÚÑEZ-BETANCOURT AND EMILY E. WITT

In Corollary 5.4, we prove an affirmative answer to Question 3.8 for certain rings.
However, there are cases in which the answer is negative: Theorem 6.10 presents such
an example, a Stanley-Reisner ring over a field of characteristic two.
The Lyubeznik numbers in mixed characteristic satisfy some similar vanishing properties to those that hold for the equal characteristic ones:
Proposition 3.9. Let (R, m, K) be a local ring such that char(K) = p > 0 and
d = dim(R). Then
(i) e
λi,j (R) = 0 for j > d,
(ii) e
λi,j (R) = 0 for i > j + 1, and
ed,d (R) 6= 0.
(iii) λ

b be the completion of R, so that R
b admits a surjective ring homoProof. Let R
b where (S, η) is an unramified regular local ring of mixed
morphism π : S ։ R,
characteristic and of dimension n. Let I = Ker(π).
Property (i) holds since HIn−j (S) = 0 for j > dim(S/I) = dim R = d, and (ii) holds
since inj. dimS HIn−j (S) ≤ dimS HIn−j (S) + 1 ≤ i + 1 [Zho98].
To prove (iii), first note that by an analogous argument to the proof of [Lyu93,
ed,d (R) 6= 0 by contradicting
Property 4.4(iii)], Hηd HIn−d (S) 6= 0. We will prove that λ
this fact. Suppose that e
λd,d (R) = ExtdS (K, HIn−d(S)) = 0.
We claim that ExtdS (M, HIn−d (S)) = 0 for every finite-length S-module M. We
will prove this by induction on h = lengthS (M). If h = 1, then M = K, and the
statement holds by assumption. Suppose that the statement is true for all N with
lengthS N < h + 1, and take M with lengthS M = h + 1. Then there exists a short
exact sequence 0 → K → M → M ′ → 0, where M ′ is an S-module of length h. The
long exact sequence in Ext gives:
· · · → ExtdS (M ′ , HIn−d(S)) → ExtdS (M, HIn−d (S)) → ExtdS (K, HIn−d(S)) → · · · .

Since ExtdS (K, HIn−d(S)) = ExtdS (M ′ , HIn−d(S)) = 0 by the inductive hypothesis,
ExtdS (M, HIn−d+1(S)) = 0, and the claim follows.
This claim implies that ExtdS (S/η ℓ , HIn−d(S)) = 0 for all ℓ ≥ 1. Then Hηd HIn−d (S) =

ExtdS (S/η ℓ , HIn−d (S)) = 0, the sought contradiction.
lim
−→
ℓ

Proposition 3.10. Let (V, pV, K) be an complete DVR of unramified mixed characteristic p > 0, and let S = V [[x1 , . . . , xn ]]. Let f1 , . . . , fℓ ∈ S be a regular sequence.
Then
ei,j (S/(f1 , . . . , fℓ )) = 1
λ
for i = j = n + 1 − ℓ, and vanishes otherwise.
Proof. Our proof will be by induction on ℓ. If ℓ = 1, we have the short exact sequence
0 → S → Sf1 → Hf11 S (S) → 0.

i
1
Then ExtiS (K, S) ∼
= Exti+1
S (K, Hf1 S (S)) for every i ≥ 0 because ExtS (K, Sf ) = 0.
Suppose that the formula holds for ℓ − 1 and we will prove it for ℓ. From the exact
sequence
n−ℓ−1
n−ℓ−1
n−ℓ
0 → H(f
(S) → H(f
(Sfℓ ) → H(f
(S) → 0,
1 ,...,fℓ−1 )S
1 ,...,fℓ−1 )S
1 ,...,fℓ )S

LYUBEZNIK NUMBERS IN MIXED CHARACTERISTIC

7

n−ℓ
n−ℓ−1
we obtain that ExtiS (K, H(f
(S)) = Exti+1
S (K, H(f1 ,...,fℓ−1 )S (S)) for every i ≥ 0
1 ,...,fℓ )S
n−ℓ
because ExtiS (K, H(f
(Sfℓ+1 )) = 0.

1 ,...,fℓ )S

4. Existence of the highest Lyubeznik Number in Mixed
Characteristic
Lemma 4.1. Let (V, pV, K) be a complete DVR of unramified mixed characteristic
p > 0, and let S = V [[x1 . . . , xn ]]. Then
EndD(S,V ) (ES (K)) = V.
Proof. Let φ ∈ EndD(S,V ) (ES (K)) ⊆ EndS (ES (K)) = S; φ must correspond to
multiplication by some r ∈ S. Thus, ∂(rw) = r∂(w) for every w ∈ ES (K) and
∂ ∈ D(S, V ). We will prove that r ∈ V by contradiction. If r 6∈ V , we may assume
there exists α = (α1 , . . . , αn ) ∈ Nn \ {(0, . . . , 0)} such that
X
r = a + bxα +
cβ xβ ,
β∈N,β≥lex α

where a, b, cβ ∈ V and b 6= 0. Then for every j ∈ N,

(−1)α1 −1 ∂ α1
r
1
(−1)αn −1 ∂ αn
=
·
·
·
α1
α
+1
α
j
1
α1 ! ∂x1
αn ! ∂xnn p x1 · · · xn
pj x1
· · · xnαn +1
b
a
+ j
= j α1 +1
α
+1
p x1 · · · xn
p x1
· · · xnn
On the other hand, for every j ∈ N,
(−1)αn −1 ∂ αn
r
(−1)α1 −1 ∂ α1
·
·
·
α1
α1 ! ∂x1
αn ! ∂xαnn pj x1 · · · xn
(−1)α1 −1 ∂ α1
(−1)αn −1 ∂ αn
a
=
α1 · · ·
α
j
n
α1 ! ∂x1
αn ! ∂xn p x1 · · · xn
a
= j α1 +1
· · · xnαn +1
p x1
Then
a
b
a
= j α1 +1
+ j
,
α1 +1
j
α
n
p x1 · · · xn
p x1
· · · xn
p x1
· · · xαnn
so b ∈ pj V for every j ∈ N. This means that b = 0, a contradiction. Thus, r ∈ V .
Since every map given by multiplication by an element in V is already a map of
D(S, V )-modules, we are done.

r

Proposition 4.2. Let (V, pV, K) be a complete DVR of unramified mixed characteristic p > 0, and let S = V [[x1 . . . , xn ]]. Let N ( ES (K) be a proper D(S, V )-submodule.
Then N = AnnES (K) pℓ S for some ℓ ∈ N.
Proof. Let v ∈ N be such that v ∈ AnnES (K) pℓ S but v 6∈ AnnES (K) pℓ−1 S. We claim
that D(S, V )·v = AnnES (K) pℓ S by induction on ℓ. If ℓ = 1, AnnES (K) pS = ES/pS (K),
a simple D(S, K)-module, and the claim holds. Now, we suppose the claim true for
ℓ − 1. Since AnnES (K) pℓ S/ AnnES (K) pℓ−1 S = ES/pS (K), there exists an operator
∂ ∈ D(S, V ) such that
∂v = 1/pℓ x1 · · · xn + w

8

LUIS NÚÑEZ-BETANCOURT AND EMILY E. WITT

for an element w ∈ AnnES (K) pℓ−1 S. Then p∂v ∈ AnnES (K) pℓ−1 S \ AnnES (K) pℓ−2 S.
Thus, there exists an operator δ such that pδ∂v = w by the induction hypothesis,
so 1/pℓ x1 · · · xn = (∂ − pδ∂)v. Therefore, AnnES (K) pℓ = D(S, V ) · 1/pℓ x1 · · · xn ⊆
D(S, V ) · v ⊆ AnnES (K) pℓ , proving our claim.
Since N 6= ES (K), ℓ = inf{j ∈ N | 1/pj x1 · · · xn ∈ N} is a natural number. Hence,
N = D(S, V ) · 1/pℓ x1 · · · xn = AnnES (K) pℓ S.

Lemma 4.3. Let (V, pV, K) be a complete DVR of unramified mixed characteristic
h
L
p > 0, and let S = V [[x1 . . . , xn ]]. Let M ⊆
ES (K) be a D(S, V )-submodule. Then
i=1

·p

M → M is surjective if and only if M is an injective S-module.

·p

Proof. Suppose that M is an injective S-module. Since ES (K) → ES (K) is surjective
L
·p
and M =
ES (K), M → M is also surjective.
ℓ

·p

Now assume that M → M is surjective. We will show that M is injective by contradiction. Suppose that M 6= ES (M). As M is a D(S, V )-module supported only at the
φ

maximal ideal, inj. dim(M) ≤ 1 (cf. [NB12, Zho98]). Let 0 → M → E1 → E2 → 0
be a minimal injective resolution of M; in particular, E2 6= 0. Let µi = ExtiS (K, M).
Now, µ1 is finite and less than or equal to h. Let (−)∗ = HomS (−, ES (K)) be the
φ∗

Matlis duality functor. From the short exact sequence 0 → E2∗ → S µ1 → M ∗ → 0,
we obtain that E2∗ is a free module of finite rank less than or equal to µ1 , so,
µ2
L
ES (K). By Lemma 4.1, φ is given by a µ1 × µ2 -matrix with entries in
E2 =
i=2

V . Thus, φ∗ : S µ2 → S µ1 can be represented as a matrix by the transpose of a matrix
that represents φ. We may consider φ∗ as a map of free V -modules, φ∗ : V µ2 → V µ1 .
By the structure theorem for finitely-generated modules over a principal ideal domain,
there are isomorphisms ϕ1 : V µ1 → V µ1 and ϕ2 : V µ2 → V µ2 , such that ϕ1 φ∗ ϕ2 is a
matrix whose entries are zero off the diagonal. That is, we have
φ∗

V µO 2

V µ1
/

ϕ1

ϕ2

V µ2

ϕ1

φ∗ ϕ

2

/



V µ1

Let a1 , . . . aµ1 ∈ V be the elements on the diagonal of ϕ1 φ∗ ϕ2 , and let v : V → N
be the valuation. Since ES (M) = E1 → E2 is surjective, none of a1 , . . . , aµ1 is zero.
φ

Since E2 6= 0 and the injective resolution 0 → M → E1 → E2 → 0 is minimal,
none of a1 , . . . , aµ1 are units in V . Then a1 , . . . , aµ1 ∈ pV \ {0}. We extend ϕi as a
isomorphism of S-modules, ϕi : S µi → S µi . Then ϕ∗i : Ei → Ei is an isomorphism of
D(S, V )-modules. We obtain the following commutative diagram
0
/

MO

ϕ∗1

0
/

Ker(ϕ∗2 φϕ∗1 )

/

EO 1

φ

E2
/

ϕ∗1

/

E1

/

0

/

0

ϕ∗2
ϕ∗2 φϕ∗1

/



E2

LYUBEZNIK NUMBERS IN MIXED CHARACTERISTIC

9

µ2
µ1L
−µ2
L
AnnES (K) pv(ai ) S which is a contraES (K) +
Therefore, M ∼
= Ker(ϕ∗2 φϕ∗1 ) =
µM
1 −µ2

ES (K) +

µ2
M
i=1

i=1

i=1

i=1

diction because

·p

AnnES (K) pv(ai ) S →

µM
1 −µ2

ES (K) +

i=1

µ2
M

AnnES (K) pv(ai ) S

i=1

is not surjective.



Lemma 4.4. Let (V, pV, K) be a complete DVR of unramified mixed characteristic
p > 0, and let S = V [[x1 . . . , xn ]]. Let m denote the maximal ideal of S, and let I ⊆ S
0
1
be an ideal such that dim(S/I) = 1. Then Hm
HIn (S) = 0 and Hm
HIn (S) ∼
= ER (K).
√
Proof. Let f ∈ m be an element not in any minimal prime of I, so I + f S = m.
We have the following short exact sequence
0 → H n (S) → H n (Sf ) → H n+1 (S) ∼
= ES (K) → 0.
I

I

I+f S

0
0
HIn (Sf ) = 0, which implies that Hm
HIn (S) =
Since f ∈ m and HIn (Sf ) ∼
= HIn (S)f , Hm
1
0. Moreover, Hm
HIn (S) = ES (K).


Lemma 4.5. Let (V, pV, K) be a complete DVR of unramified mixed characteristic
p > 0, and let S = V [[x1 . . . , xn ]]. Let I ⊆ S be an ideal of pure dimension 2. Then
HIn (S) is an injective S-module supported only at the maximal ideal.
·p

Proof. Let R denote S/pS. The short exact sequence 0 → S → S → R → 0
·p
induces the long exact sequence · · · → HIn (S) → HIn (S) → HIn (R)
√ → 0, where
n
HI (R) = 0 by the Hartshorne-Lichtenbaum Vanishing Theorem, as I + pS 6= m.
·p
n
Thus, HIn (S) → HIn (S) is surjective. Now, HIS
(SP ) = 0 for every prime ideal P
P
n
not containing I. If I ⊆ P and P 6= m, then dim(S/P ) = 1 and HIR
(RP ) = 0
P
by the√Hartshorne-Lichtenbaum Vanishing Theorem because I has pure dimension
2 and ISP 6= P SP . Therefore, HIn (R) is a D(S, V )-module supported only at the
maximal ideal. Since dimK Ext0S (K, HIn(S)) is finite, HIn (S) is injective by Lemma
4.3.

Lemma 4.6. Let (V, pV, K) be a complete DVR of unramified mixed characteristic
p > 0, and let S = V [[x1 . . . , xn ]]. Let m denote the maximal ideal of S, and let I ⊆ S
0
1
be an ideal of pure
dimension two. Then Hm
HIn−1(S) = Hm
HIn−1
(S) = 0. Moreover,
L
L
n−1
n
α
2
∼
∼
HI (S) = ES (K)
for some α ∈ N, and Hm HI (S) = ES (K) α+1 . In particular,
n−1
2
Hm HI (S) is an injective S-module.
√
Proof. Let f ∈ m be an element not in any minimal prime of I. Then I + f S 6= m.
Applying the Hartshorne-Lichtenbaum Vanishing Theorem, since HIn (S) is supported
at m by Lemma 4.5, we obtain the exact sequence
n
n
0 → HIn−1(S) → HIn−1 (Sf ) → HI+f
S (S) → HI (S) → 0.

Splitting the sequence into two short exact sequences, we obtain
0 → HIn−1(S) → HIn−1 (Sf ) → M → 0, and

n
n
0 → M → HI+f
S (S) → HI (S) → 0.

10

LUIS NÚÑEZ-BETANCOURT AND EMILY E. WITT

These induce the following long exact sequences:
/

0
Hm
HIn−1 (S)

@A
GF

❵❵❵❵❵/

1
Hm
HIn−1 (S)

@A
GF

❵❵❵❵❵/

2
Hm
HIn−1 (S)

0

/

/

/

0
Hm
HIn−1 (Sf )

/

0
Hm
(M)

1
Hm
HIn−1 (Sf )

/

1
Hm
(M)

2
Hm
HIn−1 (Sf )

/

2
Hm
(M)

BC
ED
BC
ED
/

0,

and
/

0
Hm
(M)

@A
GF

❴❴❴❴❴/

1
Hm
(M)

@A
GF

❴❴❴❴❴/

2
Hm
(M)

0

/

/

/

0
n
Hm
HI+f
S (S)

/

0
Hm
HIn (S)

1
n
Hm
HI+f
S (S)

/

1
Hm
HIn (S)

2
n
Hm
HI+f
S (S)

/

2
Hm
HIn (S)

BC
ED
BC
ED
/

0.

j
0
2
Since all Hm
HIn−1 (Sf ) = 0, we know that Hm
HIn−1(S) = Hm
(M) = 0. Since
0
n
2
n
4.4,
which implies
dim(S/(I + f S)) = 1, Hm
HI+f
(S)
=
H
H
(S)
=
0
by
Lemma
m I+f S
S
n−1
n−1
0
1
2
1
∼
both that Hm (M) = Hm HI (S) = 0 and that Hm (M) = Hm HI (S). In addition,
1
2
Hm
HIn (S) = Hm
HIn (S) = 0 by Lemma 4.5. Thus, we have a short exact sequence
0
2
1
n
0 → Hm
(HIn (S)) → Hm
HIn−1 (S) → Hm
HI+f
S (S) → 0.

and its Bass
By Lemma 4.5, HIn (S) is an injective S-module supported only at m, L
0
n
n
∼
numbers are finite by [Lyu00b, NB12], so Hm HI (S) = HI (S) = ER (K) α for some
1
n
∼
α ∈ N. Moreover, by Lemma 4.4, Hm
HI+f
S (S) = ES (K).
Thus, we have the short exact sequence
L

2
→ Hm
HIn−1 (S) → ES (K) → 0,
L
2
which splits, so that Hm
HIn−1(S) ∼
= ES (K) α+1 .

0 → ES (K)

α



Corollary 4.7. Let (V, pV, K) be a complete DVR of unramified mixed characteristic
p > 0, and let S = V [[x1 . . . , xn ]]. Let I be an ideal of S of pure dimension two. Then
HQj HIi (SQ ) is injective for every prime ideal Q of S.
Proof. This follows from Lemmas 4.4 and 4.6.



Lemma 4.8. Let (V, pV, K) be a complete DVR of unramified mixed characteristic
p > 0, and let S = V [[x1 . . . , xn ]]. Let I be an ideal of S such that dim(S/I) = 2,
0
1
and let m denote its maximal ideal. Then Hm
HIn−1 (S) = Hm
HIn−1 (S) = 0 and
2
Hm
HIn−1 (S) is an injective S-module.
Proof. Let J1 and J2 be two ideals of pure dimensions 1 and 2, respectively, such that
I = J1 ∩ J2 . Using the Mayer-Vietoris sequence of local cohomology, we obtain that
j
j
HIn−1 (S) = HJn−1
(S). Thus, for all j, Hm
(HIn−1 (S)) = Hm
(HJn−1
(S)), and the result
2
2

follows by Lemma 4.6.
Proposition 4.9. Let (V, pV, K) be a complete DVR of unramified mixed characteristic p > 0, and let S = V [[x1 . . . , xn ]]. Let I be an ideal of S such that dim(S/I) = d,

LYUBEZNIK NUMBERS IN MIXED CHARACTERISTIC

11

d
and let m denote its maximal ideal. Then Hm
HIn−d+1(S) is an injective S-module,
j
and Hm
HIn−d+1 (S) = 0 for j > d.

Proof. We proceed by induction on d. If d = 0, 1, or 2, we have the result by Lemmas
4.4 and 4.8. Suppose that d ≥ 3 and the statement holds for d −1. If AssS HIn−d (S) 6=
{m}, we pick an element r ∈ m that is neither in any minimal prime of I, nor of
HIn−d (S), which is possible because AssS HIn−d(S) is finite (cf. [Lyu00b, NB12]). On
the other hand, AssS HIn−d (S) = {m}, we pick an element r ∈ m not in any minimal
d
d−1 n−d+2
j
prime of I. We have that Hm
(HIn−d+1 (S) = Hm
HI+rS (S) and Hm
HIn−d+1 (S) =
j−1 n−d+2
Hm
HI+rS (S) = 0 for j > d as in the proof of [Zha07, Proposition 2.1] because the
conclusions of in [Zha07, Lemmas 2.3 and 2.4] hold in our case. Hence, the result
follows by the induction hypothesis.

Theorem 4.10. Let (S, m, K) be either a regular local ring of unramified mixed characteristic, or a regular local ring containing a field. Let n = dim(S), and let I be an
ideal of S such that dim(S/I) = d. Then inj. dim HIn−d (S) = d.
i
Proof. We need to prove that Extj (RQ /QRQ , HIR
(RQ )) = 0 for every prime ideal
Q
Q of R, all i ∈ N, and all j > d. We may assume that Q is m, the maximal
i
ideal of S, because if Q ( m, then dim RQ /IRQ < d and inj. dimRQ HIR
(RQ ) ≤
Q
i
dimRQ HIRQ (RQ ) ≤ d by [Zho98, Theorem 5.1].
We proceed by induction on n. If n = 0, S is a field and the result follows. Assume
that the statement holds for all such S of dimension less than n.
Since the theorem is already true for regular local rings that contain a field (cf.
[HS93, Lyu93, Lyu00c]), we will focus on the case where S is an unramified regular
local ring of unramified mixed characteristic.
Let E ∗ = E 1 → E 2 → . . . be a minimal injective resolution for HIn−d+1(S). By
[Zho98, Theorem 5.1], E j = 0 for j > d + 1. For every prime ideal Q ⊆ S, SQ is
either an unramified regular local ring of mixed characteristic or a regular local ring
containing a field. Moreover, dim(SQ /ISQ ) ≤ d − 1 for every prime ideal Q ( m.
Thus, (E d )Q = (E d+1 )Q = 0 by the inductive hypothesis. Hence, E d and E d+1 are
supported only at m.
Let M = Im(E d−1 → E d ) = Ker(E d → E d+1 ). It suffices prove that M is an
j
injective S-module. The modules Hm
HIn−d (S) can be computed from the complex
0
0
0
Hm
(E ∗ ) = Hm
(E 1 ) → Hm
(E 2 ) → . . .

0
0
0
0
Let B j = Im (Hm
(E j−1 ) → Hm
(E j )) and Z j = Ker (Hm
(E j ) → Hm
(E j+1 )). Note
that Z d = M since Ed and Ed+1 are supported only at m. Since inj. dim Z j ≤ 1 and
j
inj. dim Hm
HIn−d (S) ≤ 1 by the proof of [Zho98, Theorem 5.1] or by [NB12, Theorem
0.3 ], as in the proof of [Zho98, Theorem 5.1], we obtain that B j is injective from the
following short exact sequences:
0
0 → Z j → Hm
(E j ) → B j → 0, and

j
0 → B j−1 → Z j → Hm
(HIn−d (S)) → 0.

d
Since Hm
HIn−d (S) injective by Proposition 4.9, we know that Z d = M is injective
j
due to the short exact sequence 0 → B d−1 → Z d → Hm
HIn−d (S) → 0. Therefore,
n−d
Ed+1 = 0, so inj. dim HI (S) = d.


12

LUIS NÚÑEZ-BETANCOURT AND EMILY E. WITT

Definition 4.11 (Highest Lyubeznik number in mixed characteristic). For (R, m, K)
a local ring of dimension d such that char(K) = p > 0, the highest Lyubeznik number
ed,d (R).
in mixed characteristic of R is defined as λ
Note that the nomenclature “highest” is justified since e
λi,d (R) = 0 for i > d by
Theorem 4.10. Moreover, we may also justify the following definition:

Definition 4.12 (Lyubeznik table in mixed characteristic). For (R, m, K) a local
ring such that char(K) = p > 0 and d = dim(R), the Lyubeznik table in mixed
e
e
e
characteristic is the (d + 1) × (d + 1) matrix Λ(R),
where Λ(R)
i,j = λi,j (R) for
0 ≤ i, j ≤ d.
Remark 4.13. Recall that for a local ring R of dimension d containing a field,
e
the Lyubeznik table of R is defined as the (d + 1) × (d + 1) matrix Λ(R)
such that
e
Λ(R)i,j = λi,j (R) for 0 ≤ i, j ≤ R. This matrix contains all nonzero Lyubeznik
numbers, and is also upper triangular, since λi,j (R) = 0 if either i > j or j > d
[Lyu93, Properties 4.4i, 4.4ii].
On the other hand, Proposition 3.9 and Theorem 4.10 imply that the Lyubeznik
table in mixed characteristic contain all nonzero Lyubeznik numbers in mixed characteristic. However, Proposition 3.9 only implies that the Lyubeznik table in mixed
characteristic is nonzero below the subdiagonal.
5. Examples in characteristic p > 0 where the equal-characteristic
and the Lyubeznik numbers in mixed characteristic are equal
Lemma 5.1. Let (V, pV, K) be a complete DVR of unramified mixed characteristic
p > 0, and let S = V [[x1 . . . , xn ]]. Let M be an S-module such that dimK ExtiS (K, M)
·p
is finite for all i ∈ N. Suppose that M → M is surjective. Then for all i ∈ N,
dimK ExtiS (K, M) = dimK ExtiS/pS (K, AnnM pS).

Proof. Let R = S/pS and N = AnnM (pS). The short exact sequence 0 → N →
·p
M → M → 0 induces a long exact sequence
·p

0 → Ext0S (K, N) → Ext0S (K, M) → Ext0S (K, M) → Ext1S (K, N) → · · · .

Since multiplication by p is zero on ExtiS (K, M), we have short exact sequences
i
i
0 → Exti−1
S (K, M) → ExtS (K, N) → ExtS (K, M) → 0.

for all i ∈ N. Thus,

dimK ExtiS (K, N) = dimK ExtSi−1 (K, M) + dimK ExtiS (K, M).

We can compute ExtiS (K, N) using the Koszul complex, K, with respect to the sequence p, x1 , . . . , xn in S. On the other hand, we can compute ExtiR (K, N) using the
Koszul complex, K, with respect to the sequence x1 , . . . , xn , in R. Now, K(N) is the
direct sum of K(N) and an indexing shift of the same complex by one. This means
that
i
dimK ExtiS (K, N) = dimK Exti−1
R (K, N) + dimK ExtR (K, N), so
i
i−1
i
dimK Exti−1
S (K, M) + dimK ExtS (K, M) = dimK ExtR (K, N) + dimK ExtR (K, N).

LYUBEZNIK NUMBERS IN MIXED CHARACTERISTIC

13

−1
0
Since dimK Ext−1
S (K, M) = dimK ExtR (K, N) = 0, we know that dimK ExtS (K, M) =
0
i
i
dimK ExtR (K, N) as well. Inductively, dimK ExtS (K, M) = dimK ExtR (K, N) for all
i ∈ N.


Corollary 5.2. Let (V, pV, K) be a complete DVR of unramified mixed characteristic
p > 0, and let S = V [[x1 . . . , xn ]]. Let I be an ideal of S such that S/I is a CohenMacaulay ring of characteristic p. Then for all i, j ∈ N,
n−j
dimK ExtiS/pS (K, HIS/pS
(S/pS)) = dimK ExtiS (K, HIn+1−j (S)).
·p

Proof. Let R = S/pS. The short exact sequence 0 → S → S → R → 0 induces the
short exact sequence
·p

0 → HIn−d(R) → HIn−d+1 (S) → HIn−d+1 (S) → 0

p

since HIn−d+1 (R) = 0 by [PS73, Proposition 4.1]. Since HIn−d (S) = 0 HIi (S) → HIi (S)
is injective for i 6= n − d + 1, and HIn−d(S) = 0. The result then follows from Lemma
5.1.

Proposition 5.3. Let (V, pV, K) be a complete DVR of unramified mixed characteristic p > 0, and let S = V [[x1 . . . , xn ]]. Let I be an ideal of S containing p, such that
dim(S/I) ≤ 2. Then
n−d
dimK ExtdS/pS (K, HIS/pS
(S/pS)) = dimK ExtdS (K, HIn+1−d(S)).

Proof. Let R = S/pS. Consider the following cases.
If dim(S/I) = 0, HIn+1 (S) = ES (K) and HIn (S) = ER (K). Then
n−d
dimK ExtdS/pS (K, HIS/pS
(S/pS)) = dimK ExtdS (K, HIn+1−d(S)) = 1.
·p

If dim(S/I) = 1, the short exact sequence 0 → S → S → R → 0 induces a
·p
long exact sequence 0 → HIn−1(R) → HIn (S) → HIn (S) → 0 by the HartshorneLichtenbaum vanishing theorem. The proposition then follows from Lemma 5.1.
Suppose that dim(S/I) = 2. First assume that I has pure dimension 2. Let α
d sh is the
b \ {m}, where A = R/I
be the number of connected components of Spec(A)
strict Henselization of R/I. In fact, α = dimK Ext2R (K, HIn−2(S/pS)) (cf. [Wal01,
Proposition 2.2]).
We prove the statement by induction on α. If α = 1, the short exact sequence
·p
0 → S → S → R → 0 induces the short exact sequence
·p

0 → HIn−2 (R) → HIn−1 (S) → HIn−1(S) → 0,

since HIn−1(R) = 0 by [HL90, Theorem 2.9]. The proposition then follows from
Lemma 5.1. If α > 1, we pick ideals J1 , . . . , Jα such that I = J1 ∩ . . . ∩ Jα , and each
b \ {m}. Let J denote J1 ∩ . . . ∩ Jα−1 .
Jk defines a connected component of Spec(A)
Using the Mayer-Vietoris sequence, we obtain an isomorphism
HJn−1(S) ⊕ HJn−1
(S) ∼
= HIn−1 (S)
α
√
because J + Jα = m. Then
dimK Ext2S (K, HIn−1(S)) = dimK Ext2S (K, HJn−1(S)) + dimK Ext2S (K, HJn−1
(S)) = α.
α

14

LUIS NÚÑEZ-BETANCOURT AND EMILY E. WITT

By Lemma 4.6, [Lyu93, Lemma 1.4] and [Wal01, Proposition 2.2], the other numbers
are determined by α.
For the general case such that dim(S/I) = 2, let P1 , . . . , Pr be the minimal primes
of dimension one of I, and let Q1 , . . . , Qs be the minimal primes of dimension two of
I. Let J1 = P1 ∩ . . . ∩ Pr and J2 = Q1 ∩ . . . ∩ Qs . We claim that ExtjS (K, HIn−1(S)) =
ExtjS (K, HJn−1
(S)). Let f1 , . . . , fℓ ∈ J2 \I such that I +(f1 , . . . , fℓ )S = J2 . We proceed
2
by induction on ℓ; first assume that ℓ = 1. Since HIn−1 (S) = HJn−1
(S), HIn−1(Sf1 ) = 0.
2
The long exact sequence
/

n−1
HI+f
(S)
1S

GF
@A
❴❴❴❴❴/

n
HI+f
(S)
1S

0

/

HIn−1 (S)
/

HIn (S)

/

HIn−1(Sf1 )
/

BC
ED

HIn (Sf1 )
/

0,

n−1
then indicates both that HI+f
(S) ∼
= HIn−1 (S), and that
1S
n
0 → HI+f
(S) → HIn (S) → HIn (Sf ) → 0
1S

n−1
is exact. Hence, ExtjS (K, HIn−1(S)) = ExtjS (K, HI+f
(S)). Moreover, I + f1 S ⊆ J2
1S
is an ideal of dimension 2, whose minimal primes of dimension 2 are P1 , . . . , Pr . If we
assume that the claim is true for ℓ, the proof for ℓ + 1 is analogous to the previous
part.


Corollary 5.4. Let (R, m, K) be a local ring of characteristic p > 0. If R is a CohenMacaulay ring or if dim R ≤ 2, then for i, j ∈ N, e
λi,j (R) = λi,j (R).
Proof. Since dimension, Cohen-Macaulayness, and both Lyubeznik numbers are preserved after completion, we can assume that R is complete. Then the result follows
from Corollary 5.2 and Proposition 5.3.

6. An example for which the equal-characteristic and the
Lyubeznik numbers in mixed characteristic differ
Throughout this section, we will often refer to the following ring and ideal:
Notation 6.1. Let R = ZQ [x1 , . . . , x6 ], where p = 2 and Q = pZ. Moreover, let I
denote the ideal of R generated by the 11 elements
p, x1 x2 x3 , x1 x2 x4 , x1 x3 x5 , x1 x4 x6 , x1 x5 x6 ,
x2 x3 x6 , x2 x4 x5 , x2 x5 x6 , x3 x4 x5 , x3 x4 x6 .
Remark 6.2. It is easily checked that for I ⊆ R as in Notation 6.1, depthI (R) = 4.
Thus, the short exact sequence 0 → R → Rp → Rp /R → 0 induces the long exact
sequence
(6.2.1)

0 → HI3 (Rp /R) → HI4 (R) → HI4 (Rp ) → HI4 (Rp /R) → · · · .

Since HIi (R) is supported at p ∈ I, for all i ∈ N, HIi (Rp ) = 0, so HIi (Rp /R) ∼
= HIi+1 (R).
Proposition 6.3. With R, p, and I as in Notation 6.1, the map
·p

is not surjective.

HI3 (Rp /R) → HI3 (Rp /R)

LYUBEZNIK NUMBERS IN MIXED CHARACTERISTIC

15

Proof. Since depthI (R) = 4, HI0 (Rp /R) = HI1 (Rp /R) = HI2 (Rp /R) = 0 by the long
exact sequence in local cohomology (see Remark 6.2). For every ℓ ∈ N, the exact
pℓ

sequence 0 → R/pℓ R → Rp /R → Rp /R → 0 induces a long exact sequence
pℓ

∂

0 → HI3 (R/pℓ R) → HI3 (Rp /R) → HI3 (Rp /R) → HI4 (R/pℓ R) → · · · .

(6.3.1)

Note that HI3 (R/pℓ R) = AnnHI3 (Rp /R) (pℓ R).
As the direct limit functor is exact, the limit of the direct system of short exact
·p
sequences in Figure 1 is the short exact sequence 0 → R/pR → Rp /R → Rp /R → 0.
Moreover, HIj (Rp /R) = lim HIj (R/pℓ R).
−→

0
/

·p

R/pR

/

=

0

·p2



·p3

/



/

/

0
/

0

·p



R/p4 R
/



R/p3 R



..
.

0

R/p2 R
/

·p

R/pR

/



R/p3 R
/

R/pR
·p



=

0

/

·p



R/pR
/

R/p2 R



..
.

..
.

Figure 1.
By [SW11, Example 5.10], the Bockstein homomorphism HI3 (R/pℓ R) → HI4 (R/pℓ R)
π
is nonzero, so HI3 (R/p2 R) → HI3 (R/pR) is not surjective by the isomorphism of se·p
quences given in Figure 2. Therefore, AnnHI3 (Rp /R) p2 R → AnnHI3 (Rp /R) pR is not
·p

surjective, so that HI3 (Rp /R) → HI3 (Rp /R) is also not surjective.
0
0
/

/

HI3 (R/pR)


AnnHI3 (Rp /R) pR

·p

/

/

HI3 (R/p2 R)


AnnHI3 (Rp /R) p2 R

π

·p

/

/

HI3(R/p2 R)


AnnHI3 (Rp /R) pR
/

/

0
0

Figure 2.


Remark 6.4. Let R = F2 [y1 , . . . , y5], and let J = (y1 y2 , y2 y3 , y3 y4 , y4y5 , y5 y1 ). Then
J = (y2 , y3 , y5 )∩(y1 , y3, y4 )∩(y1 , y2 , y4)∩(y1 , y3 , y5 )∩(y2 , y4, y5 ). Now, R/J is a graded
Cohen-Macaulay ring of dimension 2, where the classes of y1 + y2 + y3 and y1 + y4 + y5
form a homogeneous system of parameters. Then HJi (R) 6= 0 if only if i = 3 [PS73,
Proposition 4.1]. (See [ÀMGLZA03, Proposition 3.1] for an analog in characteristic
zero.)

16

LUIS NÚÑEZ-BETANCOURT AND EMILY E. WITT

Lemma 6.5. Consider R, p, and I as in Notation 6.1. Then HI4 (R/pR) is supported
only at the maximal ideal (p, x1 , . . . , x6 ).
Proof. Let R denote R/pR. Every associated prime in AssS HI4 (R) has the form
(2, xi1 , . . . , xij )R for some {i1 , . . . ij } ⊆ {1, . . . , 6} by [Yan00, Proposition 2.5] and
[Yan01, Proposition 2.7], as IR is a square-free monomial ideal. Then it suffices to
prove that HI4 (R)xi = 0 for every 1 ≤ i ≤ 6.
We first check that HI4 (R)x6 = 0. Let A = F2 [x1 , . . . , x5 ], and
J = (x1 x2 , x2 x3 , x3 x4 , x4 x5 , x5 x1 ) ⊆ A.
Now, A and J are as in Remark 6.4, so that HJ4 (A) = 0. Since A[x6 ]x6 = Rx6 is
a flat extension, HJ4 (R)x6 = HJ4 (A) ⊗A Rx6 = 0. Note that JRx6 = IRx6 , and so
HI4 (R)x6 = HJ4 (R)x6 = 0. The proof that HI4 (R)xi = 0 for 1 ≤ i ≤ 5 is analogous,
and again relies on Remark 6.4.

bm , where m is the
Corollary 6.6. Take R, p, and I as in Notation 6.1. Let S = R
maximal ideal (p, x1 , . . . , x6 ) of R. Then


·p
Coker HI3 (Sp /S) → HI3 (Sp /S) ∼
= HI4 (S/pS) ∼
= ES/pS (F2 ).
b Q [[x1 , . . . , x6 ]], the power series ring with coefficients in the pProof. Note that S = Z
adic integers. Then S/pS ∼
= F2 [[x1 , . . . , x6 ]], and HI4 (S/pS) is a D(S/pS, F2 )-module
4
supported only atm by Lemma 6.5. Thus, H
 I (S/pS) = ES/pS (F2 ) by [ÀMV, Example
·p

4.6]. Since Coker HI3 (Sp /S) → HI3 (S/pS) is nonzero by Proposition 6.7, and injects
into HI4 (S/pS) = ES/pS (F2 ) by the long exact sequence
·p

0 → HI3 (S/pS) → HI3 (Sp /S)) → HI3 (Sp /S) → HI4 (S/pS)) → . . . ,


·p
we know that Coker HI3 (Sp /S) → HI3 (S/pS) is a nonzero D(S/pS, F2 )-submodule
of ES/pS (F2 ). Hence,


·p
Coker HI3 (Sp /S) → HI3 (Sp /S) ∼
= HI4 (S/pS) ∼
= ES/pS (F2 ),
since ES/pS (F2 ) is a simple D(S/pS, F2 )-module.



Corollary 6.7. There exists a regular local ring S of unramified mixed characteristic
p > 0, with an ideal I of S containing p, so that the map
·p

HI4 (S) → HI4 (S)
is not surjective.
b
Proof. Again, consider R, p, and I as in Notation
 6.1. Let S =Rm , where m =
·p
(p, x1 , . . . , x6 )R. Then by Corollary 6.6, Coker HI4 (S) → HI4 (S) ∼
= ES/pS (F2 ) 6=
0.


LYUBEZNIK NUMBERS IN MIXED CHARACTERISTIC

17

bm , where m =
Proposition 6.8. Take R, p, and I as in Notation 6.1. Let S = R
(p, x1 , . . . , x6 ). Then


0 0 0 0
0 0 0 0

e
Λ(S/IS)
=
0 0 0 0 .
0 0 0 1
Proof. We will abuse notation, using “I” to mean IS. By Corollary 6.6 and Proposition 6.3, we have the short exact sequence
·p

0 → HI3 (S/pS) → HI4 (S) → HI4 (S) → HI4(S/pS) → 0.

We have that HI4 (S) 6= 0 and all other HIi (S) must vanish, since the only way that
·p
HIi (S) → HIi (S) is injective is if HIi (S) = 0. Since Hij (S) 6= 0 if and only if j = 4, the
spectral sequence
p
p+q
p,q
E2p,q = Hm
(HIq (S)) =⇒ Hm
(S) = E∞
3
j
converges at the second stage, so that Hm
HI4 (S) ∼
Hm
HIi (S)
= ES (K), and all other
L
j
j
vanish. Since all Hm
HIi (S) are injective S-modules, Hm
HIi (S) ∼
= ES (K) λi,j (S) as in
the proof of [Lyu93, Lemma 1.4], and the result follows.

Remark 6.9. Together, Proposition 6.8 and [ÀMV, Example 4.6] show that the
Lyubeznik numbers in mixed characteristic are not always the same as the equal characteristic ones. Take I ⊆ R as defined in Notation 6.1. Let S1 = F2 [[x1 , . . . , x6 ]], and
b Q [[x1 , . . . , x6 ]], where Q = 2Z. By [ÀMV, Example 4.6], the Lyubeznik numS2 = Z
bers in equal characteristic 2 are given by


0 0 1 0
0 0 0 0

Λ(S1 /IS1 ) = 
0 0 0 1 .
0 0 0 1

On the other hand, by Proposition 6.8, the Lyubeznik numbers in mixed characteristic
in in mixed characteristic 2,


0 0 0 0


e 2 /IS2 ) = 0 0 0 0 .
Λ(S
0 0 0 0
0 0 0 1

In particular, this is an example of a negative answer for Question 3.8.
The computation in Remark 6.9 is related to work in [ÀMGLZA03].

Theorem 6.10. There exists a regular local ring S of unramified mixed characteristic
p > 0, and an ideal I of S, such that for some i, j ∈ N,
i−1
dimK ExtjS (K, HIi (S)) 6= dimK ExtjS/pS (K, HIS/pS
(S/pS)).

bm , where m = (p, x1 , . . . , x6 ).
Proof. Take R, p, and I as in Notation 6.1. Let S denote R
0
0
5
4
Then dimK ExtR (K, HI (S)) = 0 6= 1 = dimK ExtS/pS (K, HIS/pS
(S/pS)).


18

LUIS NÚÑEZ-BETANCOURT AND EMILY E. WITT

7. Further Questions
Question 7.1. If R is a d-dimensional Cohen-Macaulay local ring containing a field,
Kawasaki showed that λd,d (R) = 1 [Kaw02]. If R is a d-dimensional Cohen-Macaulay
ed,d (R) = 1?
local ring of mixed characteristic, is λ

Question 7.2. Does there exist a local ring R of equal characteristic p > 0 such that
ei,j (R), and both are nonzero (cf. Remark 6.9, Theorem
for some i, j ∈ N, λi,j (R) 6= λ
6.10)?
Question 7.3. Consider a local ring R of characteristic p > 0 such that λi,j (R) 6=
ei,j (R) for some i, j ∈ N. The vanishing of each invariant in Remark 6.9 suggests
λ
that the equal-characteristic invariants might capture some finer information about
R than do the Lyubeznik numbers in mixed characteristic. How can we characterize
this data? On the other hand, do the Lyubeznik numbers in mixed characteristic
capture properties of R that the equal-characteristic Lyubeznik numbers miss?
Question 7.4. Do the Lyubeznik numbers in mixed characteristic have geometric
interpretations?
Acknowledgments
We are grateful to Josep Àlvarez Montaner, Daniel Hernández, Mel Hochster, Gennady Lyubeznik, and Felipe Pérez-Vallejo for their valuable comments and helpful
discussions. We also thank the 2010 AMS Mathematical Research Communities program for supporting meetings between the authors. The first author also thanks the
National Council of Science and Technology of Mexico for support through Grant
210916.
References
[ÀMGLZA03] Josep Àlvarez Montaner, Ricardo Garcı́a López, and Santiago Zarzuela Armengou.
Local cohomology, arrangements of subspaces and monomial ideals. Adv. Math.,
174(1):35–56, 2003. 15, 17
[ÀMV]
J. Àlvarez Montaner and A. Vahidi. Lyubeznik numbers of monomial ideals. Preprint.
2, 16, 17
[BB05]
Manuel Blickle and Raphael Bondu. Local cohomology multiplicities in terms of étale
cohomology. Ann. Inst. Fourier (Grenoble), 55(7):2239–2256, 2005. 1
[Bjö72]
Jan-Erik Björk. The global homological dimension of some algebras of differential
operators. Invent. Math., 17:67–78, 1972. 3
[Coh46]
I. S. Cohen. On the structure and ideal theory of complete local rings. Trans. Amer.
Math. Soc., 59:54–106, 1946. 4
[Cou95]
S. C. Coutinho. A primer of algebraic D-modules, volume 33 of London Mathematical
Society Student Texts. Cambridge University Press, Cambridge, 1995. 3
[GLS98]
R. Garcı́a López and C. Sabbah. Topological computation of local cohomology multiplicities. Collect. Math., 49(2-3):317–324, 1998. Dedicated to the memory of Fernando
Serrano. 1
[Gro67]
A. Grothendieck. Éléments de géométrie algébrique. IV. Étude locale des schémas et
des morphismes de schémas IV. Inst. Hautes Études Sci. Publ. Math., (32):361, 1967.
3
[HL90]
C. Huneke and G. Lyubeznik. On the vanishing of local cohomology modules. Invent.
Math., 102(1):73–93, 1990. 13

LYUBEZNIK NUMBERS IN MIXED CHARACTERISTIC

[HS93]
[Kaw00]
[Kaw02]
[Lyu93]

[Lyu00a]
[Lyu00b]

[Lyu00c]
[NB12]
[NBW12]
[PS73]

[SW11]
[Wal01]
[Yan00]
[Yan01]
[Zha07]
[Zho98]

19

Craig L. Huneke and Rodney Y. Sharp. Bass numbers of local cohomology modules.
Trans. Amer. Math. Soc., 339(2):765–779, 1993. 1, 11
Ken-ichiroh Kawasaki. On the Lyubeznik number of local cohomology modules. Bull.
Nara Univ. Ed. Natur. Sci., 49(2):5–7, 2000. 1
Ken-ichiroh Kawasaki. On the highest Lyubeznik number. Math. Proc. Cambridge
Philos. Soc., 132(3):409–417, 2002. 1, 18
Gennady Lyubeznik. Finiteness properties of local cohomology modules (an application of D-modules to commutative algebra). Invent. Math., 113(1):41–55, 1993. 1, 2,
3, 5, 6, 11, 12, 14, 17
Gennady Lyubeznik. Finiteness properties of local cohomology modules: a
characteristic-free approach. J. Pure Appl. Algebra, 151(1):43–50, 2000. 3
Gennady Lyubeznik. Finiteness properties of local cohomology modules for regular
local rings of mixed characteristic: the unramified case. Comm. Algebra, 28(12):5867–
5882, 2000. Special issue in honor of Robin Hartshorne. 2, 4, 10, 11
Gennady Lyubeznik. Injective dimension of D-modules: a characteristic-free approach. J. Pure Appl. Algebra, 149(2):205–212, 2000. 11
Luis Núñez-Betancourt. Local cohomology modules of polynomial or power series
rings over rings of small dimension. Preprint, 2012. 2, 4, 8, 10, 11
Luis Núñez-Betancourt and Emily E. Witt. Generalized Lyubeznik numbers.
Preprint, 2012. 3, 4
C. Peskine and L. Szpiro. Dimension projective finie et cohomologie locale. Applications à la démonstration de conjectures de M. Auslander, H. Bass et A. Grothendieck.
Inst. Hautes Études Sci. Publ. Math., (42):47–119, 1973. 13, 15
Anurag K. Singh and Uli Walther. Bockstein homomorphisms in local cohomology.
J. Reine Angew. Math., 655:147–164, 2011. 2, 15
Uli Walther. On the Lyubeznik numbers of a local ring. Proc. Amer. Math. Soc.,
129(6):1631–1634 (electronic), 2001. 1, 13, 14
Kohji Yanagawa. Alexander duality for Stanley-Reisner rings and squarefree Nn graded modules. J. Algebra, 225(2):630–645, 2000. 16
Kohji Yanagawa. Bass numbers of local cohomology modules with supports in monomial ideals. Math. Proc. Cambridge Philos. Soc., 131(1):45–60, 2001. 16
Wenliang Zhang. On the highest Lyubeznik number of a local ring. Compos. Math.,
143(1):82–88, 2007. 1, 11
Caijun Zhou. Higher derivations and local cohomology modules. J. Algebra,
201(2):363–372, 1998. 6, 8, 11

Department of Mathematics, University of Michigan, Ann Arbor, MI 481091043, USA.
Email address: luisnub@umich.edu
Department of Mathematics, University of Minnesota, Minneapolis, MN
55455, USA.
Email address: ewitt@umn.edu

