Recall last time we talked about how we can form the sheaf of Witt vectors over a variety that is defined over an algebraically closed field of characteristic . The sections of the structure sheaf form rings and we can take of those rings. The functoriality of gives us that this is a sheaf that we denote . For today we’ll be define to be .
Recall that we also noted that makes sense and is a -module annihilated by (recall that we noted that Frobenius followed by the shift operator is the same as multiplying by , and since Frobenius is surjective, multiplying by is just replacing the first entry by and shifting, so multiplying by is the same as shifting over entries and putting ‘s in, since the action is component-wise, is just multiplying by everywhere and hence annihilates the module).
In fact, all of our old operators , , and still act on . They are easily seen to satisfy the formulas , , and for . Just by using basic cohomological facts we can get a bunch of standard properties of . We won’t write them all down, but the two most interesting (of the very basic) ones are that if is projective then is a finite -module, and from the short exact sequence we looked at last time , we can take the long exact sequence associated to it to get
If you’re like me, you might be interested in studying Calabi-Yau manifolds in positive characteristic. If you’re not like me, then you might just be interested in positive characteristic K3 surfaces, either way these cohomology groups give some very good information as we’ll see later, and for a Calabi-Yau’s (including K3’s) we have for where is the dimension of . Using this long exact sequence, we can extrapolate that for Calabi-Yau’s we get for all and . In particular, we get that for a K3 surface where we just define in the usual way.