I was going to go on to prove a bunch of purely algebraic properties of the Witt vectors, but honestly this is probably only interesting to you if you are a pure algebraist. From that point of view, this ring we’ve constructed should be really cool. We already have the ring of -adic integers, and clearly directly generalizes it. They have some nice ring theoretic properties, especially where is a perfect field of characteristic .
Unfortunately it would take awhile to go through and prove these things, and it would just be tedious algebra. Let’s actually see why algebraic geometers and number theorists care about the Witt vectors. First, we’ll need a few algebraic facts that we haven’t talked about. For today, we’re going to fix a prime and we have an notational change: when I write I mean , which means I’ll also write when I mean and I’ll write when I mean . This shouldn’t cause confusion as it is really just a different way of thinking about the same thing, and it is good to get used to since this is the typical way they appear in the literature (on the topics I’ll be discussing).
There is a cool application by thinking about these functors as representable by group schemes or ring schemes, but we’ll delay that for now in order to think about cohomology of varieties in characteristic and hopefully relate it back to de Rham stuff from a month or so ago.
In addition to the fixed , we will assume that is a commutative ring with and of characteristic .
We have a shift operator that is given on elements by . The V stands for Verschiebung which is German for “shift”. Note that this map is additive, but is not a ring map.
We have the restriction map given by . This one is a ring map as was mentioned last time.
Lastly, we have the Frobenius endomorphism given by . This is also a ring map, but only because of our necessary assumption that is of characteristic .
Just by brute force checking on elements we see a few relations between these operations, namely that and the multiplication by map.
Now on to the algebraic geometry part of all of this. Suppose is a variety defined over an algebraically closed field of characteristic , say . Then we can form the sheaf of Witt vectors on as follows. Notice that all the stalks of the structure sheaf are local rings of characteristic , so it makes sense to define the Witt rings for any postive . Now just form the natural sheaf that has as its stalks .
Note that forgetting ring structure and thinking only as a sheaf of sets we have that is just , and when it is actually isomorphic as a sheaf of rings. For larger the addition and multiplication is defined in that strange way, so we no longer get an isomorphism of rings. Using our earlier operations and the isomorphism for , we can use the following sequences to extract information.
When we have the exact sequence . If we take , then we get the sequence . This will be useful later when trying to convert cohomological facts about to .
We could also define as sheaf cohomology because we can think of just as a sheaf of abelian groups. Let , then since are -modules annihilated by , we get that are also -modules annihilated by . Next time we’ll talk about some other fundamental properties of the cohomology of these sheaves.