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.