GENERAL HYPERPLANE SECTIONS OF THREEFOLDS
IN POSITIVE CHARACTERISTIC

arXiv:1703.00770v1 [math.AG] 2 Mar 2017

KENTA SATO AND SHUNSUKE TAKAGI
Dedicated to Professor Lawrence Ein on the occasion of his sixty birthday.
Abstract. In this paper, we study the singularities of a general hyperplane section
H of a three-dimensional quasi-projective variety X over an algebraically closed field
of characteristic p > 0. We prove that if X has only canonical singularities, then H
has only rational double points. We also prove, under the assumption that p > 5,
that if X has only klt singularities, then so does H.

1. Introduction
Reid proved in his historic paper [25] that if a quasi-projective variety over an algebraically closed field of characteristic zero has only canonical singularities, then its
general hyperplane section has only canonical singularities, too. This can be deduced
from the Bertini theorem for base point free linear systems, and the same argument
works for other classes of singularities in the minimal model program such as terminal,
klt, log canonical singularities. Then what if the variety is defined over an algebraically
closed field of positive characteristic? As a test case, we consider the following question:
Question 1.1. Let X be a three-dimensional quasi-projective variety over an algebraically closed field k of positive characteristic and H be a general hyperplane section
of X. If X has only terminal singularities, is H smooth? If X has only canonical (resp.
klt, log canonical) singularities, does H have only rational double points (resp. klt
singularities, log canonical singularities)?
Since the Bertini theorem for base point free linear systems fails in positive characteristic, Reid’s argument does not work in this setting. Thanks to the recent development
in birational geometry, we are able to find a resolution of singularities of X ([6], [7]) and
to run the minimal model program if X has only klt singularities and the characteristic
of k is larger than 5 ([12], [3], [4]), but we do not know in general how to overcome the
difficulty arising from the lack of the Bertini theorem.
The terminal case in Question 1.1 is proved affirmatively by the fact that threedimensional terminal singularities are isolated singularities. The other cases are much
more subtle. For example, Reid proved, as a corollary of the result mentioned above,
that all closed points of a complex canonical threefold, except finitely many of them,
have an analytic neighborhood which is nonsingular or isomorphic to the product of a
2010 Mathematics Subject Classification. 14B05, 14J17, 13A35.
Key words and phrases. Bertini theorem, canonical singularities, klt singularities, MJ-canonical
singularities, strongly F -regular singularities.
1

2

K. SATO and S. TAKAGI

rational double point and A1C . This does not hold in positive characteristic: HirokadoIto-Saito [18] and Hirokado [17] gave counterexamples in characteristic two and three.
However, the canonical case in Question 1.1 has remained open.
In this paper, we give an affirmative answer to the canonical and klt cases in Question
1.1, using jet schemes and F -singularities, while we need to assume that the characteristic of k is larger than 5 in the klt case. In both cases, we look at every codimension
two point x of X. The normal surface singularity Spec OX,x is canonical or klt but
is not defined over an algebraically closed field. In the canonical case, we observe, as
in the case where the base field is algebraically closed, that Spec OX,x is a hypersurface singularity. In the klt case, we deduce from the following theorem, which is a
generalization of a result of Hara [13], that Spec OX,x is strongly F -regular when the
characteristic of k is larger than 5.
Theorem 1.2 (Proposition 2.8, Theorem 5.7). Let (s ∈ S) be an F -finite normal
surface singularity (not necessarily defined over an algebraically closed field) of characteristic p > 5 and B be an effective Q-divisor on S whose coefficients belong to the
standard set {1 − 1/m | m ∈ Z>1 }. Then (s ∈ S, B) is klt if and only if (s ∈ S, B) is
strongly F -regular.
In the canonical case, we see from the above observation that X is MJ-canonical
except at finitely many closed points. MJ-canonical singularities are defined in terms of
Mather-Jacobian discrepancies instead of the usual discrepancies and can be viewed as
a jet scheme theoretic counterpart of canonical singularities. Similarly, in the klt case,
we see that if the characteristic of k is larger than 5, then X is strongly F -regular except
at finitely many closed points. Strongly F -regular singularities are defined in terms of
the Frobenius morphism and can be viewed as an F -singularity theoretic counterpart
of klt singularities. Applying the Bertini theorem for MJ-canonical singularities due to
Ishii-Reguera [20] to the canonical case and the Bertini theorem for strongly F -regular
singularities due to Schwede-Zhang [28] to the klt case, we obtain the assertion. To
be precise, we can prove a more general result involving a boundary divisor, which is
stated as follows.
Main Theorem (Proposition 4.1, Theorems 4.2 and 5.9). Let X be a three-dimensional
normal quasi-projective variety over an algebraically closed field k of characteristic
p > 0 and ∆ be an effective Q-divisor on X such that KX + ∆ is Q-Cartier. Let H be
a general hyperplane section of X.
(1) If (X, ∆) is terminal, then (H, ∆|H ) is terminal.
(2) If (X, ∆) is canonical, then (H, ∆|H ) is canonical.
(3) Suppose in addition that p > 5 and the coefficients of ∆ belong to the standard
set {1 − 1/m | m ∈ Z>1 }. If (X, ∆) is klt, then (H, ∆|H ) is klt.
Acknowledgments. The authors are indebted to Shihoko Ishii for helpful discussions, especially
on the proof of Theorem 4.2. They are also grateful to Mircea Mustaţă and Hiromu Tanaka for
useful conversations. The first author was partially supported by the Program for Leading
Graduate Schools, MEXT, Japan. The second author was partially supported by JSPS
KAKENHI 26400039.

GENERAL HYPERPLANE SECTIONS OF THREEFOLDS

3

Convention. Throughout this paper, all rings are assumed to be commutative and
with a unit element and all schemes are assumed to be noetherian and separated. A
variety over a field k means an integral scheme of finite type over k.
2. Preliminaries
2.1. F -singularities. In this subsection, we recall the basic notions of F -singularities,
which we will need in §4.
Let X be a scheme of prime characteristic p > 0. We say that X is F -finite if the
Frobenius morphism F : X −→ X is a finite morphism. When X = Spec R is an affine
scheme, R is said to be F -finite if X is F -finite. For example, a field k of positive
characteristic p > 0 is F -finite if and only if [k : k p ] < ∞. It is known by [22] that
every F -finite scheme is locally excellent.
Suppose in addition that X is a normal integral scheme. For an integer e > 1 and a
Weil divisor D on X, we consider the following composite map:
(F e )#

F eι

OX −−−→ F∗e OX −−∗→ F∗e OX (D),
where F e : X −→ X is the e-th iteration of Frobenius and ι : OX −→ OX (D) is the
natural inclusion.
Strong F -regularity is one of the most basic classes of F -singularities.
Definition 2.1. Let (R, m) be an F -finite normal local ring of positive characteristic
p > 0 and ∆ be an effective Q-divisor on X = Spec R. Then the pair (R, ∆) is said to
be strongly F -regular if for every nonzero element c ∈ R, there exists an integer e > 1
such that the map
OX −→ F∗e OX (⌈(pe − 1)∆⌉ + divX (c))
splits as an OX -module homomorphism. When y is a point in an F -finite normal
integral scheme Y and B is an effective Q-divisor on Y , we say that (y ∈ Y, B) is
strongly F -regular if (OY,y , By ) is strongly F -regular. We say that the normal singularity (y ∈ Y ) is strongly F -regular if (OY,y , 0) is strongly F -regular.
Remark 2.2. We have the following hierarchy of properties of normal singularities:
regular =⇒ strongly F -regular =⇒ Cohen-Macaulay.
Global F -regularity is defined as a global version of strong F -regularity.
Definition 2.3. Let X be an F -finite normal integral scheme and ∆ be an effective
Q-divisor on X. Then (X, ∆) is said to be globally F -regular if for every Cartier divisor
D on X, there exists an integer e > 1 such that the map
OX −→ F∗e OX (⌈(pe − 1)∆⌉ + D)
splits as an OX -module homomorphism.
Remark 2.4. If X is an affine scheme, then (X, ∆) is globally F -regular if and only
if (x ∈ X, ∆) is strongly F -regular for all x ∈ X. However, in general, the former
is much stronger than the latter. For example, a smooth projective variety of general
type over an algebraically closed field of positive characteristic is not globally F -regular
but strongly F -regular at all points.

4

K. SATO and S. TAKAGI

2.2. Singularities in the minimal model program. In this subsection, we recall
the definition of singularities in the minimal model program. Note that we do not
assume that the singularities are defined over an algebraically closed field. We start
with the definition of canonical divisors on normal schemes.
Suppose that π : Y −→ X is a separated morphism of finite type between schemes.
If X has a dualizing complex (see [16, Chapter V, §2] for the definition of dualizing
•
complexes), then ωY• := π ! ωX
is a dualizing complex on Y , where π ! is the twisted
inverse image functor associated to π obtained in [16, Chapter VII, Corollary 3.4 (a)].
Since any F -finite affine scheme has a dualizing complex by [10], any scheme of finite
type over an F -finite local ring has a dualizing complex.
•
Let X be an excellent integral scheme with a dualizing complex ωX
. The canonical
•
sheaf ωX associated to ωX is the coherent OX -module defined as the first non-zero co•
homology module of ωX
. It is well-known that ωX satisfies the Serre’s second condition
(S2 ) (see for example [1, (1.10)]). If X is a variety over an algebraically closed field k
with structure morphism f : X −→ Spec k, then the canonical sheaf associated to f ! k
coincides with the classical definition of the canonical sheaf of X. When X is a normal
•
scheme, a canonical divisor KX on X associated to ωX
is any Weil divisor KX on X
∼
such that OX (KX ) = ωX .
•
Suppose that X is a normal scheme with a dualizing complex ωX
and fix a canonical
•
divisor KX on X associated to ωX . Given a proper birational morphism π : Y −→ X
from a normal scheme Y , we always choose a canonical divisor KY on Y which is
•
associated to π ! ωX
and coincides with KX outside the exceptional locus of f .
Definition 2.5. (i) We say that (x ∈ X) is a normal singularity if X = Spec R is an
affine scheme with a dualizing complex where R is an excellent normal local ring and
if x is the unique closed point of X.
(ii) A proper birational morphism f : Y −→ X between schemes is said to be a
resolution of singularities of X, or a resolution of X for short, if Y is regular. Suppose
that X is a normal integral scheme and ∆ is a Q-divisor on X. A resolution f : Y −→ X
is said to be a log resolution if the union of f −1 (Supp(∆)) and the exceptional locus of
f is a simple normal crossing divisor.
We are now ready to state the definition of singularities in the minimal model program.
Definition 2.6. (i) Suppose that (x ∈ X) is a normal singularity with a dualizing
•
complex ωX
and ∆ is an effective Q-divisor on X such that KX + ∆ is Q-Cartier.
Given a proper birational morphism π : Y −→ X from a normal scheme Y , we choose
•
a canonical divisor KY on Y associated to π ! ωX
such that
X
KY + π∗−1 ∆ = π ∗ (KX + ∆) +
ai Ei ,
i

π∗−1 ∆

where
is the strict transform of ∆ by π, the ai are rational numbers and the Ei are
π-exceptional prime divisors on Y . We say that (x ∈ X, ∆) is terminal (resp. canonical,
klt, plt) if all the ai > 0 (resp. all the ai > 0, all the ai > −1 and ⌊∆⌋ = 0, all the
ai > −1) for every proper birational morphism π : Y −→ X from a normal scheme Y .
We say that (x ∈ X) is terminal (resp. canonical, klt, plt) if so is (x ∈ X, 0).

GENERAL HYPERPLANE SECTIONS OF THREEFOLDS

5

(ii) Let X be an excellent integral normal scheme with a dualizing complex and ∆
be an effective Q-divisor on X such that KX + ∆ is Q-Cartier. Then (X, ∆) is terminal
(resp. canonical, klt, plt) if so is the normal singularity (x ∈ X = Spec OX,x , ∆x ) for
every x ∈ X.
Remark 2.7. (i) If X is defined over a field of characteristic zero or dim X 6 3, then
it is enough to check the condition in Definition 2.6 only for one f , namely, for a log
resolution of (X, ∆).
(ii) We have the following hierarchy of properties of Q-Gorenstein normal singularities:
regular =⇒ terminal =⇒ canonical =⇒ klt.
Strong F -regularity implies being klt.
Proposition 2.8 ([15, Theorem 3.3]). Let (x ∈ X) be an F -finite normal singularity
and ∆ be an effective Q-divisor on X such that KX + ∆ is Q-Cartier. If (x ∈ X, ∆)
is strongly F -regular, then it is klt.
3. Brief review on surface singularities
In this section, we briefly review the theory of surface singularities. All results are
well-known if the singularity is defined over an algebraically closed field. Some of the
results may be known to experts (even if it is not defined over an algebraically closed
field), but we include their proofs here, because we have not been able to find any
reference to them.
Definition 3.1. We say that a scheme X is a surface if X is a two-dimensional excellent
•
separated integral scheme with a dualizing complex ωX
and that a normal singularity
(x ∈ X) is a surface singularity if dim OX,x = 2.
Remark 3.2. From now on, we often use the results in [21] and [29]. We remark that
the base scheme is assumed to be regular in these references, but this assumption is
unnecessary in our framework, because our base scheme is a normal surface singularity
and its dualizing complex is unique up to isomorphism.
First we recall the definition and basic properties of intersection numbers. Let (x ∈
X) be a normal surface singularity and f : Y −→ X beSa proper birational morphism
from a normal surface Y withP
exceptional curves E = i Ei . For a Cartier divisor D
on Y and a Weil divisor Z = i ai Ei on Y , We define the intersection number D · Z
as follows:
X
D·Z =
ai degEi /k(x) (OY (D)|Ei ),
i

where degEi /k(x) : Pic(Ei ) −→ Z is the degree morphism defined as in [9, Definition
1.4].

Proposition 3.3 ([9, Proposition 2.5], [21, Theorem 10.1]). With the notation above,
the following hold.

6

K. SATO and S. TAKAGI

(1) The intersection pairing
M
Div(X) ×
ZEi −→ Z,

(D, Z) 7−→ D · Z

i

is a bilinear map.
(2) If Z is Cartier and Supp D ⊆ E, then D · Z = Z · D.
(3) If Y is regular, then the intersection matrix (Ei · Ej )i,j is a negative-definite
symmetric matrix.
Definition 3.4. Let (x ∈ X) be a normal surface singularity
Swith a dualizing complex
•
ωX
. A resolution f : Y −→ X with exceptional curves E = i Ei is said to be minimal
•
if a canonical sheaf KY on Y associated to the dualizing complex f ! ωX
is f -nef, that
is, KY · Ei > 0 for every i. A minimal resolution of X always exists by [21, Theorem
2.25].
We also recall the definition of rational singularities. A normal surface singularity
(x ∈ X) is said to be a rational singularity if R1 f∗ OY = 0 for every resolution f :
Y −→ X.
Proposition 3.5. Let (x ∈ X) be a normal surface singularity.
(1) ([23, Proposition 1.2]) (x ∈ X) is a rational singularity if and only if R1 f∗ OY =
0 for some resolution f : Y −→ X.
(2) ([21, Proposition 2.28]) If there exists an effective Q-divisor ∆ on X such that
(x ∈ X, ∆) is plt, then (x ∈ X) is a rational singularity.
In the rest of this section, we work in the following setting.
Setting 3.6. Suppose that (x ∈ X) is a normal surface singularity with a dualizing
•
complex
curves
S ωX and f : Y −→ X is a (nontrivial) resolution with ! exceptional
•
E = i Ei . Let KY denote a canonical divisor on Y associated to f ωX
. Let Zf denote
the fundamental cycle of f , that is, a unique minimal nonzero effective divisor Z on Y
such that Supp Z ⊆ E and −Z is f -nef (such a divisor always exists by [21, Definition
and Claim 10.3.6]).
Let D be a divisor on Y and Z be a nonzero effective divisor on Y such that Supp Z ⊆
E. The Euler characteristic χ(Z, D) is defined by
χ(Z, OY (D)|Z ) = dimk(x) H 0 (Z, OY (D)|Z ) − dimk(x) H 1 (Z, OY (D)|Z ).
The following is the Riemann-Roch theorem for curves embedded in a regular surface.
Proposition
3.7. For each divisor D on Y and each nonzero effective divisor Z =
P
a
E
on
Y
such that Supp Z ⊆ E, we have
i i i

(2D − KY − Z) · Z
= χ(Z, 0) + D · Z.
2
P
Proof. We will prove the assertion by induction on a := i ai . If a = 1, then Z = Ei for
some i and the assertion immediately follows from [29, Theorem 2.5 (1) and Theorem
χ(Z, D) =

GENERAL HYPERPLANE SECTIONS OF THREEFOLDS

7

2.7] (see also Remark 3.2). Suppose that a > 2. Then there exists i such that ai > 1,
so set Z ′ := Z − Ei and consider the exact sequence
0 −→ OEi (−Z ′ ) −→ OZ −→ OZ ′ −→ 0.
By the additivity of the Euler characteristic and applying the induction hypothesis to
Z ′ and Ei , one has
χ(Z, D) = χ(Z ′ , D) + χ(Ei , D − Z ′ )
(2D − KY − Z ′ ) · Z ′ (2(D − Z ′ ) − KY − Ei ) · Ei
+
2
2
(2D − KY − Z) · Z
=
.
2

=


Proposition 3.8 ([2]). Suppose that (x ∈ X) is a rational singularity. Let mx denotes the maximal ideal on X corresponding to x and e(x ∈ X) be the Hilbert-Samuel
multiplicity of OX,x . Then the following hold for each integer n > 0.
(1) mnx = H 0 (Y, OY (−nZf )).
(2) dimk(x) mn /mn+1 = −nZf2 + 1.
(3) e(x ∈ X) = −Zf2 .
Proof. First note that mnx OY = OY (−nZf ), which follows from essentially the same
argument as for [2, Theorem 4], where X is assumed to be defined over an algebraically
closed field. Since in a rational surface singularity, the product of integrally closed ideals
is again integrally closed (see [23, Theorem 7.2]), mnx is integrally closed. Therefore,
mnx = H 0 (Y, mnx OY ) = H 0 (Y, OY (−nZf )).
For (2), we consider the exact sequence
0 −→ OY (−(ℓ + 1)Zf ) −→ OY (−ℓZf ) −→ OZf (−ℓZf ) −→ 0
for each integer ℓ > 0. Since H 1 (Y, OY (−ℓZf )) = H 1 (Y, OY (−(ℓ + 1)Zf )) = 0 by [21,
Proposition 10.9 (1)],
χ(Zf , −ℓZf ) = dimk(x) H 0 (Zf , OZf (−ℓZf ))
= dimk(x) H 0 (Y, OY (−ℓZf ))/H 0(Y, OY (−(ℓ + 1)Zf ))
= dimk(x) mℓx /mℓ+1
x ,
where the last equality follows from (1). In particular, χ(Zf , 0) = 1. Thus, wee see
from Proposition 3.7 that
dimk(x) mnx /mn+1
= χ(Zf , −nZf ) = 1 − nZf2 .
x
Finally, (3) immediately follows from (2), because
dimk(x) OX,x /mnx =

n−1
X
i=0

dimk(x) mix /mi+1
=
x

−Zf2 2
n + O(n).
2


8

K. SATO and S. TAKAGI

We will use the following result to prove the canonical case of the main theorem in
§3.
Proposition 3.9. A normal surface singularity (x ∈ X) is canonical if and only if
(x ∈ X) is either a regular point or a rational double point. In particular, a canonical
surface singularity is a hypersurface singularity.
Proof. We may assume by Proposition 3.5 that (x ∈ X) is a rational singularity. Since
the assertion is obvious when X is regular, we can also assume that (x ∈ X) is not
regular.
Suppose that f : Y −→ X is a minimal resolution, and let ∆ = f ∗ KX − KY . Then
∆ is an anti-f -nef Q-divisor on Y , so ∆ > 0 by [21, Claim 10.3.5]. On the other hand,
it follows from Proposition 3.7 that
2 = 2χ(Zf , 0) = −(KY + Zf ) · Zf = −KY · Zf − Zf2 = ∆ · Zf − Zf2 ,
which implies that ∆ · Zf = Zf2 + 2.
If (x ∈ X) is a canonical singularity, then we have ∆ = 0 and hence Zf2 = −2. We
see by Proposition 3.8 (3) that e(x ∈ X) = 2, that is, (x ∈ X) is a rational double
point. Using Proposition 3.8 (2), (3), we can verify that every rational double point is
a hypersurface singularity.
Conversely, if (x ∈ X) is a rational double point, then Zf2 = −2 by Proposition 3.8
(3) and therefore ∆ · Zf = 0. Since −∆ is f -nef and Supp Zf = E, the intersection
number ∆ · Ei has to be zero for all i. This means by [21, Claim 10.3.5] that ∆ = 0. It
then follows from the fact that KY + ∆ = f ∗ KX and (Y, ∆) = (Y, 0) is canonical that
(x ∈ X) is a canonical singularity.

4. Terminal and canonical singularities
The terminal case of the main theorem is an immediate consequence of a Bertini
theorem for Hilbert-Samuel multiplicity.
Proposition 4.1. Let X be a three-dimensional normal quasi-projective variety over
an algebraically closed field of characteristic p > 0 and ∆ be an effective Q-divisor on
X such that KX + ∆ is Q-Cartier. Suppose that the pair (X, ∆) is terminal. Then
(H, ∆|H ) is terminal for a general hyperplane section H of X. In particular, H is
smooth.
Proof. Let U be the locus of the points x ∈ X such that X is regular at x and
multx (∆) < 1. Since the regular locus of X is open and Hilbert-Samuel multiplicity
is upper semicontinuous, U is an open subset of X. Then every codimension two
point x ∈ X lies in U by [21, Theorem 2.29 (1)], because (Spec OX,x , ∆x ) is a twodimensional terminal pair. Hence, X \ U consists of only finitely many closed points
and a general hyperplane section H of X is contained in U. It follows from a Bertini
theorem for Hilbert-Samuel multiplicity [8, Proposition 4.5], which holds in arbitrary
characteristic, that H is smooth and multx (∆|H ) = multx (∆) < 1 for all x ∈ Supp ∆|H .

Thus, applying [21, Theorem 2.29 (1)] again, we see that (H, ∆|H ) is terminal.

GENERAL HYPERPLANE SECTIONS OF THREEFOLDS

9

The canonical case of the main theorem can be deduced from a Bertini theorem for
MJ-canonical singularities. The proof was inspired by a discussion with Shihoko Ishii,
whom we thank.
Theorem 4.2. Let X be a three-dimensional normal quasi-projective variety over an
algebraically closed field k of characteristic p > 0 and ∆ be an effective Q-divisor on
X such that KX + ∆ is Q-Cartier. Suppose that the pair (X, ∆) is canonical. Then
(H, ∆|H ) is canonical for a general hyperplane section H of X. In particular, H has
only rational double points.
Proof. First we will show the case where ∆ = 0. Since X has only canonical singularities, Spec OX,x is a two-dimensional scheme with only canonical singularities for every
codimension two point x ∈ X. It then follows from Proposition 3.9 that OX,x is a
hypersurface singularity for every codimension two point x ∈ X. Since the l.c.i. locus
of X is open by [11], X is a l.c.i. except at finitely many closed points. By the fact that
l.c.i. canonical singularities are MJ-canonical (see for example [20, Remark 2.7 (iv)]),
X has only MJ-canonical singularities except at finitely many closed points. Thus,
applying a Bertini theorem for MJ-canonical singularities [20, Corollary 4.11], we see
that H has only rational double points.
Next we consider the case where ∆ 6= 0. Let U1 be the locus of the points x ∈ X
such that X is regular at x and multx (∆) 6 1, and U2 = X \ Supp ∆. Note that U1
and U2 are both open subsets of X (the openness of U1 follows from the openness of
the regular locus of X and the upper-semicontinuity of Hilbert-Samuel multiplicity).
Then every codimension two point x ∈ X lies in U1 ∪ U2 by [21, Theorem 2.29 (2)],
because (Spec OX,x , ∆x ) is a two-dimensional canonical pair. Hence, we may assume
that X = U1 ∪ U2 . We have already seen that the assertion holds when ∆ = 0, so
(H ∩ U2 , ∆|H∩U2 ) = (H ∩ U2 , 0) is canonical for a general hyperplane section H of X.
On the other hand, it follows from a Bertini theorem for Hilbert-Samuel multiplicity
[8, Proposition 4.5] that H ∩ U1 ( U1 is smooth and multx (∆|H∩U1 ) = multx (∆) 6 1
for all x ∈ Supp ∆|H∩U1 . Thus, applying [21, Theorem 2.29 (2)] again, we see that
(H ∩ U1 , ∆|H∩U1 ) is canonical.

Corollary 4.3. Let X be a three-dimensional quasi-projective variety over an algebraically closed field k of characteristic p > 5 with only canonical singularities. Then
there exists a zero-dimensional closed subscheme Z ⊂ X with the following property: for
[
every closed point x ∈ X \ Z, the maximal-adic completion O
X,x of the local ring of X
b k k[[t]]
at x is either regular or isomorphic to the formal tensor product k[[u, v, w]]/(f )⊗
of a rational double point k[[u, v, w]]/(f ) and the one-dimensional formal power series
ring k[[t]].
Proof. An immediate application of Theorem 4.2 to [18, Theorem 3] yields the desired
result.

Remark 4.4. When the characteristic p is less than 5, there exist counterexamples
to Corollary 4.3 due to Hirokado-Ito-Saito [18] and Hirokado [17]. In particular, in
characteristic three, an exhaustive list of examples is given in [18, Theorem 3].

10

K. SATO and S. TAKAGI

5. Klt singularities
In this section, we will prove the klt case of the main theorem. Since we often use
the results of [21] and [29] in this section, the reader is referred to Remark 3.2.
First we prepare some definitions and lemmas for Theorem 1.2.
Definition 5.1. Let I ⊆ [0, 1] be a subset. We define the subset D(I) ⊆ [0, 1] by
)
(
P
m − 1 + nj=1 ij
m ∈ Z>1 , n ∈ Z>0 , ij ∈ I for j = 1, . . . , n ∩ [0, 1].
D(I) :=
m
In particular, D(∅) = {1 − 1/m | m ∈ Z>1 } is the set of standard coefficients.
Lemma 5.2 (cf. [24, Lemma 4.3]). Let X be a normal surface and ∆ be an effective
Q-divisor on X such that (X, ∆) is plt. Let C be a regular curve which is an irreducible
component of ⌊∆⌋ and Diff C (B) be the different of B := ∆−C on C (see [21, Definition
2.34] for the definition of the Q-divisor Diff C (B)). If the coefficients of B belong to a
subset I ⊂ [0, 1] ∩ Q, then the coefficients of Diff C (B) belong to D(I).
Proof. We may assume that (x ∈ X) is a surface singularity, that is, X = Spec R for
a two-dimensional normal local ring.SLet f : Y −→ X be a minimal log resolution of
(X, C) with exceptional curves E = i Ei defined as in [21, Definition 2.25 (b)] and m
be the determinant of the negative of the intersection matrix of the Ei . Then by [21,
(3.36.1)],
m−1
[x] + B|C .
Diff C (B) =
m
P
Let B = j bj Bj be the irreducible decomposition of B. Since mD is Cartier for every
Weil divisor D on X by [21, Proposition 10.9 (3)], we see that ord[x] (mBj )|C is an
integer. Thus,
m − 1 X bj
ord[x] Diff C (B) =
+
ord[x] (mBj )|C ∈ D(I),
m
m
j
which completes the proof of the proposition.



A log Fano pair (X, ∆) is a pair of a normal projective variety over a field k and an
effective Q-divisor on X such that −(KX + ∆) is ample and (X, ∆) is klt.
Proposition 5.3 (cf. [5, Corollary 4.1], [31, Theorem 4.2]). Let I ⊆ [0, 1] ∩ Q be a
finite set. There exists a positive constant p0 (I) depending only on I with thePfollowing
property: if k is an F -finite field of characteristic p > p0 (I) and (P1k , B = m
i=1 ai Pi )
is a log Fano pair such that every coefficient ai belongs to D(I) and every point Pi is
a k-rational point of P1k , then (P1k , B) is globally F -regular. Moreover, when I = ∅, we
may take the constant p0 (I) to be 5.
Proof. The proof is essentially the same as in the case where k is algebraically closed.
When k is algebraically closed, the first assertion is nothing but [5, Theorem 4.1] and
the second one follows from [31, Theorem 4.2].


GENERAL HYPERPLANE SECTIONS OF THREEFOLDS

11

Definition 5.4. A curve X over a field k is a one-dimensional integral scheme of finite
type over k. The arithmetic genus g(X) of a complete curve X over k is defined to be
dimk H 1 (X, OX )/ dimk H 0 (X, OX ). We remark that g(X) is independent of the choice
of the base field k.
We extend Proposition 5.3 to the case of an arbitrary curve of genus zero.
Proposition 5.5. Let I ⊆ [0, 1]∩Q be a finite set. There exists a positive constant p1 (I)
depending only on I with the following property: if k is an F -finite field of characteristic
p > p1 (I) and (C, B) is a log Fano pair such that C is a complete curve over k and
the coefficients of B belong to D(I), then (C, B) is globally F -regular. Moreover, when
I = ∅, we may take p1 (I) to be 5.
Proof. Let p0 (I) be the constant as in Proposition 5.3. Set a(I) = min{a ∈ D(I) | a 6=
0} and p1 (I) = max{p0 , ⌈2/a(I)⌉}. If I = ∅, then a(I) = 1/2, so we can take p1 (∅) = 5
by Proposition 5.3. We say that a pair (C, B) satisfies the condition (⋆) if C is a
complete curve over an F -finite field of characteristic p > p1 (I) and (C, B) is a log
Fano pair such that the coefficients of B belong to D(I). Note that if (C, B) satisfies
(⋆), then C is a complete regular curve with g(C) = 0 by [29, Corollary 2.6].
Let (C, B) be a log Fano pair over a field k satisfying the condition (⋆). First, we will
show that we can reduce to the case where C ∼
= P1k . Replacing k by its finite extension
if necessary, we may assume that k = H 0 (C, OC ). Suppose that C ∼
6= P1k . Then C is
2
isomorphic to a conic in Pk by [21, Lemma 10.6 (3)], and hence there exists a closed
point P ∈ C whose residue field k(P ) is a quadratic extension of k. Let l := k(P )
and consider the pullback f : Cl := C ×Spec k Spec l −→ C of C. Note that Cl is
connected, because [l : k] = 2 and l is not contained in the function field K(C) of C,
so K(C) ⊗k l is a domain. Since p > p1 > 2 = [l : k], the pullback f is a surjective
étale morphism. It follows from [21, Lemma 10.6 (3)] again, together with the fact
that a regular conic with an l-rational point is isomorphic to P1l , that Cl ∼
= P1l . By
the fact that being klt is preserved under surjective étale morphisms ([21, Proposition
2.15]), the pair (Cl , Bl := f ∗ B) satisfies the condition (⋆). On the other hand, a pair is
globally F -regular if and only if its affine cone is strongly F -regular ([26, Proposition
5.3]), and strong F -regularity is preserved under finite étale morphisms of degree not
divisible by p ([14, Theorem 3.3], [27, Corollary 6.31 and Proposition 7.4]). Therefore,
(C, B) is globally F -regular if and only if so is (Cl , Bl ). Thus, replacing k by l and C
by Cl , we may assume that C = P1k .
Next, we will show that we can
P reduce to the case where every point in Supp B
is a k-rational point. Let B = i a
i Pi be the irreducible decomposition of B. Since
P
1
(C = Pk , B) is log Fano, we have i ai [k(Pi ) : k] = degP1k /k (B) < 2. In particular,
[k(Pi ) : k] < 2/a(I) 6 p1 (I) < p for every i. Hence, there exists a Galois extension K/k
such that k(Pi ) ⊆ K for every i and p does not divide [K : k]. Since the condition (⋆)
and global F -regularity are preserved under finite Galois base field extensions of degree
not divisible by p as we have seen above, replacing k by K and (P1k , B) by (P1K , BK )
if necessary, we may assume that every point in Supp B is a k-rational point. The
assertion is now an immediate consequence of Proposition 5.3.


12

K. SATO and S. TAKAGI

Lemma 5.6 (cf. [5, Proposition 2.13]). Let (x ∈ X) be a normal surface singularity
•
with a dualizing complex ωX
and B be an effective Q-divisor on X such that KX + B
is Q-Cartier. If (x ∈ X, B) is klt, then there exists a proper birational morphism
f : Y −→ X from a normal surface Y such that
(1) the exceptional locus C of f is a complete regular curve with g(C) = 0,
(2) (Y, BY + C) is plt, where BY = f∗−1 B is the strict transform of B by f , and
(3) −(KY + BY + C) is f -ample, where KY is a canonical divisor on Y associated
•
to the dualizing complex f ! ωX
.
Proof. We can apply essentially the same argument as in the case where X is defined
over an algebraically closed field [5, Proposition 2.13], using the minimal model program
for excellent surfaces [29, Theorem 1.1] instead of that for surfaces over an algebraically
closed field. Then (2) and (3) are easily verified. Hence, it is enough to check (1). Since
(Y, BY + C) is plt, the complete curve C has to be regular by [21, Theorem 2.31]. The
pair (Y, BY + C) being plt also implies by Proposition 3.5 that Y has only rational
singularities, from which it follows that g(C) = 0 (see [21, Lemma 10.8 (3)]).

Theorem 1.2 is a consequence of Proposition 2.8 and the following theorem, which
gives a generalization of [5, Theorem 1.1] (see also [13]) to the case where the base field
is not necessarily algebraically closed.
Theorem 5.7 (cf. [13], [5, Theorem 1.1]). Let I ⊆ [0, 1]∩Q be a finite set. There exists
a positive constant p1 (I) depending only on I with the following property: if (x ∈ X)
be an F -finite normal surface singularity of characteristic p > p1 (I) and (x ∈ X, B) is
a klt pair such that the coefficients of B belong to D(I), then (x ∈ X, B) is strongly
F -regular. Moreover, when I = ∅, we can take p1 (I) to be 5.
Proof. We employ the same strategy as the proof of [5, Theorem 1.1]. Let p1 (I) be the
constant as in Proposition 5.5. Suppose that (x ∈ X, B) is a klt pair such that (x ∈ X)
is an F -finite normal surface singularity of characteristic p > p1 (I) and the coefficients
of B belong to D(I). Take a proper birational morphism f : Y −→ X with exceptional
prime divisor C as in Lemma 5.6, and let BY = f∗−1 B be the strict transform of B by
f and BC = Diff C (BY ) be the different of BY on C. Note that by Lemma 5.2 and [24,
Lemma 4.4], the coefficients of BC belong to D(D(I)) = D(I) ∪ {1}. Since (C, BC )
is log Fano by adjunction ([21, Theorem 3.36 and Lemma 4.8]), the coefficients of BC
are less than 1, and then (C, BC ) is globally F -regular by Proposition 5.5. Applying
the same argument as in the case where X is defined over an algebraically closed field
([5, Proposition 2.11] and [12, Lemma 2.12]), we can conclude that (X, B) is strongly
F -regular.

Example 5.8 (cf. [21, 2.26]). Let k be a non-algebraically closed field of characteristic
p > 0 with an element a ∈ k that is not a cubic power in k. Let (0 ∈ X) be the origin
of the hypersurface (x2 = y 3 − az 3 + y 4 + z 4 ) ⊂ A3k , which is a klt surface singularity.
Its minimal resolution has two exceptional curves C1 , C2 and their dual graph is
1

7654
0123
2

3

0123
7654
2 ,

GENERAL HYPERPLANE SECTIONS OF THREEFOLDS

13

where the numbers above the circles are the dimk H 0 (Ci , OCi ) and the numbers inside
the circles are the −Ci2 / dimk H 0 (Ci , OCi ). Note that this graph does not appear in the
list of the dual graphs of exceptional curves for the minimal resolutions of klt surface
singularities over an algebraically closed field (see [30]). On the other hand, (0 ∈ X)
is strongly F -regular if and only if p > 3.
We are now ready to prove the klt case of the main theorem.
Theorem 5.9. Let X be a three-dimensional normal quasi-projective variety over an
algebraically closed field of characteristic p > 5 and ∆ be an effective Q-divisor on X
whose coefficients belong to the standard set {1−1/m | m ∈ Z>1 }. Suppose that KX +∆
is Q-Cartier and (X, ∆) is klt. Then (H, ∆|H ) is klt for a general hyperplane section
H of X.
Proof. Let U be the locus of the points x ∈ X such that (X, ∆) is strongly F -regular.
Note that U is an open subset of X (the ∆ = 0 case was proved in [19, Theorem 3.3]
and the general case follows from a very similar argument). Every codimension two
point x ∈ X lies in U, because (Spec OX,x , ∆x ) is strongly F -regular by Theorem 5.7.
Hence, X \ U consists of only finitely many closed points and a general hyperplane
section H of X is contained in U. It then follows from a Bertini theorem for strongly
F -regular pairs [28, Corollary 6.6] that (H, ∆|H ) is strongly F -regular. Since strongly
F -regular pairs are klt by Proposition 2.8, we obtain the assertion.

References
[1] Y. Aoyama, Some basic results on canonical modules, J. Math. Kyoto. Univ. 23 (1983), 85–94.
[2] M. Artin, On isolated rational singularities of surfaces, Amer. J. Math. 88 (1966), 129–136.
[3] C. Birkar, Existence of flips and minimal models for 3-folds in char p, Ann. Sci. Éc. Norm. Supér.
(4) 49 (2016), 169–212.
[4] C. Birkar and J. Waldron, Existence of Mori fibre spaces for 3-folds in char p, arXiv:1410.4511,
preprint (2014).
[5] P. Cascini, Y. Gongyo and K. Schwede, Uniform bounds for strongly F -regular surfaces, Trans.
Amer. Math. Soc. 368 (2016), 5547–5563.
[6] V. Cossart, O. Piltant, Resolution of singularities of threefolds in positive characteristic. I, J.
Algebra 320 (2008), 1051–1082.
[7] V. Cossart, O. Piltant, Resolution of singularities of threefolds in positive characteristic. II, J.
Algebra 321 (2009), 1836–1976.
[8] T. de Fernex, L. Ein, M. Mustaţă, Bounds for log canonical thresholds with applications to
birational geometry, Math. Res. Lett. 10 (2003), 219–236.
[9] W. Fulton, Intersection theory, second edition, Ergebnisse der Mathematik und ihrer Grenzgebiete, 3. Folge, Band 2, Springer, Berlin, 1998.
[10] O. Gabber, Notes on some t-structures, Geometric aspects of Dwork theory. Vol. I, II, pp. 711–
734, Walter de Gruyter GmbH & Co. KG, Berlin, 2004.
[11] S. Greco, M. G. Marinari, Nagata’s criterion and openness of loci for Gorenstein and complete
intersection, Math. Z. 160 (1978), 207–216.
[12] C. Hacon and C. Xu, On the three dimensional minimal model program in positive characteristic,
J. Amer. Math. Soc. 28 (2015), 711–744.
[13] N. Hara, Classification of two-dimensional F -regular and F -pure singularities, Adv. Math. 133
(1998), 33–53.
[14] N. Hara and S. Takagi, On a generalization of test ideals, Nagoya Math. J. 175 (2004), 59–74.

14

K. SATO and S. TAKAGI

[15] N. Hara and K.-i. Watanabe, F -regular and F -pure rings vs. log terminal and log canonical
singularities, J. Alg. Geom. 11 (2002), 363–392.
[16] 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-New York 1966.
[17] M. Hirokado, Canonical singularities of dimension three in characteristic 2 which do not follow
Reid’s rules, arXiv:1607.08664, preprint (2016).
[18] M. Hirokado, H. Ito and N. Saito, Three dimensional canonical singularities in codimension two
in positive characteristic, J. Algebra 373 (2013), 207–222.
[19] M. Hochster and C. Huneke, Tight closure and strong F -regularity, Mém. Soc. Math. France 38
(1989), 119–133.
[20] S. Ishii and J. Reguera, Singularities in arbitrary characteristic via jet schemes, arXiv:1510.05210,
preprint (2015).
[21] J. Kollár, Singularities of the minimal model program, Cambridge Tracts in Mathematics, 200,
Cambridge University Press, Cambridge, 2013.
[22] E. Kunz, On Noetherian rings of characteristic p, Amer. J. Math. 98 (1976), 999–1013.
[23] J. Lipman, Rational singularities, with applications to algebraic surfaces and unique factorization,
Inst. H́autes Etudes Sci. Publ. Math., No. 36, 1969, 195–279.
[24] J. McKernan and Y. Prokhorov, Threefold thresholds, Manuscripta Math. 114 (2004), 281–304.
[25] M. Reid, Canonical 3-folds, in: A. Beauville (Ed.), Journées de géométrie algébrique d’Angers
1979, Sijthoff & Noordhoff, Alphen, 1980, pp. 273–310.
[26] K. Schwede and K. E. Smith, Globally F -regular and log Fano varieties, Adv. Math. 224 (2010),
863–894.
[27] K. Schwede and K. Tcuker, On the behavior of test ideals under finite morphisms, J. Algebraic
Geom. 23 (2014), 399–443.
[28] K. Schwede and W. Zhang, Bertini theorems for F -singularities, Proc. London Math. Soc. 107
(2013), 851–874.
[29] H. Tanaka, Minimal model programme for excellent surfaces, arXiv:1608.07676, preprint (2016).
[30] K. Watanabe, Plurigenera of normal isolated singularities. I, Math. Ann. 250 (1980), 65–94.
[31] K.-i. Watanabe, F -regular and F -pure normal graded rings, J. Pure Appl. Algebra 71 (1991),
341–350.
Graduate School of Mathematical Sciences, University of Tokyo, 3-8-1 Komaba,
Meguro-ku, Tokyo 153-8914, Japan
E-mail address: ktsato@ms.u-tokyo.ac.jp
Graduate School of Mathematical Sciences, University of Tokyo, 3-8-1 Komaba,
Meguro-ku, Tokyo 153-8914, Japan
E-mail address: stakagi@ms.u-tokyo.ac.jp

