arXiv:1611.03884v1 [math.AG] 11 Nov 2016

ÉTALE FUNDAMENTAL GROUPS OF STRONGLY F -REGULAR
SCHEMES
BHARGAV BHATT, JAVIER CARVAJAL-ROJAS, PATRICK GRAF, KARL SCHWEDE,
AND KEVIN TUCKER
Abstract. We prove that a strongly F -regular scheme X admits a finite, generically Galois,
e −→ X such that the étale fundamental groups of X
e
and étale-in-codimension-one cover X
ereg agree. Equivalently, every finite étale cover of X
ereg extends to a finite étale cover
and X
e This is analogous to a result for complex klt varieties by Greb, Kebekus and Peternell.
of X.

1. Introduction
In [Xu14], Chenyang Xu proved that the algebraic local fundamental group (the profinite
completion of the topological fundamental group of the link) of a complex klt singularity is
finite. This result was then used by Greb–Kebekus–Peternell [GKP13] to show that for a
complex quasi-projective variety X with klt singularities, any sequence of finite quasi-étale
(i.e. étale in codimension one) and generically Galois covers eventually becomes étale. In
particular, for any quasi-projective klt variety X/C there exists a finite quasi-étale generically
e−
e is actually étale.
Galois cover ρ : X
→ X such that any further quasi-étale cover Y −
→X
Inspired by the relation between klt singularities and strongly F -regular singularities in
characteristic p > 0 [HW02], a subset of the authors showed that if (R, m) is a strictly
Henselian strongly F -regular local ring and U ⊆ Spec R is the regular locus, then π1ét (U) is
finite [CST16], a variant of Xu’s result in characteristic p > 0. In this paper we use this
result, a theorem of Gabber [Tra14], and recent work on the non-local behavior of F -signature
[DSPY16], to prove a variant of the result of Greb–Kebekus–Peternell in characteristic p > 0.
Philosophically, both these results are studying the obstructions of extending finite étale
covers of the regular locus Xreg of a scheme X to the whole scheme. The expected general
answer is that for more severe singularities on X, there are more obstructions. Analogous to
[GKP13], we show that schemes with strongly F -regular singularities are mild in this sense.
Main Theorem (Theorem 4.1, Corollary 4.2). Suppose X is an F -finite Noetherian integral
strongly F -regular scheme. Suppose we are given a sequence of finite surjective quasi-étale
(étale in codimension one) morphisms of normal integral schemes
γ1

γ2

γ3

X = X0 ←−− X1 ←−− X2 ←−− · · ·
such that each Xi /X is generically Galois. Then all but finitely many of the γi are étale.
2010 Mathematics Subject Classification. 14F35, 14F20, 14E20, 14F18, 14B05, 13A35, 13B40.
Bhatt was supported in part by the NSF Grant DMS #1501461 and a Packard fellowship.
Carvajal-Rojas was supported in part by the NSF FRG Grant DMS #1265261/1501115.
Graf was supported in part by the DFG grant “Zur Positivität in der komplexen Geometrie”.
Schwede was supported in part by the NSF FRG Grant DMS #1265261/1501115 and NSF CAREER
Grant DMS #1252860/1501102.
Tucker was supported in part by NSF Grant DMS #1602070 and a fellowship from the Sloan foundation.
1

2

B. BHATT, J. CARVAJAL-ROJAS, P. GRAF, K. SCHWEDE, AND K. TUCKER

e−
In particular, there exists a finite quasi-étale generically Galois cover X
→ X so that any
e
ereg ) −
further finite quasi-étale cover Y −
→ X is actually étale. Equivalently, the map π1ét (X
→
ét e
π1 (X) induced by the inclusion of the regular locus is an isomorphism.

Note that we do not require any quasi-projectivity hypothesis. We actually obtain a
slightly stronger version, just as in [GKP13]. As a corollary, we also obtain a variant of
[GKP13, Theorem 1.10], see Corollary 4.8, which says in particular that there exists an
integer N > 0 such that for every Q-Cartier divisor D on X with index not divisible by p,
e−
N · D is in fact Cartier. Finally, we observe that the map X
→ X from our Main Theorem
above is tame wherever it is not étale, see Corollary 4.4.
Acknowledgements. The authors began working on this project while visiting CIRM Luminy in September 2016.
2. Notation and conventions
Convention 2.1. All rings and schemes considered will be Noetherian. We will typically also
be working with normal connected and hence integral schemes.
Notation 2.2. Let ρ : Y −
→ X be a morphism of normal schemes.
(a) We say that ρ is quasi-étale if it is quasi-finite and there exists a closed subset Z ⊆ Y
of codimension ≥ 2 such that ρ|Y \Z : Y \ Z −
→ X is étale. Notice that if ρ is further
finite, then Y coincides with the integral closure of X in K(Y ).
(b) Assume that ρ is finite and surjective. Let W ⊆ X be the largest Zariski-open subset
such that ρ−1 (W ) −
→ W is étale. The branch locus of ρ is defined to be X \ W . It
is worth to remark that by Purity of the Branch Locus, if ρ is quasi-étale then its
branch locus is contained in the non-regular locus of X.
(c) If X and Y are connected, we say that ρ finite and surjective is generically Galois
if the fraction fields extension K(Y )/K(X) is Galois. In this case, it follows that
ρ−1 (W ) −
→ W is Galois, where W is as in (b).
(d) By a geometric point x̄ ∈ X of a scheme X we mean a morphism Spec L −
→ X, where
L is a separably closed field. Note that x̄ −
→ X factors through Spec k(x) −
→ X,
where x ∈ X is the scheme-theoretic image point.
(e) Suppose that s̄, t̄ ∈ X are geometric points of a scheme X. A specialization of
geometric points s̄
t̄ is a factorization
sh
s̄ −
→ Spec OX,t
−
→X

where the composition is the map defining the geometric point s̄ −
→ X. Note that
sh
sh
→ Spec OX,t . In particular, the image of t as a scheme
then we get a map Spec OX,s −
theoretic point on X is contained in the Zariski closure of the image of s. Conversely,
if s̄ ∈ X is a geometric point and t ∈ {s}, then we can find a geometric point t̄ ∈ X
with scheme-theoretic image point t such that s̄ specializes to t̄.
3. Gabber’s constructibility and applications to the fundamental group
Recall the following theorem of Gabber.
Theorem 3.1. [Tra14, Exposé XXI, Théorème 1.1, 1.3] Suppose that X is a normal excellent
scheme and Z ⊆ X a closed subscheme of codimension ≥ 2. Let j : U = X \ Z −
→ X be

ÉTALE FUNDAMENTAL GROUPS OF STRONGLY F -REGULAR SCHEMES

3

the inclusion. Then for all finite groups G, Ri j∗ (GU ) is constructible for i = 0, 1. Here GU
denotes the constant sheaf G on U equipped with the étale topology.
We use this to obtain:
Proposition 3.2. Let i : Z ֒→ X be a closed subscheme of codimension ≥ 2 in a normal
excellent scheme. Let j : U = X \ Z ֒→ X be the complement. Suppose that
sh
π1ét (Spec OX,x
\ Z sh )
sh
is bounded for all geometric points x ∈ X (here Z sh = ZX,x
is the inverse image of Z).
Then there exists a finite stratification {Zi }i∈I of X into locally closed subschemes Zi with
the following property:
Fix a specialization s
t of geometric points of Zi . Consider the map
sh
sh
Spec(OX,s
) −→ Spec(OX,t
).

(3.2.1)

Remove the inverse images of Z to obtain
α

Ts −−→ Tt .

(3.2.2)

Then applying π1ét (−) to (3.2.2) yields an isomorphism.
sh
\ Z sh ) for geoProof. Note there are only finitely many finite groups Gx = π1ét (Spec OX,x
metric points x ∈ X, since there are only finitely many groups of size less than a given
number. Letting Gx also denote the constant sheaf on Uét , since R1 j∗ Gx is constructible by
Theorem 3.1, we may choose a stratification {Zi } of locally closed irreducible subschemes of
X so that R1 j∗ Gx is locally constant on each Zi for all geometric points x. Note R1 j∗ Gx is
zero over U so the induced stratification has the same data as a stratification of Z.
Using our stratification, we know that for any geometric point x ∈ X, the stalks of R1 j∗ Gx
at s and t are the same. These stalks however are H 1 (Ts , Gx ) and H 1 (Tt , Gx ), respectively
[Mil80, Chapter III, Theorem 1.15]. In other words, the functor of isomorphism classes of
Gx -torsors over (3.2.2) produces isomorphisms. But we have functorial bijections
.
ét
H 1 (Ts , Gx ) ∼
= Homcont π1 (Ts ), Gx Gx

and
ét
H (Tt , Gx ) ∼
= Homcont π1 (Tt ), Gx
1

.

Gx ,

where Gx acts on Homcont (−, Gx ) by conjugation. For more discussion see for instance
[GW10, Section 11.5], [Mil13, Example 11.3] and [Mil80, Chapter I, Remark 5.4 and Chapter
III, Corollary 4.7, Remark 4.8]. In particular, the map
.
.
ét
ét
∼
Hom
G
=
π
(T
),
G
π
(T
),
G
Hom
G
=
s
s
x
t
x
t
(3.2.3)
1
1
Gx
Gx −→
induced by π1ét (α) is a bijection for any geometric point x ∈ X.
Recall that we want to prove that π1ét (α) is an isomorphism. We apply (3.2.3) with x = s.
Considering the identity π1ét (Ts ) −
→ Gs as an element of the right-hand side, observe that
there exists a homomorphism κ : Gt −
→ Gs , unique up to conjugacy, so that
(3.2.4)

π ét (α)

κ

1
Gs −−
−→ Gt −−→ Gs

4

B. BHATT, J. CARVAJAL-ROJAS, P. GRAF, K. SCHWEDE, AND K. TUCKER

is equal to a conjugate of the identity, that is, an inner automorphism. In particular, κ is
surjective and π1ét (α) is injective. We now apply Hom(−, Gt )/Gt to (3.2.4). This gives us
.
.
.
Hom(Gs , Gt ) Gt −→ Hom(Gt , Gt ) Gt −→ Hom(Gs , Gt ) Gt .
The second map, which is induced from π1ét (α), is a bijection by (3.2.3) applied with x =
t. The composition is also a bijection, by construction. Hence the first map, which is
induced by κ, is bijective too. By the same argument as above, this implies that there
κ
λ
exists a homomorphism λ : Gs −
→ Gt such that the composition Gt −
→ Gs −
→ Gt is an inner
automorphism. In particular, κ is injective and hence an isomorphism. By (3.2.4), it follows
that π1ét (α) is likewise an isomorphism, which was to be shown.

Remark 3.3. The crucial property of the stratification {Zi } in Proposition 3.2 is preserved
by finite quasi-étale covers:
Suppose that ρ : X ′ −
→ X is a separated quasi-finite cover with branch locus contained
in Z. By Zariski’s Main Theorem, we may assume that ρ is finite since the statement is
obvious for open inclusions. Consider a specialization s′
t′ of geometric points of ρ−1 (Zi )
mapping to a specialization of geometric points of Zi ⊆ X, s
t, under ρ. The diagram
(3.3.1)

sh
Spec OX
′ ,s′

sh
Spec OX
′ ,t′

/

ρs

ρt




sh
Spec OX,s

/

sh
Spec OX,t

is a fibre product diagram up to taking a connected component (in the end it will follow
that there can be at most one connected component from our assumptions).
sh
−1
Denote Tt′ := Spec OX
(Z) and likewise with Ts′ . Then removing
′ ,t′ \ inverse image of ρ
the preimages of Z from (3.3.1) yields a fibre product diagram (up to taking a connected
component, for now)
Ts′

α′

/

Tt′
ρt

ρs



α



/ Tt .
Ts
The vertical maps are étale since the branch locus of ρ is contained in Z, so the induced
maps on π1ét are injective. Since π1ét (α) is an isomorphism, we have that π1ét (Ts′ ) and π1ét (Tt′ )
define the same subgroups in π1ét (Ts ) ∼
= π1ét (Tt ) (up to conjugation). In particular, π1ét (α′ ) is
−1
also an isomorphism and so {ρ (Zi )}i∈I stratifies X ′ in the sense of Proposition 3.2.

Proposition 3.4. Suppose that Z, U ⊆ X and let {Zi }i∈I be such a stratification as in
Proposition 3.2 made up of connected Zi . Let ρ : Y −
→ X be a finite surjective map whose
branch locus is contained in Z (in particular ρ is quasi-étale), and let W ⊆ X be the maximal
Zariski-open subset over which ρ is étale. Then, for every i ∈ I, either W ∩Zi = ∅ or Zi ⊆ W .
Equivalently, either the branch locus of ρ contains Zi or it is disjoint from Zi .
Proof. We have the following criterion for geometric points of X to belong to W .
Claim 3.5. A geometric point t ∈ X is contained in W (ρ is étale over t) if and only if the
sh
pullback of ρ : Y −
→ X to Tt := Spec OX,t
\ Z sh is trivial (a finite disjoint union of copies of
Tt ).

ÉTALE FUNDAMENTAL GROUPS OF STRONGLY F -REGULAR SCHEMES

5

Proof of Claim 3.5. Since the condition of being étale is Zariski-local, we see that t ∈ W if
and only if ρt : Yt = Y ×X Spec OX,t −
→ Spec OX,t is étale (here we identify t with its image at
X to avoid cumbersome phrasing and notation). However, by faithfully flat descent [Sta16,
sh
Tag 02YJ, Lemma 34.20.29] this morphism is étale if and only if its pullback to Spec OX,t
,
sh
sh
sh
say ρt : Yt −
→ Spec OX,t , is étale. But the target being the spectrum of a strictly henselian
local ring, the latter condition implies that the finite étale cover ρsh
t is trivial (i.e. a finite
sh
disjoint union of copies of Spec OX,t ). In particular, if t ∈ W then the pullback ρ−1 (Tt ) −
→ Tt
is trivial.
1
Conversely if ρ−1 (Tt ) −
→ Tt is trivial, then so is ρsh
t since all the schemes are normal and
sh
the complement of Tt ⊆ Spec OX,t
has codimension ≥ 2. As above this implies t ∈ W .

Now let t ∈ Zi be a geometric point and let s ∈ Zi be a generic geometric point with a
specialization s
t. It is sufficient to show that t ∈ W if and only if s ∈ W . This follows
by recalling that we have a canonical map Ts −
→ Tt which induces an isomorphism on the
level of fundamental groups, and moreover a commutative diagram
TO t ❖❖❖
❖❖❖
❖❖'
/ W ⊆ X.
Ts
It follows that the images of π1ét (Tt ) and of π1ét (Ts ) coincide in π1ét (W ) up to conjugation.
By [Mil80, Chapter I, Theorem 5.3], the finite étale cover ρ−1 (W ) −
→ W corresponds to a
ét
−1
continuous π1 (W )-action on the finite set Q := F (ρ (W )), where F is the fibre functor.
Now assume s ∈ W , i.e. ρ is étale over s. By Claim 3.5, the induced action of π1ét (Ts )
on Q is trivial. It follows that the induced action of π1ét (Tt ) on Q is also trivial. By [Mil80,
Chapter I, Theorem 5.3] again, ρ−1 (Tt ) −
→ Tt , or more precisely Y ×X Tt −
→ Tt , is trivial,
i.e. the disjoint union of deg(ρ) copies of Tt . Hence by Claim 3.5 again, we get t ∈ W .
Conversely, t ∈ W implies s ∈ W by running the argument backwards.

4. Maximal quasi-étale covers
As mentioned, our result is somewhat more general than the one in the introduction.
Theorem 4.1. (cf. [GKP13, Theorem 2.1]) Suppose X is an F -finite Noetherian integral
strongly F -regular scheme. Suppose that we have a commutative diagram of separated quasifinite maps between normal F -finite Noetherian integral schemes
Y1 o

γ1

η1

Xo

j0

Y2 o

γ2

η2

γ3

...

η3




? _ X1 o

? _ X2 o

j1

Y3 o

j2


? _ X3 o

j3

? _. . .

such that the following conditions hold.
(i) The maps ji are inclusions of open sets.
(ii) The maps ηi are finite, quasi-étale and generically Galois.
Then all but finitely many of the γj are étale.
To recover the statement in the introduction, simply set all the Xi = X.
1Note

finite maps between normal schemes are determined outside a set of codimension 2 [Har94].

6

B. BHATT, J. CARVAJAL-ROJAS, P. GRAF, K. SCHWEDE, AND K. TUCKER

Proof. By [DSPY16, Theorem B] (see also the semi-continuity of Hilbert-Kunz multiplicity
and F -signature [Smi16, Pol15, PT16]) and the fact that X is quasi-compact, we know there
exists a uniform lower bound δ > 0 on s(OX,x =: Rx ) for each scheme-theoretic point x of
X. Let Rxsh denote the strict henselization of the local ring Rx . Since Rx ⊆ Rxsh is flat with
regular closed fiber, we know that s(Rxsh ) = s(Rx ) ≥ δ by [Yao06, Theorem 5.6]. Also Rxsh is
F -finite since quite generally, the strict henselization of a normal F -finite local ring is again
sh
sh
F -finite2. In other words, we see that s(OX,x
) ≥ δ and OX,x
is F -finite for every geometric
point x of X. By [CST16, Theorem A], we thus know that
sh
π1ét (Spec OX,x
\ Z sh ) ≤ 1/δ

for each geometric point x of X, where Z is the singular locus of X.
Construct the stratification {Zi }i∈I as in Proposition 3.2, where Z = Xsing ; assume the
Zi are irreducible. Observe that the Zi ∩ Xk also stratify the open sets Xk ⊆ X (although
we may lose some pieces of the stratification). Let si be a geometric generic point of Zi
sh
and let Tsi := Spec OX,s
\ Z sh be its “tubular neighborhood”. Pull back the whole sequence
i
γ1
γ2
X ← Y1 ←
− Y2 ←
− · · · to Tsi to obtain
γ0,i

γ1,i

γ2,i

Tsi ←−−− T1,si ←−−− T2,si ←−−− · · · .
Then all but finitely many of the γk,i become trivial, as π1ét (Tsi ) is finite (of course, it is
possible that Tk,si becomes empty for k ≫ 0 if si ∈
/ Xk ). Note here is where we use the
hypothesis that each ηk : Yk −
→ Xk ⊆ X is generically Galois, in particular Galois over the
regular locus Uk of Xk .
Now, given that I is finite, one can pick N ≫ 0 such that γn,si is trivial for all i ∈ I and
all n ≥ N. But by Remark 3.3, the inverse images of the generic points si of the Zi in Yn are
exactly the generic points sn,j of a stratification {Zn,j }j∈Jn of Yn satisfying the conclusion of
Proposition 3.2, with the Zn,j irreducible. Since
γn : Yn+1

finite / /

ηn−1 (Xn+1 ) 



open

/

Yn

is trivial after base changing with
Tsn,j := Spec OYshn,sn,j \ preimage of ηn−1 (Z)
for n ≥ N and j ∈ Jn , by Claim 3.5 we see that γn is étale over the geometric generic point of
every stratum Zn,j (of course, it might miss some completely). Now applying Proposition 3.4
shows that γn is finite étale over every point of ηn−1 (Xn+1 ), which completes the proof. 
The following corollary follows immediately.
Corollary 4.2. (cf. [GKP13, Theorem 1.5]) Suppose that X is an F -finite Noetherian integral strongly F -regular scheme. Then there exists a finite quasi-étale generically Galois cover
e−
e normal and which satisfies the following property:
ρ: X
→ X with X
e extends to a finite étale cover of X.
e
Every finite étale cover of the regular locus of X
ét e
ét e
Equivalently, the map π1 (Xreg ) −
→ π1 (X) induced by the inclusion of the regular locus is an
isomorphism.
We give two proofs of this result. The first one uses Theorem 4.1, while the second one is
a direct proof which emphasizes the Galois correspondence.
2Indeed,

S

1/p

if R is an F -finite ring and S is a direct limit of étale maps (i.e. an ind-étale map), then R1/p ⊗R S =
so that S ⊆ S 1/p is finite.

ÉTALE FUNDAMENTAL GROUPS OF STRONGLY F -REGULAR SCHEMES

7

First proof of Corollary 4.2. Suppose not, then for every finite quasi-étale generically Galois
cover Y −
→ X there exists a further finite quasi-étale cover Y ′ −
→ Y , which we may also
′
assume to be generically Galois over X, such that Y −
→ Y is not étale. Repeating this
process now with Y ′ taking the role of Y , we obtain a sequence of covers contradicting the
conclusion of Theorem 4.1.
ereg ) −
e is the same as [GKP13,
The proof of the statement about the map π1ét (X
→ π1ét (X)
Step 2 of the proof of Thm. 1.5], and is thus omitted.

Second proof of Corollary 4.2. Consider the stratification {Zi }i∈I as in Proposition 3.2 where
each Zi is connected. Set Z = Xsing . As before, for every Zi choose si to be a geometric
generic point. As observed in the proof of Proposition 3.4, if t is a geometric point of Zi
generizing to si (as in Proposition 3.2), then π1ét (Tt ) and π1ét (Ts ) have a common image in
π1ét (U), where U = X \ Z. Let then Gi ⊆ π1ét (U) denote this common image. Note this
common image is only unique up to conjugation. In particular, since the index set I is finite,
there are only finitely many Gi up to conjugation.
Claim 4.3. There is an open normal subgroup H ≤ π1ét (U) that intersects Gi trivially for
every i.
Proof of claim. Note that π1ét (U) is a profinite group
π1ét (U) = lim Qj
←−
where the Qj are quotients of π1ét (U). Thus each Gi maps injectively to Qj for large enough
→ Qj ).
j ≫ 0. Choose a large enough j that works for all Gi and let H = ker(π1ét (U) −
In particular, H is an open normal subgroup that intersects each Gi trivially and hence by
normality, it also intersects any conjugate trivially. This proves the claim.

e−
Returning to the proof, by the Galois
correspondence, there is a Galois cover ̺ : U
→U

ét
ét e
e
e
→ X be the integral closure
such that AutU (U ) = Qj and π1 U = H ⊆ π1 (U). Let ρ : X −
e ), which is finite and its pullback to U is exactly ̺. In particular, ρ is quasi-étale
of X in K(U
and generically Galois. In what remains, we prove
that ρ has the desired property.

e
e
e Take σ : Y −
e
Let V −
→ U be a finite étale cover in FÉt U , we will extend it across X.
→X
e in K(V ). It suffices to prove that Y −
e is étale.
to be the integral closure of X
→X
e be the complement of the branch locus of σ. Let Ze denote the inverse image
Let W ⊆ X
e and note that U
e is the inverse image of U in X,
e so that U
e=X
e \ Z.
e Now U
e⊆W
of Z in X
e By Claim 3.5, a geometric point x ∈ X
e belongs to W if
and we want to show that W = X.
sh
sh
e
e
e
is trivial, where Zesh is the
and only if the pullback of σ : Y −
→ X to Tx := Spec OX,x
e \Z
e
preimage of Z.
e Tex −
e factors through U
e . Thus the pullback of
For any geometric point x ∈ X,
→ X
e to Tex coincides with the pullback of V −
e to Tex . We see that x ∈ W if
σ: Y −
→ X
→ U
e to Tex is trivial. Hence it suffices to show that for
and only if the pullback of V −
→ U
e
e ∈ FÉt(U),
e the pullback of V −
e to Tex is trivial.
all geometric points x ∈ X and all V /U
→U


e
Equivalently, we want the induced homomorphism of fundamental groups π1ét Tex −
→ π1ét U
to be zero [Mur67, 5.2.3]. This is argued below.

8

B. BHATT, J. CARVAJAL-ROJAS, P. GRAF, K. SCHWEDE, AND K. TUCKER

e We have a commutative diagram
Let t ∈ X be the image of the geometric point x ∈ X.
Tex

e
U

/



Tt



U
/

with finite étale vertical morphisms. By applying π1ét (−) we obtain the commutative square

/ H
π1ét T ex
_
_




π1ét (Tt )
/

π1ét (U)

However, by construction H meets the image of π1ét (Tt ) in π1ét (U) trivially, which forces the
top map in this square to be zero, as required.

If X is a strongly F -regular proper variety over an F -finite field k, and U = Xreg , then it
follows from [ST14, Theorem 7.6] that any étale cover U is cohomologically tame and hence
tame in all the senses of [KS10]. From this we immediately obtain the following corollary.
Corollary 4.4. If X is a strongly F -regular proper variety over an F -finite field k with
e−
U = Xreg , then the map X
→ X from Corollary 4.2 restricts to a tame étale cover of U.
We also obtain a local version of Corollary 4.2.

Corollary 4.5. (cf. [GKP13, Theorem 1.9]) Suppose that X is an F -finite Noetherian integral strongly F -regular scheme and that x ∈ X is a point. Then there exists a Zariski-open
e◦ −
neighborhood x ∈ X ◦ ⊆ X and a finite quasi-étale generically Galois cover ρ : X
→ X◦
e ◦ normal and which satisfies the following property:
with X
f = ρ−1 (W ), any furFor every further Zariski-open neighborhood x ∈ W ⊆ X ◦ , with W
f ) is an
freg ) −
f is étale. Equivalently, π ét (W
→ π1ét (W
→ W
ther finite quasi-étale cover W −
1
isomorphism.
Proof. Suppose not, i.e. assume that for every x ∈ X ◦ ⊆ X and every finite quasi-étale
ρ
f◦ −
generically Galois X
→ X ◦ , there is x ∈ W ⊆ X ◦ and a finite quasi-étale W −
→ ρ−1 (W )
→ W is Galois.
that is not étale. By taking Galois closure, we may assume that W −
Apply this assumption with X ◦ := X and ρ := idX . We obtain a map W −
→ W , which
we denote η1 : Y1 −
→ X1 . Applying the assumption again, this time to η1 , we get a map
η2 : Y2 −
→ X2 together with maps γ1 : Y2 −
→ Y1 and X2 ֒→ X1 . Inductively, we construct a
diagram as in Theorem 4.1, but where none of the γi are étale. This contradicts Theorem 4.1.

Remark 4.6. Note that one cannot always take X ◦ = X in the statement of Corollary 4.5,
even in characteristic zero. Indeed let X be the projective quadric cone V (x2 − yz) ⊆ P3C .
Then Xreg is simply connected (it is an A1 -bundle over P1C ), so every finite quasi-étale cover of
X is trivial. On the other hand, the affine quadric cone U ⊆ X does have a finite quasi-étale
cover that is not étale, corresponding to k[x2 , xy, y 2] ⊆ k[x, y].
In characteristic 2, π1ét of the punctured quadric cone singularity is trivial and hence this
computation does not work (the local cover above is in fact inseparable). However, one can

ÉTALE FUNDAMENTAL GROUPS OF STRONGLY F -REGULAR SCHEMES

9

obtain the same conclusion over an algebraically closed field of characteristic p > 2. Let
X′ −
→ X be a finite quasi-étale generically Galois cover of X that is not étale. Let O ∈ X
be the cone point. It follows that
sh
X ′ ×X Spec OX,O
sh
sh
is a disjoint union of copies of V −
→ OX,O
where V is the regular 2-to-1 cover of Spec OX,O
(corresponding to k[x2 , xy, y 2] ⊆ k[x, y]).
Let L be a ruling of the cone and consider X ′ ×X L −
→ L. This map is étale except over
′
the cone point O ∈ L ⊆ X, and over that point X ×X L is not even reduced. However, if
one takes L′ = (X ′ ×X L)red then the computation kJx2 , xy, y 2K/hx2 , xyi ⊆ kJx, yK/hx2 , xyi
shows that L′ is normal and furthermore that L′ −
→ L is ramified of order 2 over O on
each connected component. In particular, L′ −
→ L is ramified over a single point and that
ramification is tame (since p > 2), but L ∼
= P1 and so this is a contradiction. Hence any
quasi-étale cover of X is in fact étale and so we cannot take X ◦ = X in Corollary 4.5 just
as in characteristic zero.

Remark 4.7. We believe one can prove Corollary 4.5 using a strategy similar to Corollary 4.2.
In particular, we can first assume that x is in the closure of any stratum Zi (if not, shrink
X to remove those strata). Then use

π1ét (Spec OX,x ) \ (inverse image of Z)
as the replacement for π1ét (U) in the proof of Corollary 4.5. The H we obtain produces a
cover that is quasi-étale over a neighborhood X ◦ of x and which satisfies the desired property.
Just as in [GKP13, Theorem 1.10], we obtain a result on simultaneous index-one covers.
e ◦ ։ X ◦ ⊆ X is as in Corollary 4.5. Suppose
Corollary 4.8. Suppose that x ∈ X and X
further that X ◦ is chosen to be affine (or quasi-projective over an affine scheme).
e is any Z(p) -Cartier3 divisor on X
e ◦ , then D
e is Cartier.
(a) If D
(b) There exists an integer N > 0 so that if D is any Z(p) -Cartier divisor on X ◦ , then
N · D is Cartier.
Proof. The proof is exactly the same as the proof of [GKP13, Theorem 1.10], and so we omit
it. Of course, the main idea is to take a cyclic cover. The hypothesis that X ◦ is affine (or
more generally quasi-projective over an affine) is assumed so that for any finite collection of
points S ⊆ X ◦ and for any line bundle L on X, that there exists an open neighborhood of
S which trivializes L .

Just as in [GKP13], Corollary 4.8 implies that for any F -finite Noetherian integral strongly
F -regular scheme, there exists an integer N > 0 such that if D is Z(p) -Cartier, then N · D
is Cartier. The point is that by quasi-compactness, X can be covered by finitely many open
X ◦ satisfying Corollary 4.8.
References
[Tra14]

3This

Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schémas quasi-excellents,
Séminaire à l’École Polytechnique 2006–2008. [Seminar of the Polytechnic School 2006–2008],
With the collaboration of Frédéric Déglise, Alban Moreau, Vincent Pilloni, Michel Raynaud, Joël

just means it is Q-Cartier with index not divisible by p.

10

B. BHATT, J. CARVAJAL-ROJAS, P. GRAF, K. SCHWEDE, AND K. TUCKER

Riou, Benoı̂t Stroh, Michael Temkin and Weizhe Zheng, Astérisque No. 363-364 (2014) (2014),
2014. 3309086
[CST16] J. Carvajal-Rojas, K. Schwede, and K. Tucker: Fundamental groups of F -regular singularities via F -signature, arXiv:1606.04088.
[DSPY16] A. De Stefani, T. Polstra, and Y. Yao: Globalizing F-invariants, arXiv:1608.08580.
[GW10] U. Görtz and T. Wedhorn: Algebraic geometry I. Schemes. With examples and exercises.,
Advanced Lectures in Mathematics. Wiesbaden: Vieweg+Teubner. vii, 615 p. EUR 59.95 , 2010
(English).
[GKP13] D. Greb, S. Kebekus, and T. Peternell: Étale fundamental groups of Kawamata log terminal spaces, flat sheaves, and quotients of Abelian varieties, To appear in Duke Mathematical
Journal, arXiv:1307.5718.
[HW02] 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)
[Har94]
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)
[KS10]
M. Kerz and A. Schmidt: On different notions of tameness in arithmetic geometry, Math.
Ann. 346 (2010), no. 3, 641–668. MR2578565
[Mil80]
J. S. Milne: Étale cohomology, Princeton Mathematical Series, vol. 33, Princeton University
Press, Princeton, N.J., 1980. 559531
[Mil13]
J. S. Milne: Lectures on Étale cohomology, 2013, http://www.jmilne.org/math/CourseNotes/LEC.pdf.
[Mur67] J. P. Murre: Lectures on an introduction to Grothendieck’s theory of the fundamental group,
Tata Institute of Fundamental Research, Bombay, 1967, Notes by S. Anantharaman, Tata Institute of Fundamental Research Lectures on Mathematics, No 40. 0302650
[Pol15]
T. Polstra: Uniform bounds in F -finite rings and lower semi-continuity of the F -signature,
arXiv:1506.01073.
[PT16]
T. Polstra and K. Tucker: F -signature and hilbert-kunz multipicity: a combined approach
and comparison, arXiv:1608.02678.
[ST14]
K. Schwede and K. Tucker: On the behavior of test ideals under finite morphisms, J. Algebraic Geom. 23 (2014), no. 3, 399–443. 3205587
[Smi16]
I. Smirnov: Upper semi-continuity of the Hilbert-Kunz multiplicity, Compos. Math. 152 (2016),
no. 3, 477–488. 3477638
[Sta16]
T. Stacks Project Authors: stacks project, 2016.
[Xu14]
C. Xu: Finiteness of algebraic fundamental groups, Compos. Math. 150 (2014), no. 3, 409–414.
3187625

[Yao06]

Y. Yao: Observations on the F -signature of local rings of characteristic p, J. Algebra 299 (2006),
no. 1, 198–218. MR2225772 (2007k:13007)

Department of Mathematics, University of Michigan, Ann Arbor, MI 48109
E-mail address: bhargav.bhatt@gmail.com
Department of Mathematics, University of Utah, Salt Lake City, UT 84112
Escuela de Matemática, Universidad de Costa Rica, San José 11501, Costa Rica
E-mail address: carvajal@math.utah.edu
Lehrstuhl für Mathematik I, Universität Bayreuth, 95440 Bayreuth, Germany
E-mail address: patrick.graf@uni-bayreuth.de
Department of Mathematics, University of Utah, Salt Lake City, UT 84112
E-mail address: schwede@math.utah.edu
Department of Mathematics, University of Illinois at Chicago, Chicago, IL 60607
E-mail address: kftucker@uic.edu

