Since -divisible groups are pretty awesome, I’m coming back to them for a little bit. Today will tie into the crystalline stuff we’ve been looking at, but after that we’ll move on to the deformation theory of them. First, you’ll need to recall the posts about the Dieudonne module and the heights of -divisible groups (in particular, you should at the very least remind yourself what a -divisible group is).
Unless otherwise stated we will be working over a perfect field of positive characteristic. Almost everything done in the next several posts could actually be done in more generality by working on a general base and taking the -divisible group to be a sheaf of groups on the fppf site of Sch/S. Recall that a -divisible group is a formal group with the property that and we call the height of (this is NOT the definition, but merely a fact about them).
For any -divisible group we can form the Dieudonne module which turns out to be a free -module of rank . For our first new concept, is an example of something called an -crystal, or just crystal sometimes. For a definition, an -crystal is a free -module together with an injective endomorphism that is Frobenius semi-linear, i.e. , where is the lift of Frobenius to . The -crystals over form a category in the obvious way (maps have to respect the endomorphism) and more importantly this is the category for which we get an equivalence with -divisible groups just by the functor (note is an -crystal by using the standard Frobenius as the endomorphism).
Suppose is the fraction field of . An -isocrystal is a (finite dimensional) vector space over equipped with a Frobenius semi-linear automorphism. We always get one of these from a -divisible group as well by tensoring with . So define and the automorphism is obtained by extending Frobenius linearly. It is a major theorem that every -isocrystal has a direct sum decomposition called the slope decomposition . To see what this is, I typed it up here. The are called the slopes and they are a finite set of rational numbers. If is an isocrystal we also write to mean .
This brings us to an incredibly fascinating tie in to the heights of varieties. Recall that we have a -divisible group representing and the height of this is the height of the variety. But if we look at the crystalline cohomology we get an -isocrystal, and the part with slopes strictly less than is some finite dimensional vector space, and the dimension of this is the height of ! Maybe I’ll explain this more some other time, but it is very far off topic for now.
Grothendieck saw how nice the theory of crystals helped analyze -divisible groups and other things, so he tried to generalize it to crystalline cohomology (note, I have no idea about the accuracy of this historical tidbit). Suppose is a Zariski stack on Sch. An -crystal is a Cartesian section of the fibered category where the map from the crystalline site is given by (a functor we’ve talked about already). If you unravel all this, then you find that an -crystal is always a sheaf on that satisfies another condition. We’ll always think of -crystals in which case the extra condition is just that for any map in we get is an isomorphism.
We see that this is some sort of “rigidity” condition. In Berthelot and Ogus, they claim that Grothendieck coined the term crystal because it has two properties, it is both “rigid” as we saw and it “grows” over PD thickenings (this is automatically satisfied because it is a sheaf). A trivial example of a crystal is itself. A nontrivial, but incredibly useful example of a crystal is given any closed immersion (over some fixed PD scheme) the sheaf is an -crystal.
Suppose now we have some fixed (PD) base . In order to extend Dieudonne theory to this new sense of crystals, we might want a functor that sends a -divisible group to an -crystal. There is such a functor, but its construction requires us to know that the deformations of any -divisible group are unobstructed. This brings me to the point of this post. We want to understand the deformation theory of -divisible groups.