One of the early achievements of Grothendieck’s theory of schemes was the (partial) computation of the étale fundamental group of a smooth projective curve in characteristic . The result is that if
is a curve of genus
over an algebraically closed field of characteristic
, then its fundamental group is topologically generated by
generators. This is analogous to the characteristic zero case, where the topological fundamental group generated by
generators (subject to a single relation) by the theory of surfaces. Since this result uses many interesting techniques, I thought I would devote a few posts to discussing it.
To motivate étale , let’s recall the following statement:
Theorem 1 Let
be a nice topological space, and
. Then the functor
establishes an equivalence of categories between covering spaces
and
-sets.
This is one way of phrasing the Galois correspondence between subgroups of and connected covering spaces of
, but which happens to be more categorical and generalizable. The interpretation of
as classifying covering spaces is ultimately the one that will work in an algebraic context. One can’t talk about homotopy classes of loops in an algebraic variety. However, Grothendieck showed:
Theorem 2 Let
be a connected scheme, and
a geometric point. Then there is a unique profinite group
such that the fiber functor of liftings
establishes an equivalence of categories between (finite) étale covers
and finite continuous
-sets.
The intuition is that étale covers are supposed to be analogous to covering spaces (because, for complex varieties, étale morphisms are local isomorphisms on the analytifications). However, one wishes to retain finite type hypotheses in algebraic geometry, so it makes sense to classify finite étale covers. (Hereafter, the word étale cover will implicitly mean finite.)
I don’t actually want to get into the proof of this theorem! Grothendieck did it by inventing his own formalism for Galois theory, which encompasses both classical Galois theory (of either field extensions or covering spaces) and the étale . The idea is that any suitably nice (by which one means artinian, and satisfying some other conditions) category with an appropriate “fiber functor”
to the category of finite sets (here, the pre-images of one point) becomes equivalent (via
) to the category of finite continuous
-sets for
a uniquely determined profinite group. In fact,
is the group of automorphisms of the fiber functor. It is also the projective limit of the automorphism groups of Galois objects in this category.
Moreover, it turns out that, when one is working over the complex numbers, the étale fundamental group turns out to be the profinite completion of the usual fundamental group. This is one way of stating the so-called Riemann existence theorem:
Theorem 3 Let
be a scheme of finite type over
. Then the analytification functor establishes an equivalence of categories between the category of finite étale covers of
and the category of finite covering spaces of the analytification.
In other words, we can use familiar transcendental techniques to compute the étale fundamental group of something in characterstic zero. The more interesting case is characteristic .
Anyway, let’s accept this, and try to sketch the idea behind Grothendieck’s proof. Fix a smooth curve over a field of characteristic
. The first step is to lift
to characteristic zero. The existence of the lifting is not trivial, but let’s assume it exists for now. In other words, choose a complete discrete valuation ring
of characteristic zero whose residue field is the field of characteristic
and a proper, smooth scheme
such that the special fiber is
.
Then, one can, using some of Grothendieck’s descent machinery, find relations between the fundamental groups of the special and general fiber. In particular, one can define a surjective “cospecialization” map between the general and specific fiber. But the general fiber is a curve in characteristic zero, and it has the same genus as by flatness of
, so the usual transcendental methods allow one to compute
of the general fiber. This will be the strategy.
This has been a short post, but it seems futile to actually start going into the technical details after a post intended to be an overview. Next time, I shall begin discussing the details, by discussing the process of lifting curves to characteristic zero.
June 19, 2011 at 3:37 pm
[…] is the third post in a project started here to describe some of Grothendieck’s work on the fundamental group of curves in positive […]
June 25, 2011 at 9:52 pm
[…] duality on manifolds (How to get classical algebraic topology from the derived category stuff), The fundamental group of a smooth projective curve in characteristic p, Trying to understand BBD, The long exact sequence in cohomology — on a […]