A Mind for Madness

Musings on art, philosophy, mathematics, and physics

Heights of p-divisible Groups

4 Comments


Let’s try to define a few words I’ve thrown around for a few weeks. What is a {p}-divisible group, and how do we know what its height is? I’m going to do two things that will either make this easier to understand or way more confusing. We will be working with group schemes. To keep from repeating everything twice with the word “formal” in front of everything I will rarely specify whether I mean formal group scheme or group scheme. Obviously some things are different in the formal case, but not so much. The other thing I’ll do is assume our group schemes are affine to simplify notation, but if you want to do this more generally you can.

The point of these posts should be to give an overview of how these things fit together. When trying to learn about this stuff, there are so many hundreds of terms and papers and details in the papers that it is really easy to forget what is going on. For instance, basically any reference on {p}-divisible groups will get very caught up in all the technical details of Dieudonne theory, and I want to massively downplay this aspect for the purpose of defining this invariant called the height of a variety.

On to the definition. A {p}-divisible group is just an inductive system {(G_\nu, i_\nu)} of group schemes satisfying two properties. First there must be an {h} so that the order of {G_\nu} is {p^{\nu h}}. Second, they must fit into an exact sequence {0\rightarrow G_\nu \stackrel{i_\nu}{\rightarrow} G_{\nu +1 } \stackrel{ p^\nu}{\rightarrow} G_{\nu +1}}. All this says is that if we look at the map that is multiplication by {p^{\nu}} on {G_{\nu +1}}, the kernel of this is the copy of {G_{\nu}} that sits inside {G_{\nu +1}} via {i_\nu}.

This might seem like a strange set of conditions at first, but really the two most natural examples of forming inductive systems of group schemes already satisfy both of these. The first one is to take an abelian variety {X} of dimension {g}. Then we have the isogenies multiplication by {p}, multiplication by {p^2}, etc. The kernels of these are all group schemes and it is well-known that they are isomorphic to {(\mathbb{Z}/p)^{2g}}, {(\mathbb{Z}/p^2)^{2g}}, etc. We just take the maps to be the inclusions and the {h=2g}.

The other main example is to do the same trick with {\mathbb{G}_m} by taking successive kernels of multiplication by {p}. We just get the inductive system {(\mu_{p^\nu}, i_{\nu})}. In this case the orders are just {p^\nu}, so {h=1}. We’ve suggestively labelled this number {h} which is the height of the {p}-divisible group. This one is usually denoted {\mathbb{G}_m(p)}.

There are lots of easy properties of {p}-divisible groups that can be verified mentally. For instance, you can put any two of {G_\nu} and {G_\alpha} into an exact sequence {0\rightarrow G_\nu \rightarrow G_{\nu + \alpha} \rightarrow G_\alpha \rightarrow 0}. A slightly harder property to check is that under mild base assumptions we have an equivalence of categories between {p}-divisible groups and divisible formal Lie groups. Under this equivalence we get that {\mathbb{G}_m(p)} corresponds to the one-dimensional Lie group with group law {F(X, Y)=X + Y + XY}, so our earlier notation of calling this {\widehat{\mathbb{G}_m}} makes sense because it comes from {\mathbb{G}_m(p)}.

Since ultimately we are concerned with computing heights, we should see if there is a way to figure out the height without computing orders. Let’s denote the Cartier dual of a group scheme by {G^D=Hom(G, \mathbb{G}_m)}. We can check that taking Cartier duals everywhere, we get another {p}-divisible group. I.e. {(G_\nu^D, i_\nu^D)} is an inductive system satisfying the properties of a {p}-divisible group. This is often called the Serre dual. If we denote the whole inductive system by {G}, then it is customary to write {G^t} for the Serre dual.

Note that duals can be quite different from the original group. In particular, the dimension can be different. In the case of {\mathbb{G}_m(p)} we get a dimension {1} etale group scheme, but it’s dual is {(\mathbb{Z}/p^\nu)} and hence a dimension {0} connected (with nilpotent structure) group scheme. If we add these two dimensions we get {1}, the height. This is true in general. We have the formula {h=\textrm{dim}(G)+\textrm{dim}(G^t)}. So we only need to know the dimensions of the group and its dual.

Another (much harder for calculating, but sometimes handy in theory) way to determine the height is to use the Dieudonne module we defined last time. If we take {D(G)} it is a {\mathbb{D}_k}-module, but also a free of finite rank {W(k)}-module. The rank of this module turns out to be the height of {G}. In a similar fashion, you can form another module out of {G} called the Tate module. By definition, multiplication by {p} is a map {G_{\nu +1}\rightarrow G_\nu}, and hence we get an inverse system. We define {T(G)=\lim G_{\nu}(\overline{k})} to be the Tate module. It is a free {\mathbb{Z}_p}-module. The rank of this is the height of {G}.

That is about the sketchiest crash course on {p}-divisible groups you can get, but I think it mentions enough to get to the next definition: the height of a variety in positive characteristic.

About these ads

Author: hilbertthm90

I write about math, philosophy, literature, music, science, computer science, gaming or whatever strikes my fancy that day.

4 thoughts on “Heights of p-divisible Groups

  1. Pingback: Sixth Linkfest

  2. Pingback: What are Crystals? « A Mind for Madness

  3. Pingback: Serre-Tate Theory 1 | A Mind for Madness

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

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 182 other followers