arXiv:1206.4039v3 [math.AG] 18 Nov 2013

The Lemma on b-functions in Positive Characteristic
Theodore J. Stadnik, Jr.∗
Northwestern University and UC Berkeley
Abstract
Let X be an F -finite smooth scheme of essentially finite
type over a perfect field. This article proves the existence
of b-functions for locally finitely generated unit F -modules
when equipped with their induced DX -module structure.
It is shown that the b-function has rational roots and is
determined locally in the étale topology.

Contents
1 Introduction

2

2 Background
2.1 DX in positive characteristic . . . . .
2.2 Unit FX -modules . . . . . . . . . . .
2.3 DX -actions on unit F -modules . . . .
2.4 [ q1e ] powers of (non-unit) submodules
2.5 Minimal generators . . . . . . . . . .
2.6 DeX -submodules of unit F -modules .
2.7 Test ideals and F -jumping exponents.

.
.
.
.
.
.
.

8
9
10
11
13
14
15
15

3 List Test Modules
3.1 Simple list test ideals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 List test modules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16
17
28

4 Actions of Euler Operators
4.1 Analysis of Euler operators . . . . . . . . . . . . . . .
4.2 The b-function of a generating morphism . . . . . . .
4.2.1 The freely generated case in the affine setting
4.2.2 Relationship to list test modules . . . . . . . .
4.2.3 Global b-functions . . . . . . . . . . . . . . . .
4.3 Examples . . . . . . . . . . . . . . . . . . . . . . . .

32
32
33
36
38
39
40

∗

Author partially supported by DMS-0354321

1

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.
.

1

Introduction

The existence of the b-function is an important result in the theory of D-modules in characteristic zero. This polynomial encodes information about singularities of functions, the
nearby and vanishing cycles functors, and Hodge theory. We begin by stating an important
case which motivates this theory.
Theorem. (Bernstein) If f : Cn → C is a meromorphic function then there exists a non-zero
polynomial b(s) ∈ C[s] and a polynomial differential operator P (s) ∈ DCn [s] such that
b(s)f s = P (s)f s+1.
The unique minimal degree monic polynomial with this property is called the Bernstein-Sato
polynomial of f . If Γf : Cn → Cn+1 denotes the graph of f , this theorem can be rephrased
in terms of studying the action of the Euler vector field on the D-module Γf + OX .
The purpose of this article is to define and explore a theory of b-functions for DX -modules
when X is a smooth variety over a field of positive characteristic and DX is Grothendieck’s
ring of differential operators. This paper generalizes the Bernstein-Sato polynomial discovered by M. Mustaţă for Γf + OX [Mus09]. Before explaining the main results of this paper
further, it will be necessary to provide a brief overview of the theory of b-functions over C
and the work of M. Mustaţă in positive characteristic.
Let X be a smooth complex algebraic variety and Z ⊂ X a smooth hypersurface defined
globally by the sheaf of ideals IZ . We let DX denote ring of differential operators. The ideal
sheaf IZ induces a natural filtration on the ring DX defined by
V i DX = {P ∈ DX |P IZj ⊂ IZj+i ∀j}.
This filtration is called the V -filtration on DX . More concretely, if X = Spec(C[x1 , ..., xn , t])
and Z = {t = 0}, then the V -filtration on DX = Chx1 , ..., xn , t, ∂1 , ..., ∂n , ∂t i is given by
placing x1 , .., xn , ∂1 , ..., ∂n in degree 0, t in degree 1 and ∂t in degree −1. The 0th component
of the associated graded module is DZ [−∂t t]. For the benefit of the reader, the remainder of
this introduction will be restricted to this case.
Given a finitely generated DX -module M and an OX -coherent submodule M ⊂ M generatj
ing M as a D-module, we have the DZ [−∂t t]-module NM
= V j DX M/V j+1DX M.
Definition. A b-function (along Z) for a subset M ⊂ M is a (nonzero) polynomial
j
b(s) ∈ C[s] such that b(−∂t t + j) annihilates NM
for all j ∈ Z. The minimal degree monic
polynomial with this property is denoted by bM (s) and is called the b-function.
Definition. The b-function (along Z) for a D-module M is a polynomial b(s) ∈ C[s] with
the following properties.
2

1. If λ is a root of b(s) then Re(λ) ∈ (0, 1].
2. For any (local) finite generating set M ⊂ M such that bM (s) exists, if the real parts
of all the roots of bM (s) are in (0, 1] then bM (s)|b(s).
3. Locally at every point there is a finite generating set M ⊂ M such that bM (s) exists.
4. b(s) is the minimal monic polynomial with the above property.
We denote this polynomial by bM (s) when it exists and is nonzero. It is known that for
all regular holonomic D-modules M the polynomial bM (s) exists [Mal83] [Sab87]. Furthermore, if bM (s) exists then locally bM (s) exists for all (local) finite subsets M ⊂ M. Using
that (DX , V · DX ) is a Noetherian filtered ring, one can show that bM 9s) exists if and only
if (locally) for every (local) generator M ⊂ M there is a nonzero polynomial b(s) such that
b(−t∂t ) annihilates V 0 DX M/V 1 DX M. The theorem presented in this article will closely
resemble this statement.
We now relate the Bernstein-Sato polynomial and the theory of b-functions. Given a regular
function f : AnC → C, consider the DAn+1 -module Γf + OAnC where Γf is the inclusion of the
C
graph. There is an isomorphism of DAn+1 -modules
C

Γf + OAnC ∼
= C[x1 , ..., xn , t,

1
]/C[x1 , ..., xn , t]
f −t

where the D-module structure on the right hand module is via the quotient rule. Let
1
δ ∈ Γf + OAnC denote the image of the class [ f −t
] under this isomorphism. It can be shown
that bδ (s) is the Bernstein-Sato polynomial associated to f . Hence, a reasonable approach
to defining Bernstein-Sato polynomials in positive characteristic would be via analysis of the
action of the Euler operator −∂t t on δ. This was successfully pursued by M. Mustaţă in
[Mus09].
The main obstacle in analyzing the action of the operator −∂t t ∈ DX in characteristic p > 0
is that it satisfies the equation Y p − Y = 0. In order to make a more robust theory, [Mus09]
[pi−1 ] pi−1
considered not only −∂t t but all of the higher Euler operators Θi = ∂t
t . Let W be
any Fp vector space acted on by Θ1 , ..., Θe . For a collection λ1 , ..., λe ∈ Fp we define the
multi-eigenspace
Wλ1 ,...,λe = {v ∈ V |Θi (v) = λi v for all 1 ≤ i ≤ e}.
[Mus09] considered the multi-eigenspaces of the action of the Euler operators on
We (δ) = DeC[x1 ,...,xn] [t, Θ0 , ..., Θe ]δ/DeC[x1 ,...,xn] [t, Θ0 , ..., Θe ]tδ
where DeX is the subalgebra of pe -linear endomorphisms of OX . W e (δ) is intended to serve
as an approximation of the module V 0 Dδ/V 1 Dδ which that is used in characteristic zero. A
priori, each We (δ) could have as many as pe nontrivial multi-eigenspaces. The main result
3

of [Mus09] is that this is not possible and that the nontrivial multi-eigenspaces determine,
and are determined by, a finite set of rational numbers encoding information about the singularities of f .
Theorem 6.7 and 6.9 of [Mus09]. The (nontrivial) multi-eigenspaces are of We (δ) are
completely determined by a finite set of rational numbers (the F -jumping exponents of
f ∈ (0, 1]). This set of numbers is independent of e. It follows that the number of multieigenspaces of We (δ) is uniformly bounded. Moreover, there is an explicit relationship between the multi-eiqenspaces of We+1 (δ) and the multi-eigenspaces of We (δ).
The main theorem of this paper generalizes this result to a special class of DX -modules known
as locally finitely generated unit F m -modules. Contextually, this should be understood as
the positive characteristic analogue of the generalization of Bernstein-Sato polynomials to
regular holonomic DX -modules.
Let R be a commutative domain of prime characteristic p > 0. A unit F m -module over R
is a pair of an R-module M and an isomorphism θ−1 : (FRm )∗ (M) → M where (FRm )∗ is
pullback along the absolute Frobenius m times. Such a morphism θ−1 defines an action of
DX on M by inducing an action by each subalgebra Dme . A unit F m -module is said to be
locally finitely generated if locally near every point there exists a coherent R-module M and
a morphism u : M → (FRm )∗ such that

m ∗
M∼
M →u (FRm )∗ M →(FR ) u (FR2m )∗ M → ....
= lim
−→
e

and the morphism θ−1 matches the natural unit F m structure on the right hand side.

Main Theorem 4.16. (Paraphrased) If X is an F -finite smooth scheme of essentially
finite type over a perfect field k of positive characteristic, Z ⊂ X a smooth hypersurface
defined locally by {t = 0}, and (M, F m) a locally finitely generated unit F m -module locally
generated by A : M → FX∗n M with M is OX -coherent then
[pi ]

i

1. The multi-eigenspaces of the higher Euler operators Θi = ∂t tp acting on
We (A) = V 0 DeX M/V 1 DeX M
determines, and is completely determined by, a finite number of rational numbers in
(0, 1] which are independent of e.
2. The number of nontrivial multi-eigenspaces of We is uniformly bounded (independently
of e).
3. There is an explicit relationship between the non-trivial multi-eigenspaces of We and
We+1 .
4

4. The list of rational numbers associated to the higher Euler operator actions can be
made into a global invariant which is independent of the choice of local generator A.
A secondary purpose of this paper is to further explore the definition of a b-function in
positive characteristic. Roughly speaking, because the actions of the Euler operators on
We (A) are
Q completely determined by a finite set of rational numbers r1 , ..., rj , we want that
bA (s) = i (s − ri ) is the b-function for the generator A. In the characteristic 0 case, it is often too difficult to find the minimal b-function and finding a function slightly bigger suffices.
Therefore in the positive characteristic setting, we would like to be able to explain what it
means for a polynomial bA (s) ∈ R[s] to sufficiently encode the action of the higher Euler
operators on We (A) but perhaps not be a minimal choice. Before we can make a sensible
definition, we will first need to revisit the results of [Mus09] in more depth.
For any regular function f ∈ OX , there is a decreasing family of ideals τ (f λ ) indexed by
λ ∈ R+ which are analogous to multiplier ideals called test ideals [HY03]. If f admits a lift
to Z then for any fixed λ, τ (f λ ) occurs as the mod p reduction of the multiplier ideal for
p ≫ 0. λ ∈ R+ is defined to be an F -jumping exponent if for all ǫ > 0 the containment
τ (f λ−ǫ ) ⊃ τ (f λ ) is proper. It is known that the set of F -jumping exponents is discrete and
rational. In particular, the set of F -jumping exponents in (0, 1] is finite [BMS08]. We can
now restate the main theorem [Mus09] more precisely.
Theorem 6.7 of [Mus09]. If λ is an F -jumping exponent of f contained in (0, 1] uniquely
define integers 0 ≤ ji (λ) < p to be such that

⌈λq e+1 ⌉ − 1 = j0 (λ) + j1 (λ)p + ... + je (λ)pe
Q
is the base p expansion of ⌈λq e+1 ⌉ − 1. If b(s) = (s − λ) where the product is taken over
the F -jumping exponents of f contained in (0, 1] then for each 0 ≤ i ≤ e
M

V 0 DeR δ/V 1 DeR δ =
V 0 DeR δ/V 1 DeR δ j0 (λ),j1 (λ),...,je (λ)
λ
b(λ) = 0
[pi−1 ] pi−1

where Θi = ∂t

t

and δ ∈ (Γf )+ OX the class of

1
.
f −t

Guided by this theorem, we might assume that a reasonable definition for a b-function for
an arbitrary module generated by A : M → FR∗ (M) is any polynomial b(s) such that
M
We (A) =
We (A)j0 (λ),j1 (λ),...,je(λ)
λ
b(λ) = 0
Unfortunately, this notion is overdetermined. To see this, fix the polynomial b(s) and choose
N > 0 such that the tuples (je−N (λ), ..., je (λ)) are distinct for all e ≥ N. We will have
We (A)j0 (λ),j1 (λ),...,je(λ) = We (A)je−N (λ),...,je(λ)
5

Using this we may try to modify our definition for a b-function for A to be any polynomial
b(s) such that there exists N with
M
We (A) =
We (A)je−N (λ),...,je(λ)
λ
b(λ) = 0
for all e ≥ N. This second definition is too weak because we cannot recover the roots of
b(s) from the eigenspace decomposition. Luckily, we can prove something that is neither too
weak nor too strong.
Theorem 4.16. Let R be a commutative F -finite ring which is smooth and of essentially
finite type over a perfect field k and A : M → FX∗n M a root morphism of R[t]-modules. If
M is R[t]-finite then there is a polynomial b(s) and N ∈ Z such that the roots of b(s) are
rational numbers in [0, 1) and
M
We (A) =
We (A)jN (λ),...,je(λ)
λ
b(λ) = 0
for all e ≥ N. This prompts us to make the following definition of a b-function.
Definition. In the above setting, a b-function for the root generator A : M → (FRm )∗ M is
any polynomial b(s) ∈ C[s] such that there exists N and a decomposition
M
We (A) =
We (A)jN (λ),...,je(λ)
λ ∈ [0, 1)
b(λ) = 0
for all e ≥ N. It is clear that the set of all such b-functions forms an ideal in C[s] and we
will call the minimal monic generator of this ideal bA .
Our main theorem can now be restated very simply as the existence of a subtle global invariant.
Main Theorem 4.17. If X is an F -finite smooth scheme of essentially finite type over
a perfect field k of positive characteristic, Z ⊂ X a smooth hypersurface, and (M, F m) a
locally finitely generated unit F m -module then there exists a unique monic polynomial b(s)
with rational roots associated to M such that if (locally) A : M → FXm∗ M is a root generator
of M then b(s) divides bD(m) A (s) for some m ≥ 0.
X

Here are some quick examples.

6

Example from [Mus09]. If R is a commutative regular F -finite ring of essentially finite
type over a perfect field k and
M = (Γf )+ R
with standard F -structure and δ as above then
Y
bδ (s) =
(s − λ)
λ∈S

where the indexing set S is the set of F -jumping exponents for f in [0, 1).
Example 4.21. If R is a commutative regular F -finite ring of essentially finite type over a
perfect field k, pm = 1 mod l, and
√l
M = DR[t] t
m

with standard F m -structure given by h 7→ hp and root generator
This is the same as bC[t,t−1 ]√l t (s) in characteristic zero.

√
l
t

t

then b √l t (s) = s − 1l .1
t

Example 4.22. If R = k[t] with k a perfect field and
m

M = k[t, t−1 , u]/(up + tup

m −1

− t)

with F m -structure given by the pushing forward the obvious F m -structure to k[t, t−1 ].2 The
b-function for the canonical generator divides
Y
a
(s − m ).
p
0≤a<pm
Strategy of proof. The b-function as defined is determined étale locally so if we assume X
is quasi-compact it is enough to prove existence when X = Spec(R[t)] for R a regular ring of
essentially finite type over k and Z = {t = 0}. Furthermore, if M1 ։ M2 then bM2 (s)|bM1 (s)
provided the latter exists. This allows us to further reduce to the case of proving existence
when (M, F ) is generated by a finitely generated free module.
When the generating morphism is A : M → FXm∗ M is free of finite rank l over R[t], we prove
that the actions of the Euler operators on
V 0 DeX M/V 1 DeX M
are completely determined by certain submodules of R⊕l . These submodules will be referred
to as list test modules 3 because they generalize test ideals (see 3.6). For these list test
1

Under the Emerton-Kisin-Riemann-Hilbert correspondence this unit F -module corresponds to a local
system that is tamely ramified at the origin.
2
Under the Emerton-Kisin-Riemann-Hilbert correspondence this unit F -module corresponds to a local
system that is wildly ramified at the origin.
3
The preferred terminology “generalized test ideals” is already in use.

7

modules we define the notion of jumping numbers. The jumping numbers enjoy many of
the formal properties that F -jumping exponents exhibit. Abstractly, it is precisely these
formal properties which allowed [BMS08] to conclude that the F -jumping exponents are
discrete and rational. Thus, the set of jumping numbers for list test modules is discrete
and rational. The polynomial with these jumping numbers as roots will be a nonzero element in the ideal of functions defining bA (s), proving that bA (s) exists and has rational roots.
The layout of the paper is as follows. The second section contains an overview and unification of background material for use later in the paper. The third section is dedicated to the
development of the theory of “list test modules”, their theory of jumping numbers, and the
proof that these numbers are discrete and rational. The fourth section relates the action of
the Euler operators to list test modules, defines the notion of the b-function, and proves its
existence as a consequence of the material in the third section.
Acknowledgments. The authors reliance on the motivation provided by M. Mustaţă’s
analysis in [Mus09] will be clear to the reader. The author would like to thank the referee
for pointing out the reference [Bli08] which helped the author form the global definition
of the b-function. The referee also provided many comments and suggestions which have
undoubtedly improved the presentation of this paper in various locations.
Notation 1.1. Throughout this article the following conventions will be used.
- k is a perfect field of characteristic p.
- q is a power of p
- For a scheme X, FX is the (absolute) q th -power Frobenius map on X given by f 7→ f q .
- R is a regular Noetherian commutative k-algebra and the map FR is finite.
- X is a scheme which occurs as the localization of an F -finite algebraic variety over k.
- DX ⊂ Endk (OX ) is Grothendieck’s sheaf of differential operators.
e

e

- A map of R-modules, T : M → N, is called q e -linear if T (r q m) = r q T (m) for all
r ∈ R and m ∈ M.
Remark 1.2. The use of FX to denote the q th -power Frobenius is slightly nonstandard.
However, in this article it will be convenient to use a notation that allows us to increase the
power of p without complicating the notation.

2

Background

This section will provide background information on the structural properties of certain
DX -modules called unit F -modules. The results in this section are restatements, obvious
8

generalizations, combinations, or immediate corollaries of results contained in [AMBL05],
[Bli08], [BMS09], [EK04], [Haa87], and [Lyu97].

2.1

DX in positive characteristic

Definition 2.1. (The ring of differential operators)
The ring of differential operators (with divided powers) on X inductively by DX ⊂ Endk (OX )
via
DX [0] = {Pf |Pf (g) = f g ∀g ∈ OX }f ∈OX ∼
= OX
DX [i] = {P |[P, Q] = P ◦ Q − Q ◦ P ∈ DX [i − 1]}
and
DX = ∪i DX [i].
Let Endqe (OX ) be the subsheaf of Endk (OX ) of q e -linear endomorphisms of OX . That is,
e
e
P ∈ Endqe (OX ) ⇔ P (f q g) = f q P (g) for all f, g ∈ OX . We denote the subring Endqe (OX )
by DeX .
Theorem 2.2. [Haa87, 1.2.5] DX = ∪e DeX
Definition-Construction 2.3. If S = R[t] then it is not difficult to see that ∂tp = 0 because
every polynomial differentiated p times is either 0 or multiplied by the coefficient p (which
is again 0). Given this fact, we can define a close substitute for this element by
(

n n−pe
r
t
if n ≥ pe
e
[pe ]
p
∂t (rtn ) =
0
if n < pe
We can see that

[pe ]

∂t

∈ DS .

For a rigorous treatment of divided power structures see [BO78].
Finally, it will be useful to understand the behavior of the subalgebras DeX after étale pullback. The next proposition is similar to [Bli08, 2.14].
Proposition 2.4. If π : U → X be an étale neighborhood then
1. π ∗ DeX = DeU .
2. π ∗ HomDeX (OX , −) ∼
= HomDeU (OU , π ∗ (−)).
Proof. See [DI71, 2.4].

9

2.2

Unit FX -modules

Unit F -modules were investigated by G. Lyubeznik in [Lyu97] where many of their fundamental properties were first discovered. Most notably, he defined the notion of a generating
morphism and an F -finite unit F -module. He also studied how F -finite unit F -modules,
which carry a natural structure of DX -modules, had very special properties as DX -modules.
We begin by stating a slight variation on the definition of unit F -modules given in [Lyu97].
Definition 2.5. A unit F -module is a pair (M, F ) of a quasi-coherent OX -module, M, with
an endomorphism F : M → M such that:
1. F (f m) = f q m for all m ∈ M and f ∈ OX .
2. The induced map θ−1 : FX∗ M → M defined locally by θ−1 (f ⊗ m) = f F (m) is an
isomorphism.
There is also a corresponding variation of the construction given for creating unit F -modules.
Definition-Construction 2.6. [Lyu97, 1.9] Let M be a quasi-coherent OX -module and
A : M → FX∗ M a map of OX -modules. Iterating pull-back by the Frobenius map yields the
directed system
A

F ∗ (A)

F 2∗ (A)

X
X
....
FX2∗ M −→
M −→ FX∗ M −→

Let M denote the direct limit of this directed system and µe : FXe∗ M → M the inclusion
maps. By construction, µe+1 ◦ FXe∗ (A) = µe . Define F to be the endomorphism of M given
by F (µe (g ⊗ m)) = µe+1 (g q ⊗ m).
The pair (M, F ) is the unit F -module generated by (M, A).
(M, A) is a generating morphism for (M, F ).
If A is injective the pair (M, A) is a root morphism.
(M, F ) is locally F-finite or locally finitely generated if locally it admits a generating
morphism (M, A) with M OX -coherent.
Notation 2.7. For a generating morphism A : M → FX∗ M we define Ai to be the composition
∗ (A)
2∗ (A)
i∗ (A)
FX
FX
FX
A
(i+1)∗
M −→ FX∗ M −→
FX2∗ M −→
... −→
FX
M.
Remark 2.8. A unit F -module can be regarded as a left module for the sheaf of noncommutative algebras OX {F } which is defined to be the quotient of the free OX -algebra on
the letter F by the two-sided sheaf of ideals generated by {f q F − F f }f ∈OX . It was shown in
[EK04, 6.1.3] that a unit F -module (M, F ) is locally finitely generated over the ring OX {F }
if and only if it is locally F -finite.
10

It will be useful to have a systematic method for changing the unit F -structure and generating morphisms when q is replaced by q γ .
Lemma 2.9. If q ′ = q γ (γ ≥ 1) is a power of q and FX the q ′ th -power Frobenius then
′
any unit F -module (M, F ) naturally determines a unit F γ = F -module structure on M
′
given by (M, F = F γ ). If (M, A) is a generating morphism for (M, F ) then (M, Aγ−1 ) is a
′
generating morphism for (M, F ).
′

2.3

DX -actions on unit F -modules

We will now begin the investigation into the relationship between unit F -modules and DX modules. While this relationship is mentioned in [Lyu97], there is an earlier and more general
categorical approach presented in [Haa87]. The approach of the latter reference is used in
this article to illustrate the category of unit F -modules as a full subcategory of “periodic”
DX -modules.
Remark 2.10. By 2.2, DX ∼
=
= ∪e DeX where DeX = Endqe (OX ). As X is smooth, Endqe (OX ) ∼
e
EndOX (F∗ OX ) is a trivial Azumaya algebra and via the Morita equivalence, the category of
left modules of this ring is equivalent to the the category of left OX -modules.
The previous remark implies that we may view a left DX -module, M, as a quasi-coherent
OX -module with compatible actions of the trivial Azumaya algebra DeX . For each e we can
apply the Morita equivalence functor to obtain a left OX -module Me . The modules will
have certain compatibility properties in terms of e. Hence, we expect that a left DX -module
may be viewed as a system of OX -modules with compatibility conditions. The following
theorem from makes this process precise.
Theorem 2.11. [Haa87, 2.2.4] The category of left DX -modules is equivalent to the category
of diagrams.
... → Mi+1 →φi Mi → ... → M0
subject to the following conditions:
1. Each Mi+1 is a quasi-coherent sheaf on X.
2. φi (f m) = f q φi (m) for all i ≥ 0, f ∈ OX and m ∈ Mi .
3. φi induces an isomorphism FX∗ Mi+1 → Mi defined locally by f ⊗ m 7→ f φi (m).
Remark 2.12. While a proof will not be presented, it will be useful to discuss how from
such a diagram we may construct a DX action on M0 . Given P ∈ DeX and m ∈ M0 , consider
11

the given isomorphism ξ −1 : FXe∗ Me → M0 . FXe∗ Me
define P m = ξ −1 P ξ(m).

4

carries a natural action of DeX and we

Corollary 2.13. A unit F -module, (M, F ), on X has a natural structure of a DX -module.
Proof. Consider the diagram,
F

F

F

F

... −
→M−
→M−
→ ... −
→M
and use the previous theorem.
Remark 2.14. If q ′ is a power of q then changing the q-structure on a unit (M, F )-module
to a q ′ -structure as in 2.9 results in the same DX -structures on the module M.
Proposition 2.15. If (M, F ) is generated by (M, A) then the action of P ∈ Endqe (OX ) on
µ0 (m) is given by P µ0 (m) = µe (P (Ae−1m)) where the action of P on FXe∗ M is the natural
action P (f ⊗ m′ ) = P (f ) ⊗ m′
The next corollary will be useful in understanding the action of the Euler operators in terms
of the generating morphism.
e
Corollary 2.16. If q = pγ , X ′ = X ×k Spec(k[t]), M is a unit FX -module, and {θi }γe
i=1 ∈ DX ′
i−1 [p(i−1) ]
the operators θi = tp ∂t
then

DeX [t, θ1 , ..., θγe ]µ0 (M) = µe (DeX [t, θ1 , ..., θγe ]Ae−1 M)
and
DeX [t, θ1 , ..., θγe ]µ0 (tM) = µe (DeX [t, θ1 , ..., θγe ]tAe−1 M).

In particular, instead of studying the action of the Euler operators on
DeX [t, θ1 , ..., θγe ]µ0 (M)/DeX [t, θ1 , ..., θγe ]µ0 (tM)
it is enough to study their action on
DeX [t, θ1 , ..., θγe ]Ae−1 M/DeX [t, θ1 , ..., θγe ]tAe−1 M.
4

The convention in the labeling of ξ −1 is used to be compatible with the notation in [Lyu97].

12

2.4

[ q1e ] powers of (non-unit) submodules

This section will review and explore fractional powers of (non-unit) submodules of unit F modules. The study of fraction powers of (non-unit) submodules has origins in [AMBL05].
Definition 2.17. If (M, F ) is a unit F -module and N ⊂ M is any subsheaf of OX e
submodules (possibly not unit F ) then define N [q ] to be the image under the restriction of
the structure map FXe∗ N → M of (M, F ′ = F e ) (see 2.9 with γ = e)). We define fractional
1
e
powers by defining N [ qe ] to be the minimal module N ′ with N ′[q ] ⊃ N .
[1 ]
Remark 2.18. Under the Morita identification N ∼
= HomDeX (OX , FXe∗ N ) the sheaf N qe is
identified with the subsheaf HomDeX (OX , DeX N ).

The next proposition shows that these (fractional) powers are stable under étale pull-back.
Proposition 2.19. If (M, F ) is a unit F -module and N ⊂ M any subsheaf of OX submodules (possibly not unit F ) and π : Y → X is a flat morphism then
e

e

1

1

1. π ∗ (N [q ] ) = (π ∗ N )[q ] .
2. π ∗ (N [ qe ] ) = (π ∗ N )[ qe ] if π is étale.
Proof. By replacing q by q ′ = q e , it is enough to prove these statements when e = 1.
1. The unit F structure on π ∗ (M),
ξY−1 : FY∗ (π ∗ M) → π ∗ M,
is defined (locally) by
f ⊗ g ⊗ m 7→ f g p ⊗ F (m).
By definition,
−1
N [q] = Im(ξX
|(FX∗ N ) → M)

and
(π ∗ N )[q] = Im(ξY−1 |(FY∗ π ∗ N ) → π ∗ M)
There is a natural isomorphism η : π ∗ ◦ FX∗ ∼
= FY∗ ◦ π ∗ . This isomorphism has the
−1
−1
property that ξY η(N ) = π ∗ ξX . π ∗ is exact so applying it to the diagram
FX∗ N

−1
|
ξX

։ N [q] ֒→ M

induces the commutative diagram

13

η(N )
∼
=

π ∗ FX∗ N


/

FY∗ π ∗ N .

−1
π ∗ (ξX
|)

π ∗ (N [q] ) 


/



ξY−1 |

π∗M

1

2. Use the definition of N [ q ] given in 2.18 and apply 2.4.
There is also the following generalization of [BMS08, 2.5].
Theorem 2.20. Let l be an integer, (R⊕l , FR⊕l ) the natural unit F -module on R of rank
e
l, and N ⊂ R⊕l a submodule generated by v1 , ..., vn . If FR∗
R is a free R-module with
edim(R)
e
), b1,1 , ..., b1,l , ..., bc,l the corresponding basis for FR∗
R⊕l and
R-basis b1 , ..., bc (c = q
Pc,l
e
vi = j=0,j ′=0 aqi,j,j ′ bj,j ′ then setting wi,j = hai,j,1, ..., ai,j,li we have
1

N [ qe ] =

X

Rwi,j .

i,j

Proof. The proof follows by a direct adaptation of the proof of [BMS08, 2.5]. To ease notation, we again note it is enough to prove the case e = 1.
P
1
The inclusion N [ q ] ⊂ ({wi,j }) is obvious because vi = j bj FR (wi,j ).
The reverse inclusion is a consequence of the following observation. If {bX
j } is the dual basis
′
′[q]
X
of FR∗ R over R, then for any N , N is closed under application of bj (acting along the
′[q]
diagonal). In particular, if N ′[q] ⊃ N then bX
. As FR is faithfully flat,
j (vi ) = FR (wi,j ) ∈ N
′
wi,j ∈ N .

Corollary 2.21. Let R be a polynomial ring, l an integer, and (R⊕l , FR⊕l ) the natural unit
F -module on R of rank l. If N ⊂ R⊕l can be generated by elements of degree at most d,
where the degree of a vector is defined to be the maximum of the degree of each entry, then
1
N [ qe ] can be generated by elements of degree at most ⌊ qde ⌋.
Proof. Follows from 2.20.

2.5

Minimal generators

Before stating a definition we will need a theorem due to M. Blickle which was first proved
in the complete case by G. Lyubeznik.

14

Theorem 2.22. [Bli08, 2.21] For any OX -coherent subsheaf N ⊂ M the descending chain
1

1

N ⊃ N [ q ] ⊃ .... ⊃ N [ qe ] ⊃ ...
stabilizes. Denote by this stable value N [0] .
We begin with the definition of a minimal generator.
Definition 2.23. [Lyu97, 3.6] An OX -coherent subsheaf N ⊂ M is said to be minimal if
N generates M and N = N [0] .
Remark 2.24. Less abstractly, if N ′ ⊂ N both generate M then it must be the case that
1
e
N ′[q ] ⊃ N for some e so N ′ ⊃ N [ qe ] . Thus the definition above precisely states that N is a
minimal generator if none of its proper submodules also generate M.
Theorem 2.25. [Bli08, 2.24] Any locally finitely generated unit F -module M on X admits
a unique minimal coherent root morphism Amin : Mmin → FX∗ Mmin .

2.6

DeX -submodules of unit F -modules

The natural Morita equivalences give an explicit description of the submodule structure. We
put the statement in a format similar to [BMS09, 2.2] for submodules of R equipped with
its canonical unit F -structure.
Theorem 2.26. If (M, F ) is a unit F -module then the DeX -submodules of M are precisely
e
those of the form N [q ] for N a (possibly not unit F ) OX -submodule of M. In particular,
1

the DeX -module generated by N is N [ qe ]

[q e ]

.

Proof. The DeX -structure of M is given by the DeR -structure of F e∗ M after identification
through the eth structure isomorphism. By Morita equivalence, the DeX -submodules of FXe∗ M
are precisely those of the form FXe∗ N for N ⊂ M an OX -submodule. Applying the eth
structure isomorphism to N gives the result. Alternatively, one can modify the proof of
[BMS09, 2.2] to obtain this result by direct computation.

2.7

Test ideals and F -jumping exponents.

Generalized test ideals were introduced by [HY03] as the characteristic p analogues of the
multiplier ideals. In what follows, we will work only with the affine hypersurface case and
follow the presentation of [BMS08]. We refer the interested reader to this source for a detailed analysis. For this subsection, all constructions are considered for R equipped with its
natural unit F -structure.

15

1

Definition 2.27. For f ∈ R and λ ∈ R+ , notice that (f ⌈αq ⌉ )[ qe ] ⊂ (f ⌈αq
e

e

e+1 ⌉

)

[

1
]
q e+1

and define

1

τ (f α ) = ∪e (f ⌈αq ⌉ )[ qe ] .

For α1 ≤ α2 we have τ (f α1 ) ⊃ τ (f α2 ). [BMS08, 2.16] shows that for every α there exists
ǫ > 0 such that τ (f α ) = τ (f α+ǫ ).
Definition 2.28. [BMS08, 2.17] α ∈ R+ is said to be an F -jumping exponent for f if
τ (f α ) 6= τ (f α−ǫ ) for all ǫ > 0. 0 is a jumping exponent by convention.
Remark 2.29. τ (f α+1 ) = f τ (f α ) so α is a jumping exponent if and only if α + 1 is a
jumping exponent.
The following important result will be generalized in this paper.
Theorem 2.30. [BMS09, 1.1] The jumping exponents of F are discrete in R and are rational.
Remark 2.31. A simple compactness argument shows that if α1 < α2 are two F -jumping
exponents with no other F -jumping exponents in (α1 , α2 ) then for any α1 ≤ α < α2 we have

3

List Test Modules

We will now discuss a generalization of the test ideals τ (f α ) which will be used in the next
section to prove the existence of b-functions. The most relevant result of [BMS08] to be generalized in this section is that F -jumping exponents are discrete and rational. Unlike test
ideals, which are defined by two parameters λ and e with λ fixed and e variable but tending
towards ∞, list test modules will exhibit their most interesting behavior by fixing e and
allowing λ to vary. This slight modification of quantifiers requires the analogous definition
of F -jumping exponents to be more analytic in nature. Example 3.6 will detail the relationship between list test modules and generalized test ideals τ (f α ) and includes an analysis of
the relationship between the jumping numbers and F -jumping exponents. The main result
of this section is that the jumping numbers associated to list test modules are discrete and
rational.
List test modules will be determined by a list of matrices. In order to assist the reader, in
the first subsection a thorough investigation of list test modules is done when the matrices in
the list are 1×1 and the list is of length less than q. In this case, they will actually determine
an ideal in R and hence are called “simple list test ideals”. The generalized test ideals τ (f α )
are examples of simple list test ideals. The second subsection contains the generalization of
the important statements from simple list test ideals to the list test modules. The proofs of
the general case are omitted because they follow by the nearly identical arguments.

16

3.1

Simple list test ideals

To provide appropriate motivation for the definition of list test modules and their jumping
numbers, we will first analyze a special case and its relation to test ideals and F -jumping
exponents.
Notation 3.1. We make a small modification of classical notion. Let {Se } a union of finite
subsets of R indexed by N. We say that s is an accumulation point of {Se } if it is an element
of ∩e′ ∪e≥e′ Se . That is, the accumulation points of {Se } are the usual accumulation points of
∪e Se but we also allow limit points of constant sequences as long as the constant is contained
in Se for infinitely many e.
Definition 3.2. Let r0 , ..., rq−1 ∈ R be a list of length q. For each λ ∈ (0, 1] and e ≥ 0
define,
e

I(r0 , ..., rq−1 , λ, e) = (ri0 riq1 ...riqe )

[

1
]
q e+1

where ⌈λq e+1 ⌉ − 1 = i0 + i1 q + ... + ie q e is the unique base q expansion of ⌈λq e+1 ⌉ − 1.
The eth simple list test ideal is,
τ (r0 , ..., rq−1 , λ, e) =

X

I(r0 , ..., rq−1 , λ′ , e).

λ′ ≤λ

This definition can be extended to all λ ∈ R by setting
τ (r0 , ..., rq−1 , λ, e) = τ (r0 , ..., rq−1 , λ0 , e)
where λ0 is the unique representative in (0, 1] of the class λ ∈ R/Z.
Remark 3.3. For fixed λ, the ideals I(r0 , ..., rq−1 , λ, e) decrease as e increases. This implies
that for fixed λ, the simple list test ideals also decrease as e increases. For fixed e, the simple
list test ideals are constructed to increase as λ increases. There is also lower semi-continuity;
for every e and every λ there exists λ′ < λ such that τ (r0 , ..., rq−1 , λ′ , e) = τ (r0 , ..., rq−1, λ, e).
Definition 3.4. For each e, set
Se = {λ ∈ (0, 1)|τ (r0 , ..., rq−1 , λ′ , e) 6= τ (r0 , ..., rq−1 , λ, e)∀1 ≥ λ′ > λ}.
m
It is clear that the set Se is contained in the set { qe+1
|0 < m < q e+1 }.

We define a jumping number for the list r0 , ..., rq−1 to be a non-zero accumulation point
of {Se }. A jumping number is a real number of the form λ = limn→∞ λen for some sequence
λen ∈ Sen and en a strictly increasing sequence of integers. In the extended setting, we say
λ is a jumping number if and only if λ is the integer translate of a jumping number.

17

Remark 3.5. It will be shown in the proofs of 3.11 and 3.13 that when R is of essentially
finite type over k, 0 is never an accumulation point of S. As this is the only case that is of
interest to this article, it is most convenient to exclude 0 from the general definition.
The following theorem will demonstrate that the generalized test ideals τ (f α ) for f ∈ R are
a special case of list test modules. It will also discuss how to recover F -jumping exponents
from the jumping numbers of the associated list test ideals.
Theorem 3.6. If rk = f q−1−k then for all λ ∈ (0, 1]
1. I(r0 , ..., rq−1 , λ, e) = τ (r0 , ..., rq−1 , λ, e)
2. There exists E such that for all e ≥ E and for all α ∈ (0, 1) there exist real numbers
λα,e ∈ (0, 1) with
τ (r0 , ..., rq−1 , λα,e , e) = τ (f α ).
The numbers λα,e can be chosen so that α1 ≥ α2 implies λα1 ,e ≤ λα2 ,e .
3. The jumping numbers of the simple list test ideal in (0, 1) are of the form
λ=1−α
where α is an F -jumping exponent for f contained in (0, 1).
Proof.
1. By direct computation we have
e

I(r0 , ..., rq−1 , λ, e) = (ri0 riq1 ...riqe )

[

1
]
q e+1

= (f

P

a (q−1−ia )q

a

1

[

]

) qe+1 = (f q

e+1 −⌈λq e+1 ⌉

)

[

1
]
q e+1

.

This clearly implies that if λ′ ≤ λ then q e+1 − ⌈λ′ q e+1 ⌉ ≥ q e+1 − ⌈λq e+1 ⌉ and
I(r0 , ..., rq−1 , λ′ , e) = (f q

e+1 −⌈λ′ q e+1 ⌉

[

1

]

) qe+1 ⊂ (f q

e+1 −⌈λq e+1 ⌉

)

[

1
]
q e+1

= I(r0 , ..., rq−1 , λ, e).

We conclude that
τ (r0 , ..., rq−1 , λ, e) =

X

I(r0 , ..., rq−1 , λ′ , e) = I(r0 , ..., rq−1 , λ, e).

λ′ ≤λ

2. By 2.31, it is enough to prove this only when α is an F -jumping exponents in (0, 1).
R is Noetherian so for any F -jumping exponent α ∈ (0, 1) there exists Eα such that
τ (f α ) = (f ⌈αq

e+1 ⌉

[

1

) qe+1

]

for all e ≥ Eα . The set of F -jumping exponents form a discrete set in R+ so there are
only a finite number of F -jumping exponents in (0, 1). Therefore it is possible to fix
18

an integer E larger than all Eα .
Fix an F -jumping exponent α ∈ (0, 1) and e ≥ E. Let ⌈αq e+1 ⌉P
− 1 = i0 + i1 q + ... + ie q e
e+1
denote the base q-expansion of ⌈αq ⌉ − 1. Define λα,e = ek=0 (q − 1 − ik )q k−e−1.
Using 1 and that e ≥ Eα , we have
τ (r0 , ..., rq−1 , λα,e , e) = (f q

e+1 −⌈λq e+1 ⌉

)

[

1
]
q e+1

= (f ⌈αq

e+1 ⌉

[

1

]

) qe+1 = τ (f α ).

3. Part 1: First we will show that if λ ∈ (0, 1) is a jumping number for the simple list
test ideal than λ is of the form 1 − α for α ∈ (0, 1) an F -jumping exponent of f . Write
λ = lime→∞ λen where λen = qemnn+1 ∈ Sen . We want to show that α = 1 − λ is an
F -jumping exponent for f .
Case 1: 1 − qemnn+1 ≥ α for all n ≫ 0.
By [BMS08, 2.14] for very large n, we have
τ (f α ) = (f mn )
Yet

mn
q en +1

[

1
]
q en +1

.

∈ Sen so
[

1

]

τ (f α ) = (f mn ) qen +1 = τ (r0 , ..., rq−1 , 1 −
for all n ≫ 0. We claim that

mn −1
q en +1
mn −1
k
en +1
k

τ (f α ) = τ (f q

mn − 1
mn
,
e
)
(
τ
(r
,
...,
r
,
1
−
, en )
n
0
q−1
q en +1
q en +1

< α for all n ≫ 0; for if not by [BMS08, 2.14],
) = τ (r0 , ..., rq−1 , 1 −

mnk − 1
, enk )
q enk +1

n −1
confor some subsequence nk which would give a contradiction. The sequence m
q en +1
′
α′
verges to α which implies that given α < α and taking n large enough that τ (f ) =
en +1 ⌉ [ 1 ]
n −1
(f ⌈αq
) qen and m
> α′ we find that
q en +1

τ (f α ) ( τ (r0 , ..., rq−1 , 1 −

mn − 1
α′
,
e
)
⊂
τ
(f
).
n
q en +1

Therefore α is an F -jumping exponent.
Case 2: 5 qemnn+1 < α infinitely often.
We may pass to a subsequence and assume for all n the inequality holds.
Fix α′ < α then chosen n large enough that
τ (f α ) = (f ⌈αq
5

en +1 ⌉

)

[

1
]
q en +1

,

We will see in the proofs of 3.11 and 3.13 that the second case is actually null if R is of essentially finite
type over k. In this situation, the proof of the first case shows for very large e, elements of Se are always
1
away from a jumping number.
less than qe+1

19

′ en +1 ⌉

′

τ (f α ) = (f ⌈α q
and α′ <

1

[

]

) qen +1 ,

mn −1
.
q en +1

Similar to the case 1 above, direct computation yields
[

1

]

[

1

]

τ (f α ) ⊃ (f mn −1 ) qen +1 ) (f mn ) qen +1 ⊃ τ (f α ).
′

Therefore α is an F -jumping exponent.
Part 2: We will now show that every F -jumping exponent of f occurs as 1 − λ where
λ is a jumping number.
Suppose α is an F -jumping exponent. We want to show that λ = 1 − α is a jumping
′
number. For each n, there is a number α′ with α − n1 < α′ < α and τ (f α ) 6= τ (f α ).
Inductively, we may choose en ≥ en−1 ≫ 0 such that,
τ (f α ) = (f ⌈αq

en +1 ⌉

)

[

1
]
q en +1

′ en +1 ⌉

( (f ⌈α q

[

1

]

′

) qen +1 = τ (f α ).

In particular, there exists an integer mn with
⌈αq en +1 ⌉ ≥ mn > ⌈(α −

1 en +1
)q
⌉
n

such that
τ (r0 , ..., rq−1 , 1−
Thus 1 −
number.

mn
e +1
qn

mn
mn − 1
[ 1 ]
[ 1 ]
, en ) = (f mn ) qen +1 ( (f mn −1 ) qen +1 = τ (r0 , ..., rq−1 , 1− en +1 , en ).
e
+1
n
q
q

∈ Sen and the sequence 1 −

Proposition 3.7. If λ =
of m−1
is in Se−1 .
qe

m−1
q e+1

mn
q en +1

converges to λ. Thus λ is a jumping

∈ Se and m − 1 is not divisible by q e then the fractional part

Proof. We proceed by proving the contrapositive: If the fractional part of
is not in Se .
then m−1
q e+1
Write m − 1 = i0 + i1 q + .... + ie q e and suppose that,
τ (r0 , ..., rq−1 , λ0 , e − 1) = τ (r0 , ..., rq−1 , λ0 + q −e , e − 1)
where λ0 =

i0 +i1 q+....+ie−1 q e−1
qe

is the fractional part of

20

m−1
.
qe

m−1
qe

is not in Se−1

The goal is to show that
m

τ (r0 , ..., rq−1 ,

q e+1

m−1
, e).
q e+1

, e) ⊂ τ (r0 , ..., rq−1 ,

It is enough to show that
e

(ri0 riq1 ...riqe )
1

[

1
]
q e+1

⊂ τ (r0 , ..., rq−1 ,

m−1
, e).
q e+1

By the equality DeR I = (I [ qe ] )[q ] from 2.26 for any ideal I ⊂ R,
e

τ (r0 , ..., rq−1 , λ0 , e − 1) = τ (r0 , ..., rq−1 , λ0 + q −e , e − 1)
implies
e]

=

τ (r0 , ..., rq−1 , λ0 , e − 1)[q

e]

=

⊂

τ (r0 , ..., rq−1 , λ0 + q −e , e − 1)[q

P

e−1

DeR ri0 riq1 ....riqe−1

e−1

λ′ ≤λ0

DeR rj0 rjq1 ....rjqe−1 .

DeR is defined as the operators which commute with q e powers so
X
e
e
e−1
e−1
DeR ri0 riq1 ....riqe−1 riqe ⊂
DeR rj0 rjq1 ....rjqe−1 riqe .
λ′ ≤λ0

This induces the containment
e−1

e

q
q
q
De+1
R ri0 ri1 ....rie−1 rie ⊂

X

λ′ ≤λ0

e−1

e

q
q
q
De+1
R rj0 rj1 ....rje−1 rie ⊂

X

e−1

e

q
q
q
De+1
R rj0 rj1 ....rje−1 rje

λ′ ≤λ

which by a second application of 2.26 implies that
e

[

1

(ri0 riq1 ...riqe ) qe+1

] [q

e+1 ]

⊂ τ (r0 , ..., rq−1 ,

m − 1 [qe+1 ]
, e)
.
q e+1

The proposition then follows from the faithful flatness of Frobenius.
Corollary 3.8.
1. If λ ∈ (0, 1] is a jumping number for r0 , ..., rq then either the fractional part of qλ is a
jumping number or λ = aq with 0 < a ≤ q.
2. If λ is a jumping number in the extended sense then either qλ is a jumping number or
qλ is an integer. In particular, if qλ is not an integer then the fractional part of qλ is
a jumping number.
21

Proof.
1. We prove that if λ is not of the form
a jumping number.
Claim: There exists a sequence
(a)

mn
q en +1

mn
q en +1

a
q

for 0 < a ≤ q then the fractional part of qλ is

→ λ with

∈ Se n .

(b) en → ∞.

(c) mn is not divisible by q en .

We prove the claim by contradiction. Assume no such sequence exists. As λ is an
accumulation point, we know there is a sequence qemnn+1 converging to λ with qemnn+1 ∈ Sen
and en → ∞. By the contradiction assumption, after dropping finitely many terms,
we may assume mn is always divisible by q en . Write mn = an q en with 0 < an < q an
integer. Dividing both sides by q en and taking the limit shows that
qλ = lim an .
n→∞

The integers an therefore must eventually be the constant a = qλ. In particular, λ = aq ,
a contradiction.
Let qemnn+1 be a sequence as in the claim. By considering a subsequence we may assume
that for all n the integer mn is not divisible by q en . By the previous proposition the
fractional parts of qmenn are in Sen −1 for all n. The sequence qmenn converging to qλ in R
implies that the sequence qmenn converges in R/Z to qλ. As the fractional part of qλ 6= 0,
the fractional part of qλ is the unique (0, 1] representative of qλ ∈ R/Z. Therefore,
the sequence of fractional parts of qmenn converges to the fractional part of qλ and hence
the fractional part of qλ is an accumulation point of S.
2. We proceed by proving if qλ is not an integer then qλ is a jumping number. By assumption, there exists an integer j such that qemnn+1 + j → λ where qemnn+1 ∈ Sen . As qλ
is not an integer, we know that λ − j 6= aq with 0 < a ≤ q.
By 1, the fractional part of qλ − qj is a jumping number. Hence qλ − qj is a jumping
number (in the extended sense) which implies qλ is a jumping number.

22

The next proposition will give us insight into the behavior of list test ideals under the
formation of quotient rings.
Notation 3.9. (Multi-index notation) If x1 , ..., xn ∈ R are elements for any vector of integers
~u = hu1, ..., un i then we define
x~u = xu1 1 xu2 2 ...xunn .
We also define the notation
0 ≤ ~u ≤ β

for β ∈ R to indicate all integer valued vectors ~u = hu1 , ..., un i such that 0 ≤ ui ≤ β for all
1 ≤ i ≤ n.
Proposition 3.10. Fix a regular sequence x1 , ..., xn ∈ R defining a maximal ideal m ⊂ R.
Let Q : R → S = R/(xn ) denote the quotient map and yi = Q(xi ) for 1 ≤ i < n. Suppose
that the following axioms are satisfied.
(e+1)

R is freely generated over R by x~u (in multi-index notation) for 0 ≤ ~u ≤ q e+1 −1.

(e+1)

S is freely generated over S by y~v (in multi-index notation) for 0 ≤ ~v ≤ q e+1 − 1

1. FR∗
2. FS∗

ek ) = 0 for all
If r0 , ..., rq−1 is a list in S and re0 , ..., rg
~ (r
q−1 are representatives in R with P rojxu
th
~u with non-zero n component then
and

−1
I(re0 , ..., rg
q−1 , λ, e) + (xn ) = Q (I(r0 , ..., rq−1 , λ, e))

−1
τ (re0 , ..., rg
q−1 , λ, e) + (xn ) = Q (τ (r0 , ..., rq−1 , λ, e)).

Proof. Write ⌈λq e+1 ⌉ − 1 = i0 + i1 q + ... + ie q e and set
e

We want to show that

[

re = rf
r ie q .
i0 ...f
1

]

[

1

]

r ) qe+1 + (x).
Q−1 ((r) qe+1 ) = (e
(e+1)(n−1)

−1
Reindex the set {x~v | The nth component of ~v is 0 } by {bi }qi=0
. We have that Q(bi )
is a basis for FS∗ S over S and bi xjn for 0 ≤ i < q (e+1)(n−1) and 0 ≤ j < q is a basis for FR∗ R
over R.

P
e+1
Write re = i,j aqij bi xjn then, by the assumption P rojx~u (rek ) = 0 for all ~u with non-zero nth
component, aij = 0 for all j > 0. By 2.20
and

I(r0 , ..., rq−1 , λ, e) = ({ai0 })

I(re0 , ..., rg
q−1 , λ, e) = ({aij }) = ({ai0 }).
23

Thus,
Q−1 (I(r0 , ..., rq−1 , λ, e)) = ({ai0 |0 ≤ i < q e(n−1)−1 } ∪ {xn }) = I(re0 , ..., rg
q−1 , λ, e) + (xn ).

The analogous result for simple list test ideals follows immediately.

Lemma 3.11. If R is a polynomial ring then the jumping numbers for r0 , ..., rq−1 in (0, 1]
are finite and rational.
Proof. Let d be the maximum of the degrees of {ri }. It follows from 2.21 that I(r0 , .., rq−1 , λ, e)
e+1 −1)
can be generated by elements with degree less than or equal to d(q
for any λ or e. These
(q−1)q e+1
numbers increase with e and hence I(r0 , ..., rq−1 , λ, e) can be generated by elements with dee+1 −1)
d
⌋ = ⌊lime d(q
⌋. By construction, the same is true for the
gree less than or equal to ⌊ q−1
(q−1)q e+1
ideals τ (r0 , ..., rq−1 , λ, e).
d
If W is the vector space of polynomials of degree less than or equal to ⌊ q−1
⌋, then

τ (r0 , ..., rq−1 , λ′ , e) = τ (r0 , ..., rq−1 , λ, e)
if and only if they are equal after intersection with W . If we set Wλ,e = τ (r0 , ..., rq−1 , λ, e)∩W ,
then for fixed e the collection {Wλ,e } is a sequence of vector subspaces of W . Therefore the
cardinalities of sets Se are uniformly bounded by the vector space length of W plus one.
Consider the collection of finite sets Te = {0} ∪ Se . This collection of sets has the property
that if t is an accumulation point of {Te } then the fractional part of qt is also an accumulation point by 3.8.
We will say a sequence tn of elements from ∪e Te is strictly decreasing if tn+1 < tn and if each
tn ∈ Ten then en+1 ≥ en . We will now prove that the set {Te } has no strictly decreasing
sequences of length more than length(W )+2 by showing that ∪e Se has no strictly decreasing
sequences of length more than length(W ) + 1.
Let sn ∈ Sen be a sequence of length N ′ with sn+1 < sn and en+1 ≥ en . We have
τ (r0 , ..., rq−1, sn+1 , en+1 ) ⊂ τ (r0 , ..., rq−1 , sn , en+1 ) ⊂ τ (r0 , ..., rq−1 , sn , en )

with the first containment strict as sn+1 ∈ Sen+1 . This gives us the strictly decreasing
sequence with N ′ terms,
... ⊂ τ (r0 , ..., rq−1 , sn+1 , en+1 ) ⊂ τ (r0 , ..., rq−1 , sn , en ) ⊂ ... ⊂ τ (r0 , ..., rq−1, s1 , e1 )
Repeating the argument as before, these containments are strict if and only if they are strict
after intersection with W . This implies N ′ ≤ length(W ) + 1.

24

The sets Te satisfy the axioms of the next proposition and thus the set of its accumulation
points are finite and rational.
Proposition 3.12. If Te ⊂ [0, 1] is a collection of subsets with the properties:
1. There exists N such that {Te } contains no length N sequences tn ∈ Ten with tn+1 < tn
and en+1 ≥ en .
2. If λ is an accumulation point then so is the fractional part of qλ.
then the set of accumulation points of {Te } is a finite set of rational numbers.
Proof. We start by proving the finiteness statement by contradiction. Suppose there are
distinct N + 1 accumulation points labeled in decreasing order λ1 > λ2 > ... > λN +1 .
Choose ǫ small enough so that each accumulation point is at least 3ǫ away from the other
accumulation points. Choose e1 and t1 ∈ Se1 such that |λ − t1 | < ǫ. Inductively, choose
ei+1 ≥ ei and ti+1 ∈ Sei+1 with |λi+1 − ti+1 | < ǫ. Notice that
ti − ti+1 ≥ −|ti − λi | + (λi − λi+1 ) − |ti+1 − λi+1 | ≥ −ǫ + 3ǫ − ǫ = ǫ.
Thus, the ti form a strictly decreasing sequence of length N + 1. A contradiction to the
assumption that our sets satisfy condition 1.
To prove rationality, consider the set of fractional parts of q k λ as k varies. These are all
accumulation points by condition 2. We have already shown that the number of accumulation
points is finite so there must exist n and m such that the fractional parts of q n λ and q m λ are
t
equal. That is, (q n − q m )λ is an integer t. This implies λ is the rational number qn −q
m.
Similar to the proof of the discreteness and rationality of F -jumping exponents in [BMS08],
one can deduce the general case for R a regular F -finite ring of essentially finite type over k,
from the case of the polynomial ring. First, we use the smoothness of R and 2.19 to reduce
to the case of a standard étale neighborhood of a polynomial ring. The result then follows
from the case of a polynomial ring by using 3.10.
Theorem 3.13. If R is smooth and of essentially finite type over k then the (extended)
jumping numbers for the list r0 , ..., rq−1 are discrete and rational.
Proof. As R is smooth and of essentially finite type over k, we may cover X = Spec(R)
by a finite collection of Zariski-open subsets Ui → X where each Ui is a standard étale
neighborhood of an affine open subset of dim(R)-dimensional affine space over k. For any
map Z → X define
Se (Z) = {λ ∈ (0, 1]|τ (r0 , ..., rq−1 , λ′ , e)|Z 6= τ (r0 , ..., rq−1 , λ, e)|Z ∀λ′ > λ}.
By 2.19, it is obvious that Se (id : X → X) = ∪i Se (Ui ). Therefore if λ is an accumulation
point of {Se (id : X → X)} then, because the set {Ui } is finite, λ is an accumulation point
25

of {Se (Ui )} for some i. If S has an infinite number of accumulation points, then for some
i, {Se (Ui )} must have an infinite number of accumulation points. Therefore it is enough to
prove the lemma for each Ui . That is, we may assume X is a standard étale neighborhood
of an affine open subspace of affine space over k.
It is enough to prove the theorem when R is the localization of k[x1 , ..., xn ][t]/(f (t)) with
f (t) an irreducible monic polynomial. By 3.10, it is enough to prove the result when R
is the localization of a polynomial ring and, thus, enough to prove the result when R is a
polynomial ring. This is 3.11.
The next theorem will help us to obtain information about the sets Se solely from the jumping
numbers of {Se }.

Theorem 3.14. If R is smooth and of essentially finite type over k then there exists an
integer N such that for all e ≥ N
⌈λq e+1 ⌉ − a
|λ is a jumping number for r0 , ..., rq−1 , 0 ≤ a < q N }.
q e+1
Proof. The arguments from 3.11 imply that there are no infinite sequences sn ∈ Sen with
sn+1 < sn and en ≥ en+1 .
Se ⊂ {

Claim 1: For any ǫ > 0 such that all the jumping numbers are distance at least 3ǫ away
from each other, there exists Eǫ such that for all e ≥ Eǫ and all s ∈ Se there exists a unique
jumping number λ with 0 ≤ λ − s < ǫ. Note that such an ǫ exists because the jumping
numbers in (0, 1] are a finite set.
To prove this claim, we proceed by contradiction. Suppose that for every E = n we could find
en > E such that for some sn ∈ Sen every jumping number is either more than ǫ away from
sn or is within distance ǫ of sn but is smaller than sn . By passing to a subsequence, we may
assume the sequence sn is either always in an ǫ-neighborhood of a jumping number λ0 < sn
or is always at least ǫ away from any jumping number. By passing to a further subsequence,
we may assume sn converges in [0, 1]. Now in the first case, as all jumping numbers are at
least distance 3ǫ apart, it must be that the numbers converge to λ0 . However, this means
that sn has a strictly decreasing subsequence which can not happen by the proof of 3.11. By
invoking the proof of 3.11, it is not possible that the sequence sn converges to 0. Thus in the
second case, sn converges to a jumping number (by definition) yet is at least ǫ away from all
other jumping numbers. This is also a contradiction and concludes the proof of the first claim.
We claim we can make this statement even stronger.
Choose N ′ ≥ 2 such that any jumping number λ with qλ not an integer is at least q −N −1
away from any number of the form aq with 0 ≤ a ≤ q.
′

26

Claim 2: For every ǫ ∈ (0, q −N ) with all jumping numbers at least distance 3qǫ apart from
each other, 0, and 1 (if it is not already a jumping number) then there exists Nǫ such that
for all e ≥ Nǫ and s ∈ Se there exists a unique jumping number λ with 0 ≤ λ − s < ǫq −e+Nǫ .
′

Fix ǫ as in the hypothesis of claim 2 and choose Eǫ as in claim 1. Set Nǫ = max{Eǫ , N ′ }
and proceed by induction on e ≥ Nǫ .
Base case: If e = Nǫ then we are done because e = Nǫ ≥ Eǫ and s ∈ Se implies there exists
a unique jumping number λ with 0 ≤ λ − s < ǫ = ǫq −e+Nǫ .
Inductive step: Assume for all s ∈ Se−1 (e − 1 ≥ Nǫ ≥ Eǫ ) there exists a unique jumping
number λ such that 0 ≤ λ − s < ǫq −e+1+Nǫ .
Fix s ∈ Se . By claim 1, there exists a unique jumping number λ′ with 0 ≤ λ′ − s < ǫ. We
break into cases.
Case 1: qs is an integer.
Write s = aq for some 0 < a < q e+1 then we have 0 ≤ qλ′ − a < qǫ. Thus, 0 ≤ f r(qλ′) =
f r(qλ′ − a) ≤ qǫ where f r denotes the fractional part. Hence, qλ′ cannot be a jumping
number since all jumping numbers are distance at least 3qǫ away from 0. By 3.8 we are left
′
to conclude that qλ′ is an integer which is qǫ away from a. By choice of ǫ < q −N and N ′ ≥ 2,
qλ′ = a and λ = s.
Case 2: qs is not an integer.
By inductive hypothesis there exists a unique jumping number λ with 0 ≤ λ − f r(qs) ≤
ǫq −e+1+Nǫ .
It is enough to show that s = λ′ −
computation.

λ
q

+ f r(qs)/q because then the result follows from direct

If qλ′ is an integer then,
0 ≤ f r(qλ′ − qs) = 1 − f r(qs) ≤ qǫ
implies by choice of ǫ that λ = 1. If qλ′ is not an integer then by 3.8 and choice of ǫ,
f r(qλ′) = λ. In either situation, we recover that qλ′ − λ = a for some integer a.
Hence,
−qǫ ≤ qλ′ − λ − (qs − f r(qs)) = a − qs + f r(qs) ≤ qǫ

and the middle term is an integer. Since ǫ < q −2 , a = qs − f r(qs) and we are done with the
27

proof of the second claim.
To finish the proof of this theorem, choose ǫ meeting the criteria of claim 2 and choose N ≥ Nǫ
m
so that q N > ⌈ǫq Nǫ+1 ⌉. For e ≥ N and s = qe+1
∈ Se , we have sq e+1 ≤ λq e+1 < sq e+1 +ǫq Nǫ +1 .
Thus,
m =
≤
≤
<

⌈sq e+1 ⌉
⌈λq e+1 ⌉
⌈sq e+1 ⌉ + ⌈ǫq Nǫ +1 ⌉
m + qN

We conclude, ⌈λq e+1 ⌉ ≥ m > ⌈λq e+1 ⌉ − q N .

3.2

List test modules

We will now consider a generalization of simple list test ideals called list test modules.
∞,q−1
Definition 3.15. Let {Ak,n }k,n≥0
∈ Ml (R) be a double-indexed set of matrices with only
finitely many nonzero. These matrices act on the free module M = R⊕l . For a matrix
A(t) ∈ Ml (R[t]) write A(t)[q] for the matrix whose entries are the q th power of the entries of
∗
A(t). If we think of A(t) as an R(t)-linear map A(t) : R[t]⊕l → R[t]⊕l ∼
(R[t]⊕l ) then
= FR[t]
∗
A(t)[q] = F rR[t]
(A(t)). To ease notation, the indexing set will be expanded to all of Z × Z
by setting the undefined indices to be the zero matrix. We will also denote by A(t)e the
e
composition A(t)[q ] ...A(t).

Define polynomials valued in Ml (R) inductively on e by setting
X
Ak,n τ k ,
Hn1 (τ ) =
k

A(t) =

X

Hn1 (tq )tn ,

0≤n<q

and defining Hne (τ ) to be the unique polynomials such that
X
e
A(t)e−1 =
Hne (tq )tn .
0≤n<q e −1

The next lemma shows that there exists a unique minimal N such that for all e and n
Hne (τ ) ∈ Mn (R) ⊕ Mn (R)τ ⊕ ... ⊕ Mn (R)τ N .
For each e ≥ 0 and λ ∈ (0, 1] define the list test module as
28

τ ({Ak,j }, λ, e) =

X

1

e+1
⊕l [ qe+1 ]
(H⌈λ
)
⊂ R⊕lN ∼
= R⊕l ⊕ R⊕l τ ⊕ ... ⊕ R⊕l τ N .
′ q e+1 ⌉−1 (τ )R

λ′ ≤λ

Lemma 3.16. If d = degt (A(t)) then
degτ Hne (τ ) ≤
for all e and n.

d
q−1

Proof. Recall the definition of the polynomials Hne (τ ) as the coefficients in the expansion
A(t)

e−1

= A(t)

[q e−1 ]

...A(t) =

q e −1

X

e

Hne (tq )tn .

n=0

The left side of this equation has t-degree at most

d(q e −1)
.
q−1

Therefore

e

degτ (Hne (τ ))q e ≤ degτ (Hne (τ ))q e + n = degt (Hne (tq )tn ) ≤ degt A(t)e−1 ≤
Dividing by q e yields the desired result.

dq e
.
q−1

Example 3.17. If {Ak,n } be a list of matrices with the following properties,
1. Ak,n = 0 for all k > 0
2. Ak,n ∈ M1 (R) = R (i.e. l = 1)
and we set ri = A0,i then τ ({Ak,n }, λ, e) = τ (r0 , r1 , ..., rq−1 , λ, e) for all λ and e where the
latter ideal is the simple list test ideal.
Proof. First let us prove the formula
e−1

Hie0 +i1 q+...+ie−1 qe−1 (τ ) = ri0 riq1 ...riqe−1

by induction on e.
When e = 1 the formula is clear. Suppose the formula is true for e, that is assume
X
e−1
e−1
ri0 riq1 ...riqe−1 ti0 +i1 q+...+ie−1 q
Ae−1 =
i0 +i1 q+...+ie−1 q e−1

This implies
Ae =

X

X

e−1

ri0 riq1 ...riqe−1 ti0 +i1 q+...+ie−1 q

e−1

e

e

riqe tie q ,

i0 +i1 q+...ie−1 q e−1 ie

which completes the proof by induction.
Plugging this formula back into the definition and taking N = 1 in the definition of list test
ideals we obtain that τ ({Ak,n }, λ, e) = τ (r0 , ..., rq−1 , λ, e).
29

Definition 3.18. Analogously to the simple case, define
Se = {λ|τ ({Ak,n}, λ, e) 6= τ ({Ak,n }, λ′ , e)∀λ′ > λ},
and the set of jumping numbers of {Ak,n } to be the non-zero accumulation points of
{Se }. This definition is extended to all real numbers by defining λ to be a jumping number
if some integer translate of λ is a jumping number.
It will be shown in this section that this set of jumping numbers is again discrete and rational.
First, it will be necessary to generalize the results from the case of simple list test ideals.
Proposition 3.19. If λ is a jumping number for {Ak,n } then either qλ is an integer or qλ is
also a jumping number for {Ak,n }. In particular, if qλ is not an integer then the fractional
part of qλ is a jumping number for {Ak,n }.
Proof. As before we proceed by contraposition and first notice that if we write
X
Bk,β τ k
Hβe−1(τ ) =
k

for any 0 ≤ β < q e−1 then
A[q

e−1 ]

(t)...A(t) =

XXX
n

=

e−1 ]

n+k=j

X X

β

(Hn1 )[q
X

e−1 ]

0≤j0 <q j1 n+k=j0 +j1 q

=

X XXX

0≤j0 <q j1

where G[q
of G.

e−1 ]

e

(tq )tnq

e−1

Bk,β tkq

e−1

tβ

β

X X X
j

=

k

(Hn1 )[q

n

e

(tq )Bk,β tβ+jq

X

(Hn1 )[q

e−1 ]

e−1

e

(tq )Bk,β tβ+j0 q

e−1 +j

1q

e

β

(Hn1 )[q

e−1 ]

e

(tq )Bj0 +j1 q−n,β tβ+j0 q

e−1 +j

1q

e

β

(τ ) is the polynomial whose coefficients are the [q e−1 ] powers of the coefficients

This implies
(∗)

e
Hβ+j
e−1 (τ ) =
0q

XX
j1

(Hn1 )[q

e−1 ]

(τ )Bj0 +j1 q−n,β τ j1 .

n

By flatness of Frobenius and 2.26, for any e and 0 < β < q e−1 ,
τ ({Ak,n },

β+1
β
, e − 2) = τ ({Ak,n }, e−1 , e − 2)
e−1
q
q

if and only if for every v ∈ R⊕l
Hβe−1(τ )v ∈

X

e−1 e−1
DR
Hβ ′ (τ )R⊕l .

β ′ <β

30

β
e−1
In particular, if τ ({Ak,n }, qβ+1
e−1 , e − 2) = τ ({Ak,n }, q e−1 , e − 2) then there exists {Pβ ′ } ⊂ DR
and vβ ′ ∈ R⊕l such that
X
Pβ ′ Bk,β ′ vβ ′ = Bk,β v
β ′ <β

for all k.

If 0 < α < q e , we may write α = β + j0 q e−1 with 0 < β < q e−1 , then
X X
e−1
(Hn1 )[q ] (τ )Bj0 +j1 q−n,β τ j1 v
Hαe (τ )v =
j1 n=j0 +j1 q

=

X

X

j1 n=j0 +j1 q

=

X

β ′ <β

=

X

Pβ ′

X

(Hn1 )[q

e−1 ]

X

(τ )

X

(1)

Pβ ′ Bj0 +j1 q−n,β ′ vβ ′ τ j1

(2)

(τ )Bj0 +j1 q−n,β ′ vβ ′ τ j1

(3)

β ′ <β

(Hn1 )[q

e−1 ]

j1 n=j0 +j1 q

Pβ ′ Hβ1′ +j0 qe−1 (τ )

(4)

β ′ <β

where the equality between (1) and (2) follows from (∗) and the equality between (2) and
(3) follows because Pβ acts on R⊕l through the diagonal action on each entry of R and is
e−1
linear with respect to q e−1 powers by virtue of being in DR
.
Therefore,
τ ({Ak,n },

β + γq e−1 + 1
β + γq e−1 + 1
,
e
−
1)
=
τ
({A
},
, e − 1).
k,n
qe
qe

The proofs of the remaining statements follow from direct and obvious modification of the
simple list test ideal case and replacing 3.7 with the above proposition. As such, they will
not be restated.
Corollary 3.20.
1. If λ ∈ (0, 1] is a jumping number for {Ak,n } then either the fractional part of qλ is a
jumping number or λ = aq with 0 ≤ a < q.
2. If λ is a jumping number in the extended sense then either qλ is a jumping number or
qλ is an integer. In particular, if qλ is not an integer then the fractional part of qλ is
a jumping number.
Remark 3.21. The equation (∗) in 3.19 implies that for fixed λ the ideals τ ({Ak,n }, λ, e)
decrease as e increases.

31

Proposition 3.22. Fix a regular sequence x1 , ..., xn ∈ R defining a maximal ideal m ⊂ R.
Let Q : R → S = R/(xn ) denote the quotient map and yi = Q(xi ) for 1 ≤ i < n. Suppose
that the following axioms are satisfied.
(e+1)

R is freely generated over R by x~u (in multi-index notation) for 0 ≤ ~u ≤ q e+1 −1.

(e+1)

S is freely generated over S by y~v (in multi-index notation) for 0 ≤ ~v ≤ q e+1 − 1

1. FR∗
2. FS∗

g
u
If {Ak,n } is a list in Ml (S) and {A
~ (a) = 0 for all ~
k,n } are representatives in R with P rojxu
th
g
with non-zero n component and for any entry a of Ak,n then
−1
g
τ ({A
k,n }, λ, e) + (xn ) = Q ({Ak,n }, λ, e)).

Lemma 3.23. If R is a polynomial ring then the jumping numbers for {Ak,n } in (0, 1] are
finite and rational.
Theorem 3.24. If R is smooth and of essentially finite type over k then the set of jumping
numbers of {Ak,n } are discrete and rational.
Theorem 3.25. If R is smooth and of essentially finite type over k then there exists an
integer N such that for all e ≥ N
Se ⊂ {

4

⌈λq e+1 ⌉ − a
|λ is a jumping number for {Ak,n }, 0 ≤ a < q N }.
q e+1

Actions of Euler Operators

Throughout this section we fix q and γ such that q = pγ .

4.1

Analysis of Euler operators

Now we set S = R[t] and use the constructions of section 2 but for S in place of R.
[pi−1 ]

i−1

We will now study the actions of the higher Euler operators Θi = ∂t
tp ∈ Endpi (S) =
i−1
i−1 [p
]
DSi . We will also study the actions of the operators θi = tp ∂t
. By Lucas’ theorem, for


n
n+pi−1
any n the identity pi−1 = pi−1 holds in S. It follows that Θi − θi = 1. The operators θi
and Θi satisfy the Artin-Schreier equation xp − x and so their eigenvalues are in Fp .
Definition 4.1. Let V be a Fp -vector space equipped with commuting actions of {θi }γe
i=1
γ
e
(recall
q
=
p
).
Define
0
=
6
v
∈
V
as
an
eigenvector
of
eigenvalue
0
≤
n
<
q
if
when
Pγe−1 l
n = l=0
il p is the base p expansion then v is an eigenvector of eigenvalue il−1 for θl .

32

Remark 4.2. The relation Θi − θi = 1 implies that any Fp vector space with commuting
actions of {θi } P
also has natural commuting actions of {Θi }. v ∈ V is an eigenvector of
γe−1
il pl for {θi } if and only if Θi v = 1 + il−1 v. This observation motivates
eigenvalue n = l=0
the following definition.
Definition 4.3. Let V be a Fp -vector space equipped with commuting P
actions of {Θi }γe
i=1 .
γe−1
e
Define 0 6= v ∈ V as an eigenvector of eigenvalue 0 ≤ n < q if when n = l=0 (p − 1 − jl )pl
is the base p expansion then v is an eigenvector of eigenvalue −jl−1 for Θl for all 1 ≤ l ≤ γe.
Note that this definition is compatible with the definition of the eigenspaces for {Θi } given
in [Mus09].

4.2

The b-function of a generating morphism

We now fix a smooth closed codimension 1 subscheme Z ⊂ X defined locally by the coordinate t = 0. Set
V 0 DeX = {P ∈ DeX |P IZj ⊂ IZj for all j ≥ 1}
and

V 1 DeX = {P ∈ DeX |P IZj−1 ⊂ IZj for all j ≥ 1}.

If X = Spec(R[t]) and Z = {t = 0} then

V 0 DeX = {P ∈ DeX |P IZj ⊂ IZj for all j ≥ 1} = DeR [t, θ1 , ..., θγe ]
and
V 1 DeX = {P ∈ DeX |P IZj−1 ⊂ IZj for all j ≥ 1} = DeR [t, θ1 , ..., θγe ]t.

The local operators θi are well-defined as elements of V 0 DeX /V 1 DeX . In what follows, we only
consider actions by such quotients so we make no distinction between the local operators θi
and their lifts to DeX .
Definition 4.4. (The b-function of a generating morphism) If (M, F ) is a unit FX -module
generated by (M, A) with M coherent over X, define a b-function for ((M, F ), (M, A)) to
be any polynomial b(s) ∈ C[s] with roots in (0, 1] satisfying the following property: If {λi }
denotes the roots of b(1 − s) then there exists an integer N such that for all e ≥ 0, the set
{⌈λi q e ⌉ − a|0 ≤ a < q N } ∪ {0}
contains all possible eigenvalues for the action of {θi } on
V 0 DeX Ae−1 M/V 1 DeX Ae−1 AM.
It is not difficult to check that all polynomials satisfying this property form an ideal in C[s].
If this ideal is not-zero then we say the b-function for A exists and denote the unique minimal
monic generator by bA (s).
Remark 4.5. Clearly bA (s) depends on the generating morphism and q.
33

Remark 4.6. From the definition, it is clear the existence of a nonzero bA (s) is a Zariskilocal property since X is quasi-compact. By 2.4 it is an étale local property of the generator
A.
Remark 4.7. The seemingly unmotivated assumption about the integer N stems from the
fact that the root A could contain nilpotents. The additional flexibility provided by N
ensures that the existence of a b-function is not affected by nilpotents, as will be seen in the
next proposition.
Proposition 4.8.
1. If (M, A) is a root morphism and bA (s) exists then bDm A (s) exists and bDm A (s)|bA (s)
where bDm A (s) is the b-function for the generating morphism F m (A) restricted to
m−1
Dm
M ⊂ FX∗ M.
XA
2. If there is a commutative diagram of generating morphisms on X
MO 1

A1

ι

/

?

FX∗ M1
O

F ∗ι

M2

A2

/

?

FX∗ M2

such that (M2 , A2 ) is minimal and bA2 (s) exists then for some m bDm A1 (s) exists and
bDm (A1 ) (s)|bA2 (s).
Before proving the next proposition, we need a lemma.
Lemma 4.9. Let B ⊂ C is an inclusion of (possibly noncommutative, nonunitary) rings, Q
a C-module, and T ⊂ Q a subset. For s1 , ..., sk ∈ C let B[s1 , ..., sj−1] denote the subalgebra
of C generated by B and s1 , ...sk . If the commutator [c, si ] ∈ B[s1 , ..., si−1 ] for all c ∈
B[s1 , ..., si−1 ] then
k
XX
B[s1 , ..., sk ]T =
sni BT.
n≥0 i=1

Proof. (of 4.8)
1. We wish to study the eigenspaces of {θi }γe
i=1 acting on
e+m−1
(V j DeX )Dm
M
XA

for j = 0, 1.
[p(γm−1) ]

[p]

j e
Using that V j DeX Dm
] (in local coordinates) then by 4.9 we
X = V DX [∂t , ∂t , ..., ∂t
have
γm
XX
[pi−1 ] n j e
j e
m e+m−1
(∂t
V DX DX A
M=
) V DX Ae+m−1 M.
n≥0 i=1

34

[pj−1 ]

γ(e−m)

The operators {θi }i=γm+1 commute with (∂t
)n for any j < γm. Therefore if there
exists a nontrivial eigenspace of value η for the collection {θi }γe
i=γm+1 acting on the
quotient
e+m−1
e+m−1
V 0 DeX Dm
M/V 1 DeX Dm
M
XA
XA
then it must have been true that the η eigenspace of
V 0 DeX Ae+m−1 M/V 1 DeX Ae+m−1 M
is nontrivial.
Therefore it is enough to analyze the action of the operators {θi }γe
i=γm+1 on the latter
quotient. Using that A is injective, we see the nontrivial eigenspaces of this quotient
are exactly the nontrivial eigenspaces of
V 0 DeX Ae−1 M/V 1 DeX Ae−1 M.
m−1
2. As (M, A) is minimal, for some m we have Dm
M2 = F m∗ M2 = Dm
X A1
X A2 M2 .

The next proposition provides a way to simplify the analysis of the existence of b-functions
by reducing to the case when M is free of finite rank.
Proposition 4.10. If there is a commutative diagram of generating morphisms on X
M1

A1

/

FX∗ M1

π



M2

F ∗π
A2

/



FX∗ M2

and bA1 (s) exists then bA2 (s) exists and divides bA1 (s).
Proof.
FXe∗ (π)(V 0 DeX A1e−1 M1 ) = V 0 DeX A2e−1 M2
and
FXe∗ (π)(V 1 DeX A1e−1 M1 ) = V 1 DeX A2e−1 M2
This gives a V 0 DeX -linear map
V 0 DeX A1e−1 M1 /V 1 DeX A2e−1 1M1 ։ V 0 DeX A2e−1 M2 /V 1 DeX A2e−1 M2
which proves the proposition.

35

4.2.1

The freely generated case in the affine setting

It has already been discussed that the existence of b-functions is étale local on X. In light
of 4.10, it is enough to consider the case when X = Spec(R[t]), Z = Spec(R[t]/(t)), and the
generator M is free. We again set S = R[t] throughout this subsection.
Notation 4.11. If A : S ⊕l → S ⊕l and consider A as a matrix of R-valued polynomials in
(e−1)∗
t. We can also consider the composition Ae−1 = FS
(A)...A as a matrix of polynomials.
It will be convenient to decompose these expressions in terms of the degrees of t between 0
and q e − 1. Define Hne (τ ) ∈ Ml (R[τ ]) in the following manner,
X
e
(e−1)∗
Ae−1 = FS
(A)...A =
Hne (tq )tn .
0≤n<q e

Remark 4.12. Lemma 4.16 will show that this choice of notation Hne (τ ) does not conflict
with the notation from section 3.
Lemma 4.13.
DeR [t, θ1 , ..., θγe ]Ae−1 S ⊕l =

X

DeR [t]Hne (tq )tn R⊕l

X

DeR [t]Hne (tq )tn R⊕l ,

e

0≤n<q e

Proof. To show that
DeR [t, θ1 , ..., θγe ]Ae−1 S ⊕l ⊃

e

0≤n<q e
[n]

consider that for each 0 ≤ n < q e the operators tn ∂t are in the ring generated by {θi }ei=1
e
e
e
and Fp . These operators commute with tq . For any v ∈ R⊕l the polynomial Hqee −1 (tq )tq −1 v
e
[q e −1]
is in DeR [t, θ1 , ..., θγe ]Ae−1 S ⊕l because it is equal to tq −1 ∂t
applied to Ae−1 v. If m is an
e
e qe m
integer and {Hne (tq )tn v}n>m is in DeR [t, θ1 , ..., θγe ]Ae−1 S ⊕l then so is Hm
(t )t v because it
m [m] e−1
is a non-zero scalar multiple of the trailing term of t ∂t A v and the higher terms are in
DeR [t, θ1 , ..., θγe ]Ae−1 S ⊕l . The well-ordering principle then proves the containment.
For the opposite containment, first consider that
X
e
Ae−1 S ⊕l ⊂
DeR [t]Hne (tq )tn R⊕l
0≤n<q e

P
e
by the definition of Hne . Thus, it suffices to show that 0≤n<qe DeR [t]Hne (tq )tn R⊕l is a left
DeR [t, θ1 , ..., θγe ]-module. For this, it is only required to show that it is closed under multiplication by θi . By linearity,
it is enough to checkPfor each i, n, d ∈ N, and v ∈ R⊕l that

e
n+d d e q e n
d e qe n
θi t Hn (t )t v = pi−1 t Hn (t )t v is contained in 0≤n<qe DeR [t]Hne (tq )tn R⊕l . This is clear.

36

Theorem 4.14. Consider a unit FS -module (M, F ) generated by A : S ⊕l → S ⊕l . For all
e ≥ 1 and for all 0 ≤ m < q e ,
e
e
DeR H0e (τ )R⊕l + ... + DeR Hm−1
(τ )R⊕l = DeR H0e (τ )R⊕l + ... + DeR Hm
(τ )R⊕l

as subsets of R[τ ]⊕l implies that
(DeR [t, θ1 , ..., θe ]Ae−1 S ⊕n )m = (DeR [t, θ1 , ..., θe ]tAe−1 S ⊕n )m
where subscript m denotes taking the m-th eigenspace for the operators {θi }.
Proof. By the previous lemma,
X

DeR [t, θ1 , ..., θe ]Ae−1 S ⊕l =

e

DeR [t]Hne (tq )tn R⊕l

0≤n<q e

Let x ∈ (DeR [t, θ1 , ..., θγe ]Ae−1 S ⊕l )m and write
X X X
e
e
Pk,n,i (tq )tk Hne (tq )tn vn,i
x=
0≤n<q e

i

0≤k<q e

e

e

where Pk,n,i(tq ) ∈ DeR [tq ] and vn,i ∈ R⊕l .
We may rewrite this sum as
X
x=
i

By Lucas’ theorem

qe

θl Pu−n,n,i (t

X

X

e

e

Pu−n,n,i (tq )Hne (tq )tu vn,i .

0≤u<2q e −1 0≤n<q e

e
)Hne (tq )tu vn,i

=



u

pl−1



e

e

Pu−n,n,i(tq )Hne (tq )tu vn,i .

Yet x lives in the mth eigenspace so in this expansion of x, we can restrict to taking the sum
only over those u which are equal to m modulo q e (of which there are at most two). We get
the expression
!
X
X
X
e
e
e
e
e
x=
Pm−n,n,i (tq )Hne (tq )tm vn,i +
Pm+qe −n,n,i (tq )Hne (tq )tm+q vn,i .
i

0≤n<q e

0≤n<q e
e

Many of these summands are zero because Pk,n,i(tq ) are defined (by convention) to be zero
when k < 0. Thus,
!
X X
X
e
e
e
e
e
x=
Pm−n,n,i (tq )Hne (tq )tm vn,i +
Pm+qe −n,n,i (tq )Hne (tq )tm+q vn,i .
i

m<n<q e

0≤n≤m

37

e

e

For n < m, Hne (tq P
)tm vn,i = tm−n Hne (tq )tn vn,i is in (DeR [t, θ1 , ..., θγe ]tAe−1 S ⊕l )m by the previe
e
e
ous lemma. Also, m<n<qe Pm+qe −n,n,i (tq )Hne (tq )tm+q vn,i is in (DeR [t, θ1 , ..., θγe ]tAe−1 S ⊕l )m .
Thus
that x ∈ (DeR [t, θ1 , ..., θγe ]tAe−1 S ⊕l )m it is enough to show that the mth term
P to show
e
q
e qe m
e
e−1 ⊕l
S )m .
i P0,m,i (t )Hm (t )t vm,i is in (DR [t, θ1 , ..., θγe ]tA

P
e
jq e
Write P0,m,i (tq ) =
where Pj,i ∈ DeR . By assumption, for each i there exist
j Pj,i t
P
e
Qj,w,i ∈ DeR and vj,w,i ∈ R⊕l such that 0≤w<m Qj,w,iHwe (τ )vj,w,i = Pj,i Hm
(τ )vm,i . Setting
e
e
q
jq m
τ = t , multiplying both sides by t t , and summing over i, j we obtain
XX X
XX
e
e
e
e qe m
Qj,w,i tjq tm−w Hw (tq )tw vj,w,i =
Pj,i tjq Hm
(t )t vm,i
i

j

0≤w<m

i

=

X

j

e

e

e q
P0,m,i (tq )Hm
(t )vm,i .

i

By the previous lemma, the left side of the above equation is contained in (DeR [t, θ1 , ..., θγe ]tAe−1 S ⊕l )m
(the sum is over w < m).
Corollary 4.15. If there is a non-zero eigenvector of weight m for the operators {θi } in
DeR [t, θ1 , ..., θe ]Ae−1 S ⊕l /DeR [t, θ1 , ..., θe ]tAe−1 S ⊕l
then
e
e
DeR H0e (τ )R⊕l + ... + DeR Hm−1
(τ )R⊕l 6= DeR H0e (τ )R⊕l + ... + DeR Hm
(τ )R⊕l .

4.2.2

Relationship to list test modules

In this subsection, we continue working in the context of the previous subsection. We will
show, similar to the case of the first local cohomology module, that the (infinite) behavior of
the eigenvalues of {θi } is completely controlled by the jumping numbers of list test modules
when R is smooth and of essentially finite type over k. First, we begin by relating the
eigenvalues to the sets Se .
P
Lemma 4.16. If (M, F ) is generated by (M, A(t)), Hn1 (τ ) = k Ak,n τ k , and Se is the set
associated to {Ak,n } in Section 3, then the eigenvalues of the action of {θi }γe
i=1 on
(e−1)∗

DeR [t, θ1 , ..., θγe ]FS

(e−1)∗

(A)...AS ⊕l /DeR [t, θ1 , ..., θγe ]tFS

(A)...AS ⊕l

are contained in the set {m| qme ∈ Se−1 } ∪ {0}.
e

Proof. In the canonical basis for S ⊕l , F e∗ A = A(t)[q ] in the notation of section 3. The definition of the matrix A(t)e−1 given in Section 3 coincides with the definition of the generator
A(t)e−1 given in Section 4. Hence, the corresponding definitions for Hne (τ ) that we attached
38

to Ae−1 yield the same polynomials Hne (τ ) in the list test module and generating morphism
cases.
By 4.15, if there is a non-zero eigenvector of weight m 6= 0 in

DeR [t, θ1 , ..., θγe ]Ae−1 S ⊕l /DeR [t, θ1 , ..., θγe ]tAe−1 S ⊕l

then
e
e
DeR H0e (τ )R⊕l + ... + DeR Hm−1
(τ )R⊕l 6= DeR H0e (τ )R⊕l + ... + DeR Hm
(τ )R⊕l

which implies

m
m+1
e
e
, e − 1)[q ] 6= τ ({Ak,n },
, e − 1)[q ] .
e
e
q
q
By the faithful flatness of Frobenius, the last inequality is true is if and only if
τ ({Ak,n },

4.2.3

m
qe

∈ Se−1 .

Global b-functions

The next theorem explicitly describes how the jumping numbers control the (infinite) behavior of the eigenvalues of the operators θi when is X is any smooth F -finite scheme of
essentially finite type over k.
Theorem 4.17. Suppose (M, F ) a unit F -module generated on X which is locally generated.
1. For any coherent generator A : M → FX∗ M the polynomial bA (s) exists and has rational
roots.
2. If Amin is the minimal coherent root morphism of M then
(a) bAmin (s) exists and has rational roots.
(b) For any root morphism A : M → FX∗ M, there exists m such that the polynomial
bDm A (s) divides bAmin (s).
Proof.
1. Working étale locally, it will follow directly from 3.25 and 4.16.
2. (a) is clear from 1. (b) follows from 4.8.

As the minimal root generator Amin is a global invariant of the unit F -module (M, F ), the
previous theorem motivates us to make the following definition
Definition 4.18. (The global b-function) If (M, F ) is a locally finitely generated unit F module on X then the global b-function is bM (s) = bAmin (s) where Amin is the unique
minimal coherent root morphism of (M, F ).
39

4.3

Examples

Example 4.19. (Free cyclic generators of low degree) If l = 1 and A(t) : R[t] → R[t] is such
that each Hn1 (τ ) is constant, then the roots of bA (s) are of the form 1 − λ where λ varies
1
over the jumping numbers for the list H01 , ..., Hq−1
. This follows from 3.17. Conversely, given
a list r0P
, ..., rq−1 ∈ R we can construct an associated unit F -module on R[t] generated by
A(t) = 0≤i<q r0 ti : R[t] → R[t] such that bA (s) is determined by the jumping numbers of
the list.
Example 4.20. (The free resolution of the first local cohomology module) Let f ∈ R,
S = R[t], and Γf : Spec(R) → Spec(S) the graph of f . The first local cohomology module
(Γf )+ OX has coherent generator
δ : R = S/(f − t)S → S/(f − t)S = R by p(t) 7→ (f − t)p−1 p(t).
and free resolution d˜ : S → S by multiplication by (f − t)p−1 .
Combining the previous example with 3.6, bδ̃ and bδ (s) have roots contained in the set
of F -jumping exponents of f in [0, 1). In [Mus09] it is shown that the roots of bδ (s) are
precisely the F -jumping exponents of f in [0, 1). This is the characteristic p analogue of the
characteristic 0 statement (see [BS05] or [ELSV04]) that if λ is a jumping exponent then
b(−λ) = 0.
Example 4.21. (Pushforward of rank one tame local systems onto A1 ) Let X = A1 =
Spec(k[t]), U = Spec(k[t, t−1 ]), and m an integer dividing q − 1. Consider the k[t]-module
√
√
q−1 √
M = k[t, t−1 ] m t and its obvious Frobenius map F (f m t) = f q t m m t. This gives M the
structure of a unit F -module on X. M is generated as a unit F -module by the morphism
q−1
Aj : k[t] → k[t] defined as A : f 7→ f tj(q−1)− m for any√j ≥ 1. This generating morphism
√
is the same
as choosing the DX -module generator t−j m t because µ0 (k[t]) = k[t]t−j m t ⊂
√
k[t, t−1 ] m t.
In characteristic 0, bt−j m√t (s) = (s + 1 − j + m1 ) and bC[t,t−1 ] m√t (s) = (s − m1 ). We will show
e
that bAj (s) = (s − m1 ). To ease notation, set βe = j + q m−1 then for all e ≫ 0,
(
0
if n 6= q e − βe
Hne (τ ) =
τ j−1 if n = q e − βe
e

e
Therefore, either using 4.16 or the theory developed for simple list test ideals, Se = { q q−β
}.
e
1
1
The only limit point of the sets {Se } is clearly (1 − m ) and so bAj (s − m ). Notice that this
is independent of j.

Example 4.22. (Pushforward of the wildly-ramified Artin-Schreier local system onto A1 )
Let X = A1 = Spec(k[t]), Z = Spec(k[t]/(t)), and M = k[t, t−1 , u]/(uq +tuq−1 −t) considered
as a k[t]-module with Frobenius morphism F (f (t, u)) = f (t, u)q . This Frobenius makes M
40

into a unit F -module over X which is of rank q over X \ Z. It is the pushforward of the
structure sheaf F -crystal on the étale locus of an Artin-Schreier cover that is wildly ramified
at the origin. A coherent generator 6 of this module is M = k[t]⊕q and
q−1

A(ej ) = t

ej −

j−1  
X
j
i=0

i

tq−1−j+i ei

where is the standard basis e0 , ..., eq−1 of k[t]⊕q .
If we define negative indicies to be 0 then
(
−
Hn1 (τ )ej = Hn1 ej =
ej

j
n+j+1−q


en+j+1−q

n 6= q − 1
n= q−1

and
Hie0 +i1 q+...+ie−1 qe−1 = Hi1e−1 ...Hi11 Hi10 .
The only jumping numbers of the list test module are of the form
Q
It follows that bA (s) divides 0≤a<q (s − aq ).

mq e−1
qe

for 0 < m ≤ q − 1.

References
[AMBL05] Josep Alvarez-Montaner, Manuel Blickle, and Gennady Lyubeznik. Generators
of D-modules in positive characteristic. Math. Res. Lett., 12(4):459–473, 2005.
[Bli08]

Manuel Blickle. Minimal γ-sheaves. Algebra Number Theory, 2(3):347–368, 2008.

[BMS08]

Manuel Blickle, Mircea Mustaţǎ, and Karen E. Smith. Discreteness and rationality of F -thresholds. Michigan Math. J., 57:43–61, 2008. Special volume in
honor of Melvin Hochster.

[BMS09]

Manuel Blickle, Mircea Mustaţă, and Karen E. Smith. F -thresholds of hypersurfaces. Trans. Amer. Math. Soc., 361(12):6549–6565, 2009.

[BO78]

Pierre Berthelot and Arthur Ogus. Notes on crystalline cohomology. Princeton
University Press, Princeton, N.J., 1978.

[BS05]

Nero Budur and Morihiko Saito. Multiplier ideals, V -filtration, and spectrum.
J. Algebraic Geom., 14(2):269–282, 2005.

[DI71]

Frank DeMeyer and Edward Ingraham. Separable algebras over commutative
rings. Lecture Notes in Mathematics, Vol. 181. Springer-Verlag, Berlin, 1971.

6

This is the generator obtained by taking the obvious structure morphism on the Artin-Schreier cover of
P and pushing it forward to A1
1

41

[EK04]

Matthew Emerton and Mark Kisin. The Riemann-Hilbert correspondence for
unit F -crystals. Astérisque, (293):vi+257, 2004.

[ELSV04] Lawrence Ein, Robert Lazarsfeld, Karen E. Smith, and Dror Varolin. Jumping
coefficients of multiplier ideals. Duke Math. J., 123(3):469–506, 2004.
[Haa87]

Burkhard Haastert. Über Differentialoperatoren und D-Moduln in positiver
Charakteristik. Manuscripta Math., 58(4):385–415, 1987.

[HY03]

Nobuo Hara and Ken-Ichi Yoshida. A generalization of tight closure and multiplier ideals. Trans. Amer. Math. Soc., 355(8):3143–3174 (electronic), 2003.

[Lyu97]

Gennady Lyubeznik. F -modules: applications to local cohomology and Dmodules in characteristic p > 0. J. Reine Angew. Math., 491:65–130, 1997.

[Mal83]

B. Malgrange. Polynômes de Bernstein-Sato et cohomologie évanescente. In
Analysis and topology on singular spaces, II, III (Luminy, 1981), volume 101 of
Astérisque, pages 243–267. Soc. Math. France, Paris, 1983.

[Mus09]

Mircea Mustaţă. Bernstein-Sato polynomials in positive characteristic. J. Algebra, 321(1):128–151, 2009.

[Sab87]

C. Sabbah. D-modules et cycles évanescents (d’après B. Malgrange et M. Kashiwara). In Géométrie algébrique et applications, III (La Rábida, 1984), volume 24
of Travaux en Cours, pages 53–98. Hermann, Paris, 1987.

Department of Mathematics, Northwestern University
2033 Sheridan Road, Evanston, IL 60208
E-mail: tstadnik@math.northwestern.edu

42

