A Mind for Madness

Musings on art, philosophy, mathematics, and physics

Serre-Tate Theory 1


Today we’ll try to answer the question: What is Serre-Tate theory? It’s been a few years, but if you’re not comfortable with formal groups and {p}-divisible groups, I did a series of something like 10 posts on this topic back here: formal groups, p-divisible groups, and deforming p-divisible groups.

The idea is the following. Suppose you have an elliptic curve {E/k} where {k} is a perfect field of characteristic {p>2}. In most first courses on elliptic curves you learn how to attach a formal group to {E} (chapter IV of Silverman). It is suggestively notated {\widehat{E}}, because if you unwind what is going on you are just completing the elliptic curve (as a group scheme) at the identity.

Since an elliptic curve is isomorphic to it’s Jacobian {Pic_E^0} there is a conflation that happens. In general, if you have a variety {X/k} you can make the same formal group by completing this group scheme and it is called the formal Picard group of {X}. Although, in general you’ll want to do this with the Brauer group or higher analogues to guarantee existence and smoothness. Then you prove a remarkable fact that the elliptic curve is ordinary if and only if the formal group has height {1}. In particular, since the {p}-divisible group is connected and {1}-dimensional it must be isomorphic to {\mu_{p^\infty}}.

It might seem silly to think in these terms, but there is another “enlarged” {p}-divisible group attached to {E} which always has height {2}. This is the {p}-divisible group you get by taking the inductive limit of the finite group schemes that are the kernel of multiplication by {p^n}. It is important to note that these are non-trivial group schemes even if they are “geometrically trivial” (and is the reason I didn’t just call it the “{p^n}-torsion”). We’ll denote this in the usual way by {E[p^\infty]}.

I don’t really know anyone that studies elliptic curves that phrases it this way, but since this theory must be generalized in a certain way to work for other varieties like K3 surfaces I’ll point out why this should be thought of as an enlarged {p}-divisible group. It is another standard fact that {E} is ordinary if and only if {E[p^\infty]\simeq \mu_{p^\infty}\oplus \mathbb{Q}_p/\mathbb{Z}_p}. In fact, you can just read off the connected-etale decomposition:

\displaystyle 0\rightarrow \mu_{p^\infty}\rightarrow E[p^\infty] \rightarrow \mathbb{Q}_p/\mathbb{Z}_p\rightarrow 0

We already noted that {\widehat{E}\simeq \mu_{p^\infty}}, so the {p}-divisible group {E[p^\infty]} is a {1}-dimensional, height {2} formal group whose connected component is the first one we talked about, i.e. {E[p^\infty]} is an enlargement of {\widehat{E}}. For a general variety, this enlarged formal group can be defined, but it is a highly technical construction and would take a lot of work to check that it even exists and satisfies this property. Anyway, this enlarged group is the one we need to work with otherwise our deformation space will be too small to make the theory work.

Here’s what Serre-Tate theory is all about. If you take a deformation of your elliptic curve {E} say to {E'}, then it turns out that {E'[p^\infty]} is a deformation of the {p}-divisible group {E[p^\infty]}. Thus we have a natural map {\gamma: Def_E \rightarrow Def_{E[p^\infty]}}. The point of the theory is that it turns out that this map is an isomorphism (I’m still assuming {E} is ordinary here). This is great news, because the deformation theory of {p}-divisible groups is well-understood. We know that the versal deformation of {E[p^\infty]} is just {Spf(W[[t]])}. The deformation problem is unobstructed and everything lives in a {1}-dimensional family.

Of course, let’s not be silly. I’m pointing all this out because of the way in which it generalizes. We already knew this was true for elliptic curves because for any smooth, projective curve the deformations are unobstructed since the obstruction lives in {H^2}. Moreover, the dimension of the space of deformations is given by the dimension of {H^1(E, \mathcal{T})}. But for an elliptic curve {\mathcal{T}\simeq \mathcal{O}_X}, so by Serre duality this is one-dimensional.

On the other hand, we do get some actual information from the Serre-Tate theory isomorphism because {Def_{E[p^\infty]}} carries a natural group structure. Thus an ordinary elliptic curve has a “canonical lift” to characteristic {0} which comes from the deformation corresponding to the identity.

About these ads

Author: hilbertthm90

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

2 thoughts on “Serre-Tate Theory 1

  1. 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


Get every new post delivered to your Inbox.

Join 172 other followers