Heights of p-divisible Groups

May 15, 2011 by hilbertthm90 | 3 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 am a mathematics graduate student fascinated in how all my interests fit together.

	Serre-Tate Theory 2… on Gauss-Manin Connection 1
	Serre-Tate Theory 2… on What’s up with the fppf…
	Serre-Tate Theory 1… on Deformations of p-divisible…
	Serre-Tate Theory 1… on Heights of p-divisible Gr…
	Serre-Tate Theory 1… on Formal Groups 1

M	T	W	T	F	S	S
« Apr				Jun »
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30	31

A Mind for Madness

Musings on art, philosophy, mathematics, and physics

3 thoughts on “Heights of p-divisible Groups”

Leave a Reply Cancel reply

Follow “A Mind for Madness”

Like this:

Author: hilbertthm90

3 thoughts on “Heights of p-divisible Groups”

Leave a Reply Cancel reply

Follow “A Mind for Madness”