This is a continuation of the project outlined in this post yesterday of describing Grothendieck’s proof that the fundamental group of a smooth curve in characteristic has topological generators (where is the genus). The first step, as I explained there, is to show that one may “lift” such smooth curves to characteristic zero, in order that a comparison may be made between the characteristic curve and something much more concrete in characteristic zero, that we can approach via topological methods. This post will be devoted to showing that such a lifting is always possible.

**1. Introduction**

It is a general question of when one can “lift” varieties in characteristic to characteristic zero. Doing so often allows one to bring in transcendental techniques (to the lift), as it will in this case of . Let us thus be formal:

Definition 4Let be a proper, smooth scheme of finite type over a field of characteristic . We say that aliftingof is the data of a DVR of characteristic zero with residue field , and a proper, smooth morphism whose special fiber is isomorphic to .

There are obstructions that can prevent one from making such a lifting. One example is given by étale cohomology. A combination of the so-called proper and smooth base change theorems implies that, in such a situation, the cohomology of the special fiber and the cohomology of the general fiber, with coefficients in any finite group without -torsion, are isomorphic. As a result, if there is something funny in the étale cohomology of , it might not be liftable. See this MO question.

In the case of curves, fortunately, it turns out there are no such problems, but still actually lifting one will take some work. We aim to prove:

Theorem 5Let be a smooth, proper curve of finite type over the field of characteristic . Then if is any complete DVR of characteristic zero with residue field , there is a smooth lifting of .

One should, of course, actually check that such a complete DVR does exist. But this is a general piece of algebra, found for instance in Serre’s *Local Fields.*

The reason there won’t be any obstructions in the case of curves is that they are of dimension one, but we’ll see that the cohomological obstructions to lifting all live in .

The strategy, in fact, will be to lift to a sequence of smooth schemes (where is the maximal ideal) that each lift each other, using the local nilpotent lifting property of smooth morphisms.

This family is an example of a so-called *formal scheme,* which for our purposes is just such a compatible sequence of liftings. Obviously any scheme gives rise to a formal scheme (take the base-changes to ), but it is actually nontrivial (i.e., not always true) to show that a formal scheme is indeed of this form. But we will be able to do this as well in the case of curves. (more…)