F -SINGULARITIES IN FAMILIES

arXiv:1305.1646v3 [math.AG] 3 Oct 2017

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG
Abstract. We study the behavior of test ideals and F -singularities in families. In particular, we
obtain generic (and non-generic) restriction theorems for test ideals and non-F -pure ideals, which
imply for example openness of most of the F -singularity classes when the relative canonical sheaf is
Q-Cartier. Additionally, we study the global behavior of certain canonical linear systems (induced
by Frobenius) associated to adjoint line bundles, in families. As a consequence, we obtain some
positivity results for pushforwards of some adjoint line bundles and for certain subsheaves of these.

Contents
1. Introduction
1.1. Organization
1.2. Acknowledgements
2. Notation and setup
2.13. Composing maps
2.16. Base change of ϕ
2.23. Passing to V ∞ and other perfect points
3. Relative non-F-pure ideals
3.11. Iterated non-F -pure ideals versus the absolute non-F -pure ideal
3.25. Application to sharply F -pure singularities and HSL numbers in families
4. Relative test ideals
4.10. Relative test ideals vs absolute test ideals
4.16. Applications to strong F -regularity and divisor pairs
5. Relative test submodules, F -rationality and F -injectivity
5.1. The definition and basic properties of σn (X/V, ωX/V )
5.6. The definition and basic properties of τn (X/V, ωX/V )
5.12. Applications to families of F -injective and F -rational singularities
6. Global applications
6.1. Basic definitions
6.2. Auxiliary definition and stabilization
6.3. Base-change
6.4. Uniform stabilization
6.5. Global generation and semi-positivity
6.6. Relation to global canonical systems
Appendix A. Relative Serre’s condition
References

2
5
5
5
9
11
14
14
19
27
28
32
33
35
35
37
38
39
39
41
45
47
50
52
56
58

2000 Mathematics Subject Classification. 14B05, 13A35, 14D05, 14F18, 13B40.
Key words and phrases. non-F -pure ideal, test ideal, F -pure, strongly F -regular, F -singularities, flat families.
The second author was partially supported by a Fellowship from the Sloan Foundation as well as NSF grant DMS
#1064485, NSF FRG Grant DMS #1265261/1501115 and NSF CAREER Grant DMS #1252860/1501102.
The third author was partially supported by the NSF grants DMS #1068946/#1247354 and #1606414.
The material is based upon work supported by the National Science Foundation under Grant No. 0932078 000,
while the second and third authors were in residence at the Mathematical Science Research Institute (MSRI) in
Berkeley, California, during the spring semester 2013.
1

2

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

1. Introduction
In [Kun69] Kunz proved that a scheme over a field of characteristic p > 0 is regular if and only if
the Frobenius (endo)morphism is flat, which initiated the study of singularities using the Frobenius
morphism. Classes of singularities defined via the Frobenius morphism are referred to usually as
F -singularities. Since Kunz’s work, the study of F -singularities has become an active research area,
cf. [HR76, GW77, Fed83, MR85, RR85, Sri91, Smi97, Har98, MS97, HY03, Tak04]. However, the
methods of F -singularities have been widely applied to global geometry over a field of positive
characteristic only recently [Sch11a, Mus11, Hac11, MS12, Zha12, CHMS12, Pat12, HX13, Tan13],
at least outside of special classes of varieties [MR85, BK05]. A large field within global geometry is
moduli theory, which requires understanding how varieties behave in flat families. In this direction,
there have not been any positive results on the behavior of test ideals in families. We fill this gap.
Previously F -rational, Cohen-Macaulay F -injective and (Gorenstein) F -pure singularities have
been studied in such a context [Has01, SZ09, Has10]. Additionally, [MY09, Example 4.7] showed
that the test ideal τ does not satisfy the generic restriction theorem, at least as stated for multiplier
ideals [Laz04b, Theorem 9.5.35]. We develop tools tackling this issue, obtaining generic (and nongeneric) restriction theorems for test ideals, see Theorem A below.
In a flat family f : X −
→ V the absolute Frobenius on X does not restrict to the Frobenius
→
morphism on each fiber. Thus we systematically study the relative Frobenius morphism1 X ′ −
X ×V V ′ where X ′ −
→ X and V ′ −
→ V are the Frobenius morphisms of X and V , respectively. Its
fibers over V are morphisms between thickenings of the fibers of f . However, its fibers over V ′ are
exactly Frobenius morphisms of fibers of f (at least over points with perfect residue field).
We begin by stating our main result in the local setting. We denote by X n and V n the domains
of n-iterated Frobenii of X and V respectively. Let τ and σ denote the test ideal2 [HH94] and
non-sharply-F -pure ideal [FST11, BB11], respectively. These ideals play key roles in the theory of
F -singularities, the test ideal τ being the unique smallest non-zero ideal fixed by p−e -linear maps
and σ being the unique largest. We define relative versions of these two ideals by using the relative
instead of absolute Frobenius. The iterated relative Frobenius targets different spaces X ×V V n ,
and so we actually define a sequence ideals, one on each of these spaces. We explain the setup.
Suppose that f : X −
→ V is a finite-type flat, equidimensional, reduced and S2 and G1 morphism of Noetherian F -finite schemes with V integral. Additionally suppose ∆ is a Q-divisor on X
satisfying suitable conditions which allow it to be restricted to fibers and such that KX/V + ∆ is

Q-Cartier with index not divisible by p > 0 so that (pe −1) KX/V + ∆ is Cartier (see Remark 2.11
for a precise statement). Then for each integer n > 0, divisible by e, we define ideals σn (X/V, ∆)
and τn (X/V, ∆) ⊆ OX×V V n called the relative non F -pure and relative test ideals (respectively).
Our main local theorem is that these ideals restrict to absolute non-F -pure and absolute test
ideals on all of the geometric fibers, and can be used to prove generic restriction theorems for the
usual absolute test ideals on X ×V V n at least if V is regular.
Theorem A. (Corollary 3.10, Theorem 3.23, Corollary 4.8, Corollary 4.15) With notation as above,
there exists an N > 0 such that for every perfect point3 s ∈ V , and every n ≥ N
σne (X/V, ∆) · OXsne = σ(Xs , ∆|Xs )
and
τne (X/V, ∆) · OXsne = τ (Xs , ∆|Xs )
where Xsne is the fiber of X ×V V ne −→ V ne over sne ∈ V ne , which is isomorphic to Xs since k(s)
is perfect. Additionally, both σn and τne map surjectively onto their arbitrary base changes.
1Also called the Radu-André morphism, especially in commutative algebra.
2Technically, we are working with what has recently become known as the big test ideal [Hoc07].
3By definition, a morphism Spec K −
→ V from a perfect field K, see Definition 2.2.

F -SINGULARITIES IN FAMILIES

3

Furthermore, if V is regular and N is sufficiently large, then for all perfect points s ∈ V we have
that the absolute non-F -pure ideal restricts to all of the fibers for n ≥ N
σ(X ×V V ne , ∆ ×V V ne ) · OXsne = σ(Xs , ∆|Xs )
and at least for an open dense set of the base U ⊆ V that the same holds for the absolute test ideal
τ (X ×V V ne , ∆ ×V V ne ) · OXsne = τ (Xs , ∆|Xs )
for all perfect points s ∈ U .
Additionally, we show that over a dense open subset U of V with W = f −1 (U ), τne (X/V, ∆)|W
coincides with the absolute test ideal τ (X ×V V ne , ∆ ×V V ne )|W and likewise σne (X/V, ∆)|W =
σ(X ×V V ne , ∆ ×V V ne )|W in Theorem 4.13 and Theorem 3.14 respectively.
The key method that allows to prove this result
 (at least stated for σn ) is that if m > n, then
→ OX×V me ⊇ σme (X/V, ∆) and there is a dense open set
Im σne (X/V, ∆) ⊗OX×V ne OX×V me −
of the base V over which equality holds for all sufficiently large n, this is Proposition 3.3. This
stabilization result should be viewed as a relative version of [HS77, Proposition 1.11], [Lyu97,
Proposition 4.4], and [Gab04, Remark 13.6].
Remark 1.1. If one replaces the divisor ∆ with the language of principal Cartier algebras, then the
previous result still holds without the technical assumptions about divisors from Remark 2.11.
Remark 1.2. There are a number of subtle issues in the statement above that we are suppressing.
In particular, τn (X/V, ∆) depends on the choice of some ideal I contained within the test ideal of
every fiber, and shown to exist in Proposition 4.7.
A particularly important related question is that of deformation of sharply F -pure singularities
in flat families with Q-Cartier relative canonical divisors. This would be important for a positive
characteristic construction of the moduli of stable varieties, also known as the KSBA compactification. In characteristic zero, this is the moduli space given by the log-minimal model program. It
classifies log-canonical models, hence birational equivalence classes of varieties of general type, and
furthermore it contains some nodal varieties for the compactification. There is a conjectural framework of constructing this moduli space [Kol90]. One of the main ingredients in this framework is
to prove that log-canonical singularity deforms in flat families with Q-Cartier relative log-canonical
divisor. An important step in this direction in positive characteristic is the corresponding statement
for sharply F -pure singularities. It is also an important ingredient in an upcoming paper of the
first author where he is planning to address the question of the existence of an algebraic space
structure on the space of sharply F -pure stable varieties. In this paper, we handle the deformation
of F -pure and F -regular singularities. Indeed, openness of F -pure and F -regular singularities is a
direct consequence of Theorem A above.
Theorem B. (Deformation of F -pure and F -regular singularities: Corollary 3.31, Corollary 4.21)
Suppose f : X −→ V and ∆ is as in Theorem A and additionally assume that f is proper. If s ∈ V is
a perfect point and (Xs , ∆|Xs ) is sharply F -pure (respectively, strongly F -regular4) then there exists
an open set U ⊆ V such that for all u ∈ U that (Xu , ∆|Xu ) is also sharply F -pure (respectively,
strongly F -regular).
We also build relative test submodules and non-F -injective submodules of ωX×V V ne /V ne and
prove restriction theorems like Theorem A for them Corollary 5.5 and Corollary 5.10. As a consequence in Theorem 5.16 we reprove a result of M. Hashimoto [Has01], deformation for CohenMacaulay F -injectivity and F -rationality.
Furthermore we apply our setup to global questions. One of the reasons for the recent global
applications of F -singularity theorem is the lifting theorem shown by the second author in [Sch11a,
4In which case, you can even remove the index not divisible by p assumption from K
X/V + ∆, see Corollary 4.22.

4

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Proposition 5.3]. This theorem can be used to replace some of the lifting arguments that use Kodaira
vanishing in characteristic zero. One of the fundamental ideas in [Sch11a] is to try to lift only a big
enough set of sections of adjoint bundles instead of all the sections. This canonical set of sections
for a pair (X, ∆) with (1 − pe )(KX + ∆) Cartier and for a line bundle M is defined as [Sch11a,
Definition 4.1]

\



S 0 X, σ(X, ∆) ⊗ M :=
im H 0 X, F∗me OX ((1 − pme )(KX + ∆)) ⊗ M −
→ H 0 X, M .
m>0

First, we investigate questions about how this canonical space of sections behaves in families:
semicontinuity, stabilization of the intersection, etc.

Theorem C. Let f : X −→ V and ∆ be as in Theorem A, with f projective and V regular. Further,
suppose that M is a line bundle on X such that M − KX/V − ∆ is f -ample (where by M we actually
mean the Cartier divisor corresponding to M ). Then the following statements hold.
(a) [Corollary 6.19, Example 6.22, Example 6.23, Example 6.25], cf. [Har98, Example 5.5], [Tan13,
Theorem 8.3]. The function
(1.2.1)

s 7→ dimk(s) S 0 (Xs , σ(Xs , ∆s ) ⊗ Ms )

is not semicontinuous (here s ∈ V is a perfect point) in either direction, however, there is a
dense open subset U ∈ V , such that the function (1.2.1) is constant on U .
(b) [Theorem 6.18]. There exists n > 0 so that for all integers m ≥ n and perfect points s ∈ V ,

im H 0 (Xs , F∗me OXs ((1 − pme )(KXs + ∆s )) ⊗ Ms ) −→ H 0 (Xs , Ms )
= S 0 (Xs , σ(Xs , ∆s ) ⊗ Ms ).

(c) [Theorem 6.20]. If there is a perfect point s0 ∈ V such that
H 0 (Xs0 , Ms0 ) = S 0 (Xs0 , σ(Xs0 , ∆s0 ) ⊗ Ms0 ),
then there is an open neighborhood U of s0 , such that f∗ M |U is locally free and compatible
with base change and
H 0 (Xs , Ms ) = S 0 (Xs , σ(Xs , ∆s ) ⊗ Ms )
for every perfect point s ∈ U . In particular, the function (1.2.1) is constant for s ∈ U .
We would like to also mention the following natural question left open by Theorem C.
Question 1. Can one remove the f -ampleness assumption from the statements of Theorem C?
By Theorem C, it does make sense to talk about general value of dimk(s) S 0 (Xs , σ(Xs , ∆s ) ⊗ Ms )
in the following theorem.
Theorem D. With assumptions as in Theorem C such that V is projective over a perfect field and
0
(pe − 1)(KX + ∆) is Cartier. Then for every n ≫ 0 there is a subsheaf S∆,ne
f∗ (M ) of (FVne )∗ (f∗ M ),
for which the following holds.
0
f∗ (M ) is the general value of dimk(s) S 0 (Xs , σ(Xs , ∆s ) ⊗
(a) [Corollary 6.19]. The rank of S∆,ne
Ms ).
0
f∗ (M ) is globally generated for
(b) [Proposition 6.26]. If M − KX/V − ∆ is ample, then S∆,ne
every n ≫ 0.
0
(c) [Theorem 6.31]. If M − KX/V − ∆ is nef, then S∆,ne
f∗ (M ) is weakly-positive for n ≫ 0.
l
(d) [Corollary 6.14]. If M = Q ⊗ P where Q is f -ample, then for all l ≫ 0 and nef line bundle
0
P , we have that S∆,ne
f∗ (M ) is contained in (fV ne )∗ (σne (X/V, ∆) ⊗ MV ne ) as subsheaves of
(fV ne )∗ MV ne , and furthermore, these two subsheaves are generically equal.
In fact points (a) and (d) are true without the projectivity assumption on V .

F -SINGULARITIES IN FAMILIES

5

Further, note that if V in Theorem D is a curve, M − KX/V − ∆ is f -ample and nef and there
is a s ∈ V , such that H 0 (Xs , Ms ) = S 0 (Xs , σ(Xs , ∆s )), then points Question 1 and Question 1
of Theorem D with point (1) of Theorem C imply that f∗ OX (M ) is a nef vector bundle. This
strengthens [Pat12, Proposition 3.6], it removes the cohomology vanishing assumption made there.
Of course our statements are considerably stronger. For example with the same assumptions except
replacing H 0 (Xs , Ms ) = S 0 (Xs , σ(Xs , ∆s )) with rk f∗ (σ(X, ∆) ⊗ M ) equals the general value of
S 0 (Xs , σ(Xs , ∆s )), we obtain that f∗ (σ(X, ∆) ⊗ M ) being nef. In fact, the following even stronger
statement can be made.
Theorem E. [Corollary 6.39] With assumptions as in Theorem C such that V is projective over
a prefect field, assume that M − KX/V − ∆ is nef and f -ample and that rk S 0 f∗ (σ(X, ∆) ⊗ M )
equals the general value of H 0 (Xs , σ(Xs , ∆s ) ⊗ Ms ). Then S 0 f∗ (σ(X, ∆) ⊗ M ) is weakly positive.
In particular, if V is a smooth curve then it is a nef vector bundle.
0
Further, we show how S∆,ne
f∗ (M ) relates to the other similar notion S 0 f∗ (σ(X, ∆) ⊗ M ) introduced in [HX13, Definition 2.14]. In particular we obtain that S 0 f∗ (σ(X, ∆) ⊗ M ) does not restrict
to S 0 (Xs , σ(Xs , ∆s ) ⊗ Ms ) in general for general s ∈ S. Intuitively, though S 0 f∗ (σ(X, ∆) ⊗ M ) is
a pushforward, it captures the global geometry of (X, ∆) rather then the geometry of the fibers.
In positive characteristic these two can differ considerably, essentially because the function field of
V is not perfect. Of course the relative and absolute S 0 f∗ are related. We study these similarities
and differences in Section 6.6.

1.1. Organization. In Section 2, we set up notation that we will follow throughout the paper,
explain the interplay between p−e -linear maps and Q-Cartier divisors, and discuss the behaviors of
such maps and divisors under base changes. In Sections 3, 4, and 5, we introduce the relative nonF -pure ideals, the relative test ideals and the relative test submodules, respectively. Applications
to F -singularities in families are discussed in these 3 sections. Section 6 is devoted to the behaviors
of S 0 (introduced in [Sch11a, Definition 4.1]) under base changes. Some semi-positivity results are
also proved in this section. Finally, in the Appendix, we collect some statements that we can not
find proper references for their generality but are needed in our paper.
1.2. Acknowledgements. The authors began working on this project while attending a workshop at the American Institute of Mathematics (AIM) titled “ACC for minimal log discrepancies
and termination of flips”, May 14th – 18th 2012, organized by Tommaso de Fernex and Christopher Hacon. We would like to thank the organizers and the American Institute of Mathematics.
Part of the work was done when the third author visited the Department of Mathematics at
Pennsylvania State University; he would like to thank them for their hospitality. Additionally,
the authors would like to thank Lawrence Ein, Christopher Hacon, János Kollár, Joseph Lipman,
Mircea Mustaţă, and Kevin Tucker for useful discussions. Especially, we would like to thank Brian
Conrad for pointing out compatibility of trace with base change. We would also like to thank
Hiromu Tanaka for comments on a previous draft. Additionally, the authors of the paper would
like to thank Leo Alonso, Damian Rössler, Graham Leuschke and Blup for providing answers
and commentary to the following questions http://mathoverflow.net/questions/120982/ and
http://mathoverflow.net/questions/120625/.
2. Notation and setup
Throughout this paper, all schemes are Noetherian and all maps of schemes are separated. We
fix the following notation, which is in effect for the entire paper. In particular, for simplicity we do
not state it in every statement even though it is assumed.

6

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Notation 2.1. Suppose that f : X −
→ V is a flat, equidimensional and geometrically reduced
map5 of finite type from a scheme X to an excellent integral scheme V of equal characteristic p > 0
with a dualizing complex. We write F e = FVe : V = V e −
→ V as the absolute e-iterated Frobenius
e
on V , form the base change fV e : XV e = X ×V V −
→ V e and define FXe e /V e : X e −
→ XV e to be
the e-iterated relative Frobenius. Furthermore, we often assume that V is F -finite in which case we
q
automatically assume that Frobenius FV : V −
→ V satisfies the following identity6, (FV )! ωV ≃qis
q
ωV . If we say that V is a variety, it is always of finite type over a perfect field k.
Because we will be considering numerous different sheaves on the same topological space X =
X e = X ×V V e = etc., but with respect to different schemes, we will adopt the 
followingsomeand
what nonstandard notation. We use these because otherwise writing numerous FXe e /V e
∗
−1

operations, which do nothing to the underlying space, is confusing. We would need
FXe e /V e
notations for projections of the form X e ×V e V e+d −
→ V e+d , X e in as well as more general relative
e
Frobenii F(X
: (X e )V e+d := X e ×V e V e+d −
→ XV e+d , and maps X e ×V e+d+c −
→ X e ×V e+d .
e)
/V e+d
V e+d
By using simply modules, this becomes more transparent.
(1) We will use R to denote OX .
(2) We will use A to denote f −1 OV .
e
(3) We will use A1/p to denote f −1 (FVe )∗ OV . We note that this is not an abuse of notation
since V is integral.
e
(4) We will use R1/p to denote (FXe )∗ R. This is a slight abuse of notation if X is not reduced.
e
(5) We will use RA1/pe to denote R ⊗A A1/p .
d
e+d
d
(6) We will use (RA1/pe )1/p to denote R1/p ⊗A1/pd A1/p . This may be a slight abuse of
notation if XV e is not reduced.
e
(7) Given R-module M , we will use M 1/p to denote F∗e M . This will generally not cause any
confusion because typically M will be locally free or even a line bundle.
(8) We use ωR to denote ωX and ωA to denote f −1 ωV .
(9) Etc.
Some of the main results of the paper concern restriction to fibers. These statements pertain only
to a special set of fibers of f , the fibers over perfect points (see definition below). For example, if
V is a curve over an algebraically closed field, then often we restrict to fibers over all closed points
and the perfect closure of the generic point of V , but not the generic point itself.
Definition 2.2 (Perfect points). A perfect point of V , s ∈ V is a morphism from the spectrum of
a perfect field k(s) to V , s = Spec k(s) −
→ V . It can also be viewed as a choice of a point v ∈ V
and a field extension k(s) = K ⊇ k(v) such that K is perfect. Finally, a neighborhood of a perfect
point s ∈ V is simply a neighborhood of the image v of s.
The fact that f : X −
→ V is of finite type implies that the relative Frobenius is a finite map. In
some cases, this will allow us to avoid assuming that V is F -finite.
Lemma 2.3. With notation as above, since f : X −→ V is of finite type, the relative Frobenius
map f : X e −→ XV e is a finite map.
e

Proof. We work locally on V and X. It is sufficient to show that R1/p is a finite RA1/pe -module.
e
→ S 1/p is a finite map.
Write S = A[x1 , . . . , xn ] and R = S/I. We first observe that SA1/pe −
e
However, xi11 · · · xinn for 0 ≤ ij < pe clearly form a generating set for S 1/p over SA1/pe .
5Meaning X = X × T is reduced for all T −
→ V with T integral.
T
V
6For some discussion of this identity, which always holds for varieties or schemes of essentially finite type over a

local ring with a dualizing complex, see [BSTZ10, Section 2].

F -SINGULARITIES IN FAMILIES

7

e

→ S 1/p with ⊗S (S/I) = ⊗S R. We obtain
Now, tensor the map SA1/pe −
e

e

e

e

→ (S/I) ⊗S S 1/p = (S/I [p ] )1/p −
→ (S/I)1/p
RA1/pe = R ⊗A A1/p = (S/I) ⊗S SA1/pe −

e

where the final map is the canonical surjection of rings. The map is finite since each part is.



We also recall the result of Radu and André.
Theorem 2.4. [Rad92, And93] Suppose that f : X −→ V is a flat map of Noetherian schemes. Then
e
e
f has geometrically regular fibers if and only if the relative Frobenius RA1/pe ∼
= A1/p ⊗A R −→ R1/p
is flat.
We immediately obtain the following corollary which will also be useful.
Corollary 2.5. Suppose that f : X −→ V is as in Notation 2.1 and additionally has geometrically
regular fibers. Then for any RA1/pe -module M , the natural evaluation-at-1 map below surjects
e

H omR

e
A1/p

(R1/p , M ) −→ M

e

Proof. R1/p is a locally free RA1/pe -module, and the result follows.



Now we state the object which we will study for the majority of the paper.
Definition 2.6 (ϕ). From here on, we will fix a line bundle L on X ∼
= X e and we will also fix a
e
1/p
−
→ RA1/pe .
(possibly zero) RA1/pe -linear map ϕ : L
Remark 2.7 (Reflexive sheaves for G1 and S2 Morphisms). Suppose that f : X −
→ V is G1 + S2.
Note that there exists an open set ι : U ֒→ X such that X \ U has codimension ≥ 2 along each
fiber and that f |U is a Gorenstein morphism.
Finally, suppose that M is any rank-1 reflexive R-module which is locally free on a set U as
e
e
above. Then M 1/p is not only reflexive as an R1/p -module, we claim it is also reflexive as an
RA1/pe -module. Since i∗ M |U = M already by Proposition A.7 because M is reflexive, it is sufficient
to replace X by U . Thus ωX/V and M are both locally free as R-modules and ωXV e is locally free
as an RA1/pe -module. We work locally so as to trivialize all these modules. Then
M 1/p

e

∼
=
=
∼
=
∼
=

1/pe

ωX/V
(FXe e /V e )∗ ωX/V
H omOXV e ((FXe e /V e )∗ OX , ωXVe /V e )
e
H omR 1/pe (R1/p , RA1/pe )
A

which is clearly reflexive (the second isomorphism follows from Grothendieck duality for the finite
relative Frobenius map).
Conversely, if M is any R-module which is locally free on a set U and reflexive as an RA1/pe e
module, then it is also reflexive as an R1/p -module. To see this, note that M |U is reflexive as an
R-module, and because M is reflexive as an RA1/pe -module it satisfies i∗ M |U = M .

8

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Definition 2.8 (ϕ versus divisors). Observe the following identifications:

e
H omR 1/pe L1/p , RA1/pe
A


 ∗∗
e
∼
H omR 1/pe L1/p ⊗R 1/pe (ωR 1/pe /A1/pe ), ωR 1/pe /A1/pe
=
A
A
A
|
{z A
}
This
clearly
holds
on
U
,
note
both
sheaves
are
reflexive
and
use
Corollary
A.8.
 ∗∗




=
H omOXV e (FXe e /V e )∗ L ⊗ ((FXe e /V e )∗ ωXV e /V e ) , ωXV e /V e
{z
}
|
(2.8.1)
This just rewrites the
 previous line using different notation.  ∗∗

∼
(FXe e /V e )∗ H omOX e L ⊗ ((FXe e /V e )∗ ωXV e /V e ), ωX e /V e
=
|
{z
}
Grothendieck duality for a finite map
∗∗

−1
∼
(FXe e /V e )∗ L−1 ⊗ ωX e /V e ⊗ (FXe e /V e )∗ ωX
=
e
V e /V
|
{z
}

e
By Remark 2.7 and Corollary A.8 we may take reflexive hull as (FX
e /V e )∗ OX e -modules.

Now, observe that ωX/V is compatible with base change up to reflexification. In particular, if our
→ X as the
base change is the Frobenius FVe : V e −
→ V , then writing πV e : XV e = X ×V V e −
∗
∼
projection, we have ωXV e /V e = (πV e ωX/V )∗∗ since both sheaves are reflexive and they certainly
agree outside the non-relatively Cohen-Macaulay locus (which is of relative codimension at least 2)
by Corollary A.8. In particular
∗∗
∗∗

∗∗
e
∼
= (F e )∗ ωX/V )∗∗ = ω p
(F e e e )∗ ωX e /V e
.
= (F e e e )∗ π ∗ e ωX/V )
X /V

V

X /V

V

X

X/V

Plugging this into (2.8.1) we obtain


e
L1/p , RA1/pe


∗∗
1−pe
∼
= (FXe e /V e )∗ L−1 ⊗ ωX e /V e
H omR

e
A1/p

(2.8.2)

If additionally X is absolutely (instead of relatively) G1 and S2 (for example, if V is regular),
7
ϕ induces a non-zero, effective Weil divisorial sheaf Dϕ such that
then any choice
∗∗
 of nondegenerate
e
1−p
−1
∼ L ⊗ω e e
by [Har94]. We would like to generalize this to the case that X −
OX (Dϕ ) =
→V
X /V

is relatively G1 and S2.

Definition 2.9. We say that ϕ is relatively divisorial if ϕ locally generates H omR
e

e
A1/p

e

(L1/p , RA1/pe )

as an R1/p -module at
(a) the generic points of each fiber and
(b) at the generic point of every codimension-1 singular point of every geometric fiber.
In this case, by removing a set of relative codimension 2 so that f is relatively Gorenstein, we
e
e
e
see that ϕ · R1/p ⊆ H omR 1/pe (L1/p , RA1/pe ) is a rank-1 free submodule of an invertible R1/p A
module. To be able to associate a divisor to this submodule in a sensible way, we should show that
it is the trivial (full) submodule at every singular codimension one point. Indeed, let ξ be a singular
codimension 1 point. Then one of the following cases hold.
◦ f (ξ) is a codimension 1 point. In this case, ξ is a general point of the fibers over f (ξ), hence
assumption (a) guarantees that ϕ generates a full submodule at ξ.
◦ f (ξ) is the general point of V . In this case ξ is a codimension 1 point of the fiber over
f (ξ), and it is not in the smooth locus of f . Therefore, assumption (b) shows that again ϕ
generates a full submodule at ξ.
e
Therefore, the submodule ϕ · R1/p determines a Cartier divisor and also an honest Weil divisor on
the original X. We denote this divisor Dϕ as well.
7Nonzero on any irreducible component.

F -SINGULARITIES IN FAMILIES

9

Definition 2.10 (ϕ as a divisor). If ϕ is relatively divisorial, we set ∆ϕ to be the Q-divisor pe1−1 Dϕ .
This makes sense because Dϕ is trivial along the codimension-1 components of the singular locus
of X and so we avoid the pathological issues which occur for Q-divisors on non-normal spaces.
We now explain how to recover ϕ from a Q-divisor.
Remark 2.11 (Obtaining ϕ from divisors). We work under the conventions of Definition 2.10. Untangling Definition 2.8 yields a method to obtain ϕ from a divisor ∆ ≥ 0 (which then coincides
with ∆ϕ ) under the following assumptions:
1
D for some Weil divisor D where p 6 | m.
(a) ∆ = m
(b) D is a Weil divisor on X which is Cartier in relative codimension 1.
(c) Supp D does not contain any general point or any singular codimension one point of any
geometric fiber.
∗∗
1−pe
= L is a line bundle.
⊗ OX ((1 − pe )∆)
(d) (pe − 1)/m ∈ Z and ωX/V

In such a case, the integral divisor (pe − 1)∆ (which is well defined since Supp ∆ does not contain
the codimension-1 components of the non-regular locus of X, cf. [Kc92, Pages 171–173] or [MS12,
Section 2.2]) induces an inclusion
1−pe ∗∗ 
) .
(FXe e /V e )∗ L ֒→ (FXe e /V e )∗ (ωX/V

This composed with the natural Grothendieck trace map
1−pe ∗∗ 
)
−
→ OXV e
(FXe e /V e )∗ (ωX/V

yields a map ϕ. It is easy to see that conditions (a)–(d) above guarantee that ϕ is relatively
divisorial. Furthermore, we also have that ∆ = ∆ϕ .
For future reference we make the following definition.
Definition 2.12. In the situation of Notation 2.1, (X, ∆) is a pair, if f is G1 + S2 and ∆ satisfies
the assumptions of Remark 2.11.
e

→ RA1/pe with
2.13. Composing maps. Given ϕ as in Definition 2.8, we can compose ϕ : L1/p −
itself (after twisting) similar to [BS13, Section 4] or [Sch09] and thus obtain new maps


1/p2e
2
(pe +1)
, RA1/p2e
ϕ ∈ HomR 1/p2e
L
A

and more generally

n

ϕ ∈ HomR

ne
A1/p



L

pne −1
pe −1

1/pne

, RA1/pne

!

.

We explain this construction.
Begin by tensoring ϕ by L over R, and then taking 1/pe th roots we obtain:

1/pe

1/pe
2e
e
e
e 1/p2e
e
= L1/p ⊗A1/pe A1/p
−
→ (R ⊗A A1/p ) ⊗R L
(2.13.1)
L1+p
= L1/p ⊗R L

On the other hand, we can also tensor ϕ by A1/p
(2.13.2)

e

2e

L1/p ⊗A1/pe A1/p

e

over A1/p to obtain:

2e

−
→ RA1/p2e

By composing (2.13.1) and (2.13.2) we obtain the desired map ϕ2 . We now define ϕn inductively
 (n−1)e 1/p(n−1)e
p
−1
n−1
−
→ RA1/p(n−1)e tensor with L over R and then take
as follows. Given ϕ
: L pe −1

10

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

pe th roots which yields

=

L


pne −1
pe −1

L

1/pne

p(n−1)e −1
+p(n−1)e
pe −1



=

L ⊗R L

p(n−1)e −1
pe −1

1/p(n−1)e !1/pe

1/p(n−1)e !1/pe


1/pe
L ⊗R RA1/p(n−1)e

−
→

ne

e

= L1/p ⊗A1/pe A1/p .
We then apply ϕ to the first term in the final tensor product to obtain:
 ne 1/pne


p −1
ne
ne ϕ⊗...
e
e
−
→ L1/p ⊗A1/pe A1/p −−−→ R ⊗A A1/p ⊗A1/pe A1/p ∼
L pe −1
= RA1/pne

which we take as the official definition of ϕn . On the other hand, for every 0 < m < n one can look
at the following composition of ϕm and ϕn−m
(2.13.3)
1
! (n−m)e
1
1
1
 ne  ne
 me
 ne
 me  me
p
p
p
p
p −1
p
−1
pne −pme
p
−1
p(n−m)e −1
∼
∼
γ : L pe −1
L pe −1
⊗R L pe −1
= L pe −1 ⊗R L pe −1
=
(ϕm ⊗idL··· )

−−−−−−−→

1
p(n−m)e

1
1
 (n−m)e

 (n−m)e  (n−m)e

p(n−m)e −1
p
−1
1
p
p
me
e
e
∼
R ⊗A A p
⊗R L p −1
⊗
= L p −1

ϕn−m ⊗A··· A···

−−−−−−−−−→



R ⊗A A

1
p(n−m)e



1

⊗
A

1
p(n−m)e

1

A

1
p(n−m)e

A pne

1

A pne ∼
= R ⊗A A pne

In particular, taking m = 1 gives an a priori different map which we could also define as ϕn . We
now explain why this map is actually equal to the official ϕn .
Lemma 2.14. With notation as above, γ = ϕn .
Proof. The statement is local, and so we may suppose that L = R. With the (obscuring) powers of
L removed, ϕn is described as the following composition:
R1/p
ϕ1/p

(n−1)e

ne

(n−1)e

ne

⊗A1/p(n−1)e A1/p
−−−−−−−→ R1/p

(n−2)e

ne
(n−1)e
(n−2)e
ϕ1/p
⊗...
⊗A1/p(n−1)e A1/p
⊗A1/p(n−2)e A1/p
−−−−−−−−−→
R1/p
ϕ1/p

(n−3)e

⊗...

−−−−−−−−−→ · · ·
··· ···
e

ϕ1/p ⊗...

e

−−−−−−→ R1/p ⊗A1/pe . . . ⊗A1/p(n−1)e A1/p
ϕ⊗...

ne

−−−→ R ⊗A . . . ⊗A1/p(n−1)e A1/p .

ne

F -SINGULARITIES IN FAMILIES

11

1

The first m entries in the composition make up (ϕm ⊗ . . .) p(n−m)e in (2.13.3) and the last n − m
n

entries clearly yield ϕn−m ⊗A1/p(n−m)e A1/p as desired. The result is then obvious.
Lemma 2.15. With notation as in Definition 2.8 and additionally that ϕ is relatively divisorial,
then ϕn is relatively divisorial and ∆ϕ = ∆ϕn for every integer n ≥ 1.
Proof. For showing any of the two statements we may remove the non relatively Gorenstein locus.
That is, by possibly further restricting R we may assume that R is relatively Gorenstein over V
and that L is trivial (since our map f : X −
→ V is geometrically G1+S2). Hence by Remark 2.7,
HomR⊗

ie

AA

1/pie

ie

ie

(R1/p , R ⊗A A1/p ) ∼
= R1/p for all i.

From [Kun86, Appendix F], [Sch09, Lemma 3.9], or composition of Grothendieck trace, we have
ne  !
e
ne
HomR1/pe ⊗ 1/pe A1/pne R1/p , R1/p ⊗A1/pe A1/p
A

(2.15.1)
ne
e
⊗R1/pe ⊗ 1/pe A1/pne HomR 1/pne R1/p ⊗A1/pe A1/p , RA1/pne
A
A


ne
∼
= HomR 1/pne R1/p , RA1/pne
A

via the homomorphism induced by composition. Let ϑe be the R
HomR⊗A A1/pe (R

1/pe

1/pe

, R ⊗A A

1/pe

-module generator of

)

for each e and let ϑne be defined as ϕn , but ϕ replaced by ϑ. Then by using (2.15.1) iteratively,
ϑne = ϑne up to multiplication by a unit.

e
Further let r ∈ R such that ϕ(−) = ϑe r 1/p · − . Then it is easy to verify that
 ne 1/pne !
p −1
n
(2.15.2)
ϕ = ϑie
r pe −1
·
Then we see that if ϕ was generating at a point P ∈ X, or equivalently r is a unit at P , then so is

ϕn . This shows that ϕn is relatively divisorial. Furthermore (2.15.2) shows that ∆ϕi = ∆ϕ .
2.16. Base change of ϕ. Suppose that we are given g : T −
→ V any morphism of schemes such
that T is also excellent, integral and has a dualizing complex. For example, we could set T to be
a closed point of V and let g be the inclusion. Alternately, we could let g be a regular alteration
over some closed subscheme of V . We list the following maps:

(2.16.3)

p1
i
1/p
)

: X ×V T
−
→X
i
i
−
→ Xi
: X ×V i T
(p1
i
qi : X ×V T
−
→ X ×V V i
p1 = q 0 : X × V T
−
→ X.

(the projection).
(the projection for any i).
(base change)

These are pictured below.
1/pi

Xi

×V i

Ti

p1

/ Xi

Fi

(XT )i /T i

Fi

X i /V i



X ×V T i



qi

/ X ×V V i

e

→ RA1/pe = OXV e , we can form (qe )∗ ϕ which we denote by
Notice that given ϕ : L1/p −
1/pe

ϕT : LT

e
∼
→ qe∗ OXV e = OXT e .
= qe∗ L1/p −

12

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG
e

e
1/p
We explain the isomorphism LT ∼
= qe∗ L1/p briefly. Working locally, let V = Spec A, T = Spec B
and X = Spec R. Then the map ϕT is identified with the map:
e

L1/p ⊗R

e
A1/p

e
e
e
e
e
→ ((R ⊗A A1/p ) ⊗A1/pe B 1/p ) ∼
RB 1/pe ∼
= R ⊗A B 1/p .
= L1/p ⊗A1/pe B 1/p −

The isomorphism in the definition of ϕT is now immediate.
The next lemma shows that base change of ϕ commutes with the self-composition defined in
Section 2.13.
Lemma 2.17. Suppose that g : T −→ V is as above. Then (ϕn )T = (ϕT )n .
Proof. It is sufficient to prove this in the affine case assuming our isomorphism is sufficiently
canonical (which will be clear). We notice that (ϕT )2 is the composition:
e
e
(Lp +1 )1/p

⊗A1/pe

e 1/pe
B 1/p

(ϕT ⊗R

B 1/p

e

LT )1/p

e
e

2e

e

−−−−−−−−−−−−−→ L1/p ⊗A1/pe B 1/p ⊗B 1/pe B 1/p
2e
ϕT ⊗ 1/pe B 1/p
2e
e
e
−−−−B−−−−−−−→
(R ⊗A A1/p ) ⊗A1/pe B 1/p ⊗B 1/pe B 1/p

Now unraveling the definitions we obtain

1/pe 
2e
◦ (ϕT ⊗B 1/pe B 1/p )
(ϕT )2 =
ϕT ⊗R 1/pe LT
B


2e
e
e 1/pe
e
◦ (ϕ ⊗A1/pe B 1/p ⊗B 1/pe B 1/p )
=
(ϕ ⊗A1/pe B 1/p ) ⊗R 1/pe (L ⊗A1/pe B 1/p )
B


2e
e 1/pe
◦ (ϕ ⊗A1/pe B 1/p )
=
ϕ ⊗R 1/pe L ⊗A1/pe B 1/p
A


1/pe
2e 
2e
2e
◦ (ϕ ⊗A1/pe A1/p ) ⊗A1/p2e B 1/p
=
⊗A1/p2e B 1/p
ϕ ⊗R 1/pe L
A


1/pe
2e
2e
=
◦ (ϕ ⊗A1/pe A1/p ) ⊗A1/p2e B 1/p
ϕ ⊗R 1/pe L
A
= (ϕ2 )T
as desired. The general nth self composition is similar.



Our next goal is to describe how divisors, corresponding to maps ϕ, fare under base change. We
thank Brian Conrad for pointing us in the right direction – [Con00, Theorem 3.61].
Lemma 2.18. Suppose that f : X −→ V is a finite type Cohen-Macaulay morphism over V an
excellent scheme of characteristic p > 0 and that g : T −→ V is as above. Then the Grothendiecktrace map
(FX e /V e )∗ ωX e /V e ∼
= H omOXV e ((FX e /V e )∗ OX e , ωXV e /V e ) −→ ωXV e /V e
is compatible with base change.
Proof. We clearly have a commutative diagram:
qe∗ H omOXV e ((FX e /V e )∗ OX e , ωXV e /V e )

/ q ∗ ωX e /V e
e
V

α

β



H omOXT e ((F(XT )e /T e )∗ O(XT )e , ωXT e /T e )

/ ωω
X


T e /T

e

and by [Con00, Theorem 3.6.1] the map β is an isomorphism. It is sufficient to verify that α
is an isomorphism as well. We work locally on some affine chart on X and hence assume that
XV ⊆ AN
V =: PV embeds as a closed subscheme since f is of finite type. The map α can then be
identified with
Q∗e E xtjOP

Ve

((FX e /V e )∗ OX e , ωPV e /V e ) −
→ E xtjOP e ((F(XT )e /T e )∗ O(XT )e , ωPT e /T e )
T

F -SINGULARITIES IN FAMILIES

13

where Qe : PT e −
→ PV e is the induced map and j = N − dim(X/V ) (we leave off the pushforward
for the inclusion i : XV −
→ PV above). This in turn can be identified with
Q∗e E xtjO(P

e
V)

→ E xtjO(P
(OX e , ω(PV )e /V e ) −

T)

e

(O(XT )e , ω(PT )e /T e )

This last map is exactly the bottom row of [Con00, Diagram (3.6.1) in Theorem 3.6.1], which is an
isomorphism, and hence the proof is complete.

Lemma 2.18 above allows us to show if the divisor Dϕ or ∆ϕ is trivial, then it stays trivial after
base change.
Lemma 2.19 (Divisors which are zero stay zero). Suppose that f : X −→ V is a G1 and S2
e
morphism and that ϕ : L1/p −→ RA1/pe is as above. Additionally suppose that g : T −→ V is any
base change. Finally suppose that the natural map
∗∗



e
e
1−pe
ϕ · R1/p −→ H omR 1/pe L1/p , RA1/pe ∼
= (FXe e /V e )∗ L−1 ⊗ ωX e /V e
A

e

1/pe

e

is an isomorphism of R  -modules (here we define ϕ · R1/p to be the R1/p -submodule of the set
e
H omR 1/pe L1/p , RA1/pe generated by ϕ). Then
A
∗∗



e
1/pe
1−pe
−1
e
⊗
ω
L
)
ϕT · (RT )1/p −→ H omR 1/pe LT , RT 1/pe ∼
= (F(X
e
e
∗
T
(XT )e /T e
T ) /T
T

is also an isomorphism.
In particular, if ϕ is relatively divisorial (see Definition 2.9), then the following holds: If Dϕ is
zero, then so is DϕT .

Proof. The statement about divisors is trivial since it is easy to see that a divisor being zero
corresponds to the map above being an isomorphism. Thus we merely need to prove the assertion.
However, since f and all the sheaves involved are relatively S2, it suffices to prove the statement off
a set of relative codimension 2 by Corollary A.8. Therefore, by removing a set of codimension 2, we
can assume that f is a Gorenstein morphism. Thus, working locally if needed, ϕ can be identified
e
→ ωXV e /V e .
(up to multiplication by a unit in R1/p ) with the Grothendieck trace (FXe e /V e )∗ ωX e /V e −
Hence by Lemma 2.18, so can ϕT . The proof is complete.

We now move on to a discussion of base change with respect to divisors. First we observe that
by Lemma 2.19 if ϕ is relatively divisorial, then so is ϕT for every base change g : T −
→V.
Definition 2.20. Suppose that for some relatively divisorial ϕ we have ∆ϕ is as above and that
g :T −
→ V is a base change. Then we write ∆ϕ 8XT (respectively Dϕ 8XT ) to denote the divisor
∆ϕT (respectively DϕT ).
Lemma 2.21 (Pulling back ∆ϕ ). Suppose that f : X −→ V is G1 and S2 and that ϕ is relatively
1/pe
1/pe
divisorial. Then for any g : T −→ V we have ∆ϕ 8XT = (p1 )∗ ∆ϕ (recall p1 : X e ×V i T i −→ Xi
from (2.16.3)).
1/pe

Here, even though ∆ϕ is not necessarily Q-Cartier, (p1 )∗ ∆ϕ can be defined after removing a
set of relative codimension 2 outside of which it is Q-Cartier (since Dϕ is Cartier on such a set).
Proof. The statement is local on X and can be checked after removing a relative codimension
2 set and so we may assume that Dϕ is a Cartier divisor. Thus we assume that L is trivial on
the affine scheme X = Spec R and that f is a Gorenstein morphism. However then shrinking the
e
e
→ RA1/pe can be identified with s1/p · Tr
neighborhood further if necessary, the map ϕ : R1/p −
where Tr : (FXe e /V e ) ∗ ωX e /V e −
→ ωXV e /V e is the Grothendieck trace. The divisor Dϕ is then easily
seen to be the divisor divX (s). On the other hand, it is clear by Lemma 2.18 that then ϕT is trace
1/pe

on XT multiplied by s as well. In particular, it equals (p1 )∗ Dϕ as desired.

14

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Corollary 2.22. Suppose that g : z −→ V is inclusion of a point. Suppose that ϕ is relatively
divisorial and corresponds to ∆ϕ . Then ∆ϕ |Xz = ∆ϕz .
Proof. The divisor ∆ϕz is determined in codimension 1 where ∆ϕ |Xz and ∆ϕz agree.



2.23. Passing to V ∞ and other perfect points. Suppose first that V is the spectrum of a
e
e
→ R since RA1/pe ∼
→ RA1/pe is also a map L1/p −
perfect field A. Then the map L1/p −
= R. In
such a case, we often also typically write the map as ψ to help distinguish how we are thinking
e
→ R can be composed with themselves as in [BS13,
about it. We note that maps such as ψ : L1/p −
Section 4.1] and furthermore this composition ψ n coincides with ϕn . For the rest of the subsection,
we discuss base change to perfect points. We first consider the perfection of the generic point of V .
1/p∞
Set V ∞ to denote the not-necessarily-Noetherian scheme Spec OV
and we set η∞ to be the
generic point of V ∞ with perfect fraction field k(V ∞ ) (note that this is a perfect point). We obtain
a map fk(V ∞ ) : Xk(V ∞ ) = X ×V Spec k(V ∞ ) −
→ Spec k(V ∞ ) now a scheme of finite type over a
perfect field.
As in Section 2.16, the map ϕ then induces a map


∞
e
.
→ Rk(V ∞ ) := R ⊗A k A1/p
ϕ∞ : L1/p ⊗k(V e ) k(V ∞ ) −
which can be identified with

ψ∞ : Lk(V ∞ )

1/pe

−
→ Rk(V ∞ )


since (FXe e /V e )∗ OX e ⊗V e k(V ∞ ) ∼
= F∗e OXk(V ∞ ) .
More generally, if s ∈ V is any perfect point, we can induce
e

e

e

e

ϕs : L1/p
→ R ⊗A k(s)1/p .
:= L1/p ⊗A1/pe k(s)1/p −
s
e

Since k(s) = k(s)1/p is perfect, we can identify this with a p−e -linear map:
e

ψs : L1/p
−
→ Rs .
s
As above, we see that the composition of ψs in the sense of [BS13, Section 4.1] coincides with the
composition ϕ as in Section 2.13. Finally, we study this process with respect to divisors.
Lemma 2.24. With notation as above, ∆ϕ |Xs = ∆ψs where ∆ϕ is as in Definition 2.10 and ∆ψs
is as in [BS13, Section 4.].
Proof. By Lemma 2.21, we simply must show that ∆ϕs coincides with ∆ψs . Working locally, and
e
removing a set of relative codimension 2, we may assume that Φ ∈ HomR 1/pe ((Rs )1/p , Rs1/pe )
e

e

s

generates the Hom as an (Rs )1/p -module and that ϕ( ) = Φ(z 1/p · ). Thus ∆ϕ = pe1−1 divX (z).
We then identify Rs1/pe with Rs and hence ϕ with ψ. Likewise, we can identify Φ with Ψ which
e
e
e
now generates HomRs ((Rs )1/p , Rs ) as an (Rs )1/p -module. Hence ψ( ) = Ψ(z 1/p · ) and so
∆ψ = pe1−1 divX (z) as desired.

3. Relative non-F-pure ideals
With notation as above, by the Hartshorne-Speiser-Lyubeznik-Gabber (HSLG-)Theorem [Gab04,
Lemma 13.1] cf. [HS77, Lyu97, Bli13], we know that the chain
Rk(V ∞ ) ⊇ ψ∞ (Lk(V ∞ ) )1/p

e



e

2
⊇ ψ∞
(Lpk(V+1∞ ) )1/p

eventually stabilizes. Say that it stabilizes at
(3.0.1)

2e



pne −1
e

p −1
1/p
n
⊇ · · · ⊇ ψ∞
(Lk(V
∞))

ne



n ≥ n0 .

For the rest of this section, we fix this integer n0 , and make the following definition.

⊇ ···

F -SINGULARITIES IN FAMILIES

15

Definition 3.1. With notation as above, we define the integer n0 to be the uniform integer for σ
over the generic point of V , and in general, it will be denoted by nσ(ϕ),k(V ) . We notice that for any
point η ∈ V , we can base change Spec k(η) −
→ V and form a corresponding integer nσ(ϕη ),k(η) .
On the other hand, without the passing to k(V ∞ ). We
e
a1 := ϕ1 L1/p
e
2e 
a2 := ϕ2 (L(p +1) )1/p
...
pne −1
ne 
an := ϕn (L pe −1 )1/p
...

have the images
⊆ RA1/pe ,
⊆ RA1/p2e ,
⊆ RA1/pne ,

These are ideals of different rings. However, we do have the following relation for any i > j

i
→ RA1/pi ⊇ ai .
Im aj ⊗A1/pj A1/p −

This is straightforward so we leave it to the reader to check (note that the image of (2.13.2) contains
e
the image of ϕ2 ). Additionally, observe that if A was regular, A1/p would be flat over A by [Kun69],
i
and so we could identify the tensor product aj ⊗A1/pj A1/p with its image in RA1/pi . Therefore, for
any integer n ≥ i, we set

n
→ RA1/pn
ai,n = Im ai ⊗A1/pi A1/p −
and consider the chain of ideals:
RA1/pne ⊇ a1,n ⊇ a2,n ⊇ · · · ⊇ an−1,n ⊇ an,n .
Definition 3.2 (nth relative non-F -pure ideal). For every integer n ≥ n0 = nσ(ϕ),k(V ) , we define
the nth limiting relative non-F -pure ideal to be an,n = an . It is denoted by σn (X/V, ϕ).
We now obtain a relative version of the Hartshorne-Speiser-Lyubeznik-Gabber theorem.
Proposition 3.3. Fix notation as above. Then there exists a nonempty open subset U ⊆ V of the
base scheme V satisfying the following for every integer m ≥ n ≥ n0


me
.
(3.3.1)
σm (X/V, ϕ)|f −1 (U ) = Im σn (X/V, ϕ) ⊗A1/pne A1/p −→ RA1/pme
−1
f

(U )

Proof. For any m ≥ n, we consider the containment:

an,m ⊇ am,m .
Fix k(V ) to be the residue field of the generic point η ∈ V and consider the induced containment:
m

m

an,m ⊗A k(V ) = an,m ⊗A1/pm k(V )1/p ⊇ am,m ⊗A1/pm k(V )1/p = am,m ⊗A k(V ).
since inverting an element is the same as inverting its pth power. We notice two identifications
 pne −1 1/pne !
∞
pe −1
n
Lk(V
an,m ⊗A1/pm k(V )1/p = an,m ⊗A1/pm k(V ∞ ) = ψ∞
,
∞)
!
 me 1/pme
am,m ⊗A1/pm k(V )1/p

Thus

∞

p

m
= am,m ⊗A1/pm k(V ∞ ) = ψ∞

∞

an,m ⊗A k(V )1/p = am,m ⊗A k(V )1/p
since m > n ≥ n0 . It immediately follows that
m

∞

−1

.

∞

an,m ⊗A1/pm k(V )1/p = am,m ⊗A1/pm k(V )1/p
m

e

p −1
Lk(V
∞)

m

since k(V )1/p ⊆ k(V )1/p is a faithfully flat extension. But now by generic freeness [Eis95, Theorem 14.4], for a fixed m, (3.3.1) follows for some open set Un,m (in the case that V is affine, which
we can certainly reduce to, we can invert a single element of A to form Un,m ).

16

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

We now vary m. Choose U = Un,n+1 that works for m = n + 1 and consider the diagram:



L

p(n+1)e −1
pe −1

L



p(n+2)e −1
pe −1

1
p(n+1)e



1
p(n+2)e

⊗A1/p(n+1)e A1/p

(n+2)e

e



ϕn+2

L

pne −1
pe −1



1
pne

(ϕn+1 )1/p ⊗...

⊗A1/pne A1/p

(n+2)e
e

(ϕn )1/p ⊗...

ϕn+1

···
ϕn

u t

e

L1/p ⊗A1/pe A1/p

(n+2)e

ϕ⊗...

* ))



RA1/p(n+2)e
e

e

where the maps labeled (ϕn )1/p ⊗ . . . and (ϕn+1 )1/p ⊗ . . . are induced as in (2.13.1). We know
e
e
that over U , ϕn+1 and ϕn have the same image. Therefore, so do (ϕn )1/p ⊗ . . . and (ϕn+1 )1/p ⊗ . . .
again over U (since tensor is right exact). But then, composing with (ϕ ⊗ . . .) one more time, we
e
e
know ϕn+1 = (ϕ ⊗ . . .) ◦ ((ϕn )1/p ⊗ . . .) and ϕn+2 = (ϕ ⊗ . . .) ◦ ((ϕn+1 )1/p ⊗ . . .) also have the same
image over U . Thus they also share the image with ϕn over U . Hence, if an,n+1 |U = an+1,n+1 |U ,
then an,n+2 |U = an+2,n+2 |U . We use this iteratedly to obtain that an,m |U = am,m |U , which is exactly
the statement of the proposition.

We give three examples of these σn and Un . In the first example, we show that it is possible that
the images σn (X/V, ϕ) never stabilize in the sense of Proposition 3.3 on all of V but only over an
open set. We do the same in the second example, but with respect to a more interesting choice of
X and ϕ. Finally, we give an example where stabilization occurs at n = 2 (instead of at n = 1).
Example 3.4. Fix k to be an algebraically closed field of characteristic p > 2, set A = k[t] and
set R = k[x, t] with the obvious map X −
→ V . Let ϕ : R1/p = k[x1/p , t1/p ] −
→ RA1/p = k[x, t1/p ]
be the composition of the local generator β ∈ HomR 1/p (R1/p , RA1/p ) with pre-multiplication by
A

1

t p (note since ϕ is k[t1/p ]-linear, this is also post-multiplication by t1/p , and it corresponds to the
1
{t = 0}). It easily follows that the image of ϕ is ht1/p i ⊆ k[x, t1/p ]. By tensoring
divisor ∆ϕ = p−1
2

2

with ⊗k[t1/p ] k[t1/p ], we obtain that a1,2 = ht1/p i = t1/p · k[x, t1/p ]. More generally, we see that
n
a1,b = t1/p · k[x, t1/p ]. Now we compute a2,2 as the image:
2

2

ϕ1/p

2

ϕ⊗...

2

k[x1/p , t1/p ] −−−→ k[x1/p , t1/p ] −−−→ k[x, t1/p ].
2

2

The image of ϕ1/p is t1/p and since the map ϕ ⊗ . . . is k[t1/p ]-linear, we see that the composition
2
2
has image ht1/p · t1/p i = ht(1+p)/p i = a2,2 . In general, we see that
an = an,n = ht(1+p+···+p

n−1 )/pn

i

F -SINGULARITIES IN FAMILIES

17

In particular, while we may take Ui = A1 \ {0} = Spec A \ hti, we see that an = σn (X/V, ϕ) never
stabilizes over all of V .


−
→ V := Spec(k[t]). Let the standard
Example 3.5. Let f be the morphism X := Spec (yk[x,y,t]
2 +x3 +t)
→ OXV 1 , for which ∆ϕ = 0. This map can be identified with the
trace map ϕ : (FX 1 /V 1 )∗ ωX 1 /V 1 −
descent of the following map to the quotient
k[x, y, t]

·(y 2 +x3 +t)p−1

/ k[x, y, t]

where Tr is a k-linear map, such that
( i+1−p j+1−p
p
y p tl
i j l
Tr(x y t ) = x
0

Tr

/ k[x, y, t]

if p|i + 1 and p|j + 1 .
otherwise

Then ϕn is given by
k[x, y, t]

·(y 2 +x3 +t)p

n −1

/ k[x, y, t]

where Trn is a k-linear map, such that
(
i+1−pn
j+1−pn
pn
pn
i j l
x
y
tl
(3.5.1)
Trn (x y t ) =
0

Trn

/ k[x, y, t]

if pn |i + 1 and pn |j + 1 .
otherwise

Assume that p is a prime such that p ≡ 1(mod 6) so that 2, 3|pn − 1 for all n > 0. Let us try to
compute now the following number.
d := min{c|tc ∈ im ϕn }
n

To have tc ∈ im ϕn it is necessary to have a polynomial in the ideal generated by (y 2 +x3 +t)p −1 one
n
n
n
of the non-zero monomials of which is xp −1 y p −1 tc . Therefore, (y 2 + x3 + t)p −1 itself has to have
n
n
n
a non-zero monomial which divides xp −1 y p −1 tc . That is, there have to be integers 0 ≤ a ≤ p 2−1
n
and 0 ≤ b ≤ p 3−1 , such that c = pn − 1 − a − b. So, we see that
d ≥ pn − 1 −

pn − 1 pn − 1
pn − 1
−
=
2
3
6

On the other hand we claim that Trn (y 2 + x3 + t)p

n −1

=t

pn −1
6
pn −1

, which will show that d =
pn −1
3

pn −1
6

pn −1
6

and

t
is the only monomial in
also that σn (X/V, ϕ) does not stabilize. First, note that x 2 y
n −1
2
3
p
the expansion of (y + x + t)
the image of which via Trn is not zero. Indeed, the expansion
n
can contain only monomials of the form y 2a x3b tp −1−a−b , where a, b ≥ 0 are integers. Hence, higher
powers (2pn − 1, 3pn − 1, etc) of x and y that do not go to zero by Trn cannot be obtained. Hence,
pn −1

pn −1

pn −1

as we stated x 2 y 3 t 6 is the only interesting monomial that can show up in the expansion.
Lastly we have to verify that the monomial it has non-zero coefficient in the expansion. That is,
(pn − 1)!
pn −1 pn −1 pn −1 6= 0
2 ! 3 ! 6 !
Equivalently, we have to show that the power of p in the prime factorization of the numerator is
the same as in the denominator. For an arbitrary number m this number for m! is

∞ 
X
m
.
pi
i=1

18

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Now assume that m =

pn −1
r ,

where r|p − 1. Then the times p divides m! is





 n−1
n−1
n−1
∞ 
X
X
X  pn − 1  n−1
X
X p − 1
X



n−1
p
−
1
m
j−i
j

=


p
p
=
=
i
i
i
p
rp
rp
r
i=1

i=1

=

i=1

n−1
n−1
XX

pj−i

i=1 j=i

=

n−1
X

pi

i=0

i=1

j=0

j=0

n−1

n−1

n−1

i=1

i=1

i=1

p − 1 X pn−i − 1 p − 1 X pn−i − 1 X pi − 1
=
=
=
r
p−1
r
r
r

−1
=
r

pn

−1
r

Therefore, we see that p divides pn − 1 times both (pn − 1)! and
pn −1
6

pn −1 pn −1 pn −1
2 ! 3 ! 6 !,

as claimed earlier.

is the smallest power of t that is in σn (X/V, ϕ). Hence there is no stabilization
Summarizing, t
over all of V .
Based on this example, one might ask:
Question 3.6. Is there a relation between the asymptotics of the σn over the non-stable locus, and
the singularities of those fibers (for example, the F -pure threshold)?
We now give an example that stabilizes at the second step (over the entire base).
Example 3.7. (cf. [MY09, Example 4.7]) Fix k to be an algebraically closed field of characteristic
p > 2, set A = k[t] and set R = k[x, t] with the obvious map X −
→ V . Let ϕ : R1/p = k[x1/p , t1/p ] −
→
1/p
1/p
RA1/p = k[x, t ] be the composition of the local generator β ∈ HomR 1/p (R , RA1/p ) with
pre-multiplication by
p2
p−1 {x

=

2
λ1/p }

2
(xp

+ t)

1
p

= f

1
p

A

(which corresponds to ∆ϕ =

on the fiber over t = λ). Note that in RA1/p or

R1/p ,

f

1
p

1
p2
p−1 {x

= t} restricting to

can be written as xp + t1/p .

1

In particular, f p is already an element of RA1/p . Therefore, since ϕ is RA1/p -linear and β is clearly
surjective, the image of ϕ is just hf 1/p i = σ1 (X/V, ϕ) = xp + t1/p .
2
→
On the other hand, we now compose ϕ with itself as described above. In this case, ϕ2 : R1/p −
p+1

2

→ RA1/p2 and pre-multiplying by f p2 . Now,
RA1/p2 is induced by taking the generator β 2 : R1/p −


p+1
p+1
2
. This again is already an element of RA1/p2 , and so by the same argument
f p2 = x1 + t1/p
as above, we see that
E
E  1+p 
D
D
2 p+1
2
σ2 (X/V, ϕ) = x + t1/p
= σ1 (X/V, ϕ) · x + t1/p = f p2 .
3

→ RA1/p3 and preNext we form ϕ3 . In this case, it is obtained by taking a generator R1/p −
1+p+p2
p3

1+p+p2
p3

. However, this time f
is not contained in RA1/p3 , and so we cannot
multiplying by f
argue as above. However, f still has a 1/p2 -root in RA1/p3 , and so
 1+p+p2 
E
E
D
D

1+p
3
3
3
ϕ
f p3
= f p2 ϕ3 f 1/p
.
= ϕ3 f p(1+p) f 1/p
3

3

3

3

→ k[x, t1/p ] we may take as the
So we must only compute ϕ3 (hf 1/p i). Now, ϕ3 : k[x1/p , t1/p ] −
p3 −1
p3

to 1 and other monomials
monomials form a basis for R1/p
map which sends x
Ein x to 0 (those
D
3
3
= k[x, t1/p ] = RA1/p3 . In particular,
over RA1/p3 ). It is thus obvious that ϕ3 f 1/p
 1+p 
3
σ3 (X/V, ϕ) = f p2 = σ2 (X/V, ϕ) ⊗A1/p2 A1/p .

3

F -SINGULARITIES IN FAMILIES

19

We now obtain a surprising base change statement.
Proposition 3.8. Suppose that T −→ V is a map from an excellent integral scheme with a dualizing
complex, then using the notation of Section 2.16
Im ((qne )∗ σn (X/V, ϕ) → OXT ne ) = σn (X/V, ϕ) · OXT ne = σn (XT /T, ϕT ).
Furthermore, if U satisfies condition (3.3.1) from Proposition 3.3, then
W = g−1 (U ) ⊆ T
satisfies the same condition for σn (XT /T, ϕT ).
Proof. Indeed, images of maps are compatible with arbitrary base change by the right exactness of
tensor. Thus the first statement follows immediately. The second statement follows from the first
since if the two images an,n and an−1,n are equal, they are also equal after base change.

Theorem 3.9 (Base change for σn ). There exists an integer N ≥ 0, such that for all points s ∈ V ,
N ≥ nσ(ϕs ),k(s) . In other words, we have both that σn (X/V, ϕ)·OXsne = σn (Xs /s, ϕs ) (which always
holds) and also that for all m ≥ n ≥ N that
m

σn (X/V, ϕ) ⊗V n k(s)1/p = σm (Xs /s, ϕs ).
Proof. Of course, the statement already holds on U with respect to some integer N0 . Set V1′ := V \U
to be the complement with reduced scheme structure and let
i1 : V1 = (V1′ )reg ֒→ V1′
be the regular locus. We notice that V1 has dimension strictly smaller than dim V . We consider the
base change XV1 −
→ V1 . Each fiber of XV1 −
→ V1 is isomorphic to a fiber of X −
→ V . Then choose
an open set U1 ⊆ V1 for which the statement holds for some integer N1 .
Now fix V2′ = V1′ \ U1 and i2 : V2 = (V2′ )reg ֒→ V2′ to be the regular locus and repeat. This process
terminates by Noetherian induction.
Setting N = max{N0 , N1 , N2 , . . . } completes the proof.

Suppose now that s ∈ V is a perfect point, see Definition 2.2. It follows that Xs /s is a variety
1/pe
over a perfect field and so since se ∼
ϕs : Ls
−
→ Rs e
= s, we have Xse ∼
= Xs . Thus we can identify
T
with a p−e -linear map ψs as in Section 2.23. Thus under these identifications n≥0 σn (Xs /s, ϕ) =
me
σ(Xs , ψs ). However, if we have the stabilization σn (Xs /s, ϕ) ∼
=
= σn (Xs /s, ϕ) ⊗k(s)1/pne k(s)1/p ∼
σm (Xs /s, ϕ) for every m ≥ n, the equality σn (Xs /s, ϕ) = σ(Xs , ψ) holds. Combining this with our
previous work we obtain the following corollary.
Corollary 3.10. With notation as above, there exists an integer N ≥ 0 such that
σn (X/V, ϕ) · OXsne = σ(Xs , ψs )
for all perfect points s ∈ V and n ≥ N .
3.11. Iterated non-F -pure ideals versus the absolute non-F -pure ideal. We now compare
the iterated non-F -pure ideal with the absolute non-F -pure ideal. First however, we make the
following assumption.
Convention 3.12. In this subsection, Section 3.11, we always assume that our base V is an F -pure
quasi-Gorenstein (i.e., ωV is a line bundle) F -finite integral scheme.
→ OV be a map generating H omV (F∗e OV ((1 − pe )KV ), OV ) as
Let ΨeV : F∗e OV ((1 − pe )KV ) −
ne
e
an F∗ OV -module. By taking p th roots, applying f −1 , and then writing the A-module M :=
f −1 (OV ((1 − pe )KV )), we obtain:
(ΦeA )1/p

ne

: M 1/p

(n+1)e

(n+1)e

= f −1 F∗

ne

(OV ((1 − pe )KV )) −
→ f −1 F∗ne OV = A1/p .

20

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG
e

We tensor with L1/p ⊗A1/pe

and so obtain:
e

Φ′ : L1/p ⊗A1/pe M 1/p

(3.12.1)

(n+1)e

ne

e

−
→ L1/p ⊗A1/pe A1/p .

ne

Set N = L ⊗A M 1/p . We observe that N is a line bundle on XV ne . In fact, if q1 : XV ne =
X ×V V ne −
→ X is the first projection and q2 : XV ne −
→ V ne is the second projection, then
N = q1∗ L ⊗OXV ne q2∗ OV ne ((1 − pe )KV ne )
and so it follows for any integer l > 0 that
 1/pne
∗ l
∗
e
l
∼
ne
ne
N = q1 L ⊗OXV ne q2 OV (l(1 − p )KV ) = L ⊗A M l
l

(3.12.2)

Finally, we compose (3.12.1) with ϕ′ := ϕ ⊗A1/pe A1/p
γ:

ne

to construct:

1/pe

N
(n+1)e
e
= L1/p ⊗A1/pe M 1/p

Φ′

e

−→ L1/p ⊗A1/pe A1/p

(3.12.3)

ϕ′

ne

−→ RA1/pe ⊗A1/pe A1/p
ne
= R ⊗A A1/p
= RA1/pne .

ne

This is a map from an invertible sheaf on XVe (n+1)e = (XV ne )e to the structure sheaf on XV ne . In
particular, it is a map such as one studied in [BS13, Section 4].
Let us point out an alternate way to construct γ. Indeed, take
ϕ′′ := ϕ ⊗A1/pe M 1/p

(n+1)e

e

: L1/p ⊗A1/pe M 1/p

(n+1)e

−
→ RA1/pe ⊗A1/pe M 1/p

We can then compose this with RA1/pe ⊗A1/pe (ΦeA )1/p
e

e

N 1/p = L1/p ⊗A1/pe M 1/p

(n+1)e

ne

ϕ′′

−
−
→ RA1/pe ⊗A1/pe M 1/p

(n+1)e

(n+1)e
∼
.
= R ⊗A M 1/p

= (ΦeA )′ to obtain

(n+1)e

(Φe )′

A
−−−
→ RA1/pe ⊗A1/pe A1/p

ne

= RA1/pne .

This composition is easily seen to coincide with γ.
We can then compose γ with itself m-times as in [BS13, Section 4] or [Sch09]. We recall this
construction for the benefit of the reader. To construct γ 2 , we tensor the map
e

→ R ⊗A A1/p
γ : N 1/p −
with the line bundle ⊗R

ne

= RA1/pne

N , take pe th roots and then compose it with γ to obtain:
e 1/p2e
e γ
ne
γ 2 : N 1+p
−
→ N 1/p −
→ R ⊗A A1/p

ne
A1/p

Recursively, we can construct:
γm

 pme −1 1/pme
N pe −1
 pme −1 1/p(n+m)e
 pme −1 1/pme
⊗A1/pme M pe −1
=
L pe −1
−
→ RA1/pne
:

We are now in a position to relate the absolute σ(XV 1/pne , γ)
First we observe that for each m ≤ n, Φm
A induces maps
 pme −1 1/pme
µm :
N pe −1
 pme −1 1/pme
⊗A1/pme
=
L pe −1
ne
 pme −1 1/pme
...⊗(Φm )1/p
−−−−−A−−−−→
L pe −1
⊗A1/pme

with the relative σn (X/V, ϕ).



M

pme −1
pe −1
ne

A1/p .

1/p(n+m)e

F -SINGULARITIES IN FAMILIES

21

Furthermore these maps are surjective since Φm
A is.
Lemma 3.13. Assuming Convention 3.12, we have the following factorization of γ n and γ n−1 as
indicated by the diagram below
 p(n−1)e −1 1/p(n−1)e
N pe −1

 pne −1 1/pne
N pe −1
 pne −1 1/pne
 pne −1 1/p(n+n)e
L pe −1
⊗A1/pne M pe −1

γ′

µn

 p(n−1)e −1 1/p(n−1)e
⊗
L pe −1

 pne −1 1/pne
L pe −1

(n−1)e
A1/p

 p(n−1)e −1 1/p(n+n−1)e
M pe −1

µn−1

 p(n−1)e −1 1/p(n−1)e
⊗
L pe −1

A1/p

A1/p

(n−1)e

ne

γ n−1

ϕn−1 ⊗...

ϕn

RA1/pne

γn

ne

where the arrow γ ′ is induced by γ and ϕn−1 ⊗ . . . is simply ϕn−1 ⊗A1/p(n−1)e A1/p . Furthermore,
since µn−1 is surjective we have
ne

Im(γ n−1 ) = an−1,n = Im(ϕn−1 ⊗A1/p(n−1)e A1/p ).
Likewise since µn is surjective, we have
Im(γ n ) = an,n = an = Im(ϕn ).
Proof. The two equalities are immediate from the surjectivities of µn−1 and µn and the commune
(n+1)e
−
→ A1/p
tativity of our diagram. The surjectivities of µn−1 and µn are clear since M 1/p
is surjective and tensor is right-exact. It remains to prove the commutativity of our diagram. It
suffices to prove the commutativity of the square:
 pme −1 1/pme
 pme −1 1/p(n+m)e
L pe −1
⊗A1/pme M pe −1

γ′

/

 p(m−1)e −1 1/p(m−1)e
L pe −1
⊗

(m−1)e
A1/p

µm−1

µm



 pme −1 1/pme
ne
L pe −1
⊗A1/pme A1/p

 p(m−1)e −1 1/p(n+m−1)e
pe −1
M

/



L

p(m−1)e −1
pe −1



1/p(m−1)e

⊗

A1/p

(m−1)e

A1/p

ne

and we will prove it by induction on m. It is clear that, if the above square is commutative for
(n+1)e
and taking pe th roots, we will have the
m, then, by tensoring it with L ⊗R (−) ⊗A1/pne M 1/p
commutativity for m + 1. Hence it remains to prove the commutativity when m = 2. To this end,
ne
(n+1)e
−
→ A1/p by α. Then α induces a map
we will denote the map M 1/p
 e
 p2e −1 1/p(n+2)e 
(n+1)e 1/p
ne
e
= M 1/p ⊗A1/pne M 1/p
α′ = (id ⊗ α)1/p : M pe −1
−
→ M 1/p
e

ne

⊗A1/pne A1/p

ne

= M 1/p

(n+1)e

e

→ R ⊗A A1/p induces
It is clear that α ◦ α′ = α2 . Likewise, the map ϕ : L1/p −
 p2e −1 1/p2e 
 e
2e
e
e
2e 1/p
e
−
→ L1/p ⊗A1/pe A1/p
ϕ′ = (id ⊗ ϕ)1/p : L pe −1
= L1/p ⊗R1/pe L1/p

We will analyze the 4 maps involved in the square. The left vertical map

 p2e −1 1/p2e
 p2e −1 1/p(n+2)e
 p2e −1 1/p2e
⊗A1/p2e M pe −1
−
→ L pe −1
µ2 : L pe −1

22

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

is given by id ⊗ (α ◦ α′ ); similarly the right vertical map µ1 is id ⊗ α. The top horizontal map is
given by
 p2e −1 1/p(n+2)e ϕ′ ⊗α′
 p2e −1 1/p2e
(n+1)e
2e
e
⊗A1/p2e M pe −1
−−−−→ L1/p ⊗A1/pe A1/p ⊗A1/p2e M 1/p
L pe −1
∼

e

−
→ L1/p ⊗A1/pe M 1/p

(n+1)e

And the bottom horizontal map is give by
 p2e −1 1/p2e
ne
2e
ne ϕ′ ⊗id
e
L pe −1
⊗A1/p2e A1/p −−−→ L1/p ⊗A1/pe A1/p ⊗A1/p2e A1/p
∼

ne

e

−
→ L1/p ⊗A1/pe A1/p .

 p2e −1 1/p2e
 p2e −1 1/p(n+2)e
P
Now given an arbitrary x ⊗ z ∈ L pe −1
⊗A1/p2e M pe −1
, write ϕ′ (x) = i xi ⊗ yi
2e

e

with xi ∈ L1/p and yi ∈ A1/p . Then, on one hand, if we follow the top horizontal map and then
the right vertical map, we will have
X
X
X
X
x ⊗ z 7→ (
xi ⊗ yi ) ⊗ α′ (z) 7→
xi ⊗ yi α′ (z) 7→
xi α(yi α′ (z)) =
xi ⊗ yi α(α′ (z)),
i

i

i

i

2e

ne

where the last equality holds since α is A1/p -linear and hence A1/p -linear.
On the other hand, if we follow the other path (i.e. the left vertical map first and then the
bottom horizontal map), we will have
X
X
x ⊗ z 7→ x ⊗ α′ (z) 7→ x ⊗ α(α′ (z)) 7→ (
xi ⊗ yi ) ⊗ α(α′ (z)) 7→
xi ⊗ yi α(α′ (z)).
i

i

This proves that the square is indeed commutative when m = 2 and concludes the proof of our
Lemma.


Theorem 3.14. With notation as in Convention 3.12 and below, choose n > n0 = nσ(ϕ),k(V ) . Then
there exists a dense open set U ⊆ V ∼
= V e with W = f −1 (U ) ⊆ X such that
σ(XV 1/pne , γ)|W = σn (X/V, ϕ)|W .
Furthermore, shrinking U further if necessary we can require for all perfect points u ∈ U , that
σ(XV 1/pne , γ) · OXu = σn (Xu /u, ϕu ) = σ(Xu , ψu )
where ψu is ϕu viewed as an absolute p−e -linear map.
Proof. The second statement is immediate from the first by Proposition 3.8, so we need only prove
the first statement. By the diagram in Lemma 3.13 and applying Proposition 3.3, we see that
Im(γ n )|W = an,n |W = an−1,n |W = Im(γ n−1 )|W
for all n > n0 . Hence Im(γ n )|W = σ(XV 1/pne , γ)|W and the result follows.



Convention 3.15. Assuming everything in Convention 3.12, we additionally assume that ϕ is relatively divisorial.
Before we proceed, we prove a lemma about interpreting maps as divisors in the relative vs
absolute setting.
Lemma 3.16. With notation as in Convention 3.15, if ∆ϕ is the divisor corresponding to ϕ as in
Definition 2.8. Then ∆γ , the divisor on XV ne corresponding to γ as in [BS13, Section 4], is equal
to h∗ ∆ where h : XV ne = X ×V V ne −→ X is the projection.

F -SINGULARITIES IN FAMILIES

23

Proof. Working off a set of relative codimension 2, and then working locally on X and V , we
e
can assume that L and M are trivial, and further assume that ϕ( ) = Φ(z 1/p · ) where Φ
e
e
generates H omR 1/pe (R1/p , RA1/pe ) as an R1/p -module. Then ∆ϕ is the divisor corresponding to
A
1
div
(z).
On
the other hand, since the map Γ corresponding to Φ is a composition of generating
e
X
p −1
maps, Γ generates H omR

ne
A1/p

(R

1/pe

A1/p

(n+1)e

, RA1/pne ), see for example [Kun86, Appendix F], and
e

so corresponds to the zero divisor. Furthermore, we see that γ( ) = Γ(z̄ 1/p · ) where z̄ is the
element corresponding to z ⊗ 1 ∈ RA1/pne . Hence ∆γ = pe1−1 divXV ne (z̄) and the claim follows. 
We now need a Lemma which says roughly that in an F -pure F -finite ring A with maximal ideal
e
→ A such that the closed point V (m) is
m, then at least locally, one can always choose a α : A1/p −
an F -pure center of ∆α . To this end, we introduce the following.
e

e

Me,A := {ϕ ∈ HomA (A1/p , A)|ϕ(m1/p ) ⊆ m}
and
e

e

Ne,A := {ϕ ∈ HomA (A1/p , A)|ϕ(A1/p ) ⊆ m}.
e

e

It is straightforward to check that both Me,A and Ne,A are A1/p -submodules of HomA (A1/p , A)
and that Ne,A ⊆ Me,A . We now observe that:
Lemma 3.17. For any F -finite reduced G1 and S2 ring A with maximal ideal m, the formation of
Me,A and Ne,A commute with localization and completion completion, i.e. if W is a multiplicative
system and ˆ denotes completion along m then
W −1 Me,A ∼
= (W −1 M )e,W −1 A and W −1 Ne,A ∼
= (W −1 N )e,W −1A and
Me,A ⊗A Â ∼
and Ne,A ⊗A Â ∼
=M
=N
e,Â

e,Â

The following proof was suggested to us by Manuel Blickle and Kevin Tucker. We believe there
are more general proofs that work without the G1 and S2 hypothesis (but this proof is short).
e
e
e
Proof. We have a natural injective map HomA (m1/p , m) ֒→ HomA (m1/p , A), but HomA (m1/p , A) ∼
=
e
HomA (A1/p , A) since both modules are S2 (since a reflexive module is S2 in a G1 and S2 ring,
e
e
[Har94]). Thus we have HomA (m1/p , m) ֒→ HomA (A1/p , A), the image of which is Me,A . Therefore Me,A clearly commutes with localization and completion since the formation of both Hom
sets commutes with localization and completion. Similarly, the formation of Ne,A commutes with
localization and completion.


Lemma 3.18. Suppose that A is an F -pure F -finite G1 and S2 ring with maximal ideal m. Then
e
e
there exists an A-linear map αA : A1/p −→ A such that αA is surjective and αA (m1/p ) ⊆ m.
Proof. We first assume that A is a local ring. In this case, it suffices to show that Ne,A 6= Me,A .
By Lemma 3.17, we may assume that A is complete since Â is faithfully flat over A. By the Cohen
Structure Theorem, there is a ring of formal power series S = kJx1 , . . . , xn K over a coefficient field k
e
e
of A with surjection S−
→
→A. Write A = S/I. Recall that HomS (S 1/p , S) is generated (as an S 1/p e

pe −1

→ S that sends (x1 · · · xn ) pe to 1 and other basis monomials (including
module) by g : S 1/p −
e
1) to zero. By Fedder’s lemma [Fed83, Lemma 1.6], each element of HomA (A1/p , A) has the form
e
e
e
e
f (u1/p −) with u ∈ (I [p ] : I). Since A is F -pure, (I [p ] : I) 6⊂ n[p ] where n = (x1 , . . . , xn ). Let
e
e
u be an element of (I [p ] : I)\n[p ] . Then u must have a monomial term cxa11 · · · xann with c ∈ k
and ai < pe for each i. Choose such a monomial appearing in u with the least degree and still
e
e
e
e
denote it by cxa11 · · · xann . Then it is clear that (xp1 −1−a1 · · · xpn −1−an )u − c(x1 · · · xn )p −1 ∈ n[p ] .
e
e
e
e
→ A by α(−) = g((x1p −1−a1 · · · xpn −1−an u)1/p −). Then α is in Me,A \Ne,A .
Now define α : A1/p −
This completes the local case by Lemma 3.17.

24

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

For the non-local case, we have the map Me,A −
→ A which is evaluation at 1. Since the formation
of Me,A commutes with localization, this map is surjective if and only if it is surjective locally. The

e
above work proves the result after localizing at m. However, clearly (Me,A )n = HomA (A1/p , A) n
for prime ideals not equal to m. The result follows.

For the moment, we work sufficiently locally so that X = Spec R and V = Spec A are affine
and that L and M are isomorphic to R and A respectively. Continue to assume that A is F pure and quasi-Gorenstein, and fix a point s ∈ Spec A. Shrinking V if necessary, choose a map
e
1/pe
αs ∈ HomA (A1/p , A) which is surjective and which satisfies α(ms ) ⊆ ms (whose existence is
e
guaranteed by Lemma 3.18). We write αs ( ) = ΦeA (z 1/p · ) for some z ∈ A. Note we have an
e
induced map αs : (A/ms )1/p −
→ A/ms .
e
→ RA1/pne defined by the rule β( ) =
We thus induce the following map β : (RA1/pne )1/p −
(n+1)e
1/p
· ). Certainly using the notation of (3.12.3),
γ(z
1/p(n+1)e

β(ms
=

·R

1/pe
(n+1)e

A1/p
(n+1)e
1/p(n+1)e
ms
γ(z 1/p

·R

)
1/pe

(n+1)e )
A1/p



(n+1)e
e
ne
1/p(n+1)e
1/pe
ms
· R 1/p(n+1)e
z 1/p
=
ϕ′ ◦ (ΦeA )1/p ⊗A1/pne R1/p

A

e
ne
1/p(n+1)e
1/pe
1/p
′
1/p
ne
ms
· R 1/p(n+1)e
⊗A1/p R
=
ϕ ◦ (αs )

1/pne

⊆ ϕ′ (ms

1/pne

⊆ ms

A

1/pe

· RA1/pne )

RA1/pne .

And hence we induce a map
β:R

1/pe
(A/ms )1/p

(n+1)e

−
→ R(A/ms )1/pne .

Lemma 3.19. With notation as above, ∆β = ∆γ |Xsne where the divisors are induced as in [BS13,
Section 4].
Proof. Since ϕ is relatively divisorial, by working in relative codimension 1, it suffices to show the
result in the case that ∆γ (and so ∆ϕ ) is trivial (since locally ϕ or ψ is a generator pre-multiplied
by the element which determines ∆ϕ or ∆ψ ). But now consider the composition constructing β.
R

1/pe

(n+1)e
A1/p

·z 1/p

(n+1)e

−−−−−−−→ R

Φ′

1/pe
(n+1)e
A1/p

The composition of the first two maps sends m1/p

(n+1)e

ϕ′

1/pe

−→ RA1/pne −→ RA1/pne
·R

1/pe

out by these ideals induces a generating map for HomR1/pe

ne
(A/m)1/p
1/p(n+1)e

1/pe

ne

(n+1)e
A1/p

(R

to m1/p · RA1/pne and modding

1/pe

1/pe

(n+1)e
(A/m)1/p

, R(A/m)1/pne ) via the

ne

−
→ (A/m)1/p is a generating map
fact that αs is surjective and so the induced map (A/m)
ne
′
as well. On the other hand, if ϕ is a generating map, so is ϕ ⊗A1/pne (A/m)1/p by Lemma 2.19.
Since the composition of two generating maps is a generating map, we are done.

We now explain how the absolute σ behaves when restricting to fibers. First we need two lemmas.
Lemma 3.20. With notation as above, and v ∈ V a closed point.
σ(XV ne , ∆γ ) · OXvne = σ(XV ne , γ) · OXvne ⊇ σ(Xvne , β) = σ(Xvne , ∆β ) = σ(Xvne , ∆γ |Xvne ).
Proof. Obviously σ(XV ne , γ) ⊇ σ(XV ne , β). On the other hand, it follows easily that σ(XV ne , β)
restricts to σ(Xvne , β) by F -adjunction, see for instance [FST11].

The next lemma is a generalization of the fact that for an ideal in a regular ring, I ⊆ (I [1/p] )[p]
using the •[1/p] notation from [BMS08].

F -SINGULARITIES IN FAMILIES

25

Lemma 3.21. Let B be an F -finite regular ring such that B 1/p is a free B-module and that
a
HomB (B 1/p , B) ∼
= B 1/p (for example this happens if B is local). Further suppose that Q is a B 1/p
a
submodule of B 1/p ⊗B P for some B-module P ,
a

Q ⊆ B 1/p ⊗B P.

a
a
Then Q ⊆ B 1/p ⊗B (ϑ ⊗ idP )(Q) where ϑ ∈ HomB (B 1/p , B) is the generator.

any element
Proof. The strategy is similar to [BMS08,
P Proposition 2.5]. By [Kun69, Theorem 2.1],
a
1/p
over B and
of Q can be written as a finite sum
λi ⊗ mi , where {λi } form a basis for B
a
mi ∈ P . Now since ϑ is a local generating map of HomB (B 1/p , B), the projection maps onto
a
the λi are multiples of ϑ. In other words, for each λi there exists a ui ∈ B 1/p such that both
ϑ(ui λi ) = 1 ∈ R and ϑ(ui λj ) = 0 ∈ R for j 6= i.
P
We observe that each mj is then in (ϑ ⊗ idP )(Q) since ϑ(uj λi ⊗ mi ) = mj . It follows then
P
a

that
λi ⊗ mi ∈ B 1/p ⊗B (ϑ ⊗ idP )(Q) .

Lemma 3.22. Suppose that A = k is an F -finite field and K ⊇ k is a field extension of k such that
K is perfect. Choose X = Spec R −→ V = Spec A = Spec k a flat map of finite type with X −→ V
e
possessing geometrically reduced, G1 and S2 fibers. Additionally suppose that γ : R1/p −→ R is any
e
R-linear map which is a local generator of HomR (R1/p , R) at the generic points of the codimension1 components of the non-smooth locus of X. Then, setting ∆γ as in [BS13, Section 4].
σ(X, ∆γ ) ⊗k K ⊇ σ(XK , (∆γ ) ×k K)
ne

ne

ne

Proof. First choose n > 0 such that σ(X, ∆γ ) = γ n (R1/p ). Since Homk (k1/p , k) is a free k1/p module of rank 1, by [Kun86, Appendix F] we can factor γ n as
R1/p

ne

β

/ R 1/pne
k

ϑ

/
: Rk

γn

with ϑ a local generator of H omRk (Rk1/pne , Rk ) and so that ∆β coincides with ∆γ . To see this last
ne
e
point, notice that if γ is a local generator of HomR (R1/p , R), then so is γ n of HomR (R1/p , R)
ne
and hence β is also a local generator of HomR 1/pne (R1/p , RA1/pne ). More generally then, if γ n
A
ne

ne

is a local generator pre-multiplied by some g1/p ∈ R1/p (working in codimension 1) then β is
ne
also a generator times g 1/p (possibly times a unit depending on our choice of ϑ). This proves that
∆β = ∆γ as asserted.
ne
ne
ne
ne
ne
We now observe that γ n (R1/p ) ⊗k k1/p = ϑ(β(R1/p ) ⊗k k1/p ⊇ β(R1/p ) by Lemma 3.21
ne
ne
(here B = k and P = β(R1/p )). After embedding k1/p ⊆ K we tensor β by K to obtain a map
βK : R1/p

ne

→ Rk1/pne ⊗k1/pne K.
⊗k1/pne K −

We see immediately that ∆βK = (∆γ ) ×k K (again by an argument about local generators). Then,
by Lemma 3.21,
ne
ne
ne
σ(X, γ) ⊗k K ∼
= γ n (R1/p ) ⊗k k1/p ⊗ 1/pne K ⊇ β(R1/p ) ⊗ 1/pne K ⊇ σ(X, βK ).
k

This completes the proof.

k



Theorem 3.23. With notation as in Convention 3.15, there exists an N > 0 such that for all
n > N we have σ(XV 1/pne , ∆γ ) · OXsne = σ(Xsne , (∆γ )|Xsne ) for all perfect points s ∈ V .
Proof. The statement is local, so we may assume X and V are affine and that L and M are trivial
just as above in Lemma 3.19. We know
σ(XV 1/pne , γ n ) ⊆ Im(γ n ) = σn (X/V, ϕ)

26

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

by Lemma 3.13. On the other hand, by Theorem 3.9, we have σn (X/V, ϕ) · OXs = σ(Xs , ϕs ).
Therefore, it is sufficient to show that σ(XV 1/pne , γ) · OXsne ⊇ σ(Xsne , ψsne ).
For this we may assume that V is the spectrum of an F -Finite F -pure local ring and that
Spec K = s 7→ V has image the closed point Spec k = v ∈ V . We first see that σ(XV ne , ∆γ )·OXvne ⊇
σ(Xvne , ∆β ) = σ(Xvne , ∆γ |Xvne ) by and using the notation of Lemma 3.20. On the other hand, by
Lemma 3.22
σ(Xvne , ∆γ |Xvne ) · OXsne = σ(Xvne , ∆β ) · OXsne ⊇ σ(Xsne , ∆β ×vne sne ) = σ(Xsne , ∆γ |Xsne ).
This completes the proof.



Using the same method as Lemma 3.20, we also obtain the following result which may also be
of independent interest.
Proposition 3.24. Assume that f : X −→ V is a flat finite type reduced G1 and S2 morphism
e
and that V is regular. Additionally assume that γ : R1/p −→ R is an R-linear map which is a local
generator at the generic points of the codimension-1 components of the non-smooth locus of f for
each fiber of f . Then for any a > 0 we have
a

σ(X, ∆γ ) ⊗A A1/p ⊇ σ(XV a , ∆γ ×V V a ).
e

Proof. The statement is local over the base and so we may assume that KV ∼ 0 and that A1/p is
a free A-module since V is regular [Kun69]. Note then that KX/V ∼
= KX . Choose ne ≥ a > 0 such
ne
a
ne
that σ(X, ∆γ ) = γ n (R1/p ). Since HomA (A1/p , A) is a free A1/p -module of rank 1, by [Kun86,
Appendix F] we can factor γ n as
R1/p

ne

β

/ R 1/pa
A

ϑ

/
;R

γn
ne

where ϑ is a local generator of H omR (RA1/pa , R). Note β ∈ HomR 1/pa (R1/p , RA1/pa ) which is
A
identified with

a
a
ne
H omR 1/pa R1/p ⊗R 1/pa (A1/p ⊗A ωR/A ), (A1/p ⊗A ωR/A )
A
A

ne
∼
= H omRA1/pa (OX (pne KX/V ))1/p , ωR 1/pa /A1/pa
A 
ne
∼
= H omRA1/pa (OX (pne KX ))1/p , ωRA1/pa

∼ H om 1/pne (OX (pne KX ))1/pne , ω 1/pne
=
R
R
ne
∼
= (OX ((1 − pne )KX ))1/p .
Note that since the base is regular, all these sheaves are automatically reflexive and so there is no
need to double dualize as we did before in Definition 2.8. By dividing by (pne − 1) we see that β
coincides with a divisor ∆β such that (1 − pne )(KX + ∆β ) ∼ 0. Furthermore, it is easy to see that
∆β coincides with ∆γ just as in Lemma 3.20 since ϑ is a local generator.
ne

ne
R1/p ⊗

a 1/p
ne+a ...⊗(ΦA )
−−−−−−−−→
A1/p

By composing β with a local generating (and surjective) map
ne
ne
ne
−
→ RA1/pa satisfying the
R1/p we then obtain a map γ ′ : (RA1/pa )1/p ∼
= R1/p ⊗A1/pne A
a
′
′
condition ∆γ = ∆γ ×V V . We also notice that γ has the same image as β.
ne
A1/p
1/pne+a

F -SINGULARITIES IN FAMILIES
a

ne

a

ne

27
ne

Now, we observe that γ n (R1/p ) ⊗A A1/p = ϑ(β(R1/p )) ⊗A A1/p ⊇ β(R1/p ) by Lemma 3.21
ne
setting B = A and P = β(R1/p ). The remainder of the proof is easy since
a

=
⊇
=
⊇
=

σ(X, ∆γ ) ⊗A A1/p
a
ne
γ n (R1/p ) ⊗A A1/p
ne
β(R1/p )
ne 
γ ′ (RA1/pa )1/p
σ(XV a , ∆γ ′ )
σ(XV a , ∆γ ×V V a ).


3.25. Application to sharply F -pure singularities and HSL numbers in families. We
e
observe that Corollary 3.10 has an immediate application. Recall that if γ : L1/p −
→ R is an Rn
n+1
linear map, then the HSL number is the first integer n such that Im(γ ) = Im(γ
) = σ(R, γ), cf.
[Sha07].
Corollary 3.26 (Uniform behavior of HSL numbers). Given a flat family f : X −→ V over a
e
excellent integral scheme V with a dualizing complex of characteristic p > 0 and ϕ : L1/p −→ OXV e
as before, there exists an integer N > 0 such that gives an upper bound on the HSL number of
1/pe
(Xs , ϕs : Ls
−→ OXs ) for every perfect point s ∈ V .
Proof. The statement immediately follows from Theorem 3.9 since clearly σm (Xs /s, ϕs ) agrees with
σ(Xs , γs = ϕs ) for m ≫ n.

Now we study the deformation of sharp F -purity, a question which has been studied before in
[SZ09, Has10]. We believe that the hypothesis that f is proper is necessary in Theorem 3.30.
e

→ OX = R) is called sharply F -pure if σ(X, ψ) =
Definition 3.27. Recall that a pair (X, ψ : L1/p −
e
→ RA1/pe ), we define (X/S, ϕ) to be relatively sharply F -pure if
OX . Given (X/S, ϕ : L1/p −
σn (X/S, ϕ) = RA1/pne for some n > 0, cf. [Has10].
Lemma 3.28. If σn (X/S, ϕ) = RA1/pne for some n > 0, then the same holds for all n > 0.
Proof. Suppose σn (X/S, ϕ) = RA1/pne for some n > 0. Choose m < n to start. Then we know
n
→ RA1/pn
am,n ⊇ an,n = σn (X/S, ϕ) and so am,n = RA1/pne . But am,n = Im am ⊗A1/pm A1/p −
which is just the extension of σm (X/S, ϕ) ⊆ RA1/pme to RA1/pne . Additionally, RA1/pme ⊆ RA1/pne
is an integral extension and hence we must have σm (X/S, ϕ) = RA1/pme as well.
We finish the proof by showing σ2n (X/S, ϕ) = RA1/p2ne . This follows quickly since σ2n (X/S, ϕ)
factors as a composition of two surjective maps (as ⊗ is right exact) as in (2.13.1) and (2.13.1). 
Remark 3.29. If S is a point, then (X/S, ϕ) being relatively sharply F -pure is equivalent to (X/S, ϕ)
being geometrically sharply F -pure (i.e., that (Xt , γt ) is sharply F -pure for every geometric point
t−
→ S where γt is induced from ϕt as in Section 3.11). To see this, certainly observe that if (X/S, ϕ)
is relatively sharply F -pure then so is any base change (Xt /t, ϕt ). But then (Xt , γ) is sharply F -pure
by Theorem 3.14. Conversely, if (Xt , γt ) is sharply F -pure, then certainly (Xt /t, ϕt ) is relatively
sharply F -pure by Lemma 3.13. But then so is (X/S, ϕ) near that t by Nakayama.
Theorem 3.30 (Openness of sharp F -purity). With notation as before, assume that f : X −→ V
is proper. Assume that s ∈ V is a point and that (Xs /s, ϕs ) is relatively sharply F -pure (in other
words, geometrically F -pure). Then there exists a dense open set U ⊆ V containing s such that
(Xu /u, ϕu ) is relatively sharply F -pure for all u ∈ U (in particular, (Xu , ϕu ) is sharply F -pure for
all perfect points u ∈ U ).

28

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Proof. Choose n ≫ 0 such that σn (Xs /s, ϕs ) = RO1/pne since (Xs /s, ϕs ) is sharply F -pure. By
s
Theorem 3.9, we know that σn (X/V, ϕ) = RA1/pne in a neighborhood W ⊆ X of Xs . Let Z =
X \ W ⊆ X be the complement of that neighborhood. Since f is proper, f (Z) is closed, and also
does not contain s. Set U = V \ f (Z). Then σn (XU /U, ϕU ) = RO1/pne . It follows from Theorem 3.9
U

that all the fibers (Xu /u, ϕu ) are relatively sharply F -pure for perfect u ∈ U as desired.



We now state the above theorem in the context of divisors.
Corollary 3.31 (Openness of sharp F -purity for divisor pairs). Suppose that f : X −→ V is a
proper G1 and S2 morphism as before and now additionally suppose that ∆ is a Q-divisor satisfying
conditions (a)–(d) from Remark 2.11. Additionally suppose that s ∈ V is a perfect point and that
(Xs , ∆|Xs ) is sharply F -pure (or more generally, if s is not perfect, that (Xse , ∆|Xse ) is sharply
F -pure for some/all e > 0). Then there exists an open set U ⊆ V containing s such that for all
u ∈ U we have (Xu , ∆|Xu ) is sharply F -pure (respectively, we have (Xue , ∆|Xue ) is sharply F -pure
for some/all e > 0 and all u ∈ U ).
e

→ RA1/pe as in Remark 2.11. The result then
Proof. Associate to ∆ a relatively divisorial ϕ : L1/p −
follows immediately from Theorem 3.30 and Corollary 2.22.

4. Relative test ideals
In this section we define a notion of a relative test ideal. We construct it using the following
method. We first find some ideal I which when restricted to every geometric fiber is contained in
ne
the test ideal of that fiber. We then sum up the image of I 1/p under ϕn (the same method is used
to construct the test ideal in the absolute case). This sounds simple enough, but it actually leads
to a somewhat disappointing construction. The problem is that the ideal we pick is in no sense
canonical and we do not see a way to make it both canonical and stable under base change. In the
case that ϕ corresponds to a trivial divisor, we can make our choices canonical by setting I to be
the Jacobian ideal (this is done later when we discuss relative F -rationality in Section 5), but for
more general ϕ we don’t know of an analogous choice.
e
→ RA1/pe ). We begin
We fix the notation of the previous sections (in particular, we fix ϕ : L1/p −
∞
by choosing an arbitrary ideal I ⊆ OX . After base change to k(V ) as before, setting I∞ = I · R∞ ,
we can form the following sum:
τ (Rk(V ∞ ) , ψ∞ I∞ ) :=

∞
X
i=0

i
ψ∞

(I∞ · L

pie −1
pe −1
k(V ∞ )

)1/p

ie



.

If it happens that I∞ is contained in the test ideal of (Rk(V ∞ ) , ϕ∞ ) and non-zero on any component
of X∞ , then we see that the absolute test ideal τ (Rk(V ∞ ) , ψ∞ (I∞ )) is equal to τ (Rk(V ∞ ) , ψ∞ ) for
example by [ST12, Section 7].
We can also describe this as follows, first essentially observed in [Kat08]. Fix ideals
b∞
0
b∞
1


1/pe
∞
:= b∞
1 + ψ∞ (b1 · Lk(V ∞ ) )


1/pe · L
1/pe
= b∞
k(V ∞ ) )
1 + ψ∞ (I∞ + ψ∞ (I∞ · Lk(V ∞ ) )
pie −1

P2
pe −1
i
1/pie
=
i=0 ψ∞ (I∞ · Lk(V ∞ ) )
... ...
pie −1

Pn
e
pe −1
1/pie
1/p
i
∞
∞
∞
= i=0 ψ∞ (I∞ · Lk(V
bn := bn−1 + ψ∞ (bn−1 · Lk(V ∞ ) )
∞))
b∞
2

(4.0.1)

0 (I )
:= I∞ = ψ∞
∞


1/pe
1/pe = I + ψ
:= b0 + ψ∞ (b∞
∞
∞ (I∞ · Lk(V ∞ ) )
0 · Lk(V ∞ ) )

F -SINGULARITIES IN FAMILIES

29

∞
And we notice that this ascending chain stabilizes say at t. Also note that the first time b∞
t = bt+1 ,
∞
∞
∞
we then have bt = bt+1 = bt+2 = . . .. We fix this integer t.

Definition 4.1. With notation as above, we define the integer t to be the uniform integer for τ
and I over the generic point of V , and in general, it will be denoted by nτ (ϕI),k(V ) . We notice that
for any point η ∈ V , by base change we can replace V by Spec k(η) and form a corresponding
integer nτ (ϕη Iη ),k(η) .
On the other hand, without the passing to k(V ∞ ), we have the images

e
e
→ RA1/pe + ϕ((I · L)1/p ) ⊆ RA1/pe ,
b1 := Im I ⊗A A1/p −


pie −1
P2
1/p2e −
i ((I · L pe −1 )1/pie ) ⊗
→
R
⊆ RA1/p2e ,
b2 :=
Im
ϕ
2e
ie A
1/p
1/p
i=0
A
A
...


pie −1
Pn
ie
i
1/pne −
pe −1 )1/p ) ⊗
bn :=
⊆ RA1/pne ,
→
R
ie A
1/pne
1/p
A
i=0 Im ϕ ((I · L
A
...



2e
→ RA1/p2e ⊆ b2 and more generally for j > i that Im bi ⊗A1/pie
Notice that Im b1 ⊗A1/pe A1/p −

je
→ RA1/pne ⊆ bj . Also observe that this is the opposite containment compared to what we
A1/p −
had in Section 3.
By the same argument as in Section 3, we know that there exists an open set U ⊆ V with
W = f −1 (U ) such that
Im(bt ⊗A1/pte A1/p

(4.1.1)

(t+1)e

−
→ RA1/p(t+1)e )|W = bt+1 |W .

As before in Proposition 3.3, we claim that:
Lemma 4.2. With notation as above, Im(bn ⊗A1/pne A1/p
n ≥ t.

(n+1)e

−→ RA1/p(n+1)e )|W = bn+1 |W for all

Proof. Replacing V by U and X by W , we may assume that


(t+1)e
bt+1 = Im bt ⊗A1/pte A1/p
−
→ RA1/p(t+1)e
By induction on n, it suffices to show that, if bn+1 = Im(bn ⊗A1/pne A1/p

bn+2 = Im(bn+1 ⊗A1/p(n+1)e
RA1/p(n+1)e ) if and only if

(n+2)e
A1/p

(n+1)e

−
→ RA1/p(n+1)e ), then

−
→ RA1/p(n+2)e ). Note that bn+1 = Im(bn ⊗A1/pne A1/p

p(n+1)e −1

(n+1)e

−
→

(n+1)e

)−
→ RA1/p(n+1)e )
Im(ϕn+1 ((I · L pe −1 )1/p
n


X
pie −1
(n+1)e
ie
Im ϕi ((I · L pe −1 )1/p ) ⊗A1/pie A1/p
−
→ RA1/p(n+1)e
⊆
i=0

Tensoring with ⊗R L, taking 1/pe th roots, and applying ϕ yields
Im(ϕn+2 ((I · L
⊆

n+1
X
i=1

Hence,

p(n+2)e −1
pe −1

)1/p

(n+2)e

)−
→ RA1/p(n+2)e )



pie −1
(n+2)e
ie
−
→ RA1/p(n+2)e
Im ϕi ((I · L pe −1 )1/p ) ⊗A1/pie A1/p

bn+2 = Im(bn+1 ⊗A1/p(n+1)e A1/p
This finishes the proof.

(n+2)e

−
→ RA1/p(n+2)e ).


30

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

As before, we define relative test ideals as follows.
Definition 4.3. The nth limiting relative test ideal with respect to I (of the pair (X/V, ϕ)) is
defined to be bn ⊆ RA1/pne and is denoted by τn (X/V, ϕI).
Before proceeding to various properties of relative test ideals, we give one example of relative
test ideals.
Example 4.4. (Example 3.7 revisited) Fix k to be an algebraically closed field of characteristic
p > 2, set A = k[t] and set R = k[x, t] with the obvious map X = Spec(R) −
→ V = Spec(A).
1/p
1/p
1/p
1/p
Let ϕ : R
= k[x , t ] −
→ RA1/p = k[x, t ] be the composition of the local generator β ∈
HomR

A1/p

2

1

1

(R1/p , RA1/p ) with pre-multiplication by (xp + t) p = f p . Set I = hxp + ti. Then

b1 = Im(I⊗A A1/p −
→ RA1/p )+ϕ(I 1/p ) = hxp +ti+h(xp +t1/p )(x+t1/p )i = hxp +t, (xp +t1/p )(x+t1/p )i.
2

2

To calculate b2 , it suffices to calculate Im(ϕ2 (I 1/p )) = Im(β 2 ((xp +t)
RA1/p2 , we can see that Im(ϕ2 (I
check that β 2 ((x

p2

+ t)

1+p
p2

x

1/p2

p2 −p−1
p2

)) ⊆ h(x

p2

1/p2

(xp + t)

+ t)

1+p
p2

) = (x

p2

1+p
p2

2

2

I 1/p )). Since (xp +t)

1+p
p2

∈

i. On the other hand, it is straightforward to
+ t)

1+p
p2

2

= (x + t1/p )(xp + t1/p ). Therefore,
2

b2 = hxp + t, (xp + t1/p )(x + t1/p ), (x + t1/p )(xp + t1/p )i.
1+p+···+pi

2

i+1

For each i ≥ 2, to calculate bi+1 , it suffices to calculate Im(β i+1 ((xp + t) pi+1 I 1/p )). It is
2
straightforward to check that it is contained in h(xp + t1/p )(x + t1/p )i and hence is contained in b2 .
Therefore, bi+1 = b2 as well. So we have
(
hxp + t, (xp + t1/p )(x + t1/p )i
when n = 1
bn =
2
p
1/p
p
p
1/p
1/p
1/p
)(x + t )i n ≥ 2.
b2 = hx + t, (x + t )(x + t ), (x + t
We now prove a base change statement for relative test ideals. Compare with Proposition 3.8.
As before, we fix qi : X ×V T i −
→ X ×V V i to be the natural map.
Theorem 4.5 (Relative test ideals and base change). Fix g : T −→ V to be any morphism with T
excellent, integral and admitting a dualizing complex. Then
Im ((qne )∗ τn (X/V, ϕI) ֒→ OXT ne ) := τn (X/V, ϕI) · OXT ne = τn (XT /T, ϕT IT ).
Furthermore, if U = Un satisfies the condition of Lemma 4.2, then W = g−1 (U ) ⊆ T satisfies the
same condition for τn (XT /T, ϕT IT ).
Proof. We write B = OT and work locally. By construction and right exactness of tensor:
τn (X/V, ϕ) · OXT ne = bn ⊗A1/pne B 1/p

ne

=

n
X

pie −1

ie

ϕi ((I · L pe −1 )1/p ) ⊗A1/pie B 1/p

i=0

But by Lemma 2.17, we have
n
X

pie −1

i=0

=

n
X
i=0

ϕiT ((IT

pie −1
pe −1

· LT

= τn (XT /T, ϕT IT )
which completes the proof.

ie

ϕi ((I · L pe −1 )1/p ) ⊗A1/pie B 1/p
ie

ne



)1/p ) ⊗B 1/pie B 1/p

ne

ne



⊆ RB 1/pne .




F -SINGULARITIES IN FAMILIES

31

Theorem 4.6 (Restriction of τn to fibers). With notation as above, there exists an integer N ≥ 0,
such that for all points s ∈ V , N ≥ nτ (ϕs I),k(s) . In other words, we have both that τn (X/V, ϕ) ·
OXsne = τn (Xs /s, ϕs ) (which always holds) and also that for all m ≥ n ≥ N that
m

τn (X/V, ϕI) ⊗V n k(s)1/p = τm (Xs /s, ϕs Is ).
Proof. The idea is the same as for Theorem 3.9 and we only sketch it here. We stratify V as follows.
The result holds on a dense open subset of U0 ⊆ V . Let V1′ be the complement and let V1 denote
the regular locus of V1′ . Base change to V1 , and then repeat. This procedure stops after finitely
many iterations by Noetherian induction and we choose an N that works for them all.

We now construct I ⊆ R whose restriction is contained in the test ideal of every geometric fiber.
Proposition 4.7 (The existence of relative test elements). With notation as above suppose additionally that f : X −→ V is relatively G1 and S2. Then there exists an ideal I ⊂ OX such that
for every point s ∈ V and every perfect extension K ⊇ k(s), we have that IK ⊆ τ (XK , ψK ) where
again ψK is simply ϕK interpreted as in [BS13]. Additionally, we can assume that I = OX at all
e
points of X such that both X/V is smooth and that ϕ locally generates H omOX (L1/p , RA1/pe ).
Furthermore, if V is strongly F -regular and quasi-Gorenstein, then I can additionally be chosen so
that IV e is within the absolute test ideal of (XV e , γ) (where γ is as in Section 3.11).
We caution the reader that it is possible that ψs (and thus ψK ) could be the zero-map, and
hence IK the zero ideal.
e

e

Proof. First let Z1 ⊆ X denote the locus where ϕR1/p ⊆ H omR 1/pe (L1/p , RA1/pe ) is not an
A
isomorphism. Additionally let Z2 denote the locus where X is not smooth over V . Set Z = Z1 ∪ Z2 .
Set W = X \ Z (and note that we can also view this as a subset of XV e for any e) and notice that
on W we know that ϕ can be identified with the trace map up to multiplication by a unit.
Since f |W is smooth, we observe that ϕ (which is identified with trace) is surjective when restricted to W by Corollary 2.5. Now choose an exponent m > 0 such that
IZm · RA1/pe ⊆ a1,1 = σ1 (X/S, ϕ)
Now choose an integer l > 0 such that IZml is locally generated by cubes of elements of IZm (this
only depends on the number of local generators of IZ ). Then the formation of IZml is obviously
compatible with base change (in that the extension of IZml to the base change will also satisfy the
same containment condition.). Thus set I = IZml . The first result follows immediately from [Hoc07,
Theorem on Page 90] or [Sch11b, Proof of Proposition 3.21].
e
For the second result, we notice that γ locally generates H omR 1/pe (N 1/p , RA1/pe ) and that IZm
A
is also in the image of γ. Therefore, I ml works by the above references.

Therefore we obtain:
Corollary 4.8. Using the notation of Theorem 4.6 assume further that I satisfies the condition of
Proposition 4.7. If s is a perfect point then for all n ≥ N as in Theorem 3.9
m

τn (X/V, ϕI) ⊗V n k(s)1/p = τ (Xs , ψs )
where ψs is ϕs interpreted as a p−e -linear map.
Proof. Simply observe that in general the ascending τj (Xs /s, ϕs Is ) ⊆ τj+1 (Xs /s, ϕs Is ) ⊆ . . . stabilize to τ (Xs , ψs ). Furthermore, by Theorem 4.6 this ascending chain stabilizes.

Corollary 4.9. Using the notation of Theorem 4.6 and assume further that I satisfies the condition
of Proposition 4.7. If the perfect closure of the generic fiber of f : X −→ V is strongly F -regular,
i.e. τ (Rk(V ∞ ) , ψ∞ I∞ ) = Rk(V ∞ ) , then there exists an open subset U ⊆ V such that (Xs , ψs ) is also
strongly F -regular for each perfect point s ∈ U .
Proof. It follows immediately from the proof of Proposition 3.3 and Corollary 4.8.



32

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

4.10. Relative test ideals vs absolute test ideals. We make the following assumption.
Convention 4.11. For the rest of Section 4.10, we assume that V is regular and F -finite.
It is natural to try to relate the relative test ideal τn (X/V, ϕI) with the absolute test ideal
τ (XV ne , γ n ) as in Section 3.11. Indeed, if we construct I as we did in the proof of Proposition 4.7
then it follows easily that I · RA1/pne ⊆ τ (XV ne , γ n ). Thus fix such an I.
We now recall the following diagram from Lemma 3.13


L

pne −1
pe −1

1/pne

⊗A1/pne



 pne −1 1/p(n+n)e
M pe −1

γ′

µn

L

pne −1
pe −1

 p(n−1)e −1 1/p(n−1)e
⊗
L pe −1

A1/pke

denote the extension of I 1/p

µj ’s domain) back onto I
We then observe that:

1/pje

M

p(n−1)e −1
pe −1

A1/p

(n−1)e

1/p(n+n−1)e

A1/p

ne

γ n−1

ϕn−1 ⊗...

RA1/pne

γn

We let I



µn−1

 p(n−1)e −1 1/p(n−1)e
⊗
L pe −1

1/pne
ϕn

1/pje

(n−1)e
A1/p

je

to R

1/pje
A1/pke

. Then notice that µj sends I

1/pje
A1/p

(j+n)e

(times

since each µj is surjective.

Lemma 4.12. With notation as above and assuming Convention 4.11, then τn (X/V, ϕI) ⊆ τ (XV ne , γ).
Proof. We know τn (X/V, ϕI) is the sum
!
n 
 pje −1 1/pje

X
ne
1/pje
1/pne
j
1/p
e
· L p −1
I
ϕ ⊗A1/pje A
(4.12.1)
⊗A1/pje A
j=0

On the other hand, τ (X, γ) is the sum
∞
 pje −1 1/p(j+n)e 
 pje −1 1/pje

X
1/pje
⊗A1/pje M pe −1
γ j I 1/p(j+n)e · L pe −1
(4.12.2)
j=0

A

By our above observations about the surjectivities of the µj above, the sum of the 0th through jth
terms of (4.12.2) is equal to the sum (4.12.1). The result follows.

Additionally, at least over an open subset of the base, we actually have that the relative test
ideal and absolute test ideal agree, cf. Theorem 3.14.
Theorem 4.13. With notation as above and assuming Convention 4.11, choose n > t = nτ (ϕI),k(V ) .
Then there exists a dense open set U ⊆ V ∼
= V e with W = f −1 (U ) ⊆ X such that τ (XV 1/pne , γ)|W =
τn (X/V, ϕI)|W . Furthermore, shrinking U further if necessary and possibly increasing n, we can
require for all perfect points u ∈ U , that
τ (XV 1/pne , γ) · OXu = τn (Xu /u, ϕu Iu ) = τ (Xu , ψu ).
where again ψu is ϕu viewed as a p−e -linear map.
Proof. First we observe that by taking U as in (4.1.1), we can assume that bn−1,n = bn,n . But by
the diagram above, we see that the n − 1st partial sum defining τ (XV 1/pne , γ) in (4.12.2) is equal
to bn−1,n . Likewise the nth partial sum is equal to bn,n . However, once two adjacent partial sums
defining τ (XV 1/pne , γ) coincide, the sum stabilizes for further powers by the computation we made
when defining the b∞
n in (4.0.1). The second statement follows from the first statement and from
Theorem 4.5, cf. the argument of Corollary 4.8.

When dealing with relatively non-F -pure ideals σ, we actually obtained the above restriction
theorem without shrinking X to U in Theorem 3.23. The difference is that for σ we have the easy

F -SINGULARITIES IN FAMILIES

33

containment σ(XV 1/pne , γ n ) ⊆ σn (X/V, ϕ) by Lemma 3.13. For τ however, the easy containment is
reversed. This leads us to the following question:
Question 4.14. Is it true that τ (XV 1/pne , γ) · OXsne = τ (Xs , ψs ) for all perfect points s ∈ V at least
when n ≫ 0?
Rephrasing Theorem 4.13 for divisors we obtain:
Corollary 4.15. Suppose that f : X −→ V is a flat finite map to an excellent regular scheme V .
Additionally suppose that f is relatively G1 and S2 and I is chosen as in Proposition 4.7. Choose
∆ satisfying conditions (a)–(d) of Remark 2.11. Then there exists an open dense set U ⊆ V such
that
τ (XV 1/pne , ∆) · OX 1/pne = τ (Xu , ∆|Xu )
u

for all perfect points u ∈ U .
e

→ RA1/pe .
Proof. Using Lemma 2.24 and Lemma 3.16, we see that ∆ corresponds to some ϕ : L1/p −
Thus we simply apply Corollary 2.22 and Theorem 4.13.

4.16. Applications to strong F -regularity and divisor pairs.
e

→ OX = R) is called strongly F -regular if
Definition 4.17. Recall that a pair (X, ψ : L1/p −
e
→ RA1/pe ) and some I ⊆ R satisfying the condition of
τ (X, ψ) = OX . Given (X/S, ϕ : L1/p −
Proposition 4.7, we say that (X/S, ϕI) is relatively strongly F -regular if we have τn (X/S, ϕI) =
RA1/pne for some n > 0 (equivalently, all n ≫ 0 since the τn ascend), cf. [Has10].
Remark 4.18. Suppose that S is a point and I is chosen as in Proposition 4.7, then (X/S, ϕI) is
relatively strongly F -regular if and only if it is geometrically strongly F -regular (i.e., (Xt , γt ) is
strongly F -regular for every point t −
→ S). The argument is the same as in Remark 3.29
The same ideas imply the strongly F -regular locus of a proper map is open.
Corollary 4.19 (Openness of the strongly F -regular locus). With notation as before, assume
additionally that f : X −→ V is proper and that I satisfies the condition of Proposition 4.7. Assume
that s ∈ V is a point and that (Xs /s, ϕs Is ) is relatively strongly F -regular (for example, if s is a
perfect point, this just means it is strongly F -regular and is independent of I). Then there exists a
dense open set U ⊆ V containing s such that (Xu /u, ϕu Iu ) is relatively strongly F -regular for all
u ∈ U (in particular, (Xu , ϕu ) is strongly F -regular for all perfect points u ∈ U ).
Proof. Choose n ≫ 0 such that τn (Xs /s, ϕs Is ) = RO1/pne since (Xs /s, ϕs Is ) is strongly F -regular.
s
By Theorem 4.6, we know that τn (X/V, ϕI) = RA1/pne in a neighborhood W ⊆ X of Xs . Let
Z = X \ W ⊆ X be the complement of that neighborhood. Since f is proper, f (Z) is closed,
and also doesn’t contain s. Set U = V \ f (Z). Then τn (XU /U, ϕU I|U ) = RO1/pne . It follows from
U

Theorem 4.6 that all the fibers (Xu /u, ϕu Iu ) are relatively strongly F -regular as desired.



At least for proper maps, we also obtain that the definition of relative strongly F -regularity
Definition 4.17 is independent of the choice of I.
Lemma 4.20. Suppose that f : X −→ V is proper and that (X/V, ϕI) is relatively strongly F regular for some I satisfying the condition of Proposition 4.7. Then for all J ⊆ R such that Js
is non-zero on every component of every fiber Xs , we have that τn (X/S, ϕJ) = RA1/pne for some
n > 0 (equivalently, all n ≫ 0).
In particular in Definition 4.17, it would be equivalent to require τn (X/S, ϕJ) = RA1/pne for all
such J and some n.

34

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Proof. Choose a closed point s ∈ V and a perfect extension K ⊇ k(s). Then τm (XK /K, ϕK IK ) =
RK 1/pne for some m > 0 by Theorem 4.6. But since K is a perfect field extension, this implies that
τm (XK , ψK IK ) = RK 1/pme as well. On the other hand, since (XK , ψK ) is strongly F -regular, we
see that τn (XK /K, ϕK JK ) = RK 1/pne for some n > 0. Hence since k(s) ⊆ K is faithfully flat, we
see that τn (Xs /s, ϕs Js ) = Rk(s)1/pne . But then since τn (X/V, ϕJ) restricts to τn (Xs /s, ϕs Js ) we
observe that τn (X/V, ϕJ) = RA1/pne at least in a neighborhood of s using that f is proper and the
same argument we made in Corollary 4.19. But we can find such an n for every s ∈ V , and so the
lemma holds by the quasi-compactness of V .

We now state our result in the divisorial case.
Corollary 4.21. With notation as above, suppose that f : X −→ V is a proper map and that ∆
is a Q-divisor satisfying conditions (a)–(d)8 of Remark 2.11. Additionally suppose that for some
perfect point s ∈ V , the fiber (Xs , ∆|Xs ) is strongly F -regular. Then there exists a dense open set
U ⊆ V containing s such that (Xu , ∆|Xu ) is strongly F -regular for all perfect u ∈ U .
e

→ RA1/pe corresponding
Proof. Using Remark 2.11 we construct a relatively divisorial ϕ : L1/p −
to ∆. Choose now I satisfying the condition of Proposition 4.7. It follows that (Xs , ψs ) is strongly
F -regular and hence that (Xs /s, ϕs Is ) is relatively strongly F -regular since s is a perfect point.
Then Corollary 4.19 and Corollary 2.22 complete the proof.

By a perturbation trick we can also handle the case that the index of KX + ∆ is divisible by
p > 0, at least over curves.
Corollary 4.22. With notation as above, suppose that f : X −→ V is a projective map to a regular
1-dimensional base, and that ∆ is a Q-divisor satisfying the following 4 conditions:
1
D for some Weil divisor D.
(a′ ) ∆′ = m
(b) D is a Weil divisor on X which is Cartier in codimension 1 and Cartier at every codimension
1 point of every fiber.
(c) D is trivial along the codimension-1 components of the non-smooth locus of X −→ V and
the codimension-1 components of
∗∗the non-smooth locus of every fiber.
l
is a line bundle.
(d′ ) l/m ∈ Z and ωX/V
⊗ OX (l∆′ )
Additionally suppose that for some perfect point s ∈ V , the fiber (Xs , ∆|Xs ) is strongly F -regular.
Then there exists a dense open set U ⊆ V containing s such that (Xu , ∆|Xu ) is strongly F -regular
for all perfect u ∈ U .

Proof. We may certainly suppose that V is affine. Since the fiber Xs is normal, and hence geometrically normal, we may also assume that the nearby fibers satisfy the same condition (using that
f is proper). Thus we may assume that all the fibers are geometrically normal and in fact that
the map f : X −
→ V is geometrically integral. Without loss of generality, by base change we can
assume that V is normal and hence X is normal itself. Thus we may assume that X is normal.
Now, since the base is 1-dimensional, we claim that can assume that KX/V doesn’t contain any
fiber. The only fiber we must worry about is Xs (as the others can be handled by shrinking V ).
We argue as follows: note first that KX/V can be viewed as an honest Weil divisor since we already
assumed that X is normal. On the other hand, each fiber is a Cartier divisor. Hence, if KX/V is
non-trivial along the generic point of Xs , by twisting by the pullback of s, we can assume that
KX/V does not contain Xs .
Write l∆′ = cpe0 ∆′ where p does not divide c. Let E be an effective Cartier divisor on X not
containing any fiber such that KX/V + E is effective. We also observe that KX/V + E satisfies
8For example, these conditions hold if V is regular, f : X −
→ V is geometrically normal, KX + ∆ is Q-Cartier
with index not divisible by p and ∆ does not contain any fiber of f in its support.

F -SINGULARITIES IN FAMILIES

conditions (b) and (c) above. Let Γ =

E+KX/V +∆′
pe −1

35

for some e ≫ e0 . Then consider

∆ := ∆′ + Γ.
Note that

c(pe − 1)(KX/V + ∆)
= c(pe − 1)(KX/V + ∆′ + Γ)
= c(pe − 1)(KX/V + ∆′ ) + c(E + KX/V + ∆′ )
= cpe (KX/V + ∆′ ) + cE

which is certainly Cartier. Hence KX/V + ∆ satisfies conditions (a)–(d) from Remark 2.11. On the
other hand, since e ≫ 0, we know that (Xs , ∆|Xs ) = (Xs , ∆′ |Xs + Γ|Xs ) is still strongly F -regular
and so by Corollary 4.21 there exists an open set U such that (Xu , ∆|Xu ) is strongly F -regular for
all u ∈ U . But ∆ ≥ ∆′ and so the result follows for ∆′ as well.

Remark 4.23. In the case of a normal X and in the non-relative case, we know that τ (X; ∆) =
τ (ωX , KX + ∆). Furthermore, we then know that
Tre (F∗e τ (ωX , KX + ∆)) = τ (ωX ,

1
1
(KX + ∆)) = τ (X, e (KX + ∆) − KX ).
e
p
p

Reversing this process gives us a nice means to compute τ (X, ∆) when the index of KX + ∆ is
divisible by p. It would be natural try to prove a relative version of this, which may yield a suitable
definition of relative test ideals for KX + ∆ of any index. We won’t attempt this here.
5. Relative test submodules, F -rationality and F -injectivity
Our goal in this (somewhat shorter) section is to explore relative test submodules and non-F injective modules. Throughout this section, we assume that f : X −
→ V is a Cohen-Macaulay
morphism. This provides us with base change for relative canonical sheaves ωX/V [Con00].
We first define relative non-F -injective modules σn (X/V, ωX/V ) and relative test submodules
τn (X/V, ωX/V ). Recall the trace map, Lemma 2.18
n

ne
1/p
→ ωXV n /V n ∼
ΦX/V,n : ωX/V = ωX n /V n −
= ωX/V ⊗A A1/p .

Here the final isomorphism follows from [Con00, Theorem 3.6.1] since f is a Cohen-Macaulay
morphism. We will form σ and τ relative to these maps, instead of relative to the map ϕ discussed
previously. One key point to remember is that by Lemma 2.18, the map ΦX/V,n is compatible with
arbitrary base change (since in this section, f is a Cohen-Macaulay morphism). We also observe
that the composition of trace maps
1/pm−n

(5.0.1)

ΦX/V,m−n

ωX m /V m −−−−−−→ ω

XVn m /V m

ΦX/V,n ⊗A1/pn A1/p

m

m
−−−−−−−−−−−−−→ ωX/V ⊗A A1/p ∼
= ωXV m /V m .

can be identified with ΦX/V,m .
5.1. The definition and basic properties of σn (X/V, ωX/V ). For each integer n > 0, define
n
cn := Im(ΦX/V,n ) ⊆ ωXV n /V n ∼
= ωX/V ⊗A A1/p . Furthermore, for each m ≥ n, using the factorization in (5.0.1) it is easy to see that

m
→ ωR 1/pm
(5.1.2)
cm ⊆ Im cn ⊗A1/pn A1/p −
A

just as we observed in Section 3.

Definition 5.2. With notation as above, we define the nth relative non-F -injective submodule,
denoted σn (X/V, ωX/V ) to be cn ⊆ ωXV n /V n .

36

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

As before, we will prove a stabilization statement for cn and cm , in particular that the containment
(5.1.2) is an equality for all m > n ≫ 0. By base changing with k(V ∞ ), the perfection of the residue
field of the generic point of V , we can again find an integer n0 > 0 and an open set U ⊆ V such
that

n0 +1
cn0 +1 |f −1 U = Im cn0 ⊗A1/pn0 A1/p
−
→ ωR 1/pn0 +1 |f −1 U .
A

Again observe that for
U inside the regular locus of V , we can identify the image above with
n
n +1 
m
cn0 ⊗A1/pn0 A1/p 0 |U by the flatness of A1/p over A1/p . We then obtain:

Proposition 5.3. Fix notation as above. For every integer n ≥ n0 , there exists a nonempty open
subset Un ⊆ V of the base scheme V satisfying the following condition. If one sets Xn = f −1 (Un ),
then we have that for every m ≥ n

m
(5.3.1)
σm (X/V, ωX/V )|Xn = Im σn (X/V, ωR/A ) · OXn ⊗A1/pn A1/p −→ ωR 1/pm .
A

Furthermore we may assume that Un0 ⊆ Un0 +1 ⊆ · · · ⊆ Un ⊆ Un+1 ⊆ · · · form an ascending chain
of open sets.
Proof. The proof is identical to that of Proposition 3.3 and so we omit it.



We now point out that relative non-F -injective modules behave well with respect to base change.
Recall that if g : T −
→ V is a map, then qn : XT n −
→ XV n is the induced map.
Proposition 5.4 (Base change for σn (X/V, ωX/V )). Suppose that g : T −→ V is a map from an
excellent scheme with a dualizing complex, then using the notation of Section 2.16

Im (qn )∗ σn (X/V, ωX/V ) → ωXT n /T n = σn (XT /T, ωXT /T ).

Furthermore, if U = Un satisfies condition (5.3.1) from Proposition 5.3, then W = g−1 (U ) ⊆ T
satisfies the same condition for σn (XT /T, ωXT /T ).

Proof. The first statement is an immediate consequence of base change relative canonical sheaves
n+1
and ΦX/V,n+1 have the same image
and trace Lemma 2.18. For the second, if ΦX/V,n ⊗A1/pn A1/p
in ωXV n /V n , then its easy to see that the base changed maps also have the same images.

Tre

Recall for any F -finite scheme Y with canonical module ωY , then σ(ωY ) is equal to ℑ(F∗e ωY −−→
ωY ) for any e ≫ 0.
Corollary 5.5 (Restriction theorem for σn (X/V, ωX/V )). With notation as above, there exists an
integer N > 0 such that for every perfect point s ∈ V , we have


ne
σ(ωXs ) = Im σn (X/V, ωX/V ) ⊗A1/pne k(s)1/p −→ ωXs /s .
for all n > N .

Proof. Taking g : s −
→ V in the previous theorem and so obtain that the image is equal to
σn (Xs /s, ωXs /s ). Furthermore, since k(s) is perfect, we have containments . . . ⊇ σn (Xs /s, ωXs /s ) ⊇
σn+1 (Xs /s, ωXs /s ) ⊇ . . . with a descending intersection that coincides with σ(ωXs ). Furthermore,
by Proposition 5.4, over a dense open set U ⊆ V and some N > 0 we have σn (Xs /s, ωXs /s ) =
σn+1 (Xs /s, ωXs /s ) and hence σn (Xs /s, ωXs /s ) = σ(ωXs ) by the construction of σ(ωXs ) for all n ≥
N0 . Let V1 = V \ U , base change with V1 and obtain the result over a dense open subset U1 of V1
(for some N1 ). By Noetherian induction, this process terminates.


F -SINGULARITIES IN FAMILIES

37

5.6. The definition and basic properties of τn (X/V, ωX/V ). The goal of this section is to
develop the basics of a relative theory of test submodules. We fix the notation of the previous
sections and additionally assume that X is geometrically normal over V which we now also assume
is regular. We let J = JX/V ⊆ R be the Jacobian ideal sheaf of X over V . We observe that the
formation of JX/V commutes with base change in the following sense: for any T −
→ V , we have
JX/V · OXT = JXT /T . To see this, just note that JX/V can be defined as a Fitting ideal of ΩX/V
([HS06, Discussion 4.4.7]) and that the formation of ΩX/V ([Eis95, Proposition 16.4]) and Fitting
ideals ([HS06, Discussion 4.4.7]) commutes with arbitrary base change. Note that J is nonzero at
any generic point of X since X is geometrically reduced. Furthermore, on every perfect fiber, the
Jacobian ideal is contained in the (big) test ideal [Hoc07, Theorem on Page 213].
We have the images

→ ωR 1/p /A1/p + ΦX/V,1 ((J · ωR )1/p ) ⊆ ωR 1/p ,
d1 := Im J · ωR 1/p /A1/p −
A
A

A
P2
2
i
1/p
1/p
−
→ ωR 1/p2 ⊆ ωR 1/p2 ,
) ⊗A1/pi A
d2 :=
i=0 Im (ΦX/V,i (J · ωR/A )
A
A
...


Pn
1/pn −
1/pi ) ⊗
→
ω
⊆ ωR 1/pn ,
dn :=
Im
(Φ
(J
·
ω
)
i A
R
n
1/p
X/V,i
R/A
i=0
1/p
A
A

A

...



2
→ ωR 1/p2 ⊆ d2 and more generally for j > i that
Notice that d1,2 := Im d1 ⊗A1/p A1/p −
A


j
1/p
−
→ ωR 1/pn ⊆ dj .
di,j := Im di ⊗A1/pi A
A
By the same argument as in Section 3, we know that there exists an open set U ⊆ V with

(t+1)e
−
→ ωR 1/pt+1 |W = dt+1 |W .
W = f −1 (U ) such that Im dt ⊗A1/pte A1/p
A

Lemma 5.7. With notation as above, Im dn ⊗A1/pne A1/p
all n > t.

(n+1)e

−→ ωR

(n+1)e
A1/p


|W = dn+1 |W for

Proof. The proof is the same as the proof of Lemma 4.2 and so we omit it.



Definition 5.8 (Relative test submodules). With notation as above (in particular, ωX/V is still
compatible with base change), we define the nth iterated relative test submodule to be dn and denote
it by τn (X/V, ωX/V ).
We now discuss base change for relative test ideals.
Proposition 5.9 (Base change for τn (X/V, ωX/V )). Suppose that g : T −→ V is a map from a
excellent scheme with a dualizing complex, then using the notation of Section 2.16

Im (qn )∗ τn (X/V, ωX/V ) → ωXT n /T n = τn (XT /T, ωX/T ).

Furthermore, if U = Un satisfies condition from Lemma 5.7, then Y = g −1 (U ) ⊆ T satisfies the
same condition for τn (XT /T, ωXT /T ).
Proof. It is just as before since ωX/V and J are compatible with arbitrary base change.



Corollary 5.10 (Restriction theorem for τn (X/V, ωX/V )). With notation as above, there exists an
integer N > 0 such that for every perfect point s ∈ V , we have


ne
Im τn (X/V, ωX/V ) ⊗A1/pne k(s)1/p −→ ωXs /s = τ (ωXs ).
for all n > N .

38

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Proof. Taking g : s −
→ V in Proposition 5.9 and so obtain that the image is equal to τn (Xs /s, ωXs /s ).
Furthermore, since k(s) is perfect, we can make identifications so as to have containments . . . ⊆
τn (Xs /s, ωXs /s ) ⊆ τn+1 (Xs /s, ωXs /s ) ⊆ . . . with a ascending union that coincides with τ (ωXs ). Furthermore, by Proposition 5.4, over a dense open set U ⊆ V and some N > 0 we have τn (Xs /s, ωXs /s ) =
τn+1 (Xs /s, ωXs /s ) for all n ≥ N0 and hence τn (Xs /s, ωXs /s ) = τ (ωXs ) by the computation of (4.0.1).
Let V1 = V \ U , base change with V1 and obtain the result over a dense open subset U1 of V1 (for
some N1 ). By Noetherian induction, this process must terminate.

Remark 5.11 (Relative versus absolute τ (ω)). It would be natural to relate the relative σ(ω) and
τ (ω) with the absolute σ(ω) and τ (ω). While the authors believe that this is possible along the
lines of Section 3.11 or Section 4.10, we won’t work out the details here.
5.12. Applications to families of F -injective and F -rational singularities. In this section,
we obtain new proofs of results of M. Hashimoto [Has01], deformation of F -injectivity and F rationality in proper flat families. Note Hashimoto proved the local version of these results (and in
the F -rationality case, over a variety). However, the local results generalize to the non-local case
via straightforward computations. We begin with a definition essentially first made by Hashimoto.
Definition 5.13 (cf. [Has01, Has10]). We say that X/V (which is still assumed to be relatively
Cohen-Macaulay) is relatively F -injective if for some n > 0 we have σn (X/V, ωX/V ) = ωXV n /V n .
Likewise, X/V is relatively F -rational if for some n > 0 we have τn (X/V, ωX/V ) = ωXV n /V n .
Remark 5.14. If V is the spectrum of a perfect field k, it is easy to see that f : X −
→ V is
relatively F -injective (respectively relatively F -rational) if and only if X is F -injective (respectively
F -rational) in the usual sense [ST12, Section 8] via an identification of k ∼
= k1/p . Note we are
implicitly assuming that X is Cohen-Macaulay in this case.
Lemma 5.15. (cf. [Has01, Proposition 5.5]) With notation as above, if σn (X/V, ωX/V ) = ωXV n /V n
for some n > 0, then σm (X/V, ωX/V ) = ωXV m /V m for all m > 0 divisible by n. Furthermore, if V
is regular, then the result holds for all m ≥ n. Additionally, if τn (X/V, ωX/V ) = ωXV n /V n for some
n > 0, then τm (X/V, ωX/V ) = ωXV m /V m for all m ≫ 0.
Proof. We begin with σ. We notice that



2n
→ ωXV 2n /V 2n
σ2n (X/V, ωX/V ) = Im Im ωX n /V n −
→ ωXVn /V n ⊗A1/pn A1/p −

and our hypothesis σn (X/V, ωX/V ) = ωXV n /V n implies that the inner map is surjective. But then
the outer map is surjective too by right exactness of tensor and so σ2n (X/V, ωX/V ) = ωXV 2n /V 2n .
The general case repeats this process and so follows similarly.
Now we assume that V is regular for the second statement about σn . We fix an n > 0 such that
σn (X/V, ωX/V ) = ωXV n /V n . Then for all m ≤ n, we have
n
n
σm (X/V, ωX/V ) ⊗A1/pm A1/p ⊇ σn (X/V, ωX/V ) = ωXV n /V n ∼
= ωXV m /V m ⊗A1/pm A1/p
n

n

and so σm (X/V, ωX/V ) ⊗A1/pm A1/p = ωXV m /V m ⊗A1/pm A1/p . On the other hand, if we know
n
σm (X/V, ωX/V ) ( ωXV m /V m then the previous equality is impossible since A1/p faithfully flat over
A [Kun69] (since V is regular).
Handling τ is easy. Again use that ωX/V is compatible with base change, since

m
→ ωXVm /V m
ωXVm /V m = Im ωX/V ⊗A1/pn A1/p −

m
→ ωXVm /V m
= Im τn (X/V, ωX/V ) ⊗A1/pn A1/p −
= dn,m
⊆ dm
= τn (X/V, ωX/V )
⊆ ωXVm /V m

F -SINGULARITIES IN FAMILIES

39


Theorem 5.16. (Deformation of F -rationality and F -injectivity, cf. [Has01, Theorem 5.8, Remark
6.7]) Suppose that f : X −→ V is a proper flat finite type equidimensional reduced Cohen-Macaulay
morphism to an excellent integral scheme V with a dualizing complex. Suppose that for some point
s ∈ V , the fiber Xs /s is relatively F -injective (respectively, F -rational). Then there exists an open
neighborhood U ⊆ V containing s such that Xu −→ u is relatively F -injective (respectively, F rational) for all u ∈ U .
Proof. We first show that σn (ωX/V ) = ωXV ne /V ne at each point of the fiber Xs . Indeed, let z ∈ X
be a point on Xs and let I denote the ideal sheaf of Xs . We observe that for some n, the natural
map σn (ωX/V )/(I · σn (ωX/V )) −
→ ωX/V /(I · ωX/V ) = ωXs /Vs is surjective. This is preserved after
localizing at z, and so since I ⊆ mz , we see that the generators of the stalk (σn (ωX/V ))z generate
(ωX/V )z by Nakayama’s lemma. Hence (σn (ωX/V ))z = (ωX/V )z . Since this holds at every point
z ∈ Xs ⊆ X, it holds in a neighborhood of Xs .
As before, let Z denote the locus where σn (ωX/V ) 6= ωXV ne /V ne . This is closed and since f is
proper, its image f (Z) is closed too. But f (Z) is then a closed set not containing s. The result
follows for F -injectivity. The proof for F -rationality is the same.

6. Global applications
The purpose of this section is to develop a global theory of the previous sections for a projective
family f : X −
→ V . In the last few years, there has been a new push to use Frobenius and the
trace map to replace the Kodaira vanishing theorem. In this section we extend some of these ideas
to families. We study how the canonical linear subsystems S 0 (Xs , σ(Xs , ∆s ) ⊗ Ms ) ⊆ H 0 (Xs , Ms ),
introduced in [Sch11a], behave as we vary s ∈ V . Furthermore, as mentioned in the introduction
we also obtain some global generation and semi-positivity statements.
6.1. Basic definitions. We use the following setup throughout Section 6.
→ V is projective and
Notation 6.1. In the situation of Notation 2.1, assume also that f : X −
additionally that V is regular (which implies that FVe : V e −
→ V is flat). Furthermore, fix a line
bundle M on X. Sometimes we also assume the following (in which case we write Notation 6.1* ):
(*): there is an integer N ≥ 0, such that for every integer m ≥ N ,
σm (X/V, ϕ) = σN (X/V, ϕ) ⊗

1

A

1
pNe

A pme .

In this situation we denote σN (X/V, ϕ) by σN . We notice that this condition (*) always holds over
a dense open set of the base by Proposition 3.3.
Remark 6.2. Note that since X (resp. V ) is topologically isomorphic to XVneme (resp. V me ) for every
→ V me .
m ≥ n, f∗ can be identified with g∗ , where g is any of the induced morphisms XVneme −
ne
→ V me
Hence, we use only f∗ for all purposes, even when g∗ for one of the above maps g : XV me −
would be more natural. The downside of this notation is that it does not show if a sheaf has a
me
A1/p structure, and consequently its pushforward by f a OV me structure. We decided to still use
it, because it simplifies greatly the notations.
Summarizing: when reading the following arguments it is important to trace through the space
XVneme on which the adequate sheaves live. Then f∗ of these sheaves will live on V me .
Notation 6.3. When dealing with sheaves G on V ne , we will frequently pull them back to V me
1/pme
⊗O1/pne G, we will write
for m ≥ n. When doing this, instead of writing OV me ⊗OV ne G or OV
V
me
simply V
×V ne G or GV me . We trust this abuse of notation will cause no confusion, as it helps
compactify the notation substantially.

40

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Our approach to understanding how the canonical linear systems of [Sch11a] behave in families
is to define a relative version of them, and then show certain base-change properties. These objects
will be relative versions of σ for global sections, and they play the same role for σn that T 0 and S 0
plays for τ and σ in [BST11] and [Sch11a] respectively.
Definition 6.4. In the situation of Notation 6.1, define

Sϕ0 n f∗ (M )



:= im f∗

L

pne −1
pe −1



1
pne

⊗R M

!

!

 1
ne
.
−−−−−−−−−→ f∗ A p ⊗A M
f∗ (ϕn ⊗R idM )

Note that Sϕ0 n f∗ (M ) is a sheaf on V ne and it is a subsheaf of (f∗ (M ))V ne by flat base-change. In
0
case (X, ∆) is a pair we define S∆,ne
f∗ (M ) := Sϕ0 n f∗ (M ) (assuming (pne − 1)(KX + ∆) is Cartier
∆
0 f (M ) for S 0
and ϕ is the corresponding map). If ∆ = 0, then we write Sne
∗
∆,ne f∗ (M ).
Since the image of ϕn ⊗R idM in the above definition is σn (X/V, ϕ)⊗R M the following proposition
is immediate.
Proposition 6.5. In the situation of Notation 6.1,

Sϕ0 n f∗ (M ) ⊆ f∗ (σn (X/V, ϕ) ⊗R M ).
Our first goal is to show that the images in Definition 6.4 descend (up to appropriate base change
by Frobenius). Compare with the containments ai,n ⊇ ai+1,n ⊇ · · · ⊇ an,n of Section 3.
Proposition 6.6. For all integers m ≥ n ≥ 0,

(6.6.1)

V me ×V ne Sϕ0 n f∗ (M ) ⊇ Sϕ0 m f∗ (M )

as subsheaves of V me ×V f∗ (M ).
Remark 6.7. To be precise the left and right hand side of (6.6.1) are subsheaves of

1

1

V me ×V ne f∗ (A pne ⊗A M ) and of f∗ (A pme ⊗A M ),

1

1

respectively. However, both V me ×V ne f∗ (A pne ⊗A M ) and f∗ (A pme ⊗A M ) are canonically isomorphic
to V me ×V f∗ (M ) via flat base-change (since V is regular).

F -SINGULARITIES IN FAMILIES

41

Proof of Proposition 6.6. The following commutative diagram shows that f∗ (ϕm ⊗R idM ) factors
through V me ×V ne f∗ (ϕn ⊗R idM ).


V me ×V ne f∗

L

pne −1
pe −1



1
pne

⊗R M

!

V me ×V ne f∗ (ϕn ⊗R idM )



∼
=

1

f∗ A pme ⊗

A

1
pne


1
f∗ A pme ⊗

A

1
pne


(ϕn ⊗R idM )



1



1

/ f∗ A pme ⊗A M

R
A

1
p(m−n)e

⊗R L
O

pne −1
pe −1



1
pne

⊗R M



f∗  ϕm−n ⊗R id

!

pne −1
e
L p −1

/ f∗ A pme ⊗A M
O
!

1
pne





⊗R idM 


1
! pne
1
 (m−n)e  (m−n)e
ne −1
p
p
−1
p
⊗R L pe −1
⊗R M 
f∗ 
L pe −1




=

∼
=

f∗



flat basechange



∼
=

flat base-change [Har77,
Proposition III.9.3] of f∗
by V me −→ V ne

!
1
 ne  ne
p
p −1
L pe −1
⊗R M

1

/ V me ×V ne f∗ A pne ⊗A M

f∗ (ϕm ⊗R idM )

∼
=

projection formula

f∗



L

pme −1
pe −1



1
pme

⊗R M

!

BC

Hence, the statement of the proposition holds by the following computation.
Sϕ0 m f∗ (M ) = im (f∗ (ϕm ⊗R idM ))
⊆ im (V me ×V ne f∗ (ϕn ⊗R idM ))
= V me ×V ne im (f∗ (ϕn ⊗R idM )) .
|
{z
}

=V

V ne −→ V me is flat
me
×V ne Sϕ0 n f∗ (M )


6.2. Auxiliary definition and stabilization. We would now like to obtain a global result similar
to Proposition 3.3. In particular, we’d like the containments of Proposition 6.6 to be equality over
a dense open subset subset of the base V . There is a complicating factor however, while we can
still find an open set U of V such that




V (n+1)e ×V ne Sϕ0 n f∗ (M )
= Sϕ0 n+1 f∗ (M )
U

U

we do not see how to use this to show that we have the n + 1 to n + 2 equality without additional
assumptions. The issue is that in the proof of Proposition 3.3, twisting by line bundles is exact.
For Sϕ0 n however we also push forward. Therefore, in order to obtain our stabilization over a dense
open set of the base we need additional positivity assumptions on M and L.

42

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Furthermore, we need an auxiliary version of Sϕ0 which involves the σN := σN (X/V, ϕ) from
pme −1

Notation 6.1*. To do this, first observe that since f is flat, the tensor product L pe −1 ⊗R σN is
pme −1
pme −1
Ne
naturally identified with a subsheaf of L pe −1 ⊗R RA1/pNe ∼
= L pe −1 ⊗A A1/p . In order to motivate
this auxiliary definition, we make the following observation:
Lemma 6.8. In the situation of Notation 6.1* , we have that the image of the natural map
1
1
 me
 me
 me
 me
(N+m)e
p
p
ϕm ⊗A1/pme A1/p
p
−1
p
−1
e −1
e −1
p
p
−−−−−−−−−−−−−−−→ RA1/p(N+m)e
⊗ R σN
⊗R RA1/pNe
֒→ L
αN +m : L
is equal to σN ⊗A1/pNe A1/p

(N+m)e

∼
= σm+N (X/V, ϕ).

pme −1

Proof. The first term is the image of the pme th root of L pe −1 ⊗R ϕN . Therefore the image of the
composition also equals σm+N (X/V, ϕ) by our construction of ϕj in Section 2.13.

This stabilization suggests it is reasonable to make the following definition.
Definition 6.9. In the situation of Notation 6.1* ,


!
1

 me
 me

1
p


p
−1
f∗ (αN+m ⊗R M )

pe −1 ⊗
p(n+N)e ⊗
Sϕ0 n ,σN f∗ (M ) := im 
M
σ
f
⊗
M
L
−
−
−
−
−
−
−
−
−
−
→
f
A
A
R
N
∗
R
∗



where αN +m is as in Lemma 6.8.

Consider the following proposition relating the various S 0 f∗ objects so far described.
Proposition 6.10. In the situation of Notation 6.1* , for every integer m ≥ 0,
V (N +m)e ×V me Sϕ0 m f∗ (M ) ⊇ Sϕ0 m ,σN f∗ (M ) ⊇ Sϕ0 m+N f∗ (M )
(Here all sheaves are regarded as subsheaves of V (N +m)e ×V f∗ (M ) via flat base-change.)
Proof. This follows directly from the definitions. The first containment is trivial, and the second

follows from a factorization similar to the one from Proposition 6.6.
Proposition 6.11. In the situation of Notation 6.1* ,
(a) for all integers m ≥ n ≥ 0,
V (N +m)e ×V (N+n)e Sϕ0 n ,σN f∗ (M ) ⊇ Sϕ0 m ,σN f∗ (M ),
as subsheaves of V (N +m)e ×V f∗ (M ), and
e
(b) if furthermore L ⊗ M p −1 is f -ample, then there is an integer n > 0, such that for every
integer m ≥ n, the above inclusion is equality.
(c) if furthermore M = Ql ⊗ P , where Q is f -ample, then there is an integer l0 > 0, such that
for every integer l ≥ l0 , m ≥ n ≥ 0 and nef line bundle P the above inclusion is equality.
Proof. Define the coherent sheaf Bϕ on XV (N+1)e as the kernel of the top horizontal map in the
following commutative diagram.
(6.11.1)

Bϕ 



1

/ (L ⊗R σN ) pe
OO

ϕ⊗

1

/ / A p(N+1)e ⊗ 1 σN
pNe
OO A

1

(idL ⊗R ϕN ) pe
1
1 ! pe
 Ne  Ne
p
−1
p
L ⊗ L pe −1

ϕN+1

∼
=



L

p(N+1)e −1
pe −1



1
p(N+1)e

F -SINGULARITIES IN FAMILIES

43

1

Note here we used that the image of ϕN +1 is A p(N+1)e ⊗

1

A pNe

σN by the assumptions made in

Notation 6.1* . Also, the horizontal arrow is surjective by either Lemma 6.8 or from the diagram
!
1
 me
 me
p
p
−1
(which is how we proved Lemma 6.8). Then one can apply f∗
L pe −1 ⊗R
⊗R M
to the top row of (6.11.1), which is shown in the following commutative diagram. We have also
included important isomorphisms to the different terms of the exact sequence.


f∗

L

pme −1
pe −1

⊗ R Bϕ
_



1
pme

⊗R M



f∗



L

pme −1
pe −1

⊗R (L ⊗ σN )

1
pe



1
pme

!

⊗R M

!

∼
=

f∗



L

p(m+1)e −1
pe −1

⊗ R σN



1
p(m+1)e

ν



f∗



L



pme −1
pe −1

⊗ R σN ⊗

1

A pNe

A

1
p(N+1)e



R1 f



f∗

L

pme −1
pe −1

∗



L

⊗ R σN

pme −1
pe −1



1
pme

⊗ R Bϕ

⊗
Ap



1
pme

1
(N+m)e



1
pme

k

⊗R M

A

⊗R M

!

!

1
p(N+m+1)e

∼
=

!s

⊗R M

!

∼
=

by flat base change

V

(N +m+1)e

×V (N+m)e f∗

V

(N +m+1)e



L

pme −1
pe −1



×V (N+m)e

⊗ R σN



1
pme

Sϕ0 m ,σN f∗ (M )

⊗R M

!


Sϕ0 m+1 ,σN f∗ (M )
o

Both V (N +m+1)e ×V (N+m)e Sϕ0 m ,σN f∗ (M ) and Sϕ0 m+1 ,σN f∗ (M ) can be regarded as subsheaves of

V (N +m+1)e ×V f∗ (M ) via flat base change. Furthermore, the bottom horizontal arrow becomes a
map of subsheaves, i.e., an injection, this way. This shows point (a).
e
To prove point (b), we are supposed to prove that whenever L ⊗ M p −1 is f -ample, this arrow
is also surjective for m ≫ 0. This would follow if the third vertical arrow (from above), labeled ν,
was surjective. Therefore, it is sufficient to show that for m ≫ 0,
0 = R 1 f∗



L

pme −1
pe −1

⊗ R Bϕ



1
pme

⊗R M

!

= R 1 f∗



= R 1 f∗



L

pme −1
pe −1

⊗ R Bϕ ⊗ R M

L⊗M

pe −1

−1
 ppme
e −1

pme



1
pme

!

⊗ R Bϕ ⊗ R M



1
pme

!

.

⊗R M

!

44

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG
1

Note that since applying ( ) pme does not change the sheaf of abelian groups structure, this is
equivalent to showing


 pme −1
e
0 = R1 f∗ L ⊗ M p −1 pe −1 ⊗R Bϕ ⊗R M


−1
 pme

e −1
1
p
e
⊗R
(Bϕ ⊗R M ) .
= R1 f∗  L ⊗ M p −1 ⊗A A pN+1
(N+1)e
A1/p

e

1

Furthermore, L ⊗ M p −1 ⊗A A pN+1 is a relatively ample line bundle by the assumption of point (b)
and Bϕ ⊗R M is a coherent sheaf on XV (N+1)e . Therefore, relative Serre vanishing concludes our
proof.
Point (c) follows immediately from the above argument. Indeed, if M = Ql ⊗ P , then by relative
Fujita vanishing [Kee03, Theorem 1.5] there is an integer l0 > 0, such that the above vanishing
holds for every m ≥ 0, l ≥ l0 and nef line bundle P .

e

Corollary 6.12. In the situation of Notation 6.1* , if L⊗M p −1 is f -ample, then there is an integer
n > 0, such that for every integer m ≥ n


= Sϕ0 m−N ,σN f∗ (M )
V me ×V ne Sϕ0 n f∗ (M ) = Sϕ0 m f∗ (M )
as subsheaves of V me ×V f∗ (M ). Furthermore in the situation of point (c) of Proposition 6.11 where
M = Ql ⊗ P = (ample)l ⊗(nef) with l ≫ 0, we can pick n = N .

Proof. By Proposition 6.10,
(6.12.1) V (m+2N )e ×V (m+N)e Sϕ0 m ,σN f∗ (M ) ⊇ V (m+2N )e ×V (m+N)e Sϕ0 m+N f∗ (M ) ⊇ Sϕ0 m+N ,σN f∗ (M ).
Furthermore, by Proposition 6.11.b, we know the statement holds when Sϕ0 m f∗ (M ) is replaced by
Sϕ0 m ,σN f∗ (M ). Hence the inclusion of the right end of (6.12.1) to the left end is an equality for m ≫ 0.
However, then all inclusions in (6.12.1) are equalities. In particular from the first equality of (6.12.1),
using that V (m+2N )e −
→ V (m+N )e is faithfully flat, we obtain that Sϕ0 m ,σN f∗ (M ) = Sϕm+N f∗ (M )
for m ≫ 0. Using Proposition 6.11.b once more concludes our proof of the main statement. The
final statement is similar.

We can now obtain our promised analog of Proposition 3.3.
e

Theorem 6.13. In the situation of Notation 6.1, if L ⊗ M p −1 is ample, there exists an integer
n0 and a dense open set U ⊆ V such that for all m ≥ n ≥ n0 we have that




V me ×V ne Sϕ0 n f∗ (M )
= Sϕ0 m f∗ (M )
.
U

U

Proof. By shrinking V and applying Proposition 3.3 we can reduce to the case of Notation 6.1* .
The result follows directly from Corollary 6.12.


Corollary 6.14. In the situation of Notation 6.1, there is a natural inclusion
Sϕ0 n f∗ (M ) ⊆ f∗ (σn (X/V, ϕ) ⊗R M ).
as subsheaves of V ne ×V f∗ (M ).
Further, in the situation of Notation 6.1* , if M = Ql ⊗ P where Q is f -ample, then there is
an integer l0 > 0, such that for every integer l ≥ l0 , n ≥ N and f -nef line bundle P , the above
inclusion is equality.

F -SINGULARITIES IN FAMILIES

45

Proof. Consider the surjection.
ξ:



L

pne −1
pe −1



1
pne

ϕn

/ / σn (X/V, ϕ)

Then Sϕ0 n f∗ (M ) = im f∗ (ξ ⊗R idM ), which is a subsheaf of f∗ (σn (X/V, ϕ) ⊗R M ).
We prove the addendum by induction on n. If n = N ,
Sϕ0 N f∗ (M ) = Sϕ0 0 ,σN f∗ (M ) = f∗ (σN ⊗R M ) .
{z
}
|
{z
} |
by Definition 6.9

by Corollary 6.12

Let us assume then that n > N . By flat base change and the assumption of Notation 6.1*
f∗ (σn (X/V ) ⊗R M ) = f∗ (σN (X/V ) ⊗R M ) ×V Ne V ne .
Hence, using the inductional hypothesis, it is enough to see that for every n ≥ N ,
Sϕ0 n f∗ (M ) = Sϕ0 n−1 f∗ (M ).
However, this follows from point (c) of Proposition 6.11 and Corollary 6.12



6.3. Base-change. We now prove base change for Sϕ0 n f∗ .
Notation 6.15. In the situation of Notation 6.1, choose
◦ T a regular integral excellent scheme with a dualizing complex.
◦ T −
→ V a morphism.
We indicate base-change via this morphism by T in subscript. Define the following sheaves on XT .
(a) B := (fT )−1 OT
(b) Q := OXT
1

→ X i.
Denote by (p1 ) pi the natural projection morphism X i ×V i T i −
e

Proposition 6.16. In the situation of Notation 6.15, if L ⊗ M p −1 is f -ample then for n ≫ 0 the
natural base change morphism
 1
 1


f∗ A pne ⊗A M ×V ne T ne −→ (fT )∗ B pne ⊗B MT
induces a surjective morphism on subsheaves
(6.16.1)

Sϕ0 n f∗ (M ) ×V ne T ne ։ Sϕ0 n (fT )∗ (MT ).
T

Furthermore,
(a) the lower bound on the n for which the above statement holds depends only on f and M . In
particular, it is independent of T .
(b) If M = Ql ⊗ P for some f -ample line bundle Q, nef line bundle P and integer l > 0, then
there is a uniform lower bound on n independent of l and P .
e
(c) Even if L ⊗ M p −1 is not assumed to be f -ample, (6.16.1) is an isomorphism if T −→ V is
flat.
(d) There is a dense open set U ⊆ V , such that if the image of T −→ V is contained in U , then
(6.16.1) is an isomorphism.
Proof of Proposition 6.16. First, note that
!  ne  1
1
1 !
 ne

∗  pne −1
∗  pne −1  pne

p −1
pne
p
1
1
ne
e
∼
⊗Q MT .
L pe −1 ⊗R M p
L pe −1
⊗R M ∼
(p1 ) pne
= (p1 ) pne
= LTp −1

46

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Hence, there is a natural base-change morphism below in (6.16.2). We will show that it is an
isomorphism for n ≫ 0. Furthermore, this n can be chosen independently of T .
!
!!
1
1
 ne  ne
 pne −1  pne
p
p −1
e −1
p
ne
e
(6.16.2)
f∗
L p −1
⊗Q MT
⊗R M
×V ne T −
→ (fT )∗
LT
Indeed by cohomology and base-change [Sta, Lemma 25.20.1] it is enough to show that for every
integer i > 0,
!
1
 ne  ne
p
p −1
i
e
R f∗
⊗R M = 0.
L p −1
Since V ne −
→ V is affine, this is equivalent to showing that for i > 0,
!
1
1 !
 ne
 ne
 ne  ne
p
p
p −1
p −1
ne
,
⊗R M = Ri (fV ne )∗
L pe −1 ⊗R M p
0 = Ri (fV ne )∗
L pe −1
which is further equivalent to showing that for i > 0,
 ne

p −1
i
pne
e −1
p
(6.16.3)
0 = R f∗ L
⊗R M
.
However, the last vanishing holds for n ≫ 0 by relative Serre vanishing, independently of T . Hence
the base change homomorphism of (6.16.2) is isomorphism indeed for n ≫ 0, which can be chosen
independently of T . In particular, for n ≫ 0 there is a commutative base change diagram as follows,
which implies the statement of the proposition together with addendum (a).
(6.16.4)

f∗



L

pne −1
pe −1



1
pne

⊗R M

!

×V ne T ne



1

/ f∗ A pne ⊗A M



×V ne T ne

∼
=

(fT )∗



pne −1
pe −1

LT

1
 pne

⊗Q MT

!

 1

/ (fT ) B pne ⊗B MT
∗

→ V is flat, then both vertical morphisms in the above diagram
For addendum (c) note that if T −
e
are isomorphisms even if L ⊗ M p −1 is not assumed to be f -ample. Furthermore, images via flat
pullbacks are pullbacks of images, which concludes the proof of (c).
For addendum (b), note that if M = Ql ⊗ P for an f -ample line bundle Q and a nef line bundle
P , then (6.16.3) holds for every l > 0 uniformly, by relative Fujita vanishing [Kee03].
For addendum (d) note that by [Har77, Theorem 12.8 and Corollary 12.9] there is a dense open
set U ⊆ V (i.e., the open set where h0 (Xs , Ms ) is constant), such that if T maps into U then the
right vertical arrow in (6.16.4) is an isomorphism. In particular then the homomorphism (6.16.1)
is injective, because it is a homomorphism between subsheaves of the two sheaves involved in the
above vertical map. Therefore, by the already proven surjectivity (6.16.1) is an isomorphism. This
concludes addendum (d).

Remark 6.17. In particular if in Notation 6.15, T = s is a perfect point of V (that is, T = Spec (K)
for some perfect field K), then Sϕ0 n (fT )∗ (MT ) can be interpreted as follows. Since, the natural
i

T

→ XT is an isomorphism.
map K −
→ (K)1/p is an isomorphism, the natural projection XT i −
i
0
→ K 1/p . Thus
Furthermore (fT )∗ (MT i ) can be identified with (fT )∗ (MT ) = H (XT , MT ) via K −

F -SINGULARITIES IN FAMILIES

47

Sϕ0 n (fT )∗ (MT ) is identified with
T

(6.17.1)



pme −1
pe −1

0
Ss,m
:= im H 0 Xs , Ls

1
 pme

⊗ Ms

!

!

−
→ H 0 (Xs , Ms ) ,

In particular, for m ≫ 0, (6.17.1) can be identified with S 0 (Xs , σ(Xs , ϕs ) ⊗ Ms ).
6.4. Uniform stabilization.
e

Theorem 6.18. In the situation of Notation 6.1, if L ⊗ M p −1 is f -ample, then there is an integer
n > 0, such that for all integers m ≥ n and perfect points s ∈ V ,


1
0
= S 0 (Xs , σ(Xs , ψs ) ⊗ Ms ).
im Sϕ0 m f∗ (M ) ⊗OV me k(s) pme −→ H 0 (Xs , Ms ) = Ss,m

0
(Note ψs is defined in Section 2.23 and Ss,m
in Remark 6.17.)

Proof. We show the statement by induction on the dimension of V . There is nothing to prove
if dim V = 0. Hence, we may proceed to the inductional step and assume that dim V > 0. By
Proposition 6.16, there is an n > 0 such that for every perfect point s ∈ V and every m ≥ n


1
0
im Sϕ0 m f∗ (M ) ⊗OV me k(s) pme −
→ H 0 (Xs , Ms ) = Ss,m
.
According to Lemma 2.17, by possibly increasing n, we may find a non-empty, dense open set U
such that for all m ≥ n,
σm (X/V, ϕ)|U = σn (X/V, ϕ) ×V ne V me |U .
Therefore, applying Corollary 6.12, yields (also by possibly increasing n) that for all m ≥ n,
V me ×V ne Sϕ0 n f∗ (M )

U

= Sϕ0 m f∗ (M )

U

.

It follows then that for every perfect point s ∈ U ,


1
→ H 0 (Xs , M )
im Sϕ0 m f∗ (M ) ⊗OV me k(s) pme −

0
is stabilized for all perfect s ∈ U for values of m ≥ n.
is the same for all m ≥ n. Therefore, Ss,m
0
Hence it is equal to S (Xs , σ(Xs , ψs ) ⊗ Ms ). This shows the statement of the proposition for all
perfect s ∈ U . We fix the n0 = n used above for future use.
`
On the other hand, consider the reduced scheme V1 = V \ U . Write V1 = V1,i as a disjoint
union of regular locally closed integral subschemes. Each V1,i has dimension smaller than V . In
particular, there exists an ni such that the statement holds for fi : XVi −
→ Vi . Letting n be the
maximum of n0 and the ni we obtain our result since every perfect point of X factors through a
point of U or of one of the Vi .


Corollary 6.19. In the situation of Notation 6.1, if L ⊗ M p
open set U ⊆ V , such that for every perfect point s ∈ U ,

e −1

is f -ample, then there is a dense

1

Sϕ0 m f∗ (M ) ⊗OV me k(s) pme = S 0 (Xs , σ(Xs , ψs ) ⊗ Ms ).
In particular, dimk(s) S 0 (Xs , σ(Xs , ψs ) ⊗ Ms ) is constant on an open set, and the rank of Sϕ0 m f∗ (m)
equals this dimension.
Proof. The main statement follows immediately from Theorem 6.18 and point (d) of Proposition 6.16.
The corollary follows from basic properties of coherent sheaves [Har77, Exercise II.5.8]

If there is a point s0 ∈ V , such that in Xs0 we have H 0 = S 0 , then we can say more than the
above corollary: it turns out that it can be assumed that s0 ∈ U , and further that U has other
useful properties. This is proved in the following theorem.

48

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG
e

Theorem 6.20. In the situation of Notation 6.1, if L⊗M p −1 is f -ample and there is a perfect point
s0 ∈ V such that H 0 (Xs0 , Ms0 ) = S 0 (Xs0 , σ(Xs0 , ψs0 ) ⊗ Ms0 ), then there is an open neighborhood
U of s0 , such that
(a) f∗ M |U is locally free and compatible with base change and
(b) H 0 (Xv , Mv ) = S 0 (Xv , σ(Xv , ψv ) ⊗ Mv ) for every perfect point v ∈ U .
In particular, dim S 0 (Xv , σ(Xv , ψv ) ⊗ Mv ) is constant for v ∈ U .
Proof. By Theorem 6.18, there is an n, such that for every v ∈ V and integer m ≥ n, the natural
base-change homomorphism induces a surjection as follows
1

(6.20.1)

Sϕ0 m f∗ (M ) ⊗OV me k(v) pme

/ / S 0 (Xv , σ(Xv , ψv ) ⊗ Mv )
_



1
1
me
p
M
⊗
A
f∗
⊗OV me k(v) pme
A


/ H 0 (Xv , Mv ).

Furthermore, the right vertical arrow is surjective for v = s0 . It follows that so is the bottom
horizontal arrow then. Using [Har77, Corollary III.12.11] concludes (a).
To prove point (b), let us consider (6.20.1) for v = s0 again. Now we know that the bottom horizontal arrow is isomorphism. However, then the left vertical arrow is also surjective. By
Nakayama’s-lemma, there is an equality (Sϕ0 n f∗ (M ))v = (f∗ (M ))v of stalks, which means that by
possibly restricting U , for every v ∈ U , the left vertical arrow of (6.20.1) is surjective. However
then, since the bottom horizontal arrow is isomorphism for every v ∈ U , point (b) follows.

The surjection in Proposition 6.16 is not an isomorphism in general by the following two examples. In the first example the global geometry of the smooth fibers causes the anomaly, while in
the second, the degeneration of F -pure singularities to non F -pure singularities is the main culprit.
However, we first show a lemma.
Lemma 6.21. Let Y be a smooth curve over k and G an effective divisor on Y . Define BY1 as the
cokernel of OX −→ F∗ OX . Then
S 0 (Y, σ(X, 0) ⊗ ωY (G)) = H 0 (Y, ωY (G)) ⇔ H 0 (Y, BY1 (−pn G)) = 0

(∀n > 0).

Proof. Consider the following exact sequence.
0

/ OY

/ F∗ OY

/ B1
Y

/0

Twist this sequence by −G, apply cohomology and use that since G is effective, either
(a) G > 0 and hence H 0 (Y, (F∗ OY )(−G)) ∼
= H 0 (OY (−F ∗ G)) = 0, or
(b) G = 0 and then H 0 (Y, OY ) −
→ H 0 (Y, F∗ OY ) is an isomorphism.
In either case, we have another exact sequence:
0

/ H 0 (Y, B 1 (−G))
Y

/ H 1 (Y, OY (−G))

/ H 1 (Y, F∗ OY (−F ∗ G)) ,

where the last map is the Serre dual to H 0 (Y, (F∗ ωY )(G)) −
→ H 0 (Y, ωY (G)). Furthermore, observe
0
n
0
n+1
→ H (Y, (F∗ ωY )(G)) is harmlessly identified with the map
that the map H (Y, (F∗ ωY )(G)) −
H 0 (Y, (F∗ ωY )(pn G)) −
→ H 0 (Y, (ωY (pn G))). Therefore, combining the previous statements, we see
that H 0 (Y, (F∗n+1 ωY )(G)) −
→ H 0 (Y, (F∗n ωY )(G)) surjects if and only if H 0 (Y, BY1 (−pn G)) = 0. 
Example 6.22. We choose two smooth projective curves C and D of genus 3 over an algebraically
closed field k of prime characteristic with two ample line bundles NC and ND (of degree 1), such
that S 0 (C, ωC ⊗NC ) 6= H 0 (C, ωC ⊗NC ), but S 0 (D, ωD ⊗ND ) = H 0 (D, ωD ⊗ND ). Since the relative
Picard scheme over the moduli stack of smooth curves of genus g is smooth and irreducible, there is
a (possibly reducible) curve connecting (C, NC ) and (D, ND ) in the above moduli space. However,

F -SINGULARITIES IN FAMILIES

49

then by possibly replacing (C, NC ) and (D, ND ) we may find also an irreducible curve connecting
them. Therefore, by passing to the normalization of this curve, we may assume that there is a family
f :X −
→ V , a line bundle N on X and two points c, d ∈ C, such that if we set (C, NC ) := (Xc , N |Xc )
and (C, NC ) := (Xc , N |Xc ), then
(a) V is a smooth curve,
(b) X is a family of smooth curves of genus 3,
(c) degX/V N = 1,
(d) S 0 (C, ωC ⊗ NC ) 6= H 0 (C, ωC ⊗ NC ) and
(e) S 0 (D, ωD ⊗ ND ) = H 0 (D, ωD ⊗ ND ).
1

1−p
p
−
→ OXV 1 the map with Dϕ = 0 (see Definition 2.8
and ϕ : ωX/V
Furthermore, fix e = 1, L := ωX/V
for the definition of Dϕ ). Note that by Lemma 2.24, Dϕs = 0 as well. Set M := ωX/V ⊗ N .
By assumption (c), for every v ∈ V and i > 0, H i (Xv , Nv ) = 0. Therefore, f∗ N is a vector
bundle of rank 3, and its formation is compatible with arbitrary base-change. In particular, by
Theorem 6.20 and assumption (e), Sϕn f∗ (ωX/V ⊗M ) ⊆ f∗ (ωX/V ⊗M ) is a subsheaf that is isomorphic
generically to f∗ (ωX/V ⊗ M ). Furthermore, by being a subsheaf of f∗ (ωX/V ⊗ M ) it is torsion free,
and by V being a curve, it is locally free of rank 3. Therefore,

dimk Sϕn f∗ (ωX/V ⊗ M ) ⊗ k(c) = 3
However,

dimk S 0 (C, ωC ⊗ MC ) < dimk H 0 (C, ωC ⊗ MC ) = 3
This shows that the base change morphism
→ S 0 (C, ωC ⊗ MC )
Sϕ0 n f∗ (ωX/V ⊗ M ) ⊗ k(c) −

cannot be isomorphism.
We are left to give the polarized curves (C, MC ) and (D, MD ). For that consider the situation
of Lemma 6.21. By [Tan72, Lemma 12], H 0 (Y, B 1 (−pn G)) = 0 if pn G ≥ n(Y ) where n(Y ) is a
numerical invariant of the curve, which is at most 1 for genus 3 curves [Tan72, Lemma 10]. Hence
H 0 (Y, B 1 (−pn G)) = 0 if deg G ≥ 1 and n > 1. In particular, in our special case (i.e., if Y is of
genus 3 and deg G ≥ 1) Lemma 6.21 states that
S 0 (Y, σ(Y, 0) ⊗ ωY (G)) = H 0 (Y, ωY (G)) ⇔ H 0 (Y, BY1 (−G)) = 0.
Finding a curve where H 0 (Y, BY1 (−G)) = 0 is quite easy, because again using [Tan72, Lemma 12]
yields that if n(Y ) = 1, then there is a degree one divisor G for which H 0 (Y, BY1 (−G)) 6= 0, and
then by passing to a linearly equivalent divisor we may also assume that G is effective. Further,
[Tan72, Example 1] gives a curve ( x3 y + y 3 z + z 3 x = 0) for which n(Y ) = 1. Therefore we have
found C and NC .
To find D and ND assume further that k = F3 . Then by [Mil72, Kob75] a general genus
three curve curve is ordinary, or equivalently S 0 (Y, σ(Y, 0) ⊗ ωY ) = H 0 (Y, ωY ). Therefore then
H 0 (Y, BY1 ) = 0 for such a Y . Take now an arbitrary effective degree 1 divisor G. Then BY1 (−G)
embeds into BY1 and hence H 0 (Y, BY1 (−G)) = 0 as well. In particular, we can choose D to be a
generic curve and ND to be an arbitrary degree one line bundle on D.
Example 6.23. In the following example for an f -ample line bundle Q the surjection


1
l
0
ne
p
k(s)
։ S 0 (Xs , σ(Xs , ϕs ) ⊗ Qls ).
f
(Q
)
⊗
(6.23.1)
S ϕn ∗
OV ne

is not an isomorphism for any integer n ≥ n0 and l > 0. Therefore, the isomorphism in Proposition 6.16
cannot be obtained by stronger positivity assumptions.
Let C be the projective cone over a supersingular elliptic curve, and let D be a non-singular
cubic surface. Then these can be put into a family f : X −
→ V as above. More precisely, we may
find a family f : X −
→ V , and a point c ∈ V , such that C := Xc , and hence the following hold

50

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

(a)
(b)
(c)
(d)

V is a smooth curve,
X is a a flat family of normal surfaces,
Xc is not sharply F -pure at on point P ∈ Xc and
Xs is sharply F -pure for every s ∈ V \ {c}.

1−p
and ϕ := ϕ0 as in the previous example. Then by Corollary 3.10 and Nakayama
Let L := ωX/V
lemma, for every n ≫ 0, σn (X/V, ϕ)|V \{c} ∼
= Of −1 (V \{c}) . Choose now an arbitrary sufficiently
f -ample line bundle M . By Corollary 6.14, for every n ≫ 0, Sϕ0 n f∗ (M l )|V \{c} ∼
= (f∗ (M ))V ne \{c} for
l
l
0
every integer l > 0. In particular the rk Sϕn f∗ (M ) = rk f∗ (M ) for every n ≫ 0 and l > 0 (where
n does not depend on l). Consequently,

(6.23.2)

dim Sϕ0 n f∗ (M l ) ⊗ k(c) ≥ rk f∗ (M l ) =

dimk H 0 (Xc , Mcl )
{z
}
|

M is relatively ample enough

On the other hand for all n ≫ 0 (independent of l)
(6.23.3)
Sϕ0 n f∗ (M l ) ⊗ k(c) ։
Sϕ0 nc (fc )∗ (Mcl )
=
{z
}
|
by point (b) of Proposition 6.16

H 0 (Xc , σ(Xc , 0) ⊗ Mcl )
|
{z
}

sine Mc is ample enough ([Pat12]) and Lemma 2.24

However, by the relative ampleness assumption, Mc is globally generated, hence dimk H 0 (Xc , σ(Xc , 0)⊗
Mcl ) < dimk H 0 (Xc , Mcl ) (because σ(Xc , 0) ( OXc ). Therefore, (6.23.2) and (6.23.3) implies that
indeed the surjection (6.23.1) is not an isomorphism for any l > 0 and any n ≫ 0 (independently
bounded of l).
Remark 6.24. The fundamental reason for the above example is that σn (X/V, ϕ) is NOT flat in
general.
The above two examples show that dimk (S 0 (Xv , σ(Xv , ϕv ) ⊗ Mv ) is not upper semicontinuous.
One might guess then it is lower semicontinuous. The next example shows that that is also not the
case (this can also be deduced from [Har98, Example 5.5] and [Tan13, Theorem 8.3] as pointed out
to us by Tanaka). So, dimk S 0 (Xv , σ(Xv , ϕv ) ⊗ Mv ) is not semicontinuous in either direction.
Example 6.25. Take a flat family f : X −
→ V of ordinary elliptic curves, and a line bundle M on
∼
X of relative degree 0, such that MXv0 = OXv0 for a special v0 ∈ V , and MXv ∼
6 OXv for generic
=
v ∈ V . Then, by the ordinarity of the fibers, for all v ∈ V ,
H 0 (Xv , Mv ) = S 0 (Xv , σ(Xv , 0) ⊗ Mv ).
However, dim H 0 (Xv , Mv ) = 1 for the special fiber and 0 for the generic one. So, dim S 0 (Xv , σ(Xv , 0)⊗
Mv ) is not lower semicontinuous in this example. One can also easily modify this example by taking
an M with higher relative degree to obtain higher values of dimension for the generic fiber.
6.5. Global generation and semi-positivity. Suppose now V is a projective variety over a
e
prefect field k. In this section, we explore global generation results if L ⊗ M p −1 is ample (instead
0
of just relatively ample). In particular, Sϕn f∗ (M ) is globally generated for all large n. This should
not be surprising since Sϕ0 n f∗ (M ) lives on V ne where ampleness is amplified.
Proposition 6.26. In the situation of Notation 6.1, if V is projective over a perfect field k and
e
L ⊗ M p −1 is ample, then Sϕ0 n f∗ (M ) is globally generated for every n ≫ 0.
Proof. Choose a globally generated ample divisor H on V and let d := dim V . Since Sϕ0 n f∗ (M ) is
defined as the image of
!
1
 ne  ne
p
p −1
⊗R M ,
f∗
L pe −1

F -SINGULARITIES IN FAMILIES

51

it is enough to show that this sheaf is globally generated as an OV ne -module. By Mumford’s criterion
[Laz04a, Theorem 1.8.5], it is enough to show that for every i > 0 and for the divisor Hne on V ne
identified with H via the isomorphism V ne ∼
=V,
!!
1
 ne  ne
p
p −1
ne
i
e
⊗R M
= 0.
(6.26.1)
H V , OV ne (−iHne ) ⊗OV ne f∗
L p −1
By relative Serre vanishing for i > 0,
i

R f∗



L

pne −1
pe −1



1
pne

⊗R M

!

= 0.

In particular, then to prove (6.26.1) it is enough to show


pne −1
i
pne
∗
e −1
p
H X, L
⊗ M (−if H) = 0.

However this is equivalent to showing that,
!
 pne −1

∗
(pe −1) pe −1
i
⊗ M (−if H) = 0,
H X, L ⊗ M
which holds by Serre-vanishing for n ≫ 0 and i > 0.



We recall the following definition.
Definition 6.27 (Definition 2.11 of [Vie95]). Let F be a sheaf on a normal, quasi-projective (over
a perfect field k) variety V and U ⊆ V a dense open set. Let Ulf be the open locus of V where
F ′ := F /(torsion) is locally free. Then F is weakly positive over U , if for a fixed (or equivalently
every: [Vie95, Lemma 2.14.a]) ample line bundle H for every a > 0 there is a b > 0 such that
S habi (F )⊗H b is globally generated over U ∩Ulf (here S habi (F ) denotes the abth symmetric reflexive
power of F ). We say that F is weakly-positive if it is weakly-positive over some dense open set.
Lemma 6.28. If g : Y −→ Z is a finite morphism of normal varieties, quasi-projective over k,
U ⊆ Z a dense open set and F a sheaf on Z, then F is weakly positive over U if and only if g ∗ F
is weakly positive over g −1 (U ).
Proof. The only if direction is shown in [Vie95, Lemma 2.15.1]. For the other direction, according
to Definition 6.27 by throwing out codimension two subset we may assume that F is locally free
and Y is flat over Z. In particular then g ∗ F is also locally free. Choose a very ample divisor H
on Z, such that
(a) H om(g∗ OY , H ) is globally generated and
(b) g∗ OY ⊗ H is globally generated.
Fix then an a > 0. By the weak positivity of g∗ F , there is a b > 0, such that there is a homo→ S habi (g∗ F ) ⊗ g∗ H b surjective over g∗ U . Consider then for every choice of
morphism α : OY⊕N −
s ∈ Hom(g∗ OY , H ) and s′ ∈ H 0 (H b−1 ) the following composition.
γ:=g∗ α

/ g (S habi (g ∗ F ) ⊗ g ∗ H b ) ∼
(g∗ OY )⊕N ❳❳
= S habi (F ) ⊗ H b ⊗ g∗ OY
❳❳❳❳❳ ∗
❳❳❳
❳❳❳❳❳
❳❳❳❳❳
❳❳❳❳+
βs

δs,s′ :=idS habi (F )⊗H b ⊗s⊗s′



S habi (F ) ⊗ H 2b

Choose a point P ∈ U and an element f of the fiber S habi (F ) ⊗ k(P ) over P . Then by assumption
(b) for any preimage Q of P there is a section t′ ∈ OY⊕N , such that α(t′ )Q = g ∗ f × ”generator“.
The section t′ descends to a section t := g∗ (t′ ) ∈ (g∗ OY )⊕N , such that γ(t)P = f × ”generator“ × h

52

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

for some h ∈ (g∗ OY )P . However then by (a) and the very ampleness of H for a suitable choice of
s and s′ , δs,s′ (γ(t)))P = f × “generator” is not zero at P . Therefore, for every point P in U and
every element f in the fiber of S habi (F ) ⊗ H 2b at that point we find a section of S habi (F ) ⊗ H 2b
whose image in the fiber is f up to multiplication by unit. This finishes our proof.

Corollary 6.29. In the situation of Notation 6.1, let V be projective over a prefect field k, L ⊗
e
M p −1 ample and n > 0 be an integer such that there is an open set U ⊆ V for which
Sϕ0 n f∗ (M ) ×U ne U me = Sϕ0 m f∗ (M )|U me ,
for every integer m ≥ n. Then Sϕ0 n f∗ (M ) is weakly-positive. Note that an integer as above always
exists by Corollary 6.12 and Proposition 5.3.
Proof. By the assumption, there is an embedding
Sϕ0 m f∗ (M ) ֒→ Sϕ0 n f∗ (M ) ×V ne V me ,
which is generically isomorphism. Since the left sheaf is globally generated and hence weaklypositive, so is the right one. However then by Lemma 6.28, so is Sϕ0 n f∗ (M ).

Lemma 6.30. If F is a coherent sheaf on a normal variety V over a perfect field k, then F is
weakly-positive if and only if for every ample line bundle H and every integer p ∤ r > 0 there is a
finite morphism τ : T −→ V , such that τ ∗ H ∼
= (H ′ )r for some line bundle H ′ and τ ∗ F ⊗ H ′ is
weakly-positive.
Proof. The proof is identical to the (b) ⇒ (a) part of [Vie95, Lemma 2.15.1].
Theorem 6.31. In the situation of Notation 6.1, if V is projective and L ⊗ M p
f -ample, then Sϕ0 n f∗ (M ) is weakly positive for n ≫ 0.


e −1

is a nef and

Proof. Choose an integer n > 0, as in Corollary 6.29. Fix an ample line bundle H on V , an integer
p ∤ r > 0 and a finite morphism τ : T −
→ V , such that τ ∗ H ∼
= (H ′ )r for some line bundle H ′ .
Such a morphism exits by [Vie95, Lemma 2.1]. By Lemma 6.30, we are supposed to prove that

1

∗

1

τ pne Sϕn f∗ (M ) ⊗OV ne (H ′ ) pne is weakly positive. By disregarding codimension two closed sets,
we may assume that T is regular as well. Then by point (c) of Proposition 6.16, we see that n
satisfies also the assumptions of Corollary 6.29 but for f and M replaced by fT and MT ⊗ fT∗ HT′ ,
respectively. In particular, since MT ⊗ fT∗ HT′ is ample,
Sϕ0 nT (fT )∗ (MT ⊗ fT∗ HT′ ) ∼
= HT′ ⊗ Sϕ0 nT (fT )∗ (MT )
is weakly-positive over T ne .



6.6. Relation to global canonical systems. There has been another subsheaf S 0 f∗ (σ(X, ∆) ⊗
M ) of f∗ (M ) introduced in [HX13, Definition 2.14] with a definition similar to that of Sϕ0 n f∗ (M ). In
this section we show some of the similarities and differences between the two sheaves. The advantage
of S 0 f∗ (σ(X, ∆) ⊗ M ) over Sϕ0 n f∗ (M ) is that it lives on one V , there is no involvement of V ne at
all. On the other hand we show that contrary to Sϕ0 n f∗ (M ) it does not restrict even generically to
S 0 (Xs , σ(Xs , ∆s ) ⊗ Ms ).
Throughout the section we use the divisorial language since the presentation seems to be more
straightforward this way, hence ∆ satisfies the conditions of Remark 2.11. Recall that we defined
the notion of pair in our setting in Definition 2.12. Whenever we say pair, we mean everything
assumed there. In particular, all the assumptions on f : X −
→ V from Notation 2.1: flatness,
equidimensionality, etc.
First, we recall the definition of S 0 f∗ (M ).

F -SINGULARITIES IN FAMILIES

53

Definition 6.32. [HX13, Definition 2.14] Let ∆ be an effective Q-divisor, such that (X, ∆) is a
pair and assume that f : X −
→ V is projective. Let e be the smallest9 positive integer such that
(pe − 1)(KX + ∆) is Cartier. Then given a line bundle M on X, we define
\
S 0 f∗ (σ(X, ∆) ⊗ M ) :=
im (f∗ (F∗ne OX ((1 − pne )(KX + ∆)) ⊗ M ) −
→ f∗ (M )) .
n>0

S 0f

We say that
∗ (σ(X, ∆) ⊗ M ) stabilizes if the above intersection stabilizes. Note that in that
case S 0 f∗ (σ(X, ∆) ⊗ M ) is a coherent sheaf.

Recall that S 0 f∗ (σ(X, ∆)⊗M ) stabilizes if M −KX −∆ is relatively ample, see [HX13, Proposition
2.15] for a proof.
Proposition 6.33. Let ∆ be an effective Q-divisor, such that (X, ∆) is a pair and assume that
f : X −→ V is projective. Let M be a line bundle on X such that S 0 f∗ (σ(X, ∆) ⊗ M ) stabilizes.
Further assume that V is regular. Then for every n ≫ 0
0
S∆,ne
f∗ (M ) ⊆ (S 0 f∗ (σ(X, ∆) ⊗ M ))V ne
0
as subsheaves of (f∗ (M ))V ne , where S∆,ne
f∗ (M ) is defined in Definition 6.4.

Proof. The statement is local over the base hence we can assume that V is affine, KV ∼ 0, and
that H omOV (F∗i OV , OV ) ∼
= F∗i OV is a free OV -module for all i ≥ 0. Note then also we can identify
KX/V with KX . We introduce the notation
L := OX ((1 − pne )(KX + ∆)).
→ OV which we identify with
We have the evaluation-at-1 map F∗ne OV ∼
= H omOV (F∗ne OV , OV ) −
the trace of V based on our previous assumption ωV ∼
= OV . This map pulls back to X to provide
∗ ne
∼
us with a map which we also denote as Trne
→ OX ⊗OX f ∗ OV ∼
= OX .
FV : OXV ne = OX ⊗ f F∗ OV −
Then there is a diagram as follows, which is commutative up to multiplication by a unit cf. [Sch09,
Lemma 3.9].
F∗ne L 



TrFX

/ F ne OX ((1 − pne )KX )
∗

/ OX
O
Trne
F

V

F∗ne OX ((1

−

pne )(KX/V

+ ∆))



/ F ne OX ((1 − pne )KX/V )
∗

TrF ne

/ OX ⊗O f ∗ F ne OV
∗
X

X/V

Applying the functor f∗ ( ⊗OX M ) to the above diagram, we obtain the following.
f∗ ((F∗ne L) ⊗OX M )

/ f∗ (M )
O
κ

f∗ ((F∗ne OX ((1

−

pne )(KX/V

+ ∆))) ⊗OX M )

/ f∗ (M ⊗O f ∗ F ne OV )
∗
X

Note that for every n ≫ 0 the image of the top horizontal row is S 0 f∗ (σ(X, ∆) ⊗ M ) and for every
0 f (M ). Hence for every n ≫ 0,
n > 0 the image of the bottom horizontal row is S∆,n
∗

0
0
S f∗ (σ(X, ∆) ⊗ M ) = im S∆,n f∗ (M ) −
→ f∗ (M ) ,

where the above map is induced by TrFV .
Since we want containment for subsheaves of (f∗ (M ))V ne , we localize at a point of V . By setting
ne (S 0 f (M )), we are in the following situation: if
B := Γ(V, OV ), P := f∗ (M ) and Q := FV,∗
∆,n ∗
ne
ne
Q is a B 1/p submodule of B 1/p ⊗B P for some B module P , we would like to show that
ne
ne
Q ⊆ ϑ(Q) ⊗B B 1/p where ϑ ∈ HomB (B 1/p , B) is the generator. This is simply Lemma 3.21. 
9The intersection below is easily seen to be descending, hence if one chooses another e, the same object results.

54

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Example 6.34. We provide an example where the two sheaves of Proposition 6.33 have different
ranks for every n ≫ 0. Fix an algebraically closed field k of characteristic p > 0. Let X := P1 × A1 ,
1
U = A1 × A1 = Spec k[y, x] ⊆ X and V := A1 := Spec k[x]. Define the divisor ∆ := p−1
V (y p − x)
which is a priori a divisor in U , but it happens to have support which is a closed subvariety of X
as well. Note that V (y p − x) is a subvariety of X isomorphic to A1 . In particular, (X, ∆) is sharply
F -pure. Choose now a line bundle N on X which is relatively ample over V and let M := N l for
some l ≫ 0. Then by [HX13, Lemma 2.19] S 0 f∗ (σ(X, ∆) ⊗ M ) = f∗ (M ). Therefore,
(S 0 f∗ (σ(X, ∆) ⊗ M ))V ne = (f∗ (M ))V ne

(6.34.1)

0 f (M ) ⊆ f (σ (X/V, ∆) ⊗ M ). By Corollary 3.10 and
On the other hand by Proposition 6.5, S∆,n
∗
∗ n
Lemma 2.24, for every n ≫ 0 and s ∈ V , σn (X/V, ∆)|Xs = σ(Xs , ∆). However, ∆|Xs is one point
p
, and hence not sharply F -pure. In particular, σ(Xs , ∆) 6= OXs for every
with multiplicity p−1
s ∈ S. Hence for every n ≫ 0, σn (X/V, ∆)|Xs ( OXs . It follows by the relative ampleness of M
0 f (M ) has also smaller rank
that f∗ (σn (X/V, ∆) ⊗ M ) has smaller rank than f∗ (M ). Then S∆,n
∗
than (S 0 f∗ (σ(X, ∆) ⊗ M ))V ne by (6.34.1).

The above example has an important corollary, which follows immediately from (d) of Proposition 6.16
and Theorem 6.18.
Corollary 6.35. In general S 0 f∗ (σ(X, ∆)⊗M )⊗k(s) is not isomorphic to S 0 (Xs , σ(Xs , ∆s )⊗Ms ).
In fact there are examples when the former has strictly bigger dimension than the latter for every
closed point s ∈ V .
Compare the following proposition with Proposition 3.24.
Proposition 6.36. Let ∆ be an effective Q-divisor, such that (X, ∆) is a pair and assume that
f : X −→ V is projective. Let M be a line bundle on X and assume that V is regular. Then for
every n ≥ m ≥ 0,
S 0 fV ne ,∗ (σ(XV ne , ∆V ne ) ⊗ MV ne ) ⊆ (S 0 fV me ,∗ (σ(XV me , ∆V me ) ⊗ MV me ))V ne
as subsheaves of (f∗ (M ))V ne . Furthermore, if the above two sheaves stabilize then


(n−m)e 0
S fV ne ,∗ (σ(XV ne , ∆V ne ) ⊗ f ∗ OV ((1 − p(n−m)e )KV ne )) ⊗ MV ne )
κ FV,∗
= S 0 fV me ,∗ (σ(XV me , ∆V me ) ⊗ MV me )
(n−m)e

where κ is induced by TrV

.

Proof. Note that by replacing f : X −
→ V by fV me : XV me −
→ V me , we may assume that m = 0,
and then by replacing e by (n − m)e that n = 1. As in the previous proof, let us assume that
V is affine, KV ∼ 0, and that H omOV (F∗e OV , OV ) ∼
= F∗e OV is a free OV -module. Consider the
following commutative diagram.
ν:=(FVe )X e

(XV e )e ❲❲❲
❲❲❲❲❲

/ X e ❱❱
❱❱❱❱
❱❱❱❱FXe
❲❲❲❲❲
❱❱❱❱
❲❲❲❲❲
❱❱❱❱
e
FX
❱❱❱❱
❲
❲
❲+
Ve
/+ X
e
XV
e
fV e

V



η:=(FV )X

e
FVe

f


/V

We fix the notations
L∆′ := OXV e ((1 − pe )(KXV e + η ∗ ∆)),

L∆ := OX ((1 − pe )(KX + ∆)).

F -SINGULARITIES IN FAMILIES

55

Then we have
(1 − pe )KXV e = (1 − pe )(η ∗ KX/V + fV∗ e KV e ), and (1 − pe )KX = (1 − pe )(KX/V + f ∗ KV ).
Therefore,
◦ applying pullback of TrFVe yields a homomorphism ν∗ L∆′ −
→ L∆ , which then induces a
e ν L′ −
e
homomorphism η∗ FXe V e ,∗ L∆′ ∼
= FX,∗
∗ ∆ → FX,∗ L∆ ,
◦ applying TrFXe e yields a homomorphism FXe V e ,∗ L∆′ −
→ OXV e ,
V
e L −
◦ applying TrFXe yields a homomorphism FX,∗
→
O
∆
X,
e O −
e
◦ by the assumption KV ∼ 0, TrFV corresponds to a homomorphism FV,∗
V → OV generating
e
HomOV (FV,∗ OV , OV ) and
◦ the previous homomorphism also induces a pullback homomorphism η∗ OXV e −
→ OX .
Furthermore, the above homomorphisms fit into the following diagram
η∗ FXe V e ,∗ L∆′

/ F e L∆
X,∗
❑❑
PPP
❑❑
PPP
❑❑
PPP
❑%
(
/ OX
η∗ OX e
V

The diagram is a composition of trace maps (restricted to smaller domains determined by ∆), hence
it is commutative. Applying now f∗ ( ⊗ M ) to the above diagram and using the projection formula
we obtain the following commutative diagram
f∗ η∗ (FXe V e ,∗ L∆′ ⊗ MV e )

/ f∗ (F e L∆ ⊗ M )
X,∗
❘❘❘
❱❱❱❱
❘❘❘
❱❱❱❱
❘❘❘
❱❱❱❱
❘(
❱❱*
/ f∗ (M ).
f∗ η∗ MV e

e f e yields another commutative diagram
Observing that f∗ η∗ = FV,∗
V ,∗

/ f∗ (F e L∆ ⊗ M )
X,∗
❱❱❱❱
◗◗◗
❱❱❱❱❱
◗◗◗
◗◗◗
❱❱❱❱
❱❱+
◗(
e
/ f∗ (M ).
F fV e ,∗ MV e

e f e (F e
′
FV,∗
V ,∗ XV e ,∗ L∆ ⊗ MV e )

V,∗

Note now that the top horizontal arrow is split, because it is induced from ν∗ L∆′ −
→ L∆ which is
split as well. Therefore, if we define P := f∗ (M ) and


e
S := im f∗ (FX,∗
L∆ ⊗ M ) −
→ f∗ (M )
Q := im fV e ,∗ (FXe V e ,∗ L∆′ ⊗ MV e ) −
→ fV e ,∗ MV e ,
e

then we have Q ⊆ P ⊗A A1/p , S ⊆ P and (idP ⊗ TrFVe )(Q) = S. Therefore, by Lemma 3.21,
e

Q ⊆ S ⊗A A1/p . Since this holds for any n, the statement of the proposition follows.
Proposition 6.37. Let ∆ be an effective Q-divisor, such that (X, ∆) is a pair and assume that
f : X −→ V is projective and V is regular. Let M be a line bundle on X. Then for every n ≫ 0,
0
S 0 fV ne ,∗ (σ(XV ne , ∆V ne ) ⊗ MV ne ) ⊆ S∆,ne
f∗ (M )

as subsheaves of (f∗ (M ))V ne .
Proof. As before, let us assume that V is affine, KV ∼ 0, and that H omOV (F∗i OV , OV ) ∼
= F∗i OV is
a free OV -module for all i ≥ 0. By Lemma 3.13 and Lemma 3.16 there is a commutative diagram

/ F nene ne OX (1 − pne ) K
FXneV ne ,∗ OXV ne ((1 − pne ) (KXV ne + ∆V ne ))
X/V + ∆
X /V ,∗
❨❨❨❨❨❨
❨❨❨❨❨❨
❨❨❨❨❨❨
❨❨❨❨❨❨
❨❨❨❨❨❨
,



OXV ne .

56

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Furthermore, the top horizontal arrow in the above diagram is split surjective. Therefore, after
applying fV ne ,∗ ( ⊗ MV ne ) the image of the vertical map still agrees with the image of the diagonal
0 f (M ), while the latter contains S 0 f ne (σ(X, (∆) ne )⊗ M ), since
map. The former is exactly S∆,n
∗
V ,∗
V
it is one of the terms in the intersection defining S 0 fV ne ,∗ (σ(X, (∆)V ne ) ⊗ M ).

Remark 6.38. Assuming that f : X −
→ V is projective and M −KX −∆ is ample, it would be natural
0
to ask whether Im S fV ne ,∗ (σ(XV ne ,∆V ne ⊗MV ne )⊗MV ne ) −
→ fV ne ,∗ Ms equals S 0 (Xs , σ(Xs , ∆s )⊗
Ms ) for all perfect points s ∈ V , in analogy with Theorem 3.23. We suspect this is true but will
not try to prove it here.
Corollary 6.39. Let f : (X, ∆) −→ V be a projective morphism from a pair with V regular
and projective over a perfect field k. Further, suppose that M is a line bundle on X such that
M − KX/V − ∆ is nef and f -ample (here M denotes a Cartier divisor corresponding to M ) and that
rk S 0 f∗ (σ(X, ∆)⊗M ) equals the general value of H 0 (Xs , σ(Xs , ∆s )⊗Ms ). Then S 0 f∗ (σ(X, ∆)⊗M )
is weakly positive. In particular, if V is a smooth curve then it is a nef vector bundle.
Proof. From the assumption rk S 0 f∗ (σ(X, ∆) ⊗ M ) equals the general value of H 0 (Xs , σ(Xs , ∆s ) ⊗
Ms ) follows that the inclusion of Proposition 6.33 is generically an isomorphism for every n ≫ 0.
However, since Sϕ0 n f∗ (M ) is weakly-positive for every n ≫ 0 by Theorem 6.31, we obtain by the
above generically isomorphic inclusion that (S 0 f∗ (σ(X, ∆) ⊗ M ))V ne is also weakly positive. Then

weak-positivity of S 0 f∗ (σ(X, ∆) ⊗ M ) follows from Lemma 6.28.
Appendix A. Relative Serre’s condition
Here we collect the statements of [HK04] and other sources, that are important for the current
paper for ease of reference. In some cases, we also state them in the greater generality that we need.
All schemes are Noetherian, excellent and possess dualizing complexes and all maps are separable.
Definition A.1. Let r > 0 be an integer. A coherent sheaf E on a Noetherian scheme X is Sr , if
for every x ∈ X,
depthOX,x Ex ≥ min{r, dimOX,x Ex }.
The sheaf E is said to have full support, if Supp E = X. It is reflexive if the natural map E −
→
E ∗∗ := H omOX (H omOX (E , OX ), OX ) is an isomorphism.
Definition A.2. If f : X −
→ V is a morphism of Noetherian schemes and E is a coherent sheaf on
X flat over V , then E is Sr over V if E |Xv is Sr for every v ∈ V . That is, for every x ∈ X,
o
n
depthOX (E |Xf (x) )x ≥ min r, dimOX (E |Xf (x) )x
f (x)

f (x)

We now recall two results from EGA about how depth and dimension behave in families.

Proposition A.3. [Gro67, Proposition 6.3.1] Let ϕ : A −→ B be a local homomorphism of Noetherian local rings, k the residue field of A and M and N are finite A and B modules respectively.
If N is a flat non-zero A-module, then
depthB (M ⊗A N ) = depthA (M ) + depthB⊗A k (N ⊗A k).
Proposition A.4. [Gro67, Corollaire 6.1.2] Let ϕ : A −→ B be a local homomorphism of Noetherian
local rings, k the residue field of A and M and N are non-zero finite A and B modules respectively.
If N is a flat A-module, then
dimB (M ⊗A N ) = dimA (M ) + dimB⊗A k (N ⊗A k).
From these we obtain the following corollary.

F -SINGULARITIES IN FAMILIES

57

Corollary A.5. Let f : X −→ V be a morphism of Noetherian schemes and E a coherent sheaf on
X flat over V , then E is Sr over V if and only if for every x ∈ X,
min{i|Hxi (E ) 6= 0} ≥ depthOV,v OV,v + min{r, dim Ex − dim OV,v }


= depthOV,v OV,v + min {r, dim (E |Xv )x }

where v := f (x).

Proof. To say that E |Xv has depth equal to t at x is equivalent to asserting that depthx E =
(depthOV,v OV,v ) + t by Proposition A.3. The result follows.

The following vanishing allows us to extend sections over sets of relative codimension 2.
Proposition A.6. [HK04, Proposition 3.3] Let f : X −→ V be a morphism of Noetherian schemes
and E a coherent sheaf on X flat and Sr over V . Let Z ⊆ X be a closed subscheme of X such that
we have codimSupp Ev (Supp Ev ∩ Zv ) ≥ r for every v ∈ V . Then for each 0 ≤ i < r, HZi (E ) = 0.
Proof. We follow the proof in [HK04, Proposition 3.3]. First, we certainly have a spectral sequence
E2p,q := Hxp ◦ HZq ⇒ Hxp+q . We then induct on r, the base case of r = 0 being trivial. Now assume
that HZ0 (E ) = . . . = HZr−2 (E ) = 0 but HZr−1 (E ) 6= 0. Then for any x ∈ Z which is a generic
point10 of the support of HZr−1 (E ), we have that Hx0 (HZr−1 (E )) 6= 0 (note here that x is probably
not a closed point). Additionally, since x is a point of Z ∩ Supp(E ), we have that dim(E |Xv )x ≥ r.
On the other hand, for all i > 0 we have Hxi (HZr−1−i (E )) = 0, and so by the spectral sequence

Hxr−1 (E ) ∼
= Hx0 (HZr−1 (E )) 6= 0. This contradicts Corollary A.5.
We now obtain a relative version of Hartog’s phenomena, just as in [HK04].
Proposition A.7. [HK04, Proposition 3.5, 3.6.1] Let f : X −→ V be a morphism of Noetherian
schemes and that E a coherent sheaf on X which satisfies one of the following two conditions:
(i) E is reflexive and f is flat and relatively S2 , or
(ii) E is of full support, flat and S2 over V .
Let j : U ֒→ X be an open set such that for Z := X \ U , codimXv Zv ≥ 2 for every v ∈ V . Then
the following natural map is an isomorphism:
E −→ j∗ E |U .
Proof. First, assume that E is reflexive. Consider a presentation of E ∗ by locally free sheaves
E2

/ E∗

/ E1

/ 0 and the dual 0

/E

/ E∗
1

/ E∗
2

Then by applying Proposition A.6 to OX and the applying local cohomology to the above exact
sequence yields that
HZ1 (E ) = HZ0 (E ) = 0.

(A.7.1)

If instead, E is flat, S2 and has full support, then we still have the vanishing (A.7.1) by Proposition A.6.
Consider then the exact sequence
0

/ H 0 (E )
Z

/E

Applying (A.7.1) concludes our proof.

/ j∗ E

/ H 1 (E ).
Z



Corollary A.8. [HK04, Proposition 3.6.2] Let f : X −→ V be a flat, S2 morphism of Noetherian
schemes, E a coherent X satisfying either Proposition A.7(i) or (ii). Let F be another coherent
sheaf satisfying Proposition A.7(i) or (ii). Let j : U ֒→ X be an open set, such that for Z := X \ U ,
codimXv Zv ≥ 2 for every v ∈ V . Assume also that E |U ∼
= F |U . Then E ∼
= F.
10a minimal prime in the language of commutative algebra

58

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

Proof. In any case, j∗ E |U = E and j∗ F |U = F and so the result follows.



Proposition A.9. [HK04, Corollary 3.7] Let f : X −→ V be a flat, S2 morphism of Noetherian
schemes and j : U ֒→ X an open set, such that for Z := X \ U , codimXv Zv ≥ 2 for every v ∈ V .
Assume also that E is a reflexive, coherent sheaf on U . Then j∗ E is reflexive.
Proof. Choose a coherent subsheaf F ⊆ j∗ E such that F |U = E [Har77, Ex II.5.15]. Then j∗ E is
reflexive by the following computation.
F ∗∗ ∼
j∗ E
= j∗ (F ∗∗ |U ) ∼
=
= j∗ E ∗∗ ∼
|{z}
| {z }
| {z }
by Proposition A.7

E∼
=F |U

This completes the proof.

E is reflexive



Proposition A.10. If f : X −→ Y is a projective, flat, relatively S2 and G1, equidimensional
morphism, then ωX/Y is reflexive.
Proof. The proof given in [PS12, Lemma 4.8] works.



References
M. André: Homomorphismes réguliers en caractéristique p, C. R. Acad. Sci. Paris Sér. I Math. 316
(1993), no. 7, 643–646. 1214408 (94e:13026)
[Bli13]
M. Blickle: Test ideals via algebras of p−e -liner maps, J. Algebraic Geom. 22 (2013), no. 1, 49–83.
[BB11]
M. Blickle and G. Böckle: Cartier modules: finiteness results, J. Reine Angew. Math. 661 (2011),
85–123. 2863904
[BMS08] M. Blickle, M. Mustaţǎ, and K. E. Smith: Discreteness and rationality of F -thresholds, Michigan
Math. J. 57 (2008), 43–61, Special volume in honor of Melvin Hochster. 2492440 (2010c:13003)
[BS13]
M. Blickle and K. Schwede: p−1 -linear maps in algebra and geometry, Commutative Algebra: Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th Birthday (I. Peeva, ed.), Springer,
Berlin, 2013, pp. 123–205.
[BSTZ10] M. Blickle, K. Schwede, S. Takagi, and W. Zhang: Discreteness and rationality of F -jumping
numbers on singular varieties, Math. Ann. 347 (2010), no. 4, 917–949. 2658149
[BST11]
M. Blickle, K. Schwede, and K. Tucker: F -singularities via alterations, arXiv:1107.3807.
[BK05]
M. Brion and S. Kumar: Frobenius splitting methods in geometry and representation theory, Progress
in Mathematics, vol. 231, Birkhäuser Boston Inc., Boston, MA, 2005. MR2107324 (2005k:14104)
[CHMS12] P. Cascini, C. Hacon, M. Mustaţă, and K. Schwede: On the numerical dimension of pseudo-effective
divisors in positive characteristic, arXiv:1206.6521, to appear in the American Journal of Mathematics.
[Con00]
B. Conrad: Grothendieck duality and base change, Lecture Notes in Mathematics, vol. 1750, SpringerVerlag, Berlin, 2000. MR1804902 (2002d:14025)
[Eis95]
D. Eisenbud: Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York,
1995, With a view toward algebraic geometry. 1322960 (97a:13001)
[Fed83]
R. Fedder: F -purity and rational singularity, Trans. Amer. Math. Soc. 278 (1983), no. 2, 461–480.

[And93]

MR701505 (84h:13031)

[FST11]

[Gab04]
[GW77]
[Gro67]
[Hac11]
[HX13]
[Har98]
[HY03]

O. Fujino, K. Schwede, and S. Takagi: Supplements to non-lc ideal sheaves, Higher Dimensional
Algebraic Geometry, RIMS Kôkyûroku Bessatsu, B24, Res. Inst. Math. Sci. (RIMS), Kyoto, 2011, pp. 1–
47.
O. Gabber: Notes on some t-structures, Geometric aspects of Dwork theory. Vol. I, II, Walter de Gruyter
GmbH & Co. KG, Berlin, 2004, pp. 711–734.
S. Goto and K. Watanabe: The structure of one-dimensional F -pure rings, J. Algebra 49 (1977), no. 2,
415–421. MR0453729 (56 #11989)
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. (1967), no. 32, 361. MR0238860 (39 #220)
C. D. Hacon: Singularities of pluri-theta divisors in char p > 0, arXiv:1112.2219.
C. D. Hacon and C. Xu: On the three dimensional minimal model program in positive characteristic,
arXiv:1302.0298.
N. Hara: A characterization of rational singularities in terms of injectivity of Frobenius maps, Amer. J.
Math. 120 (1998), no. 5, 981–996. MR1646049 (99h:13005)
N. Hara and K.-I. Yoshida: A generalization of tight closure and multiplier ideals, Trans. Amer. Math.
Soc. 355 (2003), no. 8, 3143–3174 (electronic). MR1974679 (2004i:13003)

F -SINGULARITIES IN FAMILIES

[Har77]
[Har94]

59

R. Hartshorne: Algebraic geometry, Springer-Verlag, New York, 1977, Graduate Texts in Mathematics,
No. 52. MR0463157 (57 #3116)
R. Hartshorne: Generalized divisors on Gorenstein schemes, Proceedings of Conference on Algebraic
Geometry and Ring Theory in honor of Michael Artin, Part III (Antwerp, 1992), vol. 8, 1994, pp. 287–339.
MR1291023 (95k:14008)

[HS77]

[Kat08]

R. Hartshorne and R. Speiser: Local cohomological dimension in characteristic p, Ann. of Math. (2)
105 (1977), no. 1, 45–79. MR0441962 (56 #353)
M. Hashimoto: Cohen-Macaulay F-injective homomorphisms, Geometric and combinatorial aspects of
commutative algebra (Messina, 1999), Lecture Notes in Pure and Appl. Math., vol. 217, Dekker, New
York, 2001, pp. 231–244. 1824233 (2002d:13007)
M. Hashimoto: F -pure homomorphisms, strong F -regularity, and F -injectivity, Comm. Algebra 38
(2010), no. 12, 4569–4596. 2764840 (2012a:13007)
B. Hassett and S. J. Kovács: Reflexive pull-backs and base extension, J. Algebraic Geom. 13 (2004),
no. 2, 233–247. MR2047697 (2005b:14028)
M. Hochster: Foundations of tight closure theory, lecture notes from a course taught on the University
of Michigan Fall 2007 (2007).
M. Hochster and C. Huneke: F -regularity, test elements, and smooth base change, Trans. Amer. Math.
Soc. 346 (1994), no. 1, 1–62. MR1273534 (95d:13007)
M. Hochster and J. L. Roberts: The purity of the Frobenius and local cohomology, Advances in Math.
21 (1976), no. 2, 117–172. MR0417172 (54 #5230)
C. Huneke and I. Swanson: Integral closure of ideals, rings, and modules, London Mathematical Society
Lecture Note Series, vol. 336, Cambridge University Press, Cambridge, 2006. MR2266432 (2008m:13013)
M. Katzman: Parameter-test-ideals of Cohen-Macaulay rings, Compos. Math. 144 (2008), no. 4, 933–948.

[Kee03]

D. S. Keeler: Ample filters of invertible sheaves, J. Algebra 259 (2003), no. 1, 243–283. 1953719

[Kob75]

N. Koblitz: p-adic variation of the zeta-function over families of varieties defined over finite fields,
Compositio Math. 31 (1975), no. 2, 119–218. 0414557 (54 #2658)
J. Kollár: Projectivity of complete moduli, J. Differential Geom. 32 (1990), no. 1, 235–268. 1064874

[Has01]

[Has10]
[HK04]
[Hoc07]
[HH94]
[HR76]
[HS06]

MR2441251 (2009d:13030)
(2003m:14026)

[Kol90]

(92e:14008)

[Kc92]

[Kun69]

J. Kollár and 14 coauthors: Flips and abundance for algebraic threefolds, Société Mathématique
de France, Paris, 1992, Papers from the Second Summer Seminar on Algebraic Geometry held at the
University of Utah, Salt Lake City, Utah, August 1991, Astérisque No. 211 (1992). MR1225842 (94f:14013)
E. Kunz: Characterizations of regular local rings for characteristic p, Amer. J. Math. 91 (1969), 772–784.
MR0252389 (40 #5609)

[Kun86]
[Laz04a]

[Laz04b]

[Lyu97]
[MR85]
[MS97]
[MS12]
[Mil72]
[Mus11]
[MS12]
[MY09]

E. Kunz: Kähler differentials, Advanced Lectures in Mathematics, Friedr. Vieweg & Sohn, Braunschweig,
1986. MR864975 (88e:14025)
R. Lazarsfeld: Positivity in algebraic geometry. I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3.
Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series.
A Series of Modern Surveys in Mathematics], vol. 48, Springer-Verlag, Berlin, 2004, Classical setting: line
bundles and linear series. MR2095471 (2005k:14001a)
R. Lazarsfeld: Positivity in algebraic geometry. II, Ergebnisse der Mathematik und ihrer Grenzgebiete.
3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd
Series. A Series of Modern Surveys in Mathematics], vol. 49, Springer-Verlag, Berlin, 2004, Positivity for
vector bundles, and multiplier ideals. MR2095472 (2005k:14001b)
G. Lyubeznik: F -modules: applications to local cohomology and D-modules in characteristic p > 0, J.
Reine Angew. Math. 491 (1997), 65–130. MR1476089 (99c:13005)
V. B. Mehta and A. Ramanathan: Frobenius splitting and cohomology vanishing for Schubert varieties,
Ann. of Math. (2) 122 (1985), no. 1, 27–40. MR799251 (86k:14038)
V. B. Mehta and V. Srinivas: A characterization of rational singularities, Asian J. Math. 1 (1997),
no. 2, 249–271. MR1491985 (99e:13009)
L. E. Miller and K. Schwede: Semi-log canonical vs F -pure singularities, J. Algebra 349 (2012),
150–164. 2853631
L. Miller: Curves with invertible Hasse-Witt-matrix, Math. Ann. 197 (1972), 123–127. 0314849 (47 #3399)
M. Mustaţǎ: The non-nef locus in positive characteristic, arXiv:1109.3825, to appear in the volume
dedicated to Joe Harris on the occasion of his 60th birthday.
M. Mustaţǎ and K. Schwede: A Frobenius variant of Seshadri constants, arXiv:1203.1081.
M. Mustaţă and K.-I. Yoshida: Test ideals vs. multiplier ideals, Nagoya Math. J. 193 (2009), 111–128.
MR2502910

60

ZSOLT PATAKFALVI, KARL SCHWEDE, AND WENLIANG ZHANG

[Pat12]
[PS12]
[Rad92]

Zs. Patakfalvi: Semi-positivity in positive characteristics, arXiv:1208.5391.
Zs. Patakfalvi and K. Schwede: Depth of F -singularities and base change of relative canonical sheaves,
arXiv:1207.1910, to appear in the Journal of the Institute of Mathematics of Jussieu.
N. Radu: Une classe d’anneaux noethériens, Rev. Roumaine Math. Pures Appl. 37 (1992), no. 1, 79–82.
1172271 (93g:13014)

[RR85]
[Sch09]
[Sch11a]
[Sch11b]
[ST12]

[Sha07]
[SZ09]
[Smi97]

S. Ramanan and A. Ramanathan: Projective normality of flag varieties and Schubert varieties, Invent.
Math. 79 (1985), no. 2, 217–224. MR778124 (86j:14051)
K. Schwede: F -adjunction, Algebra Number Theory 3 (2009), no. 8, 907–950. 2587408 (2011b:14006)
K. Schwede: A canonical linear system associated to adjoint divisors in characteristic p > 0,
arXiv:1107.3833, to appear in the Journal für die reine und angewandte Mathematik.
K. Schwede: Test ideals in non-Q-Gorenstein rings, Trans. Amer. Math. Soc. 363 (2011), no. 11, 5925–
5941.
K. Schwede and K. Tucker: A survey of test ideals, Progress in Commutative Algebra 2. Closures,
Finiteness and Factorization (C. Francisco, L. C. Klinger, S. M. Sather-Wagstaff, and J. C. Vassilev, eds.),
Walter de Gruyter GmbH & Co. KG, Berlin, 2012, pp. 39–99.
R. Y. Sharp: On the Hartshorne-Speiser-Lyubeznik theorem about Artinian modules with a Frobenius
action, Proc. Amer. Math. Soc. 135 (2007), no. 3, 665–670 (electronic). 2262861 (2007f:13008)
K. Shimomoto and W. Zhang: On the localization theorem for F -pure rings, J. Pure Appl. Algebra 213
(2009), no. 6, 1133–1139. 2498803 (2010d:13006)
K. E. Smith: F -rational rings have rational singularities, Amer. J. Math. 119 (1997), no. 1, 159–180.
MR1428062 (97k:13004)

[Sri91]

V. Srinivas: Normal surface singularities of F -pure type, J. Algebra 142 (1991), no. 2, 348–359. MR1127067
(93b:14060)

[Sta]
[Tak04]
[Tan13]
[Tan72]
[Vie95]

T. Stacks Project Authors: Stacks Project.
S. Takagi: An interpretation of multiplier ideals via tight closure, J. Algebraic Geom. 13 (2004), no. 2,
393–415. MR2047704 (2005c:13002)
H. Tanaka: The trace map of frobenius and extending sections for threefolds, arXiv:1302.3134.
H. Tango: On the behavior of extensions of vector bundles under the Frobenius map, Nagoya Math. J.
48 (1972), 73–89. 0314851 (47 #3401)
E. Viehweg: Quasi-projective moduli for polarized manifolds, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], vol. 30, Springer-Verlag, Berlin, 1995.
MR1368632 (97j:14001)

[Zha12]

Y. Zhang: Pluri-canonical map of varieties of maximal albanese dimension in positive characteristic,
arXiv:1203.1360.

EPFL, SB MATHGEOM CAG, MA B3 635 (Bâtiment MA), Station 8, CH-1015 Lausanne
E-mail address: zsolt.patakfalvi@epfl.ch
Department of Mathematics, University of Utah, Salt Lake City, UT 84112
E-mail address: schwede@math.utah.edu
Department of Mathematics, University of Illinois at Chicago, Chicago, IL 60607
E-mail address: wlzhang@uic.edu

