I heard an idea tossed around recently that I’d like to share with you all. I worry that it might be a little half-baked, as I’ve only heard about it recently and so maybe haven’t spent enough time sketching out the edges of it. Maybe writing this will help. Throughout, is a perfect field of positive characteristic .
Where Lie theorists study Lie algebras, formal algebraic geometers study (covariant) Dieudonné modules. The essential observation is that the sorts of formal Lie groups appearing in algebraic topology are commutative and one-dimensional, meaning that their associated Lie algebras are one-dimensional vector spaces with vanishing brackets, and so it is unreasonable to think that it would carry much interesting information about its parent formal Lie group. To correct for this, one takes the collection of all curves on the formal group (i.e., without reducing to their linear equivalence classes, as one does when building the Lie algebra) and remembers enough structure stemming from the group multiplication that this assignment
becomes an equivalence. Such collections of curves form modules, called “Dieudonné modules”, over a certain ground ring, called the Cartier ring, which is built upon the ambient field . The three relevant pieces of structure are the actions of homotheties, of the Frobenius, and of the Verschiebung, which were all described way back in this post on Witt vectors. (In the notation of that post, we’re interested just in and .) Altogether, this gives a formula for the Cartier ring:
Say that a Dieudonné module is formal when it is: finite rank; free as a -module; reduced, meaning that it’s -adically complete; and uniform, meaning that the natural map is an isomorphism. Then, the Dieudonné functor on finite height formal groups lands in the subcategory of formal Dieudonné modules, and there it restricts to an equivalence. Actually, more is true: the Dieudonné module of a -divisible group can be made sense of, and Dieudonné modules which are free of finite rank (but without reducedness or uniformity) are equivalent to -divisible groups.
Dieudonné modules are thrilling because they are just modules, whereas -divisible groups are these unwieldy ind-systems of finite group schemes. The relative simplicity of the data of a Dieudonné module allows one to compute basic invariants very quickly:
Theorem: Take to be a -divisible group and its Dieudonné module. There is a natural isomorphism of -vector spaces . In the case that is one-dimensional, then the rank of as a -module agrees with the height of . Moreover, if is a coordinate on (considered as a curve), then forms a basis for .
There is also something like a classification of the simple Dieudonné modules over (where, among other things, the étale component of a p-divisible group carries little data):
Theorem (Dieudonné): For and coprime and positive, set
Additionally, allow the pairs to get
and to get
(All these modules have formal dimension and height .) For any simple Dieudonné module , there is an isogeny , i.e., a map with finite kernel and cokernel. Moreover, up to isogeny every Dieudonné module is the direct sum of simple objects.
Every abelian variety comes with a p-divisible group arising from its system of -power order torsion points. This connection is remarkably strong; for instance, there is the following theorem:
Theorem (Serre–Tate): Over a -adic base, the infinitesimal deformation theories of an abelian variety and its -divisible group agree naturally.
For this reason and others, the -divisible group of an abelian variety carries fairly strong content about the parent variety. On the other hand, it is not immediately clear which -divisible groups arise in this way. Toward this end, there is a symmetry condition:
Lemma (“Riemann–Manin symmetry condition”): As every abelian variety is isogenous to its Poincaré dual and the corresponding (Cartier) duality on -divisible groups sends ( to and hence) to , these summands must appear in pairs in the isogeny type of the Dieudonné module of .
As a simple example, this gives the usual categorization of elliptic curves: an elliptic curve is -dimensional, hence has -divisible group of height . One possibility, called a supersingular curve, is for the Dieudonné module to be isogenous to ; this is a -dimensional formal group of height and it satisfies the symmetry condition. The only other possibility, called an ordinary curve, is for the Dieudonné module to be isogenous to ; this is the sum of a -dimensional formal group of height with an étale component of height , and it too satisfies the symmetry condition.
A remarkable theorem is that the converse of the symmetry lemma holds as well:
Theorem (Serre, Oort; conjectured by Manin): If a Dieudonné module satisfies the above symmetry condition, then there exists an abelian variety whose -divisible group is isogenous to .
Both proofs of this theorem are very constructive. Serre’s proof explicitly names abelian hypersurfaces whose -divisible groups are of the form , for instance.
Now, finally, some input from algebraic topology. The Morava -theories of Eilenberg–Mac Lane spaces give a collection of formal groups which can be interpreted in the following way:
Theorem (Ravenel–Wilson): For , the -divisible group associated to is (in a suitable sense) the th exterior power of the -divisible group . It is smooth, has formal dimension , and has height . (Additionally, it is zero for .)
Theorem (Buchstaber–Lazarev): For , the same -divisible group has Dieudonné module isogenous to the product of copies of , where is the reduced fraction of .
The conclusion of Buchstaber and Lazarev is that this means that these -divisible groups almost never have realizations as abelian varieties, since they mostly don’t satisfy the symmetry condition. The only time that they do is something of an accident: when is even and , then the corresponding Dieudonné module is isogenous to that of a large product of copies of a supersingular elliptic curve. However, Ravenel observed that Pascal’s triangle is symmetric:
Observation (I heard this from Ravenel, but surely Buchstaber and Lazarev knew of it): The sum of all of the Dieudonné modules
satisfies the Riemann-Manin symmetry condition.
This is an interesting observation. In light of the comments at the end of the Buchstaber–Lazarev paper, one wonders: why privilege ? But, even more honestly, why privilege in our study of chromatic homotopy theory? A recurring obstacle to our understanding of higher-height cohomology theories has been the disconnection from the picture of globally defined abelian varieties. Could there be a naturally occurring abelian variety whose -divisible group realizes the large (-dimensional!) formal group associated to the -theoretic Hopf ring of Eilenberg–Mac Lane spaces?
The explicit nature of the solutions to Manin’s conjecture show us that, yes, it is certainly possible to write down large products of hypersurfaces to give a positive answer to this question with the words “naturally occurring” deleted. This alone isn’t very helpful, however, and so to pin down what we might be even talking about there are a number of smaller observations that might help:
 - Presumably this can be expressed by saying that the map from a moduli of abelian varieties to a moduli of -divisible groups is formally étale, but no one seems to say this, so maybe I’m missing something.
I’ve been making an effort to learn some arithmetic geometry recently. I started with local class field theory, which was mind-blowing. When I was a first year, someone sat me down and instructed me that I must take a course in complex geometry to become competent — and they were right, and it was a wonderful course, and I’m really glad I got that advice. I have no idea how (especially as I’ve been bumbling about with formal groups for so long!) it slipped past me that local class field theory is another one of these core competencies, and really one of the great achievements of twentieth century mathematics.
I gave a kind of measly talk about this a month ago, when I was trying to stir up interest in a reading group. The notes are a little batty, but they’re fun enough, and you can find them here.
Speaking of mind-blowing things, last week there was a week-long workshop on perfectoid spaces at MSRI, which I attended between one-third and one-half of. There are video lectures available on the MSRI website; at the very least everyone should watch Scholze’s introduction, just to get a sense of what all the fuss is about, and then ideally both of Weinstein’s lectures, which were excellent and very much adjacent to the subject of this post — this blog, really.
And, as an uninspired parting remark, we topologists do have access to the pro-system