Perhaps the last post didn’t provide you with enough motivation to understand deformations of -divisible groups. Today we’ll look at a much more general situation where it is again useful to know the deformation theory. Recall the general setup of trying to understand a class of objects. Say abelian varieties of dimension . You probably want to form some sort of moduli space, so you usually say what the points of the space are and then try to prove that these points form some sort of scheme or stack that isn’t too horrible.

Often times it is horrible, though, so there is another trick to try to understand what is going on. You look at the deformations of some object. This will tell you what is happening in some formal local neighborhood of that object on the moduli space. This means that deformations actually are useful for understanding classification. For instance, all K3 surfaces can be deformed to eachother (analytically, but not algebraically), so this means that as manifolds they are all diffeomorphic, but they are not algebraically equivalent.

Here is the motivation. Recall that one of the easiest examples of a -divisible group is that whenever you have an abelian variety of dimension , you can take the -torsion points . Set , then you have a height -divisible group (as long as the characteristic of is relatively prime to otherwise the height is different, but you still get a -divisible group).

Here is an absolutely beautiful result of Serre and Tate: Fix some Artin local -algebra and let AbSch() be abelian schemes over and BT() the category with objects where is an abelian variety over , is a -divisible group over and is a choice of isomorphism of the special fiber of with the -divisible group associated to , so . The result is that there is an equivalence of categories given simply by .

In particular, for an abelian variety we get an isomorphism of deformation functors . So if you want to understand the deformation theory of abelian varieties you could try to understand the deformations of -divisible groups. This is the topic of the great book by Messing *The Crystals Associated to Barsotti-Tate Groups: with Applications to Abelian Schemes*. Might I point out that whenever I find a book great and useful it seems to always have been moved to math storage as something no one ever looks at.

A similar thing happens with ordinary K3 surfaces (you can’t quite take the Artin-Mazur formal group, but instead an “enlarged” version of it). Many people are interested in knowing whether certain varieties lift to characteristic , and not only that but in a very nice way (maybe you remember the Hodge filtration or you want it to satisfy the Tate conjecture). These are called “canonical lifts” and a really beautiful way to construct them is by showing that the deformation functor is isomorphic to the deformations of some particular -divisible group of height .

If you know that the deformations of a -divisible group are unobstructed, then this produces a lift. If you know even more, like the deformation functor is represented by a smooth formal group scheme (which in the height case it is) you can take a canonical choice of lift, namely the one you get from the identity element. This is one way to get a canonical lift of ordinary abelian varieties and ordinary K3 surfaces.

Now hopefully everyone has at least a little interest in deformations of -divisible groups. I have to say that I find this idea amazing and quite under-used. You want to know whether there is a lift to characteristic , or maybe just in general you want to understand the deformations of some object. This in general is incredibly hard. Instead, you find a candidate -divisible group associated to the object and show that the deformation functors are related or isomorphic. Then you can extrapolate information about the original deformation functor, since the deformations of -divisible groups are well understood. I have to admit that this technique has not been very useful to me so far in my research, but I’m quite optimistic still…

Pingback: p-Divisible Groups Revisited 1 | A Mind for Madness