(This is the third post in a project started here to describe some of Grothendieck’s work on the fundamental group of curves in positive characteristic.)
Let be a smooth curve over an algebraically closed field
of characteristic
. We are interested in determining a set of topological generators for this curve. To do this, we started by showing that if
is a complete DVR with residue field
, then one can “lift” (by using cohomological vanishing and formal-to-algebraic comparison theorems)
to a smooth, proper morphism
.
Ideally, we will have chosen to be characteristic zero itself. Now our plan is to compare the two geometric fibers of
: one is
, and the other is
(where
is the generic point; the over-line indicates that one wishes an algebraic closure of
here) with each other. Ultimately, we are going to show two things:
- The natural map
is an isomorphism.
- The natural map
is an epimorphism.
Here we have been loose with notation, as we have not indicated the relevant geometric points. The geometric point is, however, irrelevant for a connected scheme.
It will follow from this that there is an continuous epimorphism of profinite groups
However, will be seen to be topologically generated by
generators (where
is the genus) by comparison with a curve over
. For a smooth curve of genus
over
, it is clear from the Riemann existence theorem (and the topological fundamental group) that
has
topological generators.
Thus, it will follow, as stated earlier:
Theorem If
is a smooth curve of genus
over an algebraically closed field of any characteristic,
is topologically generated by
generators.
One technical point will be, of course, that it is not entirely obvious that is the same as it would be for a curve over
. This requires independent proof, but it will not be too hard.
1. The specific fiber
Let be a complete local noetherian ring, and let
be a proper morphism. There is a “specific” fiber
of
, where
is the residue field of
.
Let be a geometric point. Since there is a natural inclusion
, there is a natural map
. Recall the definition of this map. For a scheme
, let
denote the category of schemes finite and étale over
(i.e. étale covers). Then there is a functor (base-change)
Note that is identified with the category of finite continuous
-sets, and
with the category of finite continuous
-sets. The map
is the one inducing the corresponding functor from -sets to
-sets.
We want to show that this is an isomorphism. This will follow directly as a consequence of the next result.
Theorem 13 If
is proper for
local, complete, and noetherian, and
is the specific fiber, then the functor of base-change induces an equivalence of categories between
and
.
This is a generalization of the more elementary fact that if is a complete local noetherian ring with residue field
, then the functor
induces an equivalence of categories between finite étale
-algebras and finite étale
-algebras.
Proof: Let us first start by showing that it is fully faithful. Let be étale
-schemes. Then a
-morphism
can be described as a certain subscheme of the product
, via its graph
. Namely, this subscheme
must be open and closed, and of degree one over
.
To see this, note that there is a cartesian diagram
However, is unramified over
, so the diagonal map
is an open immersion. It is also separated (being finite), so the diagonal map is a closed immersion. Thus
is a union of connected components of
. Moreover, any such open and closed
gives rise to a morphism
if the projection
is an isomorphism, which is equivalent to saying that it has degree one (because all these morphisms are étale). The same can be said for morphisms
.
However, we will see below that open and closed subsets of in natural bijection with open and closed subsets of
; moreover, it is clear that the degree of such a subset
is one over
if and only if the degree of
over
is one. (This follows again because
is connected if and only if
is, which we will see below.)
Now let us show that the functor is essentially surjective. That is, given an étale cover , we need to find an étale cover
whose fiber is
. To do this, we start by considering the family of infinitesimal thickenings
. We know that
can be lifted uniquely to a series of étale covers
, by the “équivalence remarquable de catégories” that any scheme étale over another scheme lifts uniquely to a nilpotent thickening (and in a fully faithful way). Note that said equivalence is not restricted to étale covers.
So given , we get a family of finite étale covers
. In other words, we get a formal scheme
, where
is identified with the family
. We want to know now that
is algebrizable, or that it comes from a proper scheme
.
To see this, we will use Grothendieck’s existence theorem in formal geometry. This theorem states:
Theorem 14 (Formal GAGA) If
is proper and
complete, local, and noetherian, then there is an equivalence of categories between coherent sheaves on
and coherent sheaves on the formal completion
.
We shall not prove this. In fact, we have not even properly defined a formal completion, let alone what a coherent sheaf on a formal scheme is. For our purposes, it suffices to say that the formal completion is the family of schemes (note that each
is the reduction of
) and a coherent sheaf on the formal completion is a compatible family of coherent sheaves on the
. The point is that this compatible family has to come from a well-defined coherent sheaf on
.
The analogous ordinary GAGA states that, on a proper variety over , analytification establishes an equivalence of categories between the category of coherent sheaves on
and coherent analytic sheaves on the analytification. As with formal GAGA, the hard part is not the full faithfulness of the functor, but the fact that any analytic sheaf comes from an algebraic one. The proof of ordinary GAGA is strikingly similar to that of formal GAGA, however. (It is perhaps more correct to say that sentence in the reverse order: formal GAGA came after Serre’s paper!)
Anyway, let’s return to the main goal: if one has a formal étale cover —that is, a compatible family of étale covers
—then the one compatible family of coherent sheaves on the
, because each
is a
of a coherent
-algebra, say
. This family
must come from a coherent sheaf
on
, and since each
is an algebra, it follows again formally that we can lift the algebra structure to
. We get a finite map
If we can show that this is étale, then we will be done.
But étaleness now follows formally, as before: namely, by the infinitesimal criterion of flatness and étaleness of , we find that
is étale at all points in the special fiber. By properness, as before, it follows that
is étale everywhere, since the étale locus is open. This proves the essential surjectivity.
Finally, to complete the proof of the above theorem, we need to prove:
Lemma 15 Let
be a proper scheme over
, where
is a complete local noetherian ring, and let
. Then the map
is an isomorphism.
Here denotes the functor of connected components.
Proof: Indeed, this follows from the formal function theorem, since open and closed subsets of any locally ringed space are in bijection with idempotents in the ring
.
Note that we can consider the infinitesimal liftings for each
. Each of these has the same topological space as
, and in particular the same
.
However, by the formal function theorem we have
In particular, the idempotents in are in bijection with
where
is the functor that assigns to each ring its set of idempotents. (
is a corepresentable functor, so it commutes with projective limits.) Anyway, since
, it follows that
By the connection between idempotents and , this completes the proof.
Leave a Reply