(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:

TheoremIf 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 13If 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 15Let 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