POSITIVE CHARACTERISTIC ALGEBRAIC GEOMETRY

arXiv:1412.2203v2 [math.AG] 23 Jan 2017

ZSOLT PATAKFALVI, KARL SCHWEDE, AND KEVIN TUCKER

Contents
1. Introduction
2. Frobenius Splittings
3. Trace of Frobenius and Global Sections
3.1. Examples and computations of S 0
4. F -singularities versus Singularities of the MMP
4.1. Questions
5. Global Applications
5.1. Semi-positivity of pushforwards
5.2. Miscellaneous exercises
5.3. Problems
6. Seshadri constants, F -pure centers and test ideals
6.1. Seshadri constants
6.2. F -pure centers
6.3. Test ideals
6.4. Jumping numbers
6.5. Test ideals of non-Q-Gorenstein rings
7. Numerical Invariants
8. More on test ideals and F -Singularities in Families
8.1. Bertini theorems for test ideals
8.2. Test ideals by finite covers and alterations
8.3. Other types of singularities and deformation thereof
8.4. Bertini theorems for F -rational and F -injective singularities
References

1
2
6
9
10
17
19
19
23
25
27
27
28
30
31
31
32
33
33
35
36
37
37

1. Introduction
The goal of these notes is to give a geometric introduction to recent methods utilizing the Frobenius morphism (see [ST12a] for more algebraic aspects) in higher dimensional algebraic geometry.
These methods have been used extensively to move arguments from characteristic zero to positive characteristic. The main obstacle in doing so is usually some theorems of either analytic
or p-adic origin that are known not to hold in positive characteristic: e.g., Kodaira-vanishing
The current version of these notes were written for the The Boot Camp for the 2015 Algebraic Geometry Summer
Research Institute, which was supported by NSF DMS # 1500652. The first version of these notes arose from a
“Positive Characteristic Algebraic Geometry Workshop” held at the University of Illinois at Chicago in March 2014,
supported by NSF RTG grant #1246844 and UIC..
The second author was partially supported by NSF FRG Grant DMS #1265261/1501115 , NSF CAREER Grant
DMS #1252860/1501102 and a Sloan Fellowship.
The third author was partially supported by NSF grant DMS #1419448/1602070, and a Sloan fellowship.
1

[Ray78a], Kawamata-Viehweg vanishing [Xie10], some semi-positivity statements [MB81, 3.2], etc.
The method of Frobenius splitting gives a weak replacement to these theorems. We refer to the
introduction of Section 5 for a list of global geometry results obtained in the past few years using
the method of Frobenius split (including the existence of minimal models for threefolds).
As the goal of the notes is to serve as an introduction to the subject, we do not give the proofs
of the above mentioned global results (except one example in Section 5). Instead, we aim for an
introductory display of the techniques used in the field. In particular, the notes could serve the
basis of a introductory course to the subject. Further, we list many open questions, which we hope
will be attacked soon by the readers of this article. We would like to draw attention to the many
exercises contained in the notes. We believe that the best approach to reading this article is to
solve the exercises.
Throughout the notes we assume a basic knowledge of the language of Q-divisors (in the form
in which it is widely used in birational geometry, e.g., [KM98]), reflexive sheaves (c.f., [Har94a,
Har80]), and Grothendieck duality for finite maps (c.f., [Har77] [Har66]). A big part of the assumed
background knowledge is discussed in the appendices of [ST12b].
Acknowledgements: We would like to thank Andrew Bydlon, Eric Canton, Alberto Chiecchio, Hong
R. Zong and the anonymous referee for pointing out typos in these notes.

2. Frobenius Splittings
The main tool we have to study a scheme X with characteristic p > 0 is the Frobenius endomorphism
F : X → X or p-th power map. Similarly, the e-iterated Frobenius F e : X → X is always the
identity on the underlying topological space of X determined by taking pe -th powers on functions. It
is often convenient to think of Frobenius as the morphism of sheaves of OX -modules OX → F∗e OX .
We say that X is F -finite if the Frobenius endomorphism is a finite morphism, or equivalently
e
F∗ OX is coherent for some or all e ∈ N. One checks easily that this is the case in essentially every
geometric (or even arithmetic) situation of interest, and F -finite will be a standing assumption
throughout this survey.
Exercise 2.1. Check that a quasi-projective variety over a perfect field is always F -finite.
Exercise 2.2. When X = Spec(R) is affine and M is a finitely generated R-module, justify the
notation F∗e M for the module given by restriction of scalars for the pe -th power map on R.
Note that F∗e is always an exact functor, and for any coherent sheaf M on X we have H i (X, F∗e M ) =
(though it is perhaps more accurate to write F∗e H i (X, M ) to keep track of the linearity).

H i (X, M )

Theorem 2.3 (Kunz). X is regular if and only if Frobenius is flat, or equivalently (as X is assumed
F -finite) F∗e OX is locally free for some or all e ∈ N.
Recall that the terms regular and smooth are interchangeable for varieties over perfect fields. In
this case, we can think of the iterates of Frobenius as an infinite flag
OX ⊆ F∗ OX ⊆ F∗2 OX ⊆ · · · ⊆ F∗e OX ⊆ · · ·
where F∗e OX is a vector bundle of rank pe(dim X) .
Exercise 2.4. Check this for X = Ank where k is a perfect field of positive characteristic. In
particular, if S = k[x1 , . . . , xn ] we have that F∗e S is the free S-module of rank pen on the basis of
monomials where the exponents on each of the variables is strictly less than pe .
Exercise 2.5. Assume k = kp once more. Recall that any vector bundle on P1k is isomorphic to a
direct sum of line bundles OP1 (a) for a ∈ Z. Identify F∗e OP1 as a direct sum of line bundles.
2

Note that the key idea for the previous exercise is to make use of the projection formula: for a
line bundle L and coherent sheaf M on X, we have

e
L ⊗OX F∗e M = F∗e ((F e∗ L ) ⊗OX M ) = F∗e L p ⊗OX M .

Definition 2.6. We say that X is globally F -split (or simply F -split) if OX → F∗e OX has a global
splitting (in the category of OX -modules). We say that X is locally F -split (or simply F -pure) if
OX → F∗e OX splits in a sufficiently small affine neighborhood of any point x ∈ X.

Example 2.7. A smooth variety is always locally F -split, but may or may not be globally F -split.
Our next goal is to explore what happens for smooth projective curves, where the situation depends
on the genus. Genus zero curves are always F -split, genus one curves are sometimes F -split, and
higher genus curves are never F -split.
Exercise 2.8. Show that locally F -split and globally F -split are the same for affine varieties.
Lemma 2.9. Say that X is a smooth variety over k = kp . Then
H omOX (F∗e OX , OX ) = F∗e OX ((1 − pe )KX ).
Proof ingredients. You will need but two tricks. First, twisting and untwisting by ωX , we have
H omOX (F∗e OX , OX ) = H omOX (F∗e OX (pe KX ), OX (KX )).
The second trick is to use duality for a finite morphism, which can be thought of as simply saying
that F∗e ( ) commutes with the Grothendieck-duality functor H omOX ( , ωX ). In other words, for
a coherent sheaf M on X, we have
H omOX (F∗e M , ωX ) = F∗e H omOX (M , ωX ).



Exercise 2.10. Prove the Lemma. Then explain how to do the same thing when X is only normal,
instead of smooth, by restricting to the smooth locus and using that all of the sheaves in play are
reflexive.
Exercise 2.11. If X is locally F -split, show it is reduced and weakly normal1.
Example 2.12. If X is F -split, then it follows from Lemma 2.9 that −nKX is effective for some
n ∈ N. In particular, if X has general type (e.g. a smooth projective curve of genus at least two),
it is never globally F -split.
Lemma 2.13. Suppose that X is a projective variety over k = kp . Then X is F -split if and only
if the section ring
M
R(X, A) =
H 0 (X, OX (mA))
m≥0

with respect to some (or equivalently any) ample divisor A on X is F -split.

Proof ideas. The main idea of the proof is straightforward enough – twisting a given F -splitting
by OX (mA) gives a splitting of OX (mA) → F∗e OX (mpe A) for any m ≥ 0. Taking global sections
and keeping track of the gradings as in the exercise below, it is then easy to see why R(X, A) must
be F -split. For the other direction, we need only take Proj of a graded F -splitting. Be careful
though, if M = ⊕n∈Z Γ(X, M⊗O X (nA)) then F∗ M is not generally the same as ⊕n∈Z Γ(X, (F∗ M)⊗
OX (nA)).

1A reduced ring of equal characteristic p > 0 is called weakly normal if for every r ∈ K(R) the total ring of
fractions of R such that r p ∈ R also satisfies r ∈ R.
3

L
Exercise 2.14. Suppose that X = Spec(R), where R = m≥0 Rm is a standard-graded k-algebra
(R0 = k and R = k[R1 ]). For a Z-graded R-module M , explain how to think of F∗e M as a p1e Zgraded R-module. In particular, show that we can break up F∗e M into a direct sum of Z-graded
R-modules
M
F∗e M =
[F∗e M ]i/pe mod Z
0≤i<pe

L

= m∈Z Mi+mpe as an abelian group, and the elements of R act via pe -th
where
powers. Finally, show that R is F -split if and only if it has a graded F -splitting, and if and only if
Rm is F -split where m = R+ is the homogeneous maximal ideal.
[F∗e M ]i/pe mod Z

Exercise 2.15. If R ⊆ S is a split inclusion of rings and S is F -split, then conclude R is also
F -split. In particular, conclude a Veronese subring of a graded F -split ring is always F -split.
Proposition 2.16 (Fedder’s Criterion). Let S = k[x0 , . . . , xn ] ⊇ I homogeneous, m = hx0 , . . . , xn i,
and R = S/I. Then R is F -split if and only if (I [p] : I) 6⊆ m[p] , where J [p] = hj p |j ∈ Ji denotes the
p-th bracket or Frobenius power of an ideal J.
Example 2.17. R = k[x, y, z]/hf = x3 + y 3 + z 3 i is F -split if and only if p is congruent to 1 modulo
3. Indeed, one easily checks that these are precisely the characteristics for which f p−1 6∈ hxp , y p , z p i.
Example 2.18. Suppose that X is a smooth genus one curve over k = k. Recall that X is said to
be ordinary or have Hasse invariant one if the action of Frobenius on H 1 (X, OX ), namely
F ∗ : H 1 (X, OX ) → H 1 (X, OX ),
is injective. In this case, having chosen a base point, X has precisely pe distinct pe -torsion points
for the group law on X.
In contrast, when the action of Frobenius on H 1 (X, OX ) is not injective (and hence identically
zero), we say that X is supersingular and has Hasse invariant zero. In this case, having chosen a
base point, the identity element is the only pe -torsion point for the group law.
In Theorem 4.21 of Hartshorne, it is shown that X is ordinary if and only if, when embedded
as a cubic hypersurface X = V(f ) ⊆ P2 , the term (xyz)p−1 appears with a nonzero coefficient in
f p−1 . By Fedder’s criterion, it follows that X is F -split if and only if X is ordinary.
Exercise 2.19. Suppose X is a smooth projective genus one curve. First, recall Atiyah’s classification of indecomposable vector bundles on X. For each r > 0, there exists a unique indecomposable
vector bundle Er of rank r and degree zero with H 0 (X, Er ) 6= 0. Moreover, one can construct the
Er inductively by setting E1 = OX and letting Er+1 be the unique nontrivial extension
0 → Er−1 → Er → OX → 0.
Any other indecomposable vector bundle of rank r and degree zero has the form Er ⊗ L for a
uniquely determined line bundle L of degree zero.
Use this classification to determine the structure of F∗e OX . If X is ordinary and x0 ∈ X is a
fixed base point
for the group law, let x0 , . . . , xpe −1 be the pe distinct pe -torsion points. Show
L
that F∗e OX = 0≤i<pe OX (xi − x0 ). In contrast, when X is supersingular, show that F∗e OX is the
unique indecomposable vector bundle of rank pe with degree zero having a nonzero global section.
Fedder’s Criterion Proof Ideas. We sketch the two main ideas of the proof, and leave the audience
to flesh out the details.
First, one must show that every φ ∈ HomR (F∗ R, R) is a quotient of a φ̃ ∈ HomS (F∗ S, S).
Conversely, ψ̃ ∈ HomS (F∗ S, S) gives rise to a map ψ ∈ HomR (F∗ R, R) whenever I is ψ̃-compatible
(i.e. ψ̃(F∗ I) ⊆ I). The key point here is that F∗ S is a free S-module, which allows one to lift such
4

(potential) splittings from R up to S. The second main idea of the proof is to once again make use
of duality. We have that
HomS (F∗ ωS , ωS ) = F∗ HomS (ωS , ωS ) = F∗ S.
In other words, identifying S = ωS , every element of HomS (F∗ S, S) has the form ΦS (F∗ x · ) for
a uniquely determined element x ∈ S. (One can take ΦS to be the trace of Frobenius as discussed
below.)
Putting these together, if we start with a splitting φ of R, we can lift it to φ̃ on S. Then
φ̃( ) = ΦS (F∗ c · ) for some c ∈ S. As φ̃(F∗ I) ⊆ I, one can conclude c ∈ (I [p] : I). As φ̃ must
be surjective since φ was a splitting, one can also conclude c 6∈ hxp0 , . . . , xpn i. Conversely, if we can
start by taking c ∈ (I [p] : I) \ m[p] , one can simply take ΦS (F∗ c · ) and reverse the process to get
a surjective map in HomR (F∗ R, R) – which is just as good as having an honest F-splitting.

Exercise 2.20. Show that the dual of the Frobenius map F e : OX → F∗e OX of a normal variety
takes the form TrF e : F∗e ωX = H omOX (F∗e OX , ωX ) → ωX given by evaluation at one. We call this
the trace of F e . Show that TrF e generates H omOX (F∗e ωX , ωX ) as an F∗e OX -module.
In case X = An = Spec(S = k[x1 , . . . , xn ]), show also that one may take the projection onto
the free summand generated by (x1 · · · xn )p−1 as a F∗e S-generator of HomS (F∗e S, S). Conclude this
agrees with the trace of F e up to (pre)multiplication by a unit.
Exercise 2.21. For X smooth, recall the Cartier isomorphism for the algebraic De Rham complex
q
q
ΩX , namely H i (F∗e ΩX ) ≃ ΩiX . Write this down explicitly for An in coordinates, and check that
the induced map
q
F∗e ωX → H n (F∗e ΩX ) ≃ ωX
agrees (up to unit) with the trace of F e .
Exercise 2.22. If A is a finitely generated Z-algebra and m is a maximal ideal of A, show that
A/m is a finite field.
Definition 2.23. Suppose that X is a complex algebraic variety. One can form a finitely generated
Z-algebra domain A and an arithmetic family X → Spec(A) so that X0 ⊗Frac(A) C = X. We call
X a model of X over Spec(A). X is said to have dense (local or global, respectively) F -split type
if Xm is (local or global, respectively) F -split for a dense set of closed points m ∈ Spec(A).
Conjecture 2.24. If X is a complex Abelian variety (or more generally log Calabi-Yau), then X
has dense F -split type.
Proposition 2.25. Suppose that X is a globally F -split projective variety.
(a) If L is any line bundle so that H i (X, L ⊗n ) = 0 for n ≫ 0, then H i (X, L ) = 0.
(b) If A is an ample divisor on X, then H i (X, OX (A)) = 0 for all i > 0.
(c) Suppose X is Cohen-Macaulay. If A is an ample divisor on X and i < dim X, then
H i (X, OX (−A)) = 0.
(d) Suppose X is normal. If A is an ample divisor on X then H i (X, ωX (A)) = 0 for i > 0.
Definition 2.26. If D is an effective Cartier divisor on a normal variety X, we say that X is
e-F -split along D if OX → F∗e OX ⊆ F∗e OX (D) splits (globally).
Lemma 2.27. If X is e-F -split along an ample divisor A and L is nef, then H i (X, L ) = 0 for
all i > 0.
Exercise 2.28. Suppose X is normal. If X is e-F -split along an ample effective divisor A, then
−KX is big.
5

Definition 2.29. We say that a normal variety X is globally F -regular if, for every effective
Cartier divisor D, there is some e > 0 so that X is e-F -split along D. We say that X is locally
F -regular (or strongly F -regular) if, for every effective Cartier divisor D, there is some e > 0 so
that OX → F∗e OX (D) is split in a neighborhood of any point.
Exercise 2.30. Suppose that X = Spec(R) is affine. Then X is globally F -regular if and only if
X is locally F -regular if and only if, for all 0 6= c ∈ R, there exists e > 0 such that R → F∗e R given
by 1 7→ F∗e c is split.
Exercise 2.31. Show that a regular ring is always strongly F -regular, and that a strongly F -regular
ring is a Cohen-Macaulay normal domain.
Exercise 2.32. If X is a smooth projective curve, then X is globally F -regular if and only if X
has genus zero.
Exercise 2.33. If X is globally F -regular and D is big and nef, then H i (X, ωX (D)) = 0 for all
i > 0.

3. Trace of Frobenius and Global Sections
Suppose X is a normal quasi-projective variety over a perfect field k of characteristic p > 0. We
just read about Frobenius splittings F∗e OX → OX . We will generalize this notion. Fix L to be a
line bundle and suppose that we have a non-zero OX -linear map φ : F∗e L → OX .
Twist φ by L and apply F∗e and by the projection formula we get:
e

F∗2e (L 1+p ) → F∗e L
We compose this back with φ to obtain:
e

φ2 : F∗2e (L 1+p ) → OX .
This is an abuse of notation of course.
By repeating this operation we get
φn : F∗ne (L 1+p

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

) → OX .

Theorem 3.1. [HS77, Lyu97, Gab04] With notation as above, there exists n0 such that Image(φn ) =
Image(φn+1 ) as sheaves for all n ≥ n0 .
Sketch of a proof. Let Un be the locus where Image(φn ) and Image(φn+1 ) coincide. It is easy to see
that the Un are ascending open sets and so they stabilize by Noetherian induction. By localizing
at the generic point of X \ Un for n ≫ 0 one can assume that X is the spectrum of a local ring with
closed point x and that Un = X \ x. The trick is then to show that mlx · Image(φm ) ⊆ Image(φn )
for some l > 0 and all n ≥ m ≫ 0. Finding this l is left as an exercise to the reader.

These images measure the singularities of the pair (X, φ). We’ll see the relevance of φ momentarily.
Definition 3.2. We define σ(X, φ) = Image(φn ) for n ≫ 0. We say the (X, φ) is F -pure if
σ(X, φ) = OX .
Exercise 3.3. Suppose that φ : F∗e L → OX is surjective. Prove that (X, φ) is F -pure.
Let us now describe the significance of φ in terms of divisor pairs that you might be more familiar
with.
6

Proposition 3.4. There is a bijection of sets



.
effective Q-divisors ∆ such that
line bundles L and non-zero
∼ ←→
(pe − 1)(KX + ∆) is Cartier
OX -linear maps φ : F∗e L → OX

where the equivalence relation on the left declares two maps to be equivalent if they agree up to
multiplication by a unit from Γ(X, O X ).

Sketch. There is always a map F∗e OX (KX ) → OX (KX ), hence by the projection formula (and reflexification) we get a map F∗e OX ((1−pe )KX ) → OX . If ∆ is effective, we then get the composition
F∗e OX ((1 − pe )(KX + ∆)) ⊆ F∗e OX ((1 − pe )KX ) → OX .
Thus we obtain the ⇒ direction for L = OX ((1 − pe )(KX + ∆)). The reverse direction follows
easily from the isomorphism F∗e (L −1 ⊗ OX ((1 − pe )KX )) ∼
= H omOX (F∗e L , O X ) coming from
Grothendieck duality for finite maps. Given this, a map φ determines a global section of L −1 ⊗
OX ((1 − pe )KX ) which determines an effective Weil divisor Dφ . Set ∆ = pe1−1 Dφ .

Given any effective Q-divisor ∆ such that KX + ∆ is Q-Cartier with index not divisible by
the characteristic p, one can find e > 0 such that (pe − 1)(KX + ∆) is Cartier and hence find a
corresponding φe,∆ .
Exercise 3.5. If KX + ∆ is Q-Cartier with index not divisible by p > 0, show that there exists an
e > 0 such that (pe − 1)(KX + ∆) is Cartier.
In particular, this is exactly how the above was presented in the mini-lecture. Given such a ∆
one can form φe,∆ : F∗e OX (1 − pe )(KX + ∆) → OX for sufficiently divisible e. Theorem 3.1 says
that σ(X, ∆) has stable image for e ≫ 0 and sufficiently divisible. Translated this way consider
the following exercise:
Exercise 3.6. With notation as above, suppose that d > e are integers such that (pi − 1)(KX + ∆)
is Cartier for i = d, e. Show that

φd,∆ : F∗d OX (1 − pd )(KX + ∆) → OX

factors through


φe,∆ : F∗e OX (1 − pe )(KX + ∆) → OX .
Further show that for any b, c satisfying the condition on i above, the composition

F∗b+c OX ((1 − pb )(KX + ∆) + pb (1 − pc )(KX + ∆))
F∗b φb,∆ ⊗O X ((1−pc )(KX +∆))

−−−−−−−−−−−−−−−−−−−−−→ F∗c OX (1 − pc )(KX + ∆)


φc,∆

−−−→ OX

is simply φb+c,∆ .
Definition 3.7. Given a Q-divisor ∆ such that KX + ∆ is Q-Cartier with index not divisible by
p > 0, we say that the pair (X, ∆) is F -pure if (X, φe,∆ ) is F -pure for some (equivalently any) φe,∆
corresponding to ∆ as in Proposition 3.4.
Exercise 3.8. Suppose that X is an affine cone over a smooth hypersurface Y in Pn . Further
suppose that H 0 (Y, F∗e ωY (pe n)) → H 0 (Y, ωY (n)) surjects for all n ≥ 0 and all e ≥ 0. Let π :
X ′ → X be the blowup of X at the cone point (a resolution of singularities). Show that σ(X, 0) =
π∗ OX ′ (KX ′ /X + E) where E ∼
= Y is the exceptional divisor.
Hint: Recall that ωX = ⊕i∈Z H 0 (Y, ωY (i)) which is just OX with a shift in grading (since X is
a hypersurface).
7

Remark 3.9. Suppose we now consider a general situation of a pair (X, ∆) with KX + ∆ QCartier. Philosophically, one should expect that σ(X, ∆) to correspond with something like the
following ideal sheaf π∗ OX ′ (⌈KX ′ + π ∗ (KX + ∆) + εE⌉) where π : X ′ → X is a log resolution and
E = Supp(π∗−1 ∆) ∪ Excπ . See [FST11, Tak13, BST13].
We can globalize this process.
Definition 3.10. Suppose that X is a proper variety, ∆ ≥ 0 is a Q-divisor such that KX + ∆ is
Q-Cartier and M is a line bundle. We define
S 0 (X, σ(X, ∆) ⊗ M )
to be the image



e 
Image H 0 X, F∗e OX ((1 − pe )(KX + ∆)) ⊗ M p
→ H 0 (X, σ(X, ∆) ⊗ M ⊆ H 0 (X, M )

for some e ≫ 0.
We make a similar definition even without the presence of ∆. We define S 0 (X, ωX ⊗ M ) to be
the image


e 
Image H 0 X, F∗e ωX ⊗ M p
→ H 0 (X, ωX ⊗ M )
for e ≫ 0. Here the map is induced by F∗e ωX ∼
= F∗e OX (KX ) → OX (KX ) = ωX mentioned earlier.

Exercise 3.11. Suppose that X is Frobenius split by some map φe,∆ : F∗e OX → OX which
corresponds to a Weil divisor (pe −1)∆ = D ∼ (1−pe )KX as above. Show that S 0 (X, σ(X, pe1−1 D)⊗
M ) = H 0 (X, M ) for any line bundle M .
Question 3.12. Find a way to compute S 0 (X, ωX ⊗ M ) for M that is not necessarily ample. In
particular, how do you know when you have chosen e > 0 large enough?
Note that this object depends on the map used to construct σ(X, ∆) and not simply on the sheaf
σ(X, ∆). Technically, we are relying on the structure of σ(X, ∆) as a Cartier module [BB11, BS13].
Likewise S 0 (X, ωX ⊗ M ) depends on the map F∗e ωX → ωX (fortunately, that map is canonically
determined).
Remark 3.13. The letter S 0 should be thought of as a capitalized or globalized σ.
The sections S 0 (X, σ(X, ∆)) are important because they behave as though Kodaira (or KawamataViehweg) vanishing were true. Perhaps this should not be surprising, indeed in order to construct
counter-examples to Kodaira vanishing in characteristic p > 0 [Ray78b] one typically first finds a
curve X and line bundle M such that S 0 (X, ωX ⊗ M ) 6= H 0 (X, ωX ⊗ M ). This failure of equality
is the key ingredient in proving that Kodaira vanishing fails.
Consider the following example.
Example 3.14. Suppose that X is a normal projective variety, M is a Cartier divisor, ∆ is a
Q-divisor and D is a normal Cartier divisor such that D and ∆ have no common components. We
also assume that M − KX − ∆ − D is an ample Q-divisor. Then S 0 (X, σ(X, ∆ + D) ⊗ OX (M ))
surjects onto S 0 (D, σ(D, ∆|D ) ⊗ OD (M |D )).
This is actually quite easy. First consider the following commutative diagram:
F∗e O X ((1 − pe )(KX + ∆ + D) − D)
α



OX (−D)

/ F e O X ((1 − pe )(KX + ∆ + D))
∗

/ F e OD ((1 − pe )(KX + ∆ + D)|D )
∗
γ

β


/ OX
8

ρ


/ / OD

Note that the upper right term is F∗e OD ((1 − pe )(KD + ∆|D )) and it is not difficult2 to see that
the map γ is the one whose image on global sections is the one used to define σ(D, ∆|D ).
We then twist by M , use the projection formula and take cohomology to obtain:
(1)
/

...

H 0 (X, F∗e O X ((1 − pe )(KX + ∆ + D) + pe M )

α

δ

/

H 0 (X, F∗e O D ((1 − pe )(KD + ∆|D ) + pe M |D ))
γ

β



H 0 (X, O X (−D + M ))


/



H 0 (X, O X (M ))

/

ρ



H 0 (D, O D (M |D ))

The map labeled ρ need not be surjective. However note that
H 1 (X, O X ((1−pe )(KX +∆+D)−D+pe M ) = H 1 (X, O X (M −D)⊗OX ((pe −1)(M −KX −∆−D)))
which vanishes due to Serre vanishing for e ≫ 0. It follows that δ is surjective. The result follows
from an easy diagram chase since the image of β is S 0 (X, σ(X, ∆ + D) ⊗ OX (M )) and the image
of γ is S 0 (D, σ(D, ∆|D ) ⊗ OD (M |D )).
There are some details in the above example that I leave as an exercise.
Exercise 3.15. Show that diagram Example 3.14 commutes at least in the case that X is smooth
or at least factorial. To do this, start with the following diagram:
0

/ F e O X (−D)
∗
O

/ F e OX
∗ O

/ F e OD
∗ O

Fe

Fe

?

F∗e OX (−pe D)
O

0

/0

Fe

/ O X (−D)

/ OX

/ OD

/0

Apply H omOX ( , ωX ) and then twist everything by OX (−KX − D). Additionally twist the
F∗e -row by F∗e OX ((1 − pe )∆) and note we still have a map.
Exercise 3.16. In general, a divisor ∆ induces a map F∗e OX ((1 − pe )(KX + ∆ + D)) → OX which
induces a map F∗e OD ((1 − pe )(KX + ∆ + D)|D ) → OD by restriction. This map then induces a
divisor ∆D called the F -different. It was recently shown by O. Das that the F -different coincides
with the usual notion of different in full generality, see [Das15]. Verify carefully in the case of the
previous exercise3 that the F -different is exactly ∆|D .
3.1. Examples and computations of S 0 .
Exercise 3.17. Use a diagram similar to the one in the example above to show the following.
Suppose that C is a curve and L is ample. Show that S 0 (C, ωC ⊗ L) defines a base point free linear
system if deg L ≥ 2 and that S 0 (C, ωC ⊗ L) defines an embedding if deg L ≥ 3.
Hint: To show that it defines a base point free linear system, choose a point Q ∈ C and consider
ωC ⊗ L → (ωC ⊗ L)/(ωC ⊗ L ⊗ OC (−Q)).
One can also ask when S 0 6= 0, [Tan15] showed this when deg L ≥ 1 and C 6= P1 .
Question 3.18. Suppose X is a surface, or maybe a ruled surface to start, and L is a line bundle
on X. What conditions on L imply that S 0 (X, ωX ⊗ L)
◦ is nonzero?
◦ defines a base point free linear system?
2Well, maybe it’s a little difficult, it is an exercise below.
3or at least when D is Cartier and (pe − 1)∆ is Cartier
9

◦ induces an embedding X ⊆ Pn ?
What about other special varieties (smooth cubics, elliptic surfaces?)
Exercise 3.19. Suppose that (X, ∆) is as above and that M is a line bundle such that M −KX −∆
is ample. Further suppose that N is an ample divisor such that OX (N ) is globally generated by
S 0 . Use Castelnuovo-Mumford regularity to prove that σ(X, ∆) ⊗ OX (M + (dim X)N ) is globally
generated.
Hint: Consider the map F∗e OX ((1 − pe )(KX + ∆) + (pe − 1)M + M + pe (dim X)N ) → OX (M +
(dim X)N ) and show that the source is globally generated as an OX -module using CastelnuovoMumford regularity. See [Kee08, Sch14].
Question 3.20 (Hard). With notation as above, find a constant c(d), depending only on d =
dim X such that if X is a smooth projective variety and L is ample and Mc(d) = KX + L, then
S 0 (X, σ(X, 0) ⊗ M ) yields a base point free linear system.
Later in Section 6, we will describe several other ways to produce sections in S 0 .

4. F -singularities versus Singularities of the MMP
In this section we discuss the relationship between both global and local notions of F -singularity
theory and of Minimal Model Program. The loose picture is summarized below:
globally F -regular
strongly F -regular
globally F -split
sharply F -pure
work in proofs

∼
∼
∼
∼

log-Fano
Kawamata log terminal
log-Calabi-Yau
log canonical
interesting geometry

Unfortunately there is a slight discrepancy between the left side, which works for proofs, and the
right side, which is geometrically interesting. So, whenever one would like to prove something
geometrically interesting has to deal with this discrepancy, the extent of which is the main topic of
this section.
We work over a perfect base-field k of characteristic p > 0. Unless otherwise stated, a pair (X, ∆)
denotes a normal, essentially finite type scheme X over k endowed with an effective Q-divisor ∆.
First, recall the following definition.
Definition 4.1. A pair (X, ∆) is globally F -split if the natural map OX → F∗e OX (⌈(pe − 1)∆⌉)
admits a splitting for some integer e > 0. A pair (X, ∆) is sharply F -pure if it has an affine open
cover by globally F -regular pairs.
Note that ⌈(pe − 1)∆⌉ is a Weil divisor. As we observed before, there is an associated sheaf
OX (⌈(pe − 1)∆⌉) defined with sections
OX (⌈(pe − 1)∆⌉)(U ) := {f ∈ K(X)|(f )|U + ⌈(pe − 1)∆⌉|U ≥ 0}.
Further, this sheaf is S2 or equivalently reflexive (see [Har94a, Har80] for generalities on reflexive
sheaves). In particular its behavior is determined in codimension one.
Now we define the following related notions that, as we will see, are related to globally F -split
and sharply F -pure as log canonical is related to Kawamata log terminal.
Definition 4.2. A pair (X, ∆) is globally F -regular if for every effective Z-Weil divisor D, the
natural map OX → F∗e OX (⌈(pe − 1)∆⌉ + D) admits a splitting for some integer e > 0. A pair
(X, ∆) is strongly F -regular if it has an affine open cover by globally F -regular pairs.
10

Remark 4.3. Strongly F -regular is a local condition, i.e., (X, ∆) is strongly F -regular, if and only
if for each x ∈ X, (Spec OX,x , ∆x ) is strongly F -regular [ST12b, Exercise 3.10]. Also, then every
affine open set and every local ring of a strongly F -regular pair is strongly F -regular.

Exercise 4.4. Let 0 ≤ a1 , a2 , a3 ≤ 1 be rational numbers. Show that P1 , a1 P1 + a2 P2 + a3 P3 is
globally F -regular (resp. globally F -split) if and only if for some integer e > 0,
x⌈(p

e −1)a ⌉
1

y ⌈(p

e −1)a ⌉
2

(x + y)⌈(p

e −1)a ⌉
3

has a non-zero monomial xi y j with 0 ≤ i, j < pe − 1 (resp. 0 ≤ i, j ≤ pe − 1) for some e > 0.
Hint: Show that we can assume that P1 = 0, P2 = 1 and P3 = ∞. Describe then explicitly the
maps



(2) H 0 P1 , ⌊(1 − pe )(KX + a1 P1 + a2 P2 + a3 P3 ) − D⌋ → H 0 P1 , (1 − pe )KX → H 0 P1 , OP1



( resp., H 0 P1 , ⌊(1 − pe )(KX + a1 P1 + a2 P2 + a3 P3 )⌋ → H 0 P1 , (1 − pe )KX → H 0 P1 , OP1 ).
Concluding the globally F -split case is then easy. In the globally F -regular case one has to deal
with D, since if deg D > 1 then the existence of a non-zero monomial xi y j with 0 ≤ i, j <
pe − 1 does not guarantee that the composition of the maps in (2) is surjective. The idea here
is to show that in this situation (2) becomes surjective if one replaces e by ne for any n ≫ 0.
e
e
e
For this, show that if xi y j is a non-zero monomial of x⌈(p −1)a1 ⌉ y ⌈(p −1)a2 ⌉ (x + y)⌈(p −1)a3 ⌉ such
that 0 ≤ i, j < pe − 1 and i and j are minimal with these properties (or rather precisely i is
ip

ne −1

jp

ne −1

minimal and j is minimal amongst having that i), then x pe −1 y pe −1 is a non-zero monomial of
 pne −1
ne −1
e
e
e
x⌈(p −1)a1 ⌉ y ⌈(p −1)a2 ⌉ (x + y)⌈(p −1)a3 ⌉ pe −1 . Now, using that ⌈(pne − 1)ai ⌉ ≤ ⌈(pe − 1)ai ⌉ ppe −1
ne
ne
ne
′
′
we obtain a non-zero coefficient xi y j of x⌈(p −1)a1 ⌉ y ⌈(p −1)a2 ⌉ (x + y)⌈(p −1)a3 ⌉ , such that i′ +
pne −1
pne −1 ′
ne
pe −1 , j + pe −1 ≤ p − 1. Conclude then the surjectivity of (2) for e replaced by ne when n ≫ 0.

Exercise 4.5. Show that P1 , 12 P1 + 21 P2 + n−1
n P3 is globally F -regular if and only if p 6= 2.
Hint: Apply the previous exercise. You can make your life easier by permuting the points.
Exercise 4.6. Show that if X is globally F -regular, then the splitting condition of the definition
happens for all e ≫ 0 (where the bound depends on D). That is, for each effective divisor D, there
is an integer eD , such that OX → F∗e OX (⌈(pe − 1)∆⌉ + D) admits a splitting for all integers e ≥ eD .
Hint:The splitting φe for e gives a splitting for 2e by restricting φe ◦ F∗e (φe ) from
2e −1
F∗2e OX ⌈(pe − 1)∆⌉ + pe ⌈(pe − 1)∆⌉ + ppe −1
D to F∗2e OX (⌈(p2e − 1)∆⌉ + D) (it has to be used
somewhere that F∗ of a reflexive sheaf is reflexive, which can be deduced from [Har94a, 1.12]). Then
by induction one obtains by a similar method a splitting for every divisible enough e. To obtain it
′
for every big enough
⌈∆⌉ + D. The same argument then yields a splitting ψn
 e, replace D byneD := 
p
−1
of OX → F∗ne OX ⌈(pne − 1)∆⌉ + pe −1 D ′ . Finally note that by the choice of D ′ , for every r ≥


me −1
e, there is a natural inclusion F∗r OX (⌈(pr − 1)∆⌉ + D) into F∗me OX ⌈(pme − 1)∆⌉ + ppe −1
D′ ,
 
where m = re . Restricting ψm via this inclusion yields the desired splitting for every r ≥ e.

Exercise 4.7. Show that in the definition of globally F -regular we could have assumed D to be
an ample Cartier divisor as long as X is projective.
Hint: Use a similar argument to that in Exercise 4.6: the key is that by replacing e by ne we
ne −1
D.
may replace D by ppe −1
Exercise 4.8. Show that (X, D) is globally F -regular if and only if for every effective Z-divisor
D, the natural map OX → F∗e OX (⌊pe ∆⌋ + D) admits a splitting for some integer e > 0.
11

Hint: Since we have splitting for all D we may swallow into D any difference in the expression
that is bounded as e grows. Now note that
−∆ ≤ ⌈(pe − 1)∆⌉ − ⌊pe ∆⌉ ≤ 2⌈∆⌉ − ∆.
Remark 4.9. The analogous statement to Exercise 4.8 does not hold for globally F -split pairs.
Exercise 4.10. Show that (X, ∆) is globally F -regular if and only if for all effective divisors D
the natural map


H 0 X, F∗e OX ⌊(1 − pe )(KX + ∆)⌋ − D → H 0 (X, OX )

is surjective for some e > 0. Recall that the natural map F∗e OX (⌊(1 − pe )(KX + ∆)⌋ − D) → OX
is constructed as the composition
F∗e OX (⌊(1 − pe )(KX + ∆)⌋ − D) → F∗e OX ((1 − pe )KX ) → OX ,

where the latter map is the twist of the Grothendieck trace map by OX (−KX ) using the projection
formula (and that all the sheaves involved are S2 ).
Similarly show that (X, ∆) is globally F -regular if and only if for all effective divisors D the
natural map


H 0 X, F∗e OX ⌈(1 − pe )KX − pe ∆⌉ − D → H 0 (X, OX )

is surjective for some e > 0.
Hint: use duality theory, that is, apply R Hom( , ωX ) to OX → F∗e OX (⌈(pe − 1)∆⌉ + D) and
then apply also ⊗ OX (−KX ). For the second claim use Exercise 4.8.
Definition 4.11. A pair (X, ∆) is klt (Kawamata log terminal) if KX + ∆ is Q-Cartier and for all
birational morphisms from normal varieties f : Y → X, ⌈KY − f ∗ (KX + ∆)⌉ ≥ 0, where KY and
KX are chosen such that f∗ KY = KX .
Definition 4.12. A pair (X, ∆) is lc (log canonical) if for all birational morphisms from normal
varieties f : Y → X, KY − f ∗ (KX + ∆) ≥ −E for some reduced divisor E, where KY and KX are
chosen such that f∗ KY = KX .
Remark 4.13. If (X, ∆) admits a log-resolution Y → X, then it is enough to require the above
conditions only for one log-resolution f : Y → X [KM98, 2.32]. In particular, this applies to
dimensions at most three by [Cut09, CP08, CP09].
Exercise 4.14. Show that for a sharply F -pure X (that is, (X, 0) is sharply F -pure) with ωX a
line bundle, X is log canonical.
Hint: Given a birational morphism f : Y → X of normal schemes, show first that there is
commutative diagram
f∗ F∗e (ωY (pe E)) = F∗e f∗ (ωY (pe E))

/ f∗ (ωY (E))




/ ωX

F∗e ωX

−1
and
for every integer e > 0 and any exceptional Z-divisor E. Twist then this diagram with ωX
conclude the exercise.

Exercise 4.15. Show that if (X, ∆) is globally F -split, then there is a ∆′ ≥ ∆, such that (X, ∆′ )
is globally F -split, (pe − 1)(KX + ∆′ ) is Cartier. Furthermore, show that ∆′ can be chosen so that
(X, ∆′ ) is log Calabi-Yau, that is, KX + ∆′ ∼Q 0.
12

Hint: Let Γ be the divisor given by the section of OX (⌊(1 − pe )(KX + ∆)⌋) for an e > 0 for
which there is a splitting. Using the dual picture (Exercise 4.10) show that this induces a splitting
e −1)∆⌉
.
of OX → F∗e OX (D + ⌈(pe − 1)∆⌉). Define then ∆′ := D+⌈(p
pe −1
(Note: There is a corresponding statement with globally F -regular and log-Fano, however the
proof is more tedious. See [SS10, Theorem 4.3].)
Exercise 4.16. Show that if (X, ∆) is a sharply F -pure pair such that KX + ∆ is Q-Cartier then
(X, ∆) is log canonical.
Hint: Soup up the argument of Exercise 4.14. First using Exercise 4.15 assume that (pe −
1)(KX + ∆) is Q-Cartier. Then construct a map
Fe := F∗e OY (⌈KY − f ∗ pe (KX + ∆) + εpe E⌉) → F0 := OY (⌈KY − f ∗ (KX + ∆) + εE⌉),
where E is the reduced exceptional divisor. Then note, that



∗
e
e
e
.
O
(⌈K
−
f
(K
+
∆)
+
εp
E⌉)
(1
−
p
)(K
+
∆)
⊗
f
O
f∗ Fe ∼
F
= ∗
Y
Y
X
X
∗
X

Show then that there is a commutative diagram as follows using the commutativity of the diagram
on the regular locus.

f∗ F e

/ f∗ F0




/ OX

F∗e OX ((1 − pe )(KX + ∆))



.


Exercise 4.17. Show that (X, ∆) is globally F -regular if and only if for every effective Cartier
divisor A, (X, ∆ + εA) is globally F -split for some rational ε > 0. Further, show that (X, ∆) is klt
if for every effective Cartier divisor A, (X, ∆ + εA) is log canonical for some Q ∋ ε > 0, and the
other direction also holds if (X, ∆) admits a log-resolution (which is known up to dimension 3).
Conclude that if (X, ∆) is a strongly F -regular pair with KX + ∆ being Q-Cartier, then (X, ∆) is
klt.
Hint: For the first statement again use the trick that showed up earlier that by replacing e by ne
ne −1
D. For the second one given a birational morphism f : Y → X, choose
we may replace D by ppe −1
an A that contains the images of the exceptional divisors of f on X. For the backwards direction
of the second statement use [KM98, Prop 2.36.(2)]. For the conclusion use Exercise 4.16.
Having shown Exercise 4.17, the question is how far are the two singularity classes. One answer
to this is as follows.
Theorem 4.18. [Har98, MS97, Har01, Smi00] If (X, ∆) is a klt pair over a field k1 of characteristic
zero, then for every model (XA , ∆A ) → Spec A of (X, ∆) → Spec k1 over a finitely generated Zalgebra A, the set
{p ∈ Spec A|(Xp , ∆p ) is strongly F -regular }
is open and dense.
Since the primary focus of these notes is the fixed characteristic situation, instead of going into
the direction of Theorem 4.18, we would like to understand the difference between klt and strongly
F -regular in positive characteristic. This is mostly known only for surfaces [Har98], which we will
discuss thoroughly below. The higher dimensional case, as well as some surface questions on slc
singularities are posed as research questions below.
So, take a klt surface singularity X. In any characteristic X admits a minimal resolution f :
Y → X. The exceptional divisor of f is a normal crossing curve, with all components being smooth
rational curves and the dual graph of which is star shaped. A list of the possible dual graphs can be
13

found on [Har98, page 50-51]. It is presumably easier to work on Y instead of X, since it is smooth
with well-described normal crossing divisors. The next exercise is the first step in this direction.
Exercise 4.19. Let f : (Y, Γ) → (X, ∆) be a proper birational morphism of pairs of dimension at
least two, that is, we require f∗ Γ = ∆ (e.g., Y is a resolution either of a variety or of a local ring
of a variety X). Show the following statements.
(a) Let H ≥ 0 be a Cartier divisor on X and Γ ≥ 0 a divisor for which f∗ Γ = ∆. Assume
further that
H 0 (Y, F∗e OY (⌊(1 − pe )(KY + Γ)⌋ − f ∗ H)) → H 0 (Y, OY )
is surjective for some integer e > 0. Then for the same value of e,
H 0 (X, F∗e OX (⌊(1 − pe )(KX + ∆)⌋ − H)) → H 0 (X, OX )
is surjective as well.
(b) If (Y, Γ) is globally F -split then so is (X, ∆).
(c) If (Y, Γ) is globally F -regular then so is (X, ∆).
(d) Give a counterexample to the converse of the previous statement
Hint: Fermat cubic surface.
Proposition 4.20. Consider the following situation:
(a) (Y, D) a pair such that Y is regular and D is normal crossing (e.g., Y is smooth over k),
(b) G ≥ 0 a divisor on Y ,
(c) E is a prime divisor on Y , such that coeff E D = 1,
(d) (E, (D − E)|E ) is globally F -regular,
(e) for every integer n ≥ 0, H 1 (Y, ⌈(1 − pe )KY − pe D⌉ − G + nE) = 0 for every e ≫ 0.
Then, the image of H 0 (Y, F∗e OY (⌈(1−pe )KY −pe D⌉−G+(n+1)E)) → H 0 (Y, OY ) maps surjectively
onto H 0 (E, OE ) for all e ≫ 0, where n is the biggest integer such that nE ≤ G.
Proof. By (c), E is what we will call in Section 6.2 an F -pure center of (X, D); all that is needed
here is the commutativity of certain diagrams similar to those in Exercises 3.14 and 3.15. Let n
be the biggest integers such that nE ≤ G. Consider the following commutative diagram (note that
coeff E (⌊pe D⌋ − (pe − 1)E) = 1, hence the appearance of n + 1 instead of n):
β

H 0 (Y, F∗e OY (⌈(1 − pe )KY − pe D⌉ − G + (n + 1)E))

/ H 0 (Y, F e OE (⌈(1 − pe )KE − pe (D − E)E ⌉ − (G − nE)E ))
∗

/ H 0 (Y, F e OE ((1 − pe )KE ))
∗



H 0 (Y, F∗e OY ((1 − pe )(KY + E)))



s
/ H 0 (E, OE )

H 0 (Y, OY )

We need to prove that both α and β are surjective. The surjectivity of α follows from the global
F -regularity assumption and the surjectivity of β from the long exact sequence of cohomology and
assumption (e).

Corollary 4.21. Let Y be a smooth, projective variety over the algebraically closed ground field
k. Assume further that −(KY + D) is ample and E is a codimension one F -pure center such that
(E, D − E)|E ) is globally F -regular. Then (Y, D) and consequently Y is globally F -regular.
Exercise 4.22. Show that Pn is globally F -regular.
Hint: use induction starting with n = 0, apply Corollary 4.21 in the inductional step.
14

α

Application 4.23. We apply Proposition 4.20 to the situation when X = Spec A is the local
ring of a normal singularity, f : Y → X is a log-resolution of singularities and E ⊆ f −1 (P ) is
an adequately chosen prime divisor, where P is the closed point of X. Assume also that k is
algebraically closed. Since X is local, it is strongly F -regular if and only if it is globally F -regular.
By Exercise 4.19, we should prove for every effective Cartier divisor H on X we are supposed to
prove that the map
H 0 (Y, F e OY ((1 − pe )KY − f ∗ H)) → H 0 (Y, OY ) ∼
=A
∗

is surjective. For this it is enough to choose an adequate boundary D on Y (supported on the
exceptional divisor), and show that
H 0 (Y, F e OY (⌈(1 − pe )KY − pe D⌉ − f ∗ H)) → H 0 (Y, OY ) ∼
= A.
∗

At this point we would like to apply Proposition 4.20. However, there we see that instead of f ∗ H
we would need to have f ∗ H −nE. The solution is to find such D and E, such that ⌈−pe D⌉+nE ≤ 0
and prove then that
ψ : H 0 (Y, F e OY (⌈(1 − pe )KY − pe D)⌉ − f ∗ H + nE)) → H 0 (Y, OY ) ∼
= A.
∗

is surjective. Note that the condition ⌈−pe D⌉ + nE ≤ 0 is automatically satisfied for every e ≫ 0,
since we have chosen coeff E D = 1. Further, note that the image of this map is an ideal I in A.
Since A is local, then it is enough to prove that the image of I in A/m (where m ⊆ A is the
maximal ideal) is non-zero. That is, we want to prove that the image of ψ maps surjectively onto
H 0 (E, OE ). So, we just need to check that the conditions of Proposition 4.20 apply for adequately
chosen D and E.
Out of the conditions of Proposition 4.20, (a) and (b) are automatically satisfied. For condition
(c) we just need to choose E to be one of the exceptional prime divisors in D that has coefficient
1. The other two conditions are harder, so we just summarize our findings:
X is strongly F -regular, if for every effective Cartier divisor H on X we can find an exceptional
effective divisor D, a component E of D with coefficient 1 such that
(a) (E, (D − E)|E ) is globally F -regular,
(b) for every integer n ≥ 0, H 1 (Y, ⌈(1 − pe )KY − pe D)⌉ − f ∗ H + nE) = 0 for every e ≫ 0.
We show how Application 4.23 works for a two dimensional klt singularity. So, let X be such a
singularity and f : Y → X its minimal resolution. We want to use the following theorem.
Theorem 4.24. [KK, 2.2.1] If f : Y → X is a log resolution of a two dimensional normal scheme
essentially of finite type over k, and L is an f -nef exceptional Q-divisor, then H 1 (Y, KY +⌈L⌉) = 0.
First we work through one concrete example, the canonical D5 surface singularity, and leave the
general case for exercises. Consider a canonical D5 surface singularity. So, the dual graph is
(3)

E1 ■
■

■■
■■
■■
■

E(= E0 )

E2

E3

E4

✉✉
✉✉
✉
✉✉
✉✉

where all the self-intersections are −2 and all the exceptional curves are smooth rational curves.
Let E be the prime divisor corresponding to the center of this graph as shown on (4). According
to Theorem 4.24 we want
(1 − pe )(KY + D) − f ∗ H + nE
15

to be nef for n ≥ 0 and every e ≫ 0 (in particular, KY + D to be anti-nef). Further we need
coeff E D = 1 and (E, (D − E)|E ) to be globally F -regular. It turns out that there is a good choice:
1
1
2
1
D := E1 + E2 + E3 + E4 + E
2
2
3
3
which can be pictured as
1
2

(4)

✿✿
✿✿
✿✿
✿✿

2
3

1

1
2

☎
☎☎
☎
☎☎
☎☎

1
3

Indeed, the above choice of D and E is adequate, because:

(a) (E, (D−E)E ) ∼
= P1 , 21 P1 + 21 P2 + 23 P3 , which is globally F -regular by Exercise 4.5 if p 6= 2.
2
(b) By the adjunction
P formula (K + D) · Ei = −2 − Ei + D · Ei = D · Ei , therefore (K + D) · Ei =
−2 coeff Ei D+ Ei ∩Ej 6=∅ coeff Ej D and hence (K+D)·Ei = 0 for i 6= 0 and (K+D)·E = − 13 .
In particular, −pe (KY + D) + nE is f -nef for every n ≥ 0 and e ≫ 0. Further,
⌈(1 − pe )KY − pe D)⌉ − f ∗ H + nE = KY + ⌈−pe (KY + D) − f ∗ H + nE⌉,

hence by Theorem 4.24, H 1 (Y, ⌈(1 − pe )(KY + D)⌉ − G + nE) = 0 for every n ≥ 0 and e ≫ 0.
So, we have just proven that:
Theorem 4.25. [Har98] A klt surface singularity of type D5 is strongly F -regular if p 6= 2.
The general case (the singularities other than canonical D5 ) is left for the following few exercises.
So, let X = Spec A be a general klt surface singularity, where A is a local ring. As mentioned above
the dual graph of the exceptional curve is star shaped. The star can have either two or three arms.
In the three arm case we group the graphs according to the absolute value of the determinants of
the intersection matrices of the arms. Then the possible cases are (2, 2, d), (2, 3, 3), (2, 3, 4) and
(2, 3, 5). We set E = E0 to be the vertex of the star in general, and we define D by the properties
coeff E D = 1 ; (KY + D) · Ei = 0 (i 6= 0).
Let E1 , E2 (and possibly E3 ) be the curves in the arms that are adjacent to E = E0 .
Exercise 4.26. Show that
D = E0 +

X di − 1
di

i

Ei + . . .

where (d1 , d2 , d3 ) is the type of the graph. Conclude then that (K + D) · E =
Hint: Consider the intersection matrix of

e1 1
 1 e2

0 1

..
..
.
.

the
0
1
e3
..
.

i-th arm:

...

0 ...

1
0 . . .


P

i

di −1
di

− 1 < 0.

Using the adjunction formula, write up a linear equation for computing the coefficients of D in
the i-th arm involving the above matrix. Then use Cramer’s rule and that the above matrix has
determinant di .
16

Exercise 4.27. Show that the followings are globally F -regular.

(a) P1 , 21 P1 + 21 P2

(b) P1 , 21 P1 + 32 P2 + 32 P3 for p 6= 2, 3
(c) P1 , 12 P1 + 32 P2 + 43 P3 for p 6= 2, 3
(d) P1 , 12 P1 + 32 P2 + 54 P3 for p 6= 2, 3, 5
Hint: Use Exercise 4.4.

So, we have proved the theorem:
Theorem 4.28. [Har98] Every klt surface singularity is strongly F -regular if p > 5.
4.1. Questions.
Question 4.29. Depth of sharply F -pure singularities. Let (X, ∆) be a log canonical pair
(allowing ∆ to be an R-divisor) and let x ∈ X be a point which is not a log canonical center of
(X, ∆). Suppose that 0 ≤ ∆′ ≤ ∆ is another Q-divisor and D a Z-divisor, such that D ∼Q,loc ∆′ .
Show then that
depthx OX (−D) ≥ min{3, codimX x}.
or give a counterexample. Note that in characteristic zero this was shown in [Kol11] and in positive
characteristic p > 0 in [PS13] with the extra assumption that the indices are not divisible by p and
the singularities are sharply F -pure. So, the interesting case is when either p divides some of the
appearing indices or the singularities are log canonical but not sharply F -pure. In two or three
dimensions this could be in particular approachable by an argument similar to that of [Kol11], since
then some of the required vanishings can still hold (because the dimension is small). Further, the
above question is also interesting for slc singularities (see Section 4.1.2) as stated in [Kol11, Thm
3].
Other related question is that in the above situation if Z is the reduced subscheme supported
on the union of some log canonical centers, then show or disprove
depthx IZ ≥ min{3, codimX x + 1}.
The known and unknown cases for this question are completely analogous to the previous one (see
[Kol11, Thm 3] and [PS13, Thm 3.6]).
A third related question is to show or disprove that if (X, ∆) has dlt singularities and 0 ≤ D
a Z-divisor such that ∆ ∼Q,loc D, then OX (−D) is Cohen-Macaulay. The situation here is also
analogous (see [Kol11, Thm 2] and [PS13, Thm 3.1]) .
Question 4.30. Frobenius stable Grauert-Riemenschneider vanishing. If f : Y → X is a
resolution of a normal variety, then is the natural Frobenius map F∗e Ri f∗ ωY → Ri f∗ ωY zero for
any i > 0 and e ≫ 0?
Exercise 4.31. Check Question 4.30 for X being a cone over a smooth projective variety.
4.1.1. Three dimensional singularities
The main question, which is probably hard in general, but should be kept in mind as a guiding
principle, is the following:
Question 4.32. In a fixed dimension n is there a prime p0 , such that for all p ≥ p0 , klt is equivalent
to strongly F -regular for pairs with zero boundaries? What if we allow boundaries with coefficients
in a finite set?
Most likely, there is either an easy counterexample to Question 4.32 or it is extremely hard. So,
first we should set our sights to dimension 3:
17

Question 4.33. Answer Question 4.32 for n = 3. One can also restrict further to terminal singularities. That is, is there a prime p0 , such that for all p ≥ p0 , every terminal singularity X is strongly
F -regular? The latter question seems to be more approachable, since in characteristic zero there
is a good classification of three dimensional terminal singularities [Mor85]. So, first the question
would be how much of that holds in positive characteristic. However, even without solving this
question, it would be interesting to take examples of log-resolutions in characteristic zero that show
up in any characteristic and find the primes for which they are strongly F -regular. One can use
that in characteristic zero we know nice resolutions of terminal singularities (c.f., [Che13]).
4.1.2. Classify slc surface singularities
Slc (semi-log canonical) singularities are the natural non-normal versions of log canonical singularities. Their main use, as well as the motivation for their introduction [KSB88], is in higher
dimensional moduli theory. As in dimension one needs to add nodal curves to smooth curves to
obtain a projective moduli space of curves, in higher dimensions one has to add slc singularities
to log canonical singularities to obtain a (partially proven and partially conjectural) moduli space
of canonical models. Note that such moduli space parameterizes birational equivalence classes of
varieties of general type (which is shown in characteristic zero, for surfaces in positive characteristic
and for threefolds in characteristic p ≥ 7).
First, we define slc singularities. Let k be a field.
Definition 4.34. A scheme X locally of finite type over k is demi-normal if it is equidimensional,
S2 and its codimension one points are nodes [Kol13, 5.1]. Here x ∈ X is a node, if OX,x is isomorphic
to R/(f ) for some two dimensional regular local ring (R, m), f ∈ m2 and f is not a square in m2 /m3
[Kol13, 1.41].
Proposition 4.35. [Kol13, 1.41.1] Let (A, n) be a 1-dimensional local ring with residue field k and
normalization A. Let n be the intersection of the maximal ideals of A. Assume that (A, n) is a
quotient of a regular local ring. Then (A, n) is nodal if and only if dimk (A/n) = 2 and n ⊆ A.
Exercise 4.36. Show that the pinch point Spec (xk[x,y,t]
2 −ty 2 ) is demi-normal, even in characteristic 2.
Definition 4.37. [Kol13, 5.2] If X is a reduced scheme, and π : X → X its normalization, then
the conductor ideal is the largest ideal sheaf I ⊆ OX that is also an ideal sheaf of π∗ OX . The
conductor subschemes are defined as D := Spec(OX /I ) and D := Spec(OX /I ).
Fact 4.38. [Kol13, 5.2] For a demi-normal scheme X, the conductor subschemes are the reduced
divisors supported on the closure of the nodal locus, and on the preimage of that, respectively.
Definition 4.39. [Kol13, 5.10] Let X be a demi-normal scheme with normalization π : X → X
with conductor divisors D ⊆ X and D ⊆ X, respectively. Let ∆ be a Q (Weil-)divisor on X
not containing common components with D, and let ∆ := π ∗ ∆ (defined as the divisorial part of
π −1 (∆)). Then the pair (X, ∆) is semi-log canonical, or shortly just slc, if KX + ∆ is Q-Cartier,
and (X, D + ∆) is log canonical.
Now, we would like to see the F -singularities aspects of slc singularities. Though we defined F purity in the normal setting, it works without modification in the G1 and S2 setting (c.f., [PS13]).
Exercise 4.40. Show that if p = 2, then the pinch-point ({x21 + x22 x3 = 0} ⊆ Anx1 ,...,xn , n ≥ 3) is
not F -pure along the entire double line (i.e., along x1 = x2 = 0).
Hint: Use Proposition 2.16.
A more general wording of the previous exercise is as follows.
18

Exercise 4.41. Let X be an affine variety (where we do not assume that X is irreducible) and let
x be a codimension one point of the conductor given by the conductor ideal I ⊆ OX .
(a) Show that for every φ ∈ HomOX (F∗e OX , OX ), φ(F∗e I ) ⊆ I .
(b) Show that every φ ∈ HomOX (F∗e OX , OX ) extends to φN ∈ HomOY (F∗e OY , OY ), where Y is
the normalization of X.
(c) Show that the conductor of the normalization is inseparable at x over the conductor of X,
then X is not F -pure at x.
Hint: For point (a) extend φ first to the total ring of fractions K of R := Γ(X, OX ), then using
this extension show that φ(s)t ∈ I := Γ(X, I ) for every s ∈ I and t ∈ RN := Γ(Y, OY ).
For point (b) show that if φ′ is the above extension of φ to K, then φ′ (F∗e RN ) ⊆ Rn . For that first
show that we may assume that R is integral. Then show that (φ′ (x))m I ⊆ I for every x ∈ F∗e RN
and integer m > 0. Then deduce that φ′ (x) is integral over R.
For point (c) assume that X is F -pure. Take then a splitting φ of OX → F∗ OX guaranteed by
the F -purity. Let φN be the splitting given by point (b). Let B be the conductor on X and C the
conductor on Y . Show then using point (a) that this yields a splitting of OB → F∗ OB that extends
to a splitting of OC → F∗ OC . The latter yields then a contradiction with the inseparability.
The following are the questions posed about slc singularities.
Question 4.42. Classify slc surface singularities in characteristic p > 0. There are more approaches
to the characteristic zero classification. Historically, one first passes to the canonical covers and
then classifies only the Gorenstein slc surface singularities [KSB88, 4.21, 4.22, 4.23, 4.24]. The
second goes by classifying the normalization (c.f., [Kol13, Section 3.3]) and then using Kollár’s
gluing theory [Kol13, 5.12, 5.13] to see when one can glue the normalization into a demi-normal
singularity. Unfortunately, there are issues with both in positive characteristic. For the first one,
the canonical cover can be inseparable in characteristic p, and for the second one, aspects of the
gluing theory work only in characteristic zero [Kol13, 5.12, 5.13].
Question 4.43. Find the F -pure ones out of the list of slc singularities found as an answer to the
previous question. For the method see [Har98, MS91] and [MS12]. Note that the two articles
together solve the question if the conductor of the normalization maps separably to the conductor
of the singularity (which is always true if p 6= 2) and further the index is not divisible by p. So, the
interesting cases are the ones left out.

5. Global Applications
In this section we present one application to global geometry of the theory of F -singularities and
then we list a few problems. The known applications are somewhat different in nature with little
connection between some of them (a non-complete list is: [Sch14, Hac15, Mus13, MS14, CHMtaS14,
HX15, CTX15, Zha14, Pat14, Pat13, HP16]). In particular, the chosen application is admittedly
somewhat random.
Throughout the section the base field k is algebraically closed, and of characteristic p > 0. The
algebraically closed assumption is not necessary in Section 5.1 but it is important in Section 5.3.1
among other places.
5.1. Semi-positivity of pushforwards.
 Theapplication we discuss in more details here is the
m
semi-positivity of sheaves of the form f∗ ωX/Y
. We use the following notations. This is very far
from the most general situation where the results work (see [Pat14] for a more general situation).
Notations 5.1. X is a Gorenstein, projective variety, f : X → Y is a surjective, morphism to
a smooth projective curve with normal (and connected) geometric generic fiber, and hence the
19

fibers are normal (and connected) over an open set of Y . Fix also a closed point y0 ∈ Y such that
X0 := Xy0 is normal.
We prove the following theorem. Recall that a vector bundle E on a projective scheme Z is
nef, if for all finite maps τ : C → Z from smooth curves, and all line bundle quotients τ ∗ E ։ L ,
deg L ≥ 0.
Theorem 5.2. [Pat14] In the situation of Notations 5.1, if ωX/Y is f -ample and X0 is sharply
m ) is a nef vector bundle for every m ≫ 0.
F -pure, then f∗ (ωX/Y
Note that the corresponding theorem in characteristic zero was proven using the consequence
of Hodge theory that f∗ ωX/Y is semi-positive. The corresponding statement in characteristic p is
false, so the proof necessarily eludes such considerations.
Recall that a coherent sheaf F on a scheme X is generically globally generated, if there is
⊕m
→ F which is surjective over a dense open set. Further, if Z is a normal
homomorphism OX
variety and L a line bundle on Z, then we use the notation S 0 (Z, L ) for S 0 (Z, σ(X, 0) ⊗ L ).
Proposition 5.3. In the situation of Notations 5.1, choose a Cartier divisor N and set N :=
OX (N ). Assume that N − KX/Y is f -ample and nef, and H 0 (X0 , N |X0 ) = S 0 (X0 , N |X0 ). Then
f∗ N ⊗ ωY (2y0 ) is generically globally generated.
Proof. Set M := N + f ∗ KY + 2X0 and M := OX (M ). Consider the commutative diagram below.
(5)

/ (f∗ M ) ⊗ k(y0 ) 

f∗ M
O



S 0 (X, σ(X, X0 ) ⊗ M ) ⊗ OY

/ H 0 (X0 , M |X ) ,
0

/ S 0 (X0 , M |X )
0

where H 0 (X0 , M |X0 ) = S 0 (X0 , M |X0 ), because
H 0 (X0 , M |X0 ) ∼
= H 0 (X0 , N |X0 ) = S 0 (X0 , N |X0 ) ∼
= S 0 (X0 , M |X0 ).
Note that
(6)

M − KX − X0 = N + f ∗ KY + 2X0 − KX/Y − f ∗ KY − X0 = N − KX/Y + X0 .

Note also that N − KX/Y is nef and f -ample by assumption. Furthermore, X0 is the pullback of an
ample divisor from Y . Hence, N − KX/Y + X0 is ample and then by (6) so is M − KX − X0 . Hence,
(1) implies that the bottom horizontal arrow in (5) is surjective. This finishes our proof.

Exercise 5.4.N
If F is a vector bundle on a smooth curve Y and L is a line bundle such that for
every m > 0, ( m
i=1 F ) ⊗ L is generically globally generated, then F is nef.

Notations 5.5. For a morphism f : X → Y of schemes, define
(m)

XY

:= X ×Y X ×Y · · · ×Y X ,
|
{z
}
m times

(m)

and let fY

(m)

: XY

→ Y be the natural induced map. If F is a sheaf of OX -modules, then
(m)

FY

:=

m
O

p∗i F ,

i=1

(m)
XY

→ X. In most cases, we omit Y from our notation. I.e., we
where pi is the i-th projection
(m)
(m)
(m)
(m)
(m)
(m)
use X , f
and F
instead of XY , fY and FY , respectively.
20

Exercise 5.6. If N is a line bundle on a normal Gorenstein variety X, then


S 0 X (m) , N (m) ∼
= S 0 (X, N )⊗m .

(Here X (m) and N

(m)

are taken over Spec k.)

Hint: the main issue is showing that the trace map is the box product of the trace maps, it is
easier to show it on the regular locus and then just extend globally since the complement has large
codimension.
Nm
(m)
Exercise 5.7. Show that in the situation of Notations 5.5, f∗ N (m) ∼
= i=1 f∗ N for any line
bundle N on X and integer m > 0
Hint: do induction, for one induction step use the projection formula and flat base-change.
Proposition 5.8. In the situation of Notation 5.1, choose a Cartier divisor N and set N :=
OX (N ). Assume that N − KX/Y is nef and f -ample, and H 0 (X0 , N |X0 ) = S 0 (X0 , N |X0 ). Then
f∗ N is a nef vector bundle.
Proof. First we claim that X (n) is a variety, that is, it is integral for every integer n > 0. Indeed,
since X is Gorenstein and Y is smooth, X is relatively Gorenstein over Y , and hence so is X (n) .
Therefore, X (n) is also absolutely (so not only relatively over Y ) Gorenstein. In particular, X is
S2 and then we can check reducedness only at generic points. However, X (n) is flat over Y , so all
generic points lie over the generic point of Y . Further over the generic point of Y , X n is reduced
and irreducible since the geometric generic fiber of f is assumed to be normal (and connected).
This concludes our claim.
Hence the assumptions of Notations 5.1 are satisfied for f (n) : X (n) → Y , N (n) − KX (n) /Y =
(N − KX/Y )(n) is nef and f (n) -ample, and further by Exercise 5.6 and the Künneth formula,




(n)
(n)
⊗n
H 0 X0 , N (n) |X (n) = H 0 (X0 , N |X0 )⊗n ∼
= S 0 (X0 , N |X0 ) ∼
= S 0 X0 , N (n) |X (n) .
0

0

X (n)

(n)
f∗ (N (n) )⊗ωY

N (n) ,

(2y0 ) generically
Hence Proposition 5.3 applies to
and
and consequently,
globally generated for every n > 0.

Nn
(n)
Exercise 5.7, f∗ N (n) ∼
=
i=1 f∗ N . Therefore, f∗ N is a vector bundle, such that
NBy
( ni=1 f∗ N ) ⊗ ωY (2y0 ) is generically globally generated for every n > 0. Hence, by Exercise 5.4,
f∗ N is a nef vector bundle. This concludes our proof.

Proposition 5.9. In the situation of Proposition 5.8, if furthermore Ny globally generated for all
y ∈ Y , then N is nef.
Proof. Consider the following commutative diagram for every y ∈ Y .
(7)

f ∗ f∗ N

/N




/ Ny

H 0 (Xy , N ) ⊗ OXy

The left vertical arrow is an isomorphism for all but finitely many y by cohomology and base-change.
The bottom horizontal arrow is surjective for all y ∈ Y by assumption. Hence f ∗ f∗ N → N is
surjective except possibly at points lying over finitely many points of y ∈ Y . To show that N is
nef, we have to show that deg(N |C ) ≥ 0 for every smooth projective curve C mapping finitely to
X. By assumption this follows if C is vertical (globally generated implies nef). So, we may assume
that C maps surjectively onto Y . However, then (f ∗ f∗ N )|C → N |C is generically surjective. Since
f∗ N is nef by Proposition 5.8, so is f ∗ f∗ N and hence deg(N |C ) ≥ 0 has to hold.

21

The next exercises tell us how to satisfy the condition H 0 = S 0 from the previous proposition.
Exercise 5.10. Let (X, ∆) be a pair such that (pe − 1)(KX + ∆) is Cartier for some e > 0. Show
then that the restriction of the natural map F∗ne OX ((1 − pne )(KX + ∆)) → OX to σ(X, ∆) ⊗
OX ((1 − pne )(KX + ∆)) yields for every n ≫ 0 a surjective homomorphism
F∗ne (σ(X, ∆) ⊗ OX ((1 − pne )(KX + ∆))) → σ(X, ∆).
Hint: Since the image of the original homomorphism is σ(X, ∆) for every n ≫ 0, it is clear that
the image of the restricted homomorphism is contained in σ(X, ∆). To prove surjectivity, take an
n′ , such that
′
′
F∗n e (OX ((1 − pn e )(KX + ∆))) → σ(X, ∆).
is surjective and show that the composition of
′

′

F∗ne (F∗n e (OX ((1 − pn e )(KX + ∆))) ⊗ OX ((1 − pne )(KX + ∆))) →
→ F∗ne (σ(X, ∆) ⊗ OX ((1 − pne )(KX + ∆))) → σ(X, ∆)
is also surjective.
Exercise 5.11. Show that if L is a line bundle on a projective pair (X, ∆) such that (pe −1)(KX +∆)
is Cartier for some e > 0, then for each n ≫ 0, S 0 (X, σ(X, ∆) ⊗ L) is equal to the image of the
homomorphism
H 0 (X, L ⊗ F∗ne (σ(X, ∆) ⊗ OX ((1 − pne )(KX + ∆))) → H 0 (X, L ⊗ σ(X, ∆)).
Hint: Let Vn be the image of the above homomorphism. It is immediate that Vn ⊆ S 0 (X, σ(X, ∆)⊗
L). For the other containment, use a trick similar to the previous exercise: take an integer n′ > 0,
such that
′
′
F∗n e (OX ((1 − pn e )(KX + ∆))) → σ(X, ∆).
is surjective, and consider the composition of
′

′

H 0 (X, L ⊗ F∗ne (F∗n e (OX ((1 − pn e )(KX + ∆))) ⊗ OX ((1 − pne )(KX + ∆)))) →
→ H 0 (X, L ⊗ F∗ne (σ(X, ∆) ⊗ OX ((1 − pne )(KX + ∆)))) → H 0 (X, L ⊗ σ(X, ∆)).
Show that the image of the above homomorphism contains Vn , and also that this image equals
S 0 (X, σ(X, ∆) ⊗ L) for n big enough.
Exercise 5.12. Show that if L is an ample line bundle on a projective pair (X, ∆) such that
(pe − 1)(KX + ∆) is Cartier for some e > 0, then there is an integer n > 0, such that for every nef
line bundle N , S 0 (X, σ(X, ∆) ⊗ Ln ⊗ N ) = H 0 (X, σ(X, ∆) ⊗ Ln ⊗ N ).
Hint: Let e > 0 be an integer such that (pe − 1)(KX + ∆) is Cartier. According to Exercise 5.11,
it is enough to show that



(i+1)e
σ(X, ∆) ⊗ OX ((1 − p(i+1)e )(KX + ∆))
H 0 X, Ln ⊗ N ⊗ F∗

→ H 0 X, Ln ⊗ N ⊗ F∗ie σ(X, ∆) ⊗ OX ((1 − pie )(KX + ∆))
is surjective for every i. Show then that the above maps are induced from the exact sequence
0

/B

/ F e (σ(X, ∆) ⊗ OX ((1 − pe )(KX + ∆)))
∗

/ σ(X, ∆)

/ 0.

Use then Fujita vanishing [Fuj83] to show surjectivity.
Theorem 5.13. In the situation of Notation 5.1, if X0 is sharply F -pure and KX/Y is f -nef, then
KX/Y is nef.
22

Proof. Using relative Fujita vanishing [Kee08] and Exercise 5.12, there is an ample enough line
bundle Q on X, such that for all i > 0 and f -nef line bundle K ,
(8)

H 0 (X0 , Q ⊗ K |X0 ) = S 0 (X0 , (Q ⊗ K )|X0 )

and
(9)

Q ⊗ K |Xy is globally generated for all y ∈ Y.

Let Q be a divisor of Q. We prove by induction that qKX/Y + Q is nef for all q ≥ 0. For q = 0
the statement is true by the choice of Q. Hence, we may assume that we (q − 1)KX/Y + Q is nef.
Now, we verify that the conditions of Proposition 5.9 hold for N := qKX/Y + Q and N := OX (N ).
Indeed:
◦ the divisor
N − KX/Y = (q − 1)KX/Y + Q
is not only f -ample, but also nef by the inductional hypothesis,
◦ using the f -nefness of KX/Y and (8),
H 0 (X0 , N |X0 ) = S 0 (X0 , N |X0 ),
◦ since all the summands of N are f -nef, so is N ,
◦ for every y ∈ Y , N |Xy is globally generated by (9).
Hence Proposition 5.9 implies that N is nef. This finishes our inductional step, and hence the proof
of the nefness of qKX/Y + Q for every q ≥ 0. However, then KX/Y has to be nef as well. This
concludes our proof.

Proof of Theorem 5.2. By Theorem 5.13, we know that KX/Y is not only f -ample, but also nef.
Further for every m ≫ 0,
m
H 0 (X0 , ωX/Y
|X0 ) =

m
H 0 (X0 , ωX
)
{z 0}
|

X is Gorenstein over Y

Then Proposition 5.8 applies to N =

m
ωX/Y

m
m
= S 0 (X0 , ωX
) = S 0 (X0 , ωX/Y
|X0 ) .
0
|
{z
}
|
{z
}
by Exercise 5.12

X is Gorenstein over Y

for each m ≫ 0, which concludes our proof.



5.2. Miscellaneous exercises.
Exercise 5.14. Show that a Del-Pezzo surface X over an algebraically closed field k of characteristic
p > 0 is globally F -regular if
2 ≥ 4,
(a) KX
2
(b) KX = 3, and p > 2,
2 = 2, and p > 3 and
(c) KX
2 = 1, and p > 5.
(d) KX
Further show that in the missing cases there are examples of both globally F -regular and not
globally F -regular del-Pezzos.
Hint: Use Example 3.14.
Exercise 5.15. LetL
X be a smooth projective variety over k. Show that Frobenius
canonL stable
m ) is an ideal of the canonical ring R(X) :=
0 (X, ω m ).
ical ring RS (X) := n≥0 S 0 (X, ωX
H
n≥0
X
Further, show that RS (X) is a birational invariant (of smooth projective varieties over k). Then
show that it doesnot change during a run of the MMP, where for singular varieties RS (X) :=
L
0 X, ω [m] (F [m] denotes the reflexive power, that is, the double dual (F ⊗m )∨∨ of the
n≥0 S
X
tensor power, see [Har94b] for the theory of reflexive sheaves). Deduce then that if the inm) =
dex of the canonical model Xcan is coprime to p, then for m divisible enough, S 0 (X, ωX
23



[m]
H 0 Xcan , σ(Xcan , 0) ⊗ ωXcan . Give then an example of an X for which RS (X) is not finitely
generated as a ring.
Hint: To show that RS (X) is a birational invariant, for two birational varieties Z and Y take
a normal variety W that maps with a birational morphism to both Z and Y . For example one
can take W to be the normalization of the closure of the graph of the birational

 equivalence.
[m]
0
m
0
∼
Finally show that RS (Z) = RS (W ) = RS (Y ) by showing that H (Z, ωZ ) = H W, ωW and




[1+(m−1)pe ]
1+(m−1)pe ∼
. There is one more subtlety: the trace maps also have
H 0 Z, ωZ
= H 0 W, ωW
to be identified, however that is not hard to do because of the open sets where the maps W → Z
and W → Y are isomorphisms.
Showing that MMP does not change RS (X) is similar, using that for each step the discrepancies
do not decrease. For the final conclusion use Exercise 5.12.
Definition 5.16. We define the Frobenius stable Kodaira-dimension κS (X) of a smooth projective
m ). That is, it is the integer d, such that
variety X over k to be the growth rate of dimk S 0 (X, ωX
there are positive real numbers a and b for which
m
amd < dimk S 0 (X, ωX
) < bmd ,
m ) = 0 for every m > 0.
for every divisible enough m. We say d = −∞ if S 0 (X, ωX

Exercise 5.17. Show that if κS (X) ≥ 0 or X is of general type then κS (X) = κ(X). Find examples
for which κS (X) = −∞ and κ(X) is any number between 0 and dim X − 1.
(Note: solutions can be found in [HP16, Section 4]).
Exercise 5.18. Let X be an irreducible hypersurface of degree d in Pn (n ≥ 2) defined by
f (x0 , . . . , xn ) = 0 such that X ∩ D(x0 ) 6= ∅ (i.e., f is not a polynomial of x0 ). Let f˜(x1 , . . . , xn ) :=
f (1, x1 , . . . , xn ) and let Pl be the space of polynomials of degree at most l in the variables x1 , . . . , xn .
Further, let Φe be the k-linear map k[x1 , . . . , xn ] → k[x1 , . . . , xn ], for which

Φe

n
Y
i=1

Consider then

xji i

!

=

n
j −pe +1

Y x i pe
i


i=1

0

if pe |ji − pe + 1 for all i

.

otherwise


 e
Ve := Φe f˜p −1 · P(d−n−1)(1+(m−1)pe ) .
That is, Ve is the image via Φe of the space containing all the polynomials that are obtained by
multiplying a degree at most (d− n − 1)(1+ (m − 1)pe ) polynomial pe − 1 times with f˜. Let We ⊆ Ve
be the subspace of Ve containing the polynomials divisible by f˜.
Show that then the image of
m−1
m
⊗ F∗e ωX ) → H 0 (X, ωX
)
H 0 (X, ωX
m ) can be identified with V /W
can be identified with the quotient Ve /We . In particular, S 0 (X, ωX
e
e
for e ≫ 0.
24

Hint: Show that there is a commutative diagram as follows.
H 0 (Pn , OPn ((1 + (m − 1)pe )(d − n − 1)))
·f p

e −1



H 0 (Pn , OPn ((1 + (m − 1)pe )(d − n − 1) + (pe − 1)d))



/ H 0 X, ω 1+(m−1)p
X

e



tr

tr



H 0 (Pn , OPn (m(d − n − 1)))


/ H 0 (X, ω m )
X

Then show that the horizontal arrows are surjective and restrict everything to D(x0 ).
Exercise 5.19. Let X be the surface in P3 defined by x5 + y 5 + z 5 + v 5 . Compute S 0 (ωX ) for each
2 ) = 0, but S 0 (ω 3 ) 6= 0.
prime p. Further, for p = 2, show that S 0 (ωX ) = S 0 (ωX
X
Hint: use Exercise 5.18.
5.3. Problems.
Question 5.20. Fujita’s conjecture states that if X is a smooth projective variety and L an ample
line bundle on it, then KX + (dim X + 1)L is free and KX + (dim X + 2)L is very ample. This is not
known in positive characteristic even for surfaces. For surfaces there are results when L is special
[Eke88, SB91b, Ter99, DCF15]. However, the full conjecture is not known even in the surfaces case.
Question 5.21. What is the lowest m such that the semi-positivity of Theorem 5.2 holds? The
question is already interesting if one fixes the dimension, so for example for families of surfaces.
Note that for m = 1 the semi-positivity is known not to hold even for families of curves by [MB81,
3.2].
Question 5.22. Compute the semi-stable rank of the Hasse-Witt matrix or equivalently the dimension of S 0 (X, ωX ) of general elements in the components of the moduli space of surfaces. By a
conjecture of Grothendieck this is non-zero, so finding a component where this is zero would be
interesting. A few related articles: [Lie08a, Lie09, Lie08b, Mir84, Hir99].
5.3.1. Log-Fano Varieties
Question 5.23. If I ⊆ (0, 1) ∩ Q is a finite subset, then is there a p0 depending only on I, such that
for all log-Del Pezzos (X, ∆) for which the coefficients of ∆ are in
)
(
P
m + lj=1 aj ij
m, l ∈ N, aj ∈ N, ij ∈ I ∩ [0, 1]
D(I) :=
m+1
(X, ∆) is strongly F -regular? Note that this is the two dimensional version of [CGS16, 4.1], and
it might be hard in full generality. However, the question is already interesting for I = {1} or for
D(I) replaced by any smaller set, for example by {1}. Other fixed I’s are also interesting.
The main interest in the question stems from applying it to threefold singularities, as in [CGS16],
or to threefold fibrations the geometric generic fibers of which are log-Del Pezzos (in this case it
would yield semi-positivity statements using Theorem 5.2). The question is interesting in any
higher dimension as well, so for log-Del Pezzo replaced by log-Fano.
Question 5.24. Classify globally F -regular smooth Fano threefolds of Picard number 1. According
to [SB97], the classification in any characteristic agrees with the characteristic zero classification
[IP99], which is a finite list of deformation equivalence classes. Hence it should be possible to
determine a list of globally F -regular ones as in Exercise 5.14.
25

Question 5.25. For the cases when not all the Del-Pezzos are globally F -regular (see Exercise 5.14),
describe the locus of the non globally F -regular ones in the moduli space. That is, describe its
dimension. Is it closed?
Question 5.26. In [MS03] it is hinted to conclude the classification of smooth Fano threefolds along
the line of the characteristic zero classification [IP99, MM82, MM03]. The Picard number one and
two cases are done in [SB97] and [Sai03]. Finish the higher Picard number cases.
5.3.2. MMP
Question 5.27. Classify the singularities that the geometric general fiber of the Iitaka fibration of
3-folds can have. Recall that the Iitaka fibration is a fibration f : X → Y such that ωX ∼
= f ∗L
for some big line bundle L . Here you can assume X to be smooth for the first. In general, it
would be interesting to have an answer for X with terminal singularities, which is most likely
hard. Note that in dimension two only cusps appear and only in characteristics 2 and 3 (see
[Mum69, BM77, BM76, SS10] and [CD89, Chapter V]).
Question 5.28. Can one run MMP for threefolds of characteristic 2, 3 or 5? The situation for
characteristic p > 5 has been recently mostly cleared out in a series of papers [HX15, CTX15, Bir16].
If p ≤ 5, then though some generalized extremal contractions are known to exist [Kee99, 0.5], it is
not known whether flips exist.
Question 5.29. Prove full cone theorem, and full contraction theorems for threefolds (at least in
characteristic p > 5). The existing statements, though are fantastic achievements, have a few
unnatural hypotheses: line bundles are not semi-ample, only endowed with a map [Kee99, 0.5],
there are finitely many extremal rays that are not known to contain rational curves [Kee99, 0.6]
(see also [Kee99, 5.5.4]), if KX + B is not pseudo-effective then only a weak cone theorem is known
[CTX15, 1.7]. The main question is whether these hypotheses can be removed.
Question 5.30. Abundance for threefolds?
Question 5.31. MMP for 4-folds?
5.3.3. Surface and threefold inequalities
For minimal surfaces of general type a few inequalities govern the possible values of standard
2 ≥ 1, χ(O ) ≥ 1, K 2 ≥ 2p −4 (Noether inequality), K 2 ≤ 9χ(O ),
numerical invariants (e.g., KX
X
g
X
X
X
c.f., [BCP06, Section 1.2]). Many of these are known either to hold, or there is a good understanding
of when they fail in positive characteristic [Lie13, Sections 8.2, 8.3, 8.4]. There are a few questions
concerning surfaces left and very little is known for threefolds.
Question 5.32. Is there a smooth surface of general type with χ(OX ) ≤ 0? Note that the possibilities
are quite restricted (see [SB91a, Theorem 8]).
Question 5.33. Minimal Gorenstein threefolds of general type are known to have χ(OX ) > 0 in
characteristic zero. Is this true in positive characteristic? If not, what are the exceptions? The
expectations are statements as [Lie13, 8.4,8.5].
3 in
Question 5.34. If X is a minimal threefold of general type then is there a lower bound for KX
terms of a (linear) function of the geometric genus ρg (X)? Note that in characteristic zero this has
been shown in [Kob92], and the analogous statement is known for surfaces of positive characteristic
[Lie08a].
26

6. Seshadri constants, F -pure centers and test ideals
In Section 3 we introduced S 0 and showed how global sections can be extended from them via
adjunction along divisors. At the start of this section we discuss other ways to produce sections in
S 0 . First we recall Seshadri constants and F -pure centers and how to use them to produce sections
in S 0 . Then, building upon and generalizing the definition of F -pure centers we introduce test
ideals and explore a number of open questions about them.
We begin with Seshadri constants.
6.1. Seshadri constants. Recall the following definition originally found in [Dem93].
Definition 6.1 (Seshadri constants). [Laz04a] Suppose X is a projective variety and L is an ample
(or big and nef) line bundle. Choose z ∈ X a smooth closed point, let π : Y → X be the blowup
of z with exceptional divisor E. We define the Seshadri constant of L at z as
ε(L, z) = sup{t > 0 | π ∗ L − tE is nef}.
The Seshadri constant is a local measure of positivity of L at z. Its usefulness comes from the
following theorem (and variants).
Theorem 6.2. If X is a projective variety over C and if ε(L, z) > dim X for some smooth closed
point z ∈ X, then ωX ⊗ L is globally generated at z.
Proof. Let n = dim X so that π ∗ L − nE is big and nef. Consider the following diagram:
/

0

/

H 0 (X, mz ⊗ ωX ⊗ L)

O

α

H 0 (X, ωX ⊗ L)

/

O

∼

0

/

H 0 (Y, ωY (π ∗ L − nE))

/

/

H 0 (X, ωX ⊗ L/mz )

O

H 1 (X, mz ⊗ ωX ⊗ L)

O

∼

H 0 (Y, ωY (π ∗ L − (n − 1)E))

/

H 0 (E, ωE (π ∗ L − nE))

/

H 1 (Y, ωY (π ∗ L − nE))

It is an exercise left to the reader to verify the isomorphisms indicated. By Kawamata-Viehweg
vanishing H 1 (Y, ωY (π ∗ L − nE)) = 0 and hence α surjects proving that ωX ⊗ L is globally generated
at z.

Exercise 6.3. Work in characteristic p > 0 and assume that L is ample. Show that in fact that if
ε(L, z) > dim X then S 0 (X, ωX ⊗ L) has a section which does not vanish at z.
Hint: Add another row to the diagram with vertical up-pointing arrows induced by Frobenius.
Replace then Kawamata-Viehweg vanishing with Serre vanishing.
Question 6.4 (Perhaps hard). Are there lower bounds for Seshadri constants at very general points
in characteristic p > 0 ala [EKL95]?
There is another version of Seshadri constants which has recently been studied in characteristic
p > 0 [MS14]. This definition is inspired by the characterization of ordinary Seshadri constants
described by separation of jets [Laz04a, Chapter 5].
Given a positive integer e, we say that a line bundle L on X separates pe -Frobenius jets at z if
the restriction map
e

H 0 (X, L) → H 0 (X, L ⊗ OX /mz[p ] )

(10)
[pe ]

is surjective (here mz is the ideal generated by the pe th powers of the elements of mz ).
Let sF (Lm , z) be the largest e ≥ 1 such that Lm separates pe -Frobenius jets at z (if there is no
such e, then we put sF (Lm , Z) = 0).
27

Definition 6.5 (F -Seshadri constants). [MS14] Let L be ample, the Frobenius-Seshadri constant
of L at z is
m
psF (L ;z) − 1
ǫF (L, z) := sup
.
m
m≥1
It is not difficult to show that
Question 6.4 is equivalent to:

ǫ(L,z)
n

≤ ǫF (L, z) ≤ ǫ(L, z), see [MS14, Proposition 2.12]. Hence

Question 6.6. Are there lower bounds for F -Seshadri constants at very general points in characteristic p > 0?
We also have
Theorem 6.7. If ǫF (L, z) > 1 then S 0 (X, σ(X, 0) ⊗ OX (L + KX )) globally generates ωX ⊗ L at z.
Exercise 6.8. Use the above theorem to give another proof of the fact that if ǫ(L, z) > dim X
then S 0 (X, σ(X, 0) ⊗ OX (L + KX )) globally generates ωX ⊗ L at z.
Perhaps a more approachable question (inspired by the behavior of the usual Seshadri constant)
is:
Question 6.9. If L1 and L2 are ample divisors and z ∈ X is a smooth closed point then show that:
ǫF (L1 ⊗ L2 ; z) ≥ ǫF (L1 ; z) + ǫF (L2 ; z).
Since the Frobenius Seshadri constant is distinct from the ordinary Seshadri constant, another
interesting question is:
Question 6.10. What does the F -Seshadri constant correspond to in characteristic zero? Is there a
geometric characteristic zero definition that behaves in the same way philosophically? (The toric
case for torus invariant points is handled at the end of [MS14]).
6.2. F -pure centers. Now we move on to F -pure centers. If the reader is introduced to S 0 , one
exercise to keep in mind is Exercise 6.20 which generalizes Example 3.14 from the case of divisors
to higher codimension F -pure centers.
Definition 6.11. Suppose (X, ∆) is a pair with ∆ ≥ 0 an effective Q-divisor such that (pe −
1)(KX + ∆) is Cartier. Let φe,∆ : F∗e L → OX be the corresponding map. We say that a subvariety
Z ⊆ X is an F -pure center of (X, ∆) if
◦ φe,∆ (F∗e (IZ · L )) ⊆ IZ and
◦ (X, ∆) is F -pure (ie φe,∆ is surjective) at the generic point of Z.
Remark 6.12. In the case that φe,∆ : F∗e OX → OX is a splitting of Frobenius4, the F -pure centers
are called the compatibly split subvarieties of φe,∆ .
Exercise 6.13. With (X, ∆) as above, show that Z is an F -pure center if and only if
◦ for every Cartier divisor H containing Z and every ε > 0, (X, ∆ + εH) is not F -pure and
◦ (X, ∆) is F -pure at the generic point of Z.
If you know the definition of a log canonical center, prove that the analogous characterization can
be used to define log canonical centers.
Let’s do an example. First we state (but don’t prove) a variant of Fedder’s criterion for F -pure
centers.
4Where again ∆ ≥ 0 is necessarily an effective Q-divisor such that (pe − 1)(K + ∆) is Cartier, as above.
X
28

Lemma 6.14. Suppose that S = k[x1 , . . . , xn ] and R = S/I and X = Spec R. If KX is Q-Cartier
e
e
with index not divisible by p > 0, then, after localizing further if necessary, I [p ] : I = hge i + I [p ] for
some single polynomial ge (depending on e). Then V (Q) = Z ⊆ X is an F -pure center of (X, 0) if
e
e
/ Q[p ] .
and only if ge ∈ Q[p ] : Q and ge ∈
Exercise 6.15. Suppose that X = Spec k[x1 , . . . , xn ]/hx1 x2 · · · xn i. Identify the F -pure centers of
(X, 0).
Let’s prove inversion of F -adjunction.
Exercise 6.16 (Inversion of F -adjunction). Suppose (X, ∆) is a pair and Z ⊆ X is an F -pure
center. For simplicity assume that Z is normal. Show that the map φe,∆ : F∗e L → OX induces a
map φZ : F∗e L |Z → OZ and hence an effective Q-divisor ∆Z (this wasn’t covered in the lecture but
see the notes above). Show that (KX + ∆)|Z ∼Q KZ + ∆Z . Further show that (X, ∆) if F -pure in
a neighborhood of Z if and only if (Z, ∆Z ) is F -pure.
It is not hard to show that Z ⊆ X is a log canonical center of (X, ∆) then Z is also an F -pure
center as long as (X, Z) is F -pure at the generic point of Z (using the fact that F -pure singularities
are log canonical [HW02]).
Exercise 6.17. Prove the above assertion.
Based on recent work [MS11, Mus12] consider the following conjecture.
Conjecture 6.18 (Weak ordinarity). Suppose that X is a smooth projective variety over C, A =
Spec R where R is a finitely generated Z-algebra containing Z and XA → A is a spreading out of
X over A (so that XA ×A C ∼
= X), in other words a family of characteristic p > 0 models of X.
Then there exists a Zariski dense set of closed points U ⊆ A such that for every point p ∈ U we
have that if Xp = XA ×A k(p) then the Frobenius morphism:
H i (X, O X ) → H i (X, F∗e OX )
is bijective.
In [Tak13], it was shown that this conjecture implies that if (X, ∆) is log canonical and (XA , ∆A )
is a family of characteristic p > 0 models of (X, ∆) as above, then (Xp , ∆p ) is F -pure for a Zariski
dense set of p ∈ A. Hence we are inspired to ask:
Question 6.19. Assume the weak ordinarity conjecture and suppose that {Zi } is the (finite) set of
log canonical centers of a log canonical pair (X, ∆). Is it true that for any (XA , ∆A ) → A and
{(Zi )A } → A as above, there exists a Zariski-dense set of closed points p ∈ A such that {(Zi )p } is
exactly the set of F -pure centers of (Xp , ∆p )?
Comment: It is easy to see that the (Zi )p are F -pure centers (exercise), but it may be more
difficult to see that this is all of them.
Finally, we mention that F -pure centers can be used to construct global sections.
Exercise 6.20. Formulate and prove a generalization of Example 3.14. In particular, show that
S 0 (X, σ(X, ∆) ⊗ OX (M )) surjects onto S 0 (Z, σ(Z, ∆Z ) ⊗ OX (M )) under appropriate hypotheses
(here Z will be an F -pure center of (X, ∆)).
The question is then how to construct F -pure centers. The common techniques involving sections
of high multiplicity (cf. for example [Laz04b, Chapter 10]) seem to not work since the F -pure
threshold can have a p in the denominator (this actually gets quite subtle, simple perturbation
techniques seem not to work). For some ways around this issue see the recent work of [CTX15].
29

6.3. Test ideals. In this subsection we introduce test ideals, a characteristic p > 0 analog of
multiplier ideals.
Suppose X is integral and normal and ∆ is a Q-divisor. As before, we have observed that if the
index of KX + ∆ is not divisible by p, then we obtain a map φ∆ : F∗e L → OX . In this setting we
define:
Definition 6.21. With notation as above, we define the test ideal τ (X, ∆) to be the smallest
non-zero ideal sheaf J such that φ∆ (F∗e (J · L )) ⊆ J.
We give a definition in the local setting X = Spec R but when KX + ∆ has no Q-Cartier
requirements.
Definition 6.22. Assume X = Spec R is integral and normal and ∆ ≥ 0 is a R-divisor. Then we
define the test ideal τ (X, ∆) to be the smallest non-zero ideal sheaf J such that for all e ≥ 0 and
all φ ∈ HomR (F∗e OX (⌈(pe − 1)∆⌉), O X ) we have φ(F∗e J) ⊆ J.
It is probably worth remarking that HomR (F∗e OX (⌈(pe − 1)∆⌉), O X ) consists precisely of those
corresponding to divisors ∆′ such that (pe − 1)(KX + ∆′ ) ∼ 0 and such that ∆′ ≥ ∆.
Since in either definition, τ (X, ∆) is the smallest such ideal, it is not obvious that the test ideal
exists. To show it exists (locally), you first find a c ∈ R such that for every a ⊆ R an ideal, we
have c ∈ φ(F∗e a) for some φ ∈ HomR (F∗e OX (⌈(pe − 1)∆⌉), O X ). This is tricky, and such elements
are called test elements. However, once the c is found constructing τ (X, ∆) is simply
XX
φ(F∗e (c · OX ))
τ (X, ∆) =
φ′

e≥0 φ

in the second case (which subsumes the first) where φ varies over HomR (F∗e OX (⌈(pe − 1)∆⌉), O X ).
This is clearly the smallest ideal satisfying the condition of Definition 6.22 and containing c. But
since any ideal satisfying Definition 6.22 obviously contains J, we have constructed τ (X, ∆).
Exercise 6.23. Show that the formation τ (X, ∆) of commutes with localization and so our local
definition glues to a global one.
Remark 6.24. It is natural to think of τ as a robust version of σ in the same way that the augmented
base locus is a robust version of the stable base locus. In fact, there is a global version of S 0 which
builds in a “test element”. Assume that (X, ∆) is a pair and that (pn − 1)(KX + ∆) is Cartier
(where n is the smallest positive integer with that property), set Le = OX ((1 − pe )(KX + ∆)) so
that we have a map φe∆ : F∗e Le → OX for each e divisible by n. For any Cartier divisor M define
P 0 (X, τ (X, ∆) ⊗ OX (M )) to be





\ \ X



TrF e H 0 X, F∗e OX (⌈KX − pe (KX + ∆) + pe M − D⌉)
0≤D⊆X e0 ≥0

e≥e0

where the intersection runs over all effective Weil divisors ≥ 0 on X.

Exercise 6.25. For simplicity, assume that (p − 1)(KX + ∆) so that there are no roundings. Then
show that for P 0 ⊆ S 0 and further that the image of the maps used to define P 0 at the sheaf level
is simply τ (X, ∆) ⊗ M
One of the main reasons people have been interested in test ideals is that if (XC , ∆C ) is a
log Q-Gorenstein pair defined
over C and XA → A is a family of characteristic p models, then

τ (Xp , ∆p ) = J (XC , ∆C ) p for all closed points p in an open dense set of A. In other words, the
multiplier ideal reduces to the test ideal for p ≫ 0 (see [Tak04]). Note that if the coefficients of
∆ vary, then this is not true. It is conjectured then that for H an effective Cartier divisor then
30


τ (Xp , ∆p + tH) = J (XC , ∆C ) + tH p for all t and for all p is a Zariski dense set of points of A
but this is related to some very hard conjectures, see [MS11, Mus12, BST13] for discussion.
It would be natural to try to generalize the results on the behavior of test ideals to the non-QGorenstein setting.
Question 6.26. Suppose that (XC , ∆C ) isa pair but that KXC + ∆C is not assumed to be Q-Cartier.
Is it true that τ (Xp , ∆p ) = J (XC , ∆C ) p for all closed points p in an open and Zariski-dense set
of A (where XA → A is as above)?
6.4. Jumping numbers. Suppose that (X, ∆) is as above and that H is a Cartier divisor. Consider the behavior of τ (X, ∆ + tH) as t ∈ R≥0 varies. Since we have asserted that test ideals are
characteristic p > 0 analogs of multiplier ideals, one should expect that τ (X, ∆ + tH) jumps (as t
varies) at a set of rational t ∈ Q≥0 without limit points, at least assuming that KX + ∆ is Cartier.
Indeed, this is the case (in the log-Q-Gorenstein setting).
First an easy exercise (you can assume the existence of test elements):
Exercise 6.27. If t ≥ t′ show that τ (X, ∆ + tH) ⊆ τ (X, ∆ + t′ H).
Definition 6.28. An F -jumping number of (X, ∆) with respect to H is a real number t ≥ 0 such
that τ (X, ∆ + tH) 6= τ (X, ∆ + (t − ε)H) for any ε > 0.
First you shall prove that this notion is sensible.
Exercise 6.29. Suppose that t ≥ 0 is a rational number. Prove that there exists an ε > 0 such
that τ (X, ∆ + (t + ε)H) = τ (X, ∆ + tH).
Hint: Absorb the bigger t into the test element somehow and use the fact that the test ideal can
be written as a finite sum.
Question 6.30. Assume now that (X, ∆) is a pair and that KX + ∆ is not necessarily Q-Cartier.
Does the set of F -jumping numbers of (X, ∆) with respect to H have any limit points? Are the
F -jumping numbers rational?
One would assume that the F -jumping numbers are not necessarily rational based upon the
situation for the multiplier ideal [Urb12]. However, one might hope that the F -jumping numbers
do not have limit points (as is also hoped in characteristic zero). For some partial progress, see
[TT08, Bli13, KSSZ14]. A first target might be to try to consider the case of an isolated singularity
with ∆ = 0. Some relevant methods might be found for instance in [LS01].
6.5. Test ideals of non-Q-Gorenstein rings.
Question 6.31. Suppose that (X, ∆) is a pair and that KX + ∆ is not assumed to be Q-Gorenstein.
Then does there exist a ∆′ ≥ ∆ such that KX + ∆′ is Q-Cartier (with index not divisible by p
hopefully) such that τ (X, ∆) = τ (X, ∆′ ).
The answer to this is known to be yes if τ (X, ∆) = OX at least in the affine setting, see
[SS10, Sch11].
P More generally, it is also known that there exist finitely many ∆i ≥ ∆ such that
τ (X, ∆) = i τ (X, ∆i ) and such that each (KX + ∆i ) is Q-Cartier with index not divisible by
p > 0, see [Sch11]. As a general strategy on this problem, one would hope that some general choice
of ∆′ would work but more work is required. In characteristic zero the analog is true if one defines
J (X, ∆) is the non-log-Q-Gorenstein setting as in [DH09].
Exercise 6.32.
P Suppose that R is a local ring and that X = Spec R. Suppose that we know that
τ (X, ∆) = i τ (X, ∆i ) with KX + ∆i Q-Cartier as before and also that τ (X, ∆) = OX . Prove
that τ (X, ∆i ) = τ (X, ∆) for some i.
31

Here J (XC , ∆C ) is defined as in [DH09]. Some recent work on this question was done in
[dFDTT15]. It is easily seen to be true in the toric case [Bli04]. Perhaps isolated or even isolated
graded singularities would be a natural place to start (see [LS99] for some ideas using commutative
algebra language).

Exercise 6.33. Show that the containment J (XC , ∆C ) p ⊆ τ (Xp , ∆p ) holds.
Hint: Use the fact that we know it holds in the Q-Gorenstein setting.

7. Numerical Invariants
Definition 7.1. Assume X = Spec R is integral and normal and ∆ ≥ 0 is an R-divisor. Suppose
that (X, ∆) is sharply F -pure and that H is a Cartier divisor. The F -pure threshold of (X, ∆)
along H is fpt((X, ∆), H) = sup{t ∈ R | (X, ∆ + tH) is sharply F -pure}. When ∆ = 0, then we
write fpt(X, H) instead of fpt((X, 0), H).
Of course, one should compare the definition about with that of the Log Canonical Threshold
(LCT) in characteristic zero (which simply replaces sharply F -pure with Log Canonical throughout).
Exercise 7.2. When (X, ∆) is strongly F -regular, show that fpt((X, ∆), H) is the smallest jumping
number of (X, ∆) with respect to H.
It is known that if KX + ∆ is Q-Cartier, then fpt((X, ∆), H) ∈ Q (indeed all jumping numbers
are rational). But in general, it is an open question, compare with [Urb12].
Problem 7.3. Find (X, ∆) and H so that fpt((X, ∆), H) 6∈ Q (or show this can’t happen).
It follows easily from Exercise 4.16 that if KX + ∆ is Q-Cartier and (X, ∆) is sharply F -pure,
then (X, ∆) is log canonical. Hence in a fixed characteristic fpt((X, ∆), H) ≥ lct((X, ∆), H). As
we vary the characteristic however we do get some more subtle behavior.
Exercise 7.4. Working in characteristic p > 0, let
following formula for fpt(X, H) holds.

1

2






2


3
fpt(X, H) =

5


6





 5
1
6 − 6p

X = A2 and H = V (y 2 − x3 ). Show that the
if p = 2
if p = 3
if p ≡ 1

mod 6

if p ≡ 5 mod 6

Exercise 7.5. If X = A2 and H = V (xy(x + y)). Find the formula for fpt(X, H) in terms of the
characteristic.

Theorem 7.6. Suppose (XC , ∆C ) is KLT and HC is a Cartier divisor all defined over C. Take a
model X → Spec(A) of X (together with ∆ and H) over a finitely generated Z-algebra domain A
(so that X0 ⊗Frac(A) C = XC ). Then for every ε > 0, there exists a dense open set U ⊆ Spec A, so
that
lct((XC , ∆C ), HC ) − ε < fpt((Xm , ∆m ), Hm )
for all maximal ideals m ∈ Spec A. Informally this says that
lim fpt((Xp , ∆p ), Hp ) = lct((XC , ∆c ), HC ).

p→∞

32

Exercise 7.7. Use Theorem 4.18 to prove Theorem 7.6.
While we do have that limit, in many examples it appears the two invariants frequently agree
on the nose, in other words that fpt((Xm , ∆m ), Hm ) = lct((XC , ∆C ), HC ) for a Zariski dense set of
closed points m ∈ Spec A. Hence we have the following very important conjecture.
Conjecture 7.8. Suppose that XC is a normal affine algebraic variety over C, and ∆ ≥ 0 is an
R-divisor, and H is a Cartier divisor. Take a model X → Spec(A) of X (together with ∆ and H)
over a finitely generated Z-algebra domain A (so that X0 ⊗Frac(A) C = XC ). Then for a dense set
of maximal ideals m ∈ Spec A, we have that fpt((Xm , ∆m ), Hm ) equals lct((XC , ∆), H).
Exercise 7.9. If (X, ∆) is strongly F -regular and H is a Cartier divisor so that c = fpt((X, ∆), H) ∈
Q so that KX + ∆ + cH has index relatively prime to p, show that (X, ∆ + cH) is sharply F -pure
and τ (X, ∆ + cH) is a radical ideal.
With notation as above, if KX + ∆ + cH has index divisible by p, then it can happen that
τ (X, ∆ + cH) is not radical [MY09].
Question 7.10. Does the FPT satisfy analogous ACC properties to the LCT?
Exercise 7.11. Suppose X is normal and KX is Cartier. Let H be a Cartier divisor. If ξ is a
jumping number of the test ideals τ (X, tH) for t ∈ R≥0 , show also that pξ is a jumping number.
Hint: consider the image of τ (X, ptH) under the trace map. Also, using the ideas of the following
section, do this again and show that pe ξ is a jumping number of the ideals τ (X, ∆ + tH) whenever
(pe − 1)(KX + ∆) is Cartier.
Definition 7.12. Suppose that X = Spec R where R = S/I is a quotient of a polynomial ring
S = k[x1 , . . . , xn ]. Let Rd be the image the polynomials of degree less than or equal to d in S.
Define a function δ : R → Z≥0 ∪ {−∞} by δ(f ) = d whenever f ∈ Rd \ Rd−1 . We say that δ is a
gauge for R. It is easy to see that the following properties hold.
(a) δ(f ) = −∞ if and only if f = 0.
(b) Each
Rd is a finite dimensional k vector space.
S
(c) d Rd = R.
(d) δ(f + g) ≤ max{δ(f ), δ(g)}.
(e) δ(f g) ≤ δ(f ) + δ(g).
In the exercises below, we will make use of the notation from the definition.
Exercise 7.13. Suppose that φ : F∗e R → R is an R-linear map. Show that there exists a constant
K so that
δ(φ(F∗e f )) ≤ δ(f )/pe + K/pe
for all f ∈ R. If φ corresponds to a divisor ∆ on X = Spec R, show how to use this to get a bound
on the degrees of generators for the test ideals τ (X, ∆ + t div(g)) when g ∈ R in terms of δ(g). See
the survey [BS13] for more details.
Exercise 7.14. Use the previous exercise to conclude that the set of F -jumping numbers of
τ (X, ∆ + t div(g)) are a discrete set of rational numbers.

8. More on test ideals and F -Singularities in Families
8.1. Bertini theorems for test ideals. In Section 6.5 we thought about choosing general boundaries ∆i . The choice of a general ∆i also seems related to the following other problem.
33

Question 8.1 (Bertini’s theorem for test ideals). Suppose that X is a quasi-projective variety and
that (X, ∆) is a pair with KX + ∆ even Q-Cartier with index not divisible by p > 0. Suppose that
H is a general hyperplane section of X. Is it true that τ (X, ∆) · OH = τ (H, ∆|H )?
Note that the containment ⊇ was shown in [Tak13, Proposition 2.12(1)] under some assumptions.
The other direction seems to be hard. The main approach seems to be to show the following.
Question 8.2. If f : U → V is a flat family with regular (but not necessarily smooth) fibers then
is τ (V, ∆) · OU ⊆ τ (U, f ∗ ∆)? This is known in the case that τ (V, ∆) = OV , in other words where
(V, ∆) is strongly F -regular, see [SZ13] and [HH94, Theorem 7.3]. It would be an interesting
problem to study on its own.
We need one other property.
Question 8.3. suppose φ : Y → S is a morphism of finite type between schemes essentially of finite
type over a field k = k and that ∆ ≥ 0 is a Q-divisor on Y such that KY + ∆ is Q-Cartier with
index not divisible by p. If g ∈ OYs is such that g ∈ τ (Ys , ∆s ) for some geometric point s ∈ S, is
it true that Image(g) ∈ τ (Yt , ∆t ) for some g ∈ OY ×S T (some base change) restricting to g and all
(geometric) t in a neighborhood of s?
Perhaps something like this result can be obtained using the method of [PSZ13]. We sketch the
main idea for how to use this to get Bertini’s theorem. Suppose that solutions to both these interim
problems were positive. Now consider the following general strategy taken from [CGM86].
Let Z be the reduced closed subscheme of Pnk ×k (Pnk )∨ obtained by taking the closure of the set

(x, H) ∈ x ∈ H .

We claim that the projection map β : Z → Pnk is flat. Indeed, it is clearly generically flat, and since
it is finite type it is flat at some closed point. But for any z ∈ Z, OZ,z is certainly isomorphic to
that of any other z. Furthermore, the inclusion of rings OPnk ,β(z) → OZ,z is also independent of the
choice of z, up to isomorphism. Thus β is flat in general.
We form a commutative diagram:
Y := X ×Pnk Z

◆◆◆
◆◆◆
ρ ◆◆◆◆
&

γ

σ

/ Z
rr _
r
r
π rr
rrr
r
r
xr

Pn ×k (Pn )∨
(Pn )∨ o
k



X

φ

π′

k

k


/ Pn
k

We describe each map appearing above.
◦ σ is the projection.
◦ π ′ is the projection and thus so is π.
◦ ρ = π ◦ σ.
◦ γ is the projection. Note that γ is flat since it is a base change of the projection Z → Pnk .
Exercise 8.4. Assuming what you need to from above, show how the above diagram can be used
to prove Bertini’s theorem for test ideals.
Hint: The fibers of ρ are hyperplane sections of X, and so one would like to show that the
geometric fiber over the generic point of (Pnk )∨ behaves in a way controllable by Question 8.3. One
should try to use Question 8.2 to prove this, for more details see [CGM83].
34

8.2. Test ideals by finite covers and alterations. Suppose that (X, ∆) is a pair such that
KX + ∆ is Q-Cartier (of any index). We have the following theorem
Theorem 8.5. [BST15] There exists a finite surjective separable map from a normal variety f :
Y → X such that the trace map TrY /X : F∗ OY → OX sends TrY /X (f∗ OY (⌈KY − π ∗ (KX + ∆)⌉)) =
τ (X, ∆).
Indeed, one can also replace f : Y → X to be a (sufficiently large) regular alteration if you’d like
Y to be smooth.
Let us do a couple exercises in order to prove this result. First we need a lemma of [HL07] and
generalized in [SS12] which we will take as given.
Lemma 8.6. Suppose that (R, m) is a local ring such that the Frobenius map is finite. Suppose we
2
are given an element z ∈ Hmi (R) such that the submodule of Hmi (R) generated by {z, z p , z p , . . .} is
finitely generated. Then there exists a finite (separable) ring extension R ⊆ S such that Hmi (R) →
i (S) sends z to zero.
HmS
Exercise 8.7 (Hard). Suppose that R is a domain, let N ⊆ H dim R (R) be the largest proper
submodule of H dim R (R) such that F (N ) ⊆ N . Show that there exists a finite extension of rings
dim R (S).
R ⊆ S such that N goes to 0 in Hmdim R (R) → HmS
dim R (S)) is a submodule of N . Then, using local
Hint: First show that ker(Hmdim R (R) → HmS
∨
duality, observe that N = ωR /τ (ωR ) where τ (ωR ) is the smallest non-zero submodule of ωR such
that T e (F∗e τ (ωR )) ⊆ τ (ωR ).
Suppose that R ⊆ S is a finite extension of domains and JS = Image(ωS → ωR ). Show that
there is a finite extension of domains S ⊆ S ′ such that the support of JS ′ /τ (ωR ) is strictly smaller
than support of JS /τ (ωR ). Now proceed by Noetherian induction.

By local duality, the above result proves the theorem in the case that ωR ∼
= R and ∆ = 0.
To obtain the more general theorem, one has to understand the behavior of test ideals under
finite maps. We’ll talk about this shortly, but first we highlight a more general question.
Question 8.8. Suppose (X, ∆) is a pair but do not assume that KX + ∆ is Q-Cartier. Does there
exist a finite separable map (or alteration) such that TrY /X (f∗ OY (⌈KY − π ∗ (KX + ∆)⌉) = τ (X, ∆)?
This is a generalization of the biggest open question in tight closure theory (characteristic p > 0
commutative algebra). Let us state this another version of this question.
Exercise 8.9. Suppose an affirmative answer to the above question. Suppose that X = Spec R
and τ (X, 0) = OX (in other words, that X is F -regular). Show that for any finite extension of
R ⊆ S we have that S ∼
= R ⊕ M as R-modules. In other words that R ֒→ S splits as a map of
R-modules. This was proven for Q-Gorenstein rings first in [Sin99a].
Let us now introduce the other machinery needed to prove Theorem 8.5.
Theorem 8.10. [ST14] Suppose that R ⊆ S is a finite separable extension of normal F -finite5
domain. Set X = Spec R and y = Spec S. Then for any Q-divisor ∆ on X we have
Tr(f∗ τ (Y, f ∗ ∆ − RamY /X )) = τ (X, ∆).
We prove the theorem in a special case.
Exercise 8.11. Prove the above theorem in the case that ∆ ≥ 0, (pe − 1)(KX + ∆) ∼ 0 and that
f ∗ ∆ − RamY /X is effective.
5Meaning the Frobenius map is finite.
35

Hint: There is a diagram
f∗ F∗e ωY

/ f∗ ωY




/ ωX

F∗e ωX

twist it appropriately and recall that RamY /X = KY − f ∗ KX .
Exercise 8.12. Prove Theorem 8.5 using the above methods.
Hint: You can use the fact that given an Q-Cartier divisor Γ on X, there exists a finite separable
cover f : Y → X such that f ∗ Γ is Cartier. You can also use the fact that if D is Cartier, then
τ (X, D) = τ (X) ⊗ OX (−D).
8.3. Other types of singularities and deformation thereof. We introduce other types of
singularities.
q
q
q
Note that for any variety X, with dualizing complex ωX we have T : F∗ ωX → ωX dual to
OX → F∗ OX .
Definition 8.13 (F -injective and F -rational singularities). Suppose that X is a variety with dualq
q
q
izing complex ωX . We say that X is F -injective if the canonical maps hi (F∗ ωX ) → hi ωX surject6
for all i.
We say that X is F -rational if X is Cohen-Macaulay and if, locally, for every effective Cartier
divisor D we have that F∗e (ωX ⊗ OX (−D)) → ωX surjects for some e > 0.
Exercise 8.14. Show that X is F -rational if and only if X is Cohen-Macaulay and if the only
nonzero submodule J ⊆ ωX such that T (F∗ J) ⊆ J is ωX .
Definition 8.15. Recall that X is pseudo-rational if and only if it is Cohen-Macaulay and for any
proper birational map π : Y → X we have that π∗ ωY = ωX .
Exercise 8.16. Prove that F -rational singularities are pseudo-rational.
Hint: Use the previous exercise and show that T (F∗ π∗ ωY ) ⊆ π∗ ωY .
Theorem 8.17. Suppose (R, m) is a local ring and f ∈ R is a non-zero divisor. Then if R/f is
F -rational, so is R. Likewise if R/f is F -injective and Cohen-Macaulay, so is R.
Exercise 8.18. Prove the F -injective half (the second statement) of the above theorem.
·f

→ ωR → ωR/f → 0 and determine how it is
Hint: Consider the short exact sequence 0 → ωR −
effected by Frobenius (or rather T ). Then use Nakayama’s lemma.
Conjecture 8.19. With notation as above, if R/f is F -injective, then R is F -injective.
Some recent progress on this conjecture was made by Jun Horiuchi, Lance Edward Miller and
Kazuma Shimomoto [HMS14]. F -injective singularities seem to correspond closely to Du Bois
singularities in characteristic zero [BST13] and it was recently shown that Du Bois singularities
satisfy the condition of Theorem 8.17, see [KS11].
One can also ask the same types of questions for F -pure singularities. The analog Theorem 8.17
for F -pure singularities is known to hold if R is Q-Gorenstein with index of KR not divisible by p.
It is also known to fail without the Q-Gorenstein hypothesis [Fed83, Sin99b]. This leaves one open
target
Question 8.20. Suppose that (R, m) is a local Q-Gorenstein ring and that f ∈ R is a non-zero
divisor such that R/f is F -pure. Is it true that R is also F -pure? One can ask also for a definition
of σ for non Q-Gorenstein rings that behaves well under restriction.
i
6By local duality, this is the same as requiring that H i (O
X,x ) → Hx (F∗ O X,x ) inject for all i.
x

36

8.4. Bertini theorems for F -rational and F -injective singularities. We have already explored Bertini theorems for test ideals. There is a somewhat less ambitious target which also may
be reasonable.
Question 8.21. Suppose that X ⊆ Pn is a normal and F -injective (respectively F -rational) quasiprojective variety. Then is X ∩ H also F -injective (respectively F -rational) for all general hyperplanes H ⊆ Pn ?
The problem below, analogous to Question 8.2 seems to be the missing piece needed to prove
that F -injective and F -rational singularities satisfy Bertini-type theorems.
Question 8.22. If f : U → V is a flat family with regular (but not necessarily smooth) fibers and V
is F -rational (respectively normal and F -injective), is it true that U is also F -rational (respectively
F -injective)?
It turns out that this is not true for F -injectivity without the normality hypothesis [Ene09,
Section 4]. Even worse, Question 8.21 has a negative answer for F -injectivity without the normality
hypothesis. Let us sketch the background necessary in order to understand this failure.
Definition 8.23. Suppose that X = Spec R is a variety over a field of characteristic p > 0. We
say that X is weakly normal if z ∈ K(R) and z p ∈ R implies that z ∈ R. We say that X is WN1
if it is weakly normal and the normalization morphism Spec S = X N → X = Spec R is unramified
in codimension one.7
In [CGM83] the authors showed that if weakly normal surfaces that are not WN1 have general
hyperplanes that are not weakly normal. If you combine this with the fact that F -injective singularities are weakly normal [Sch09], all we must do in order to construct an F -injective quasi-projective
variety whose general hyperplane is not F -injective is to find an F -injective but not WN1 surface.
Exercise 8.24. Suppose k is an algebraically closed field of characteristic p > 0. Consider R =
k[x, y] and let I = hy(y − 1)i so that V (I) is two lines. Let Y = Spec k[t] and let V (I) → Y be the
map which is the identity on one component but Frobenius on the other. Let S to be the pullback
of the diagram of rings {R → R/I ← k[t]} with maps as described above. In other words, Spec S
is the pushout of {X ← V (I) → Y }.
Show that Spec S is F -injective but not WN1.
Hint: To show that Spec S is not WN1 note that X is its normalization. To show that it is
−
F -injective, analyze the short exact sequence 0 → S → R ⊕ k[t] −
→ R/I → 0.8

References
[BCP06]
[BST13]
[Bir16]
[Bli04]

I. C. Bauer, F. Catanese, and R. Pignatelli: Complex surfaces of general type: some recent
progress, Global aspects of complex geometry, Springer, Berlin, 2006, pp. 1–58. MR2264106 (2007i:14039)
B. Bhatt, K. Schwede, and S. Takagi: The weak ordinarity conjecture and F -singularities,
arXiv:1307.3763, to appear in a volume of Advanced Studies in Pure Mathematics.
C. Birkar: Existence of flips and minimal models for 3-folds in char p, Ann. Sci. Éc. Norm. Supér. (4)
49 (2016), no. 1, 169–212. 3465979
M. Blickle: Multiplier ideals and modules on toric varieties, Math. Z. 248 (2004), no. 1, 113–121.
MR2092724 (2006a:14082)

[Bli13]

M. Blickle: Test ideals via algebras of p−e -linear maps, J. Algebraic Geom. 22 (2013), no. 1, 49–83.
2993047

7Recall that an extension of local rings (R, m) ⊆ (S, n) is unramified if m · S = n and R/m ⊆ S/n is separable.
8Here, the map denoted − is the difference of the maps on each of the two components.
37

[BB11]

M. Blickle and G. Böckle: Cartier modules: finiteness results, J. Reine Angew. Math. 661 (2011),
85–123. 2863904
[BS13]
M. Blickle and K. Schwede: p−1 -linear maps in algebra and geometry, 123–205. 3051373
[BST15]
M. Blickle, K. Schwede, and K. Tucker: F -singularities via alterations, Amer. J. Math. 137
(2015), no. 1, 61–109. 3318087
[BM76]
E. Bombieri and D. Mumford: Enriques’ classification of surfaces in char. p. III, Invent. Math. 35
(1976), 197–232. 0491720 (58 #10922b)
[BM77]
E. Bombieri and D. Mumford: Enriques’ classification of surfaces in char. p. II, Complex analysis
and algebraic geometry, Iwanami Shoten, Tokyo, 1977, pp. 23–42. 0491719 (58 #10922a)
[CGS16]
P. Cascini, Y. Gongyo, and K. Schwede: Uniform bounds for strongly F -regular surfaces, Trans.
Amer. Math. Soc. 368 (2016), no. 8, 5547–5563. 3458390
[CHMtaS14] P. Cascini, C. Hacon, M. Musta¸tă, and K. Schwede: On the numerical dimension of pseudoeffective divisors in positive characteristic, Amer. J. Math. 136 (2014), no. 6, 1609–1628. 3282982
[CTX15]
P. Cascini, H. Tanaka, and C. Xu: On base point freeness in positive characteristic, Ann. Sci. Éc.
Norm. Supér. (4) 48 (2015), no. 5, 1239–1272. 3429479
[Che13]
J. A. Chen: Explicit resolution of three dimensional terminal singularities, 2013.
[CP08]
V. Cossart and O. Piltant: Resolution of singularities of threefolds in positive characteristic. I.
Reduction to local uniformization on Artin-Schreier and purely inseparable coverings, J. Algebra 320
(2008), no. 3, 1051–1082. 2427629 (2009f:14024)
[CP09]
V. Cossart and O. Piltant: Resolution of singularities of threefolds in positive characteristic. II, J.
Algebra 321 (2009), no. 7, 1836–1976. 2494751 (2010c:14009)
[CD89]
F. R. Cossec and I. V. Dolgachev: Enriques surfaces. I, Progress in Mathematics, vol. 76,
Birkhäuser Boston, Inc., Boston, MA, 1989. 986969 (90h:14052)
[CGM83]
C. Cumino, S. Greco, and M. Manaresi: Bertini theorems for weak normality, Compositio Math.
48 (1983), no. 3, 351–362. MR700745 (84k:14036)
[CGM86]
C. Cumino, S. Greco, and M. Manaresi: An axiomatic approach to the second theorem of Bertini,
J. Algebra 98 (1986), no. 1, 171–182. 825140 (87k:14008)
[Cut09]
S. D. Cutkosky: Resolution of singularities for 3-folds in positive characteristic, Amer. J. Math. 131
(2009), no. 1, 59–127. 2488485 (2010e:14010)
[Das15]
O. Das: On strongly F -regular inversion of adjunction, J. Algebra 434 (2015), 207–226. 3342393
[dFDTT15] T. de Fernex, R. Docampo, S. Takagi, and K. Tucker: Comparing multiplier ideals to test ideals
on numerically Q-Gorenstein varieties, Bull. Lond. Math. Soc. 47 (2015), no. 2, 359–369. 3335128
[DH09]
T. De Fernex and C. Hacon: Singularities on normal varieties, Compos. Math. 145 (2009), no. 2,
393–414.
[Dem93]
J.-P. Demailly: A numerical criterion for very ample line bundles, J. Differential Geom. 37 (1993),
no. 2, 323–374. 1205448 (94d:14007)
[DCF15]
G. Di Cerbo and A. Fanelli: Effective Matsusaka’s theorem for surfaces in characteristic p, Algebra
Number Theory 9 (2015), no. 6, 1453–1475. 3397408
[EKL95]
L. Ein, O. Küchle, and R. Lazarsfeld: Local positivity of ample line bundles, J. Differential Geom.
42 (1995), no. 2, 193–219. 1366545 (96m:14007)
[Eke88]
T. Ekedahl: Canonical models of surfaces of general type in positive characteristic, Inst. Hautes Études
Sci. Publ. Math. (1988), no. 67, 97–144. 972344 (89k:14069)
[Ene09]
F. Enescu: Local cohomology and F-stability, J. Algebra 322 (2009), no. 9, 3063–3077. 2567410
(2011b:13050)

[Fed83]

R. Fedder: F -purity and rational singularity, Trans. Amer. Math. Soc. 278 (1983), no. 2, 461–480.
MR701505 (84h:13031)

[FST11]

[Fuj83]
[Gab04]
[Hac15]
[HP16]

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.
T. Fujita: Vanishing theorems for semipositive line bundles, Algebraic geometry (Tokyo/Kyoto, 1982),
Lecture Notes in Math., vol. 1016, Springer, Berlin, 1983, pp. 519–528. 726440 (85g:14023)
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.
C. D. Hacon: Singularities of pluri-theta divisors in Char p > 0, 117–122. 3380778
C. D. Hacon and Z. Patakfalvi: Generic vanishing in characteristic p > 0 and the characterization
of ordinary abelian varieties, Amer. J. Math. 138 (2016), no. 4, 963–998. 3538148

38

[HX15]
[Har98]
[Har01]
[HW02]
[Har66]

[Har77]
[Har80]
[Har94a]

[Har94b]

[HS77]
[Hir99]
[HH94]
[HMS14]

[HL07]
[IP99]
[KSSZ14]
[Kee99]
[Kee08]
[Kob92]

C. D. Hacon and C. Xu: On the three dimensional minimal model program in positive characteristic,
J. Amer. Math. Soc. 28 (2015), no. 3, 711–744. 3327534
N. Hara: Classification of two-dimensional F -regular and F -pure singularities, Adv. Math. 133 (1998),
no. 1, 33–53. 1492785 (99a:14048)
N. Hara: Geometric interpretation of tight closure and test ideals, Trans. Amer. Math. Soc. 353 (2001),
no. 5, 1885–1906 (electronic). 1813597 (2001m:13009)
N. Hara and K.-I. Watanabe: F-regular and F-pure rings vs. log terminal and log canonical singularities, J. Algebraic Geom. 11 (2002), no. 2, 363–392. MR1874118 (2002k:13009)
R. Hartshorne: Residues and duality, Lecture notes of a seminar on the work of A. Grothendieck,
given at Harvard 1963/64. With an appendix by P. Deligne. Lecture Notes in Mathematics, No. 20,
Springer-Verlag, Berlin, 1966. MR0222093 (36 #5145)
R. Hartshorne: Algebraic geometry, Springer-Verlag, New York, 1977, Graduate Texts in Mathematics, No. 52. MR0463157 (57 #3116)
R. Hartshorne: Stable reflexive sheaves, Math. Ann. 254 (1980), no. 2, 121–176. MR597077 (82b:14011)
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)
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)
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. Hirokado: Singularities of multiplicative p-closed vector fields and global 1-forms of Zariski surfaces,
J. Math. Kyoto Univ. 39 (1999), no. 3, 455–468. 1718718 (2000i:14055)
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)
J. Horiuchi, L. E. Miller, and K. Shimomoto: Deformation of F -injectivity and local cohomology,
Indiana Univ. Math. J. 63 (2014), no. 4, 1139–1157, with an appendix by Karl Schwede and Anurag K.
Singh,. 3263925
C. Huneke and G. Lyubeznik: Absolute integral closure in positive characteristic, Adv. Math. 210
(2007), no. 2, 498–504. 2303230 (2008d:13005)
V. A. Iskovskikh and Y. G. Prokhorov: Fano varieties, Algebraic geometry, V, Encyclopaedia
Math. Sci., vol. 47, Springer, Berlin, 1999, pp. 1–247. 1668579 (2000b:14051b)
M. Katzman, K. Schwede, A. K. Singh, and W. Zhang: Rings of Frobenius operators, Math. Proc.
Cambridge Philos. Soc. 157 (2014), no. 1, 151–167. 3211813
S. Keel: Basepoint freeness for nef and big line bundles in positive characteristic, Ann. of Math. (2)
149 (1999), no. 1, 253–286. 1680559 (2000j:14011)
D. S. Keeler: Fujita’s conjecture and Frobenius amplitude, Amer. J. Math. 130 (2008), no. 5, 1327–
1336. 2450210 (2009i:14006)
M. Kobayashi: On Noether’s inequality for threefolds, J. Math. Soc. Japan 44 (1992), no. 1, 145–156.
1139663 (92m:14052)

[KSB88]
[Kol11]
[Kol13]
[KK]
[KM98]

[KS11]
[Laz04a]

J. Kollár and N. I. Shepherd-Barron: Threefolds and deformations of surface singularities, Invent.
Math. 91 (1988), no. 2, 299–338. MR922803 (88m:14022)
J. Kollár: A local version of the Kawamata-Viehweg vanishing theorem, Pure Appl. Math. Q. 7 (2011),
no. 4, Special Issue: In memory of Eckart Viehweg, 1477–1494. 2918170
J. Kollár: Singularities of the minimal model program, Cambridge Tracts in Mathematics, vol. 200,
2013.
J.
Kollár
and
S.
J.
Kovács:
Birational
geometry
of
log
surfaces,
https://web.math.princeton.edu/˜kollar/FromMyHomePage/BiratLogSurf.ps.
J. Kollár and S. Mori: Birational geometry of algebraic varieties, Cambridge Tracts in Mathematics,
vol. 134, Cambridge University Press, Cambridge, 1998, With the collaboration of C. H. Clemens and
A. Corti, Translated from the 1998 Japanese original. MR1658959 (2000b:14018)
S. J. Kovács and K. Schwede: Du Bois singularities deform, arXiv:1107.2349, to appear in Advanced
Studies in Pure Mathematics.
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)
39

[Laz04b]

[Lie08a]
[Lie08b]
[Lie09]

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)
C. Liedtke: Algebraic surfaces of general type with small c21 in positive characteristic, Nagoya Math.
J. 191 (2008), 111–134. 2451222 (2009i:14052)
C. Liedtke: Uniruled surfaces of general type, Math. Z. 259 (2008), no. 4, 775–797. 2403741 (2009f:14074)
C. Liedtke: Non-classical Godeaux surfaces, Math. Ann. 343 (2009), no. 3, 623–637. 2480705
(2009j:14049)

[Lie13]
[Lyu97]
[LS99]
[LS01]
[MS91]
[MS97]
[MS12]
[Mir84]
[MB81]
[Mor85]
[MM82]
[MM03]

C. Liedtke: Algebraic surfaces in positive characteristic, Birational geometry, rational curves, and
arithmetic, Springer, New York, 2013, pp. 229–292. 3114931
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)
G. Lyubeznik and K. E. Smith: Strong and weak F -regularity are equivalent for graded rings, Amer.
J. Math. 121 (1999), no. 6, 1279–1290. MR1719806 (2000m:13006)
G. Lyubeznik and K. E. Smith: On the commutation of the test ideal with localization and completion,
Trans. Amer. Math. Soc. 353 (2001), no. 8, 3149–3180 (electronic). MR1828602 (2002f:13010)
V. B. Mehta and V. Srinivas: Normal F -pure surface singularities, J. Algebra 143 (1991), no. 1,
130–143. 1128650 (92j:14044)
V. B. Mehta and V. Srinivas: A characterization of rational singularities, Asian J. Math. 1 (1997),
no. 2, 249–271. 1491985 (99e:13009)
L. E. Miller and K. Schwede: Semi-log canonical vs F -pure singularities, J. Algebra 349 (2012),
150–164. 2853631
R. Miranda: Nonclassical Godeaux surfaces in characteristic five, Proc. Amer. Math. Soc. 91 (1984),
no. 1, 9–11. 735553 (85d:14057)
L. Moret-Bailly: Familles de courbes et de variétés abéliennes sur P1 (II. Exemples), Astérisque
(1981), no. 86, 125–140.
S. Mori: On 3-dimensional terminal singularities, Nagoya Math. J. 98 (1985), 43–66. 792770 (86m:14003)
S. Mori and S. Mukai: Classification of Fano 3-folds with B2 ≥ 2, Manuscripta Math. 36 (1981/82),
no. 2, 147–162. 641971 (83f:14032)
S. Mori and S. Mukai: Erratum: “Classification of Fano 3-folds with B2 ≥ 2” [Manuscripta Math.
36 (1981/82), no. 2, 147–162; MR0641971 (83f:14032)], Manuscripta Math. 110 (2003), no. 3, 407.
1969009

[MS03]
[Mum69]
[Mus12]
[Mus13]
[MS14]
[MS11]
[MY09]
[Pat13]
[Pat14]
[PS13]
[PSZ13]
[Ray78a]

S. Mori and N. Saito: Fano threefolds with wild conic bundle structures, Proc. Japan Acad. Ser. A
Math. Sci. 79 (2003), no. 6, 111–114. 1992032 (2004f:14054)
D. Mumford: Enriques’ classification of surfaces in char p. I, Global Analysis (Papers in Honor of K.
Kodaira), Univ. Tokyo Press, Tokyo, 1969, pp. 325–339. 0254053 (40 #7266)
M. Mustaţă: Ordinary varieties and the comparison between multiplier ideals and test ideals II, Proc.
Amer. Math. Soc. 140 (2012), no. 3, 805–810. 2869065
M. Mustaţă: The non-nef locus in positive characteristic, A celebration of algebraic geometry, Clay
Math. Proc., vol. 18, Amer. Math. Soc., Providence, RI, 2013, pp. 535–551. 3114955
M. Mustaţă and K. Schwede: A Frobenius variant of Seshadri constants, Math. Ann. 358 (2014),
no. 3-4, 861–878. 3175143
M. Mustaţă and V. Srinivas: Ordinary varieties and the comparison between multiplier ideals and
test ideals, Nagoya Math. J. 204 (2011), 125–157. 2863367
M. Mustaţă and K.-I. Yoshida: Test ideals vs. multiplier ideals, Nagoya Math. J. 193 (2009), 111–
128. MR2502910
Zs. Patakfalvi:
On subadditivity of Kodaira dimension in positive characteristic,
http://arxiv.org/abs/1308.5371 (2013).
Z. Patakfalvi: Semi-positivity in positive characteristics, Ann. Sci. Éc. Norm. Supér. (4) 47 (2014),
no. 5, 991–1025. 3294622
Zs. Patakfalvi and K. Schwede: Depth of F -singularities and base change of relative canonical
sheaves, Journal of the Institute of Mathematics of Jussieu FirstView (2013), 1–21.
Zs.
Patakfalvi,
K.
Schwede,
and
W.
Zhang:
F -singularities in families,
http://arxiv.org/abs/1305.1646 (2013).
M. Raynaud: Contre-exemple au “vanishing theorem” en caractéristique p > 0, C. P. Ramanujam—a
tribute, Tata Inst. Fund. Res. Studies in Math., vol. 8, Springer, Berlin, 1978, pp. 273–278. 541027
(81b:14011)
40

[Ray78b]

M. Raynaud: Contre-exemple au “vanishing theorem” en caractéristique p > 0, C. P. Ramanujam—a
tribute, Tata Inst. Fund. Res. Studies in Math., vol. 8, Springer, Berlin, 1978, pp. 273–278. 541027
(81b:14011)

[Sai03]
[SS12]
[SS10]
[Sch09]

N. Saito: Fano threefolds with Picard number 2 in positive characteristic, Kodai Math. J. 26 (2003),
no. 2, 147–166. 1993671 (2004e:14065)
A. Sannai and A. K. Singh: Galois extensions, plus closure, and maps on local cohomology, Adv.
Math. 229 (2012), no. 3, 1847–1861.
M. Schütt and T. Shioda: Elliptic surfaces, Algebraic geometry in East Asia—Seoul 2008, Adv.
Stud. Pure Math., vol. 60, Math. Soc. Japan, Tokyo, 2010, pp. 51–160. 2732092 (2012b:14069)
K. Schwede: F -injective singularities are Du Bois, Amer. J. Math. 131 (2009), no. 2, 445–473.
MR2503989

[Sch11]
[Sch14]
[SS10]
[ST12a]

[ST12b]
[ST14]
[SZ13]
[SB91a]
[SB91b]
[SB97]
[Sin99a]
[Sin99b]
[Smi00]
[Tak04]
[Tak13]
[TT08]
[Tan15]
[Ter99]
[Urb12]
[Xie10]
[Zha14]

K. Schwede: Test ideals in non-Q-Gorenstein rings, Trans. Amer. Math. Soc. 363 (2011), no. 11,
5925–5941.
K. Schwede: A canonical linear system associated to adjoint divisors in characteristic p > 0, J. Reine
Angew. Math. 696 (2014), 69–87. 3276163
K. Schwede and K. E. Smith: Globally F -regular and log Fano varieties, Adv. Math. 224 (2010),
no. 3, 863–894. 2628797 (2011e:14076)
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.
K. Schwede and K. Tucker: A survey of test ideals, Progress in commutative algebra 2, Walter de
Gruyter, Berlin, 2012, pp. 39–99. 2932591
K. Schwede and K. Tucker: On the behavior of test ideals under finite morphisms, J. Algebraic
Geom. 23 (2014), no. 3, 399–443. 3205587
K. Schwede and W. Zhang: Bertini theorems for F -singularities, Proc. Lond. Math. Soc. (3) 107
(2013), no. 4, 851–874. 3108833
N. I. Shepherd-Barron: Geography for surfaces of general type in positive characteristic, Invent.
Math. 106 (1991), no. 2, 263–274. 1128215 (92k:14033)
N. I. Shepherd-Barron: Unstable vector bundles and linear systems on surfaces in characteristic p,
Invent. Math. 106 (1991), no. 2, 243–262. 1128214 (92h:14027)
N. I. Shepherd-Barron: Fano threefolds in positive characteristic, Compositio Math. 105 (1997),
no. 3, 237–265. 1440723 (98d:14054)
A. K. Singh: Q-Gorenstein splinter rings of characteristic p are F-regular, Math. Proc. Cambridge
Philos. Soc. 127 (1999), no. 2, 201–205. 1735920 (2000j:13006)
A. K. Singh: Deformation of F -purity and F -regularity, J. Pure Appl. Algebra 140 (1999), no. 2,
137–148. MR1693967 (2000f:13004)
K. E. Smith: The multiplier ideal is a universal test ideal, Comm. Algebra 28 (2000), no. 12, 5915–5929,
Special issue in honor of Robin Hartshorne. 1808611 (2002d:13008)
S. Takagi: An interpretation of multiplier ideals via tight closure, J. Algebraic Geom. 13 (2004), no. 2,
393–415. MR2047704 (2005c:13002)
S. Takagi: Adjoint ideals and a correspondence between log canonicity and F -purity, Algebra Number
Theory 7 (2013), no. 4, 917–942. 3095231
S. Takagi and R. Takahashi: D-modules over rings with finite F -representation type, Math. Res.
Lett. 15 (2008), no. 3, 563–581. MR2407232 (2009e:13003)
H. Tanaka: The trace map of Frobenius and extending sections for threefolds, Michigan Math. J. 64
(2015), no. 2, 227–261. 3359024
H. Terakawa: The d-very ampleness on a projective surface in positive characteristic, Pacific J. Math.
187 (1999), no. 1, 187–199. 1674325 (99m:14014)
S. Urbinati: Discrepancies of non-q-gorenstein varieties, Michigan Math. J. 61 (2012), no. 2, 265–277.
Q. Xie: Counterexamples to the Kawamata-Viehweg vanishing on ruled surfaces in positive characteristic, J. Algebra 324 (2010), no. 12, 3494–3506. 2735396
Y. Zhang: Pluri-canonical maps of varieties of maximal Albanese dimension in positive characteristic,
J. Algebra 409 (2014), 11–25. 3198833

41

EPFL SB MATHGEOM CAG, MA B3 444 (Bâtiment MA), Station 8, CH-1015 Lausanne, Switzerland
E-mail address: zsolt.patakfalvi@epfl.ch
Department of Mathematics, The University of Utah, 155 S 1400 E Room 233, Salt Lake City, UT,
84112, USA
E-mail address: schwede@math.utah.edu
Department of Mathematics, Statistics and Computer Science, University of Illinois at Chicago,
322 Science and Engineering Offices (M/C 249), 851 S. Morgan Street, Chicago, IL 60607-7045, USA
E-mail address: kftucker@uic.edu

42

