3 Étale Covers
Definition
(Étale cover)
An (finite) étale cover is a morphism that is finite and étale. We write FEtX for the category of étale covers of X.
A trivial cover of X is one that is a finite disjoint union of copies of X.
Lemma
Étale covers are closed under pullback and composition, and satisfy fpqc descent.
Lemma
Affine, and in particular étale morphisms are separated.
It turns out being an étale cover imposes strong conditions on the map.
Lemma
A finite and flat morphism f:Y→X is locally free, i.e. f∗OY is a locally free OX-module.
We check this on stalks. Suppose
A is a Noetherian local ring and
M is a flat
A-module. We want to show
A is free. By Nakayama, there is a surjection
Ak→M whose quotient by
m is an isomorphism. Then by the Tor long exact sequence, the quotient of the kernel by
m is also trivial. By Nakayama, this implies
Ak→M is injective.
Corollary
For any Y∈FEtX and geometric point x:Speckˉ→X, the pullback x∗Y is finite and the cardinality does not depend on x. In particular, Y→X is surjective, hence faithfully flat. We call this cardinality the degree of x.
x∗Y→Speckˉ is an étale morphism over a separably closed field, hence a discrete number of copies of
Speckˉ. This number is the rank of
f∗OY as an
OX-module, and is locally constant, hence constant.
Proposition
The degree is invariant under pullback, and non-empty covers have non-empty degree.
In algebraic topology, a map is a covering space if it is locally trivial. The same is true for étale covers, if we allow ourselves to view any étale morphism to X as an “open set” of X.
Lemma
If p:Y→X is an étale cover, then there is an étale cover f:X′→X such that f∗p is trivial.
If we pull back
p along itself, then we can split off the diagonal as a trivial component of
Y×XY. So we are done by induction on the degree.
Corollary
If we have a composition
where p and p∘q are étale covers, then so is q.
By fpqc descent, we may assume that
Z and
Y are both trivial covers, in which case the proposition is clear.