Finite flat commutative group schemes, with an eye towards p-divisible groups

I’ve been reading a lot recently about {p}-divisible groups, which are algebro-geometric approximations to homotopy theory much like formal groups, though perhaps a bit better behaved. Recall that we can get a formal group by taking the completion of an elliptic curve at the identity; over a field of characteristic {p}, this will be height 2 if the curve is supersingular, but only height 1 if it’s not. More generally, the sorts of base changes that invert things in the maximal ideal of your base ring tend to decrease the height of formal groups. The {p}-divisible viewpoint says that formal groups in positive characteristic naturally sit inside objects whose height is constant under base change — in particular, every elliptic curve will give you a height 2 {p}-divisible group, with some of this height being `non-formal’ if the curve is ordinary. (And more generally, you get a height {2n} {p}-divisible group from an abelian variety of dimension {n} in characteristic {p}.)

In algebraic geometry and number theory, various results by Tate, Grothendieck, Messing and others argue the general point that the deformation theory of a grouplike object in characteristic {p} is controlled by the deformation theory of its {p}-divisible group. This idea has been key to a number of recent developments in homotopy theory, — in general, we hope that various moduli objects of {p}-divisible groups are easier to study than the analogous moduli objects of formal groups, while offering the same level of access to the category of spectra. The key result in this field, due to Lurie, actually allows you to build spectra from 1-dimensional {p}-divisible groups, in much the same way that the Goerss-Hopkins-Miller theorem lets you build spectra from deformations of formal groups. Reaching the very boundary of things I can claim to understand, Lurie’s theorem is a key component of Behrens and Lawson’s construction of the topological automorphic forms spectra.

A {p}-divisible group is a certain sort of ind-scheme which can be canonically written as a colimit of finite flat commutative group schemes. So before we can say anything about {p}-divisible groups, we have to know some things about these gadgets (which I’ll generally just call ‘group schemes’), and this post will fill in that background. (Presumably this is all well-known to the average algebraic geometer, but it was new to me, and hopefully it’ll help out other budding homotopy theorists curious about this subject.)

Definitions

So: what’s a finite flat commutative group scheme? This is one of the places where the ‘functor of points’ perspective on schemes really comes in handy. This is where we think of a scheme {X} over {S} as a contravariant functor {\mathsf{Sch}/S \rightarrow \mathsf{Set}}, with {X(Y)} being the set of morphisms {Y \rightarrow X} over {S}. To make things even easier, we can think of this as a contravariant functor just on the category {\mathsf{Aff}/S} of affine schemes with maps to {S}; if {S = \mathrm{Spec}(R)} is affine, this is equivalently a covariant functor on the category of {R}-algebras, and we call {X(A)} the set of points of {X} with values in {A}. Since a morphism of schemes can be specified on a Zariski open cover of the domain, this functor satisfies a sheaf condition on {\mathsf{Aff}/S} with the topology where the open covers of an affine are its Zariski open covers. And as it turns out, the functors of points that arise from actual schemes are precisely those satisfying this sheaf condition.1

With this in mind, a commutative group scheme is a scheme whose functor of points lands in the category of abelian groups rather than the category of sets. This is extra structure, of course — you’re effectively giving a group structure on each set of points {X(A)} making the maps {X(A) \rightarrow X(A')} homomorphisms for each map of rings {A \rightarrow A'}.

In particular, suppose that {S = \mathrm{Spec} R} is affine and that {G = \mathrm{Spec} A} is an affine group scheme (this will almost always be the case in what follows). Then the multiplication {m:G \times_S G \rightarrow G}, identity {e:S \rightarrow G}, and inverse {i:G \rightarrow G} are all induced by maps {\Delta:A \rightarrow A \otimes_R A}, {\epsilon:A \rightarrow R}, and {S:A \rightarrow A} making various diagrams commute — in short, {A} is given the structure of a Hopf algebra over {R}. If {G} is finite over {S}, then {A} is a finite {R}-module; if {G} is flat over {S}, then {A} is locally free over {R}. In many cases, we’ll have {R} local, so that {A} is free. In this case, it makes sense to define the order of {G} as the rank of {A} over {R}.

I’m going to be fixing the following notation: {S} is a base scheme, \mathrm{Spec} R is an arbitrary open affine of {S}, {G} is a finite flat commutative group over {S}, and G \times_S \mathrm{Spec} R = \mathrm{Spec} A where {A} is a finite free Hopf algebra. {B} will generally be an {R}-algebra, {T} an {S}-scheme, and {k} a residue field of {R}. Though I’ll do most of the below `globally’ just because I can, you don’t really lose any detail by taking {S = \mathrm{Spec} R} or {\mathrm{Spec} k}.

Example 1 For any finite abelian group {G}, we can define {\underline{G}_S} as the group scheme that is {G} copies of {S}, with the group law induced by the group law of {G} and the obvious isomorphism {S \times_S S \rightarrow S}. Affine-locally, the Hopf algebra of this is the ring of functions {R^G} with

\displaystyle \Delta(e_g) = \sum_{hh' = g} e_h \otimes e_{h'}

where {e_g} is the map {G \rightarrow R} that sends {g} to 1 and all other elements to 0, and with {\epsilon = e_1}. Such a group scheme is called constant.

The multiplicative group is the affine group scheme {\mathbb{G}_m} locally given by the Hopf algebra {R[t^{\pm 1}]}, where {\Delta(t) = t \otimes t} and {\epsilon(t) = 1}. (Note that {\mathbb{G}_m(\mathrm{Spec}(B) \rightarrow \mathrm{Spec}(R))} is the group {B^\times} of the units of {B} under multiplication.) This isn’t finite — it’s actually 1-dimensional as a scheme — but the points of order {n} are a finite closed subgroup scheme {\mu_n}, locally given by the Hopf algebra {R[t]/(T^n - 1)} and the same structure maps.

The additive group is the affine group scheme {\mathbb{G}_a} locally given by the Hopf algebra {R[t]}, where {\Delta(t) = t \otimes 1 + 1 \otimes t} and {\epsilon(t) = 0}. {\mathbb{G}_a(\mathrm{Spec}(B) \rightarrow \mathrm{Spec}(R))} returns the additive group of {B}. In characteristic {p}, the {p^r}th power map is a natural endomorphism of each {\mathbb{G}_a(B)} and thus an endomorphism of {\mathbb{G}_a}, and its kernel is {\alpha_{p^r} = \mathrm{Spec} R[t]/(t^{p^r})}.

In particular, we can enumerate three order-{p} group schemes over a field {\mathrm{Spec} k} of characteristic {p}: {\underline{\mathbb{Z}/p\mathbb{Z}}}, {\mu_p}, and {\alpha_p}. If {k} is algebraically closed, these are all there will be.

Kernels and cokernels

This is only worth a paragraph or two, but: we can take kernels and cokernels. Clearly, the kernel of {G \rightarrow G'} should be its fiber over the identity {S \rightarrow G'}, which is {G \times_{G'} \mathrm{Spec} k}. On points, {\mathrm{ker}(G \rightarrow G')(B) = \mathrm{ker}(G(B) \rightarrow G'(B))}.

Cokernels are a little more difficult. Of course, we should define {G'/G} as the sheaf associated to the functor {(G'/G)(B) = G'(B)/G(B)}, and then one has to check that this is again finite and flat (it’s clearly a group scheme), as well as the categorical quotient in the category of schemes.2 Moreover, the map {G' \rightarrow G'/G} is faithfully flat. This is specific to our specific case of finite flat group schemes, though. For example, {\mathbb{G}_m} acts on {\mathbb{A}^n - \{0\}} by multiplication, and the quotient via this definition is {\mathbb{P}^{n-1}}. But it also acts on {\mathbb{A}^n} in the same way, and there’s no good quotient in the category of schemes, or even in the category of sheaves on any of the sites we’d care to pick. The `right’ quotient is actually an object called a stack, which is a schemey sort of functor from the category of {S}-schemes to the category of groupoids. We’ll get something that looks like the scheme {\mathbb{P}^{n-1}} with one extra point, the image of the origin, which has all of {\mathbb{G}_m(S)} as its `automorphism group.’

(If this sounds scary, it’s just because it’s a one-sentence summary of a situation that’s irrelevant right now. Stacks are fairly important to what I’m working on, and we’ll talk more about them in due course.)

Over a field {k}, finite flat commutative group schemes form an abelian category, which means that the kernels and cokernels described above behave as they do in the category of abelian groups. In particular, we can talk about monomorphisms and epimorphisms (closed subgroups and quotients) and the image of a morphism (the closed subgroup it factors through), and we have a good notion of `exact sequence.’

If we’re not over a field, this doesn’t have to be the case. For example, let {R = \mathbb{F}_p[t]_{(t)}} and {\alpha_p = \mathrm{Spec} R[X]/(X^p)} the finite flat group scheme described in the previous section. Multiplication by {t} induces a map {\alpha_p \rightarrow \alpha_p} which is an isomorphism over the field of fractions of {R} (the so-called generic fiber) but zero over the residue field {\mathbb{F}_p} (the special fiber). The group scheme kernel and cokernel of this are thus both zero over the generic fiber, which means that they’re zero in general, since they have to be finite and flat. But this map isn’t an isomorphism, since it evidently doesn’t have an inverse over the special fiber.

A few nice observations about the case of finite flat commutative group schemes over a field:

  • We literally have {(G'/G)(B) = G'(B)/G(B)}.
  • Using faithful flatness of quotients, one can observe that the orders of groups in an exact sequence are multiplicative: if {0 \rightarrow G' \rightarrow G \rightarrow G'' \rightarrow 0} is exact, then {|G| = |G'|\cdot |G''|}.
  • Base change to a field extension {K/k} is an exact functor.

Cartier duality

One of the first unusual pieces of structure for finite flat commutative group schemes is a duality somewhat similar to Pontryagin duality, called Cartier duality. This is defined by

\displaystyle G^{\vee} = \mathrm{Hom}_{\mathbf{GrpSch}}(G, \mathbb{G}_m).

That is, {G^{\vee}} is the functor {T \mapsto \mathrm{Hom}_{\mathbf{GrpSch}}(G \times_S T, \mathbb{G}_m \times_S T)}. Though writing it this way makes it look like Pontryagin duality, it’s way easier to think of on the level of Hopf algebras. If {G = \mathrm{Spec}(A)} and {T = S = \mathrm{Spec}(R)}, then

\displaystyle \mathrm{Hom}_{\mathbf{GrpSch}}(G, \mathbb{G}_m)(T) = \mathrm{Hom}_{\mathbf{Hopf}}(R[t^{\pm 1}], A) \subseteq A^\times.

Specifically, a map of Hopf algebras {R[T^{\pm 1}] \rightarrow A} is equivalently an element {u \in A} with {\Delta(u) = u \otimes u} and {\epsilon(u) = 1} (by the axioms of a Hopf algebra, this is automatically a unit). Since we want to represent the Cartier dual as an affine group scheme, we’d like this to be represented by maps to {R} from some Hopf algebra. An obvious choice is the dual Hopf algebra {A^\vee = \mathrm{Hom}_R(A,R)}, which inherits a multiplication from the comultiplication of {A}, and a comultiplication from its multiplication. Of course, if {A} is free and finite over {R}, a {u \in A} is equivalently a map of {R}-modules {\mathrm{Hom}_R(A,R) \rightarrow R}. If {f, g \in \mathrm{Hom}_R(A,R)}, then

\displaystyle (fg)(u) = \mu(f \otimes g)(u) = (f \otimes g)(\Delta(u)) = f(u)g(u)

if and only if {\Delta(u) = u \otimes u}. Likewise, the multiplicative unit of {A^\vee} is {\epsilon}, so the maps of unital algebras {A^\vee \rightarrow R} precisely correspond to the {u \in A} satisfying the conditions {\Delta(u) = u \otimes u} and {\epsilon(u) = 1}. Finally, it’s clear that all of this is preserved by any base change whatsoever, giving us

\displaystyle \mathrm{Spec}(A)^\vee = \mathrm{Spec}(A^\vee):

the Cartier dual of a finite group scheme is Spec of its dual Hopf algebra.

In particular, a group and its dual have the same order, and we can conclude, as in the case of finite-dimensional vector spaces, that {G^{\vee\vee} \cong G}.

The connected-étale decomposition

The second interesting piece of structure is a natural exact sequence splitting a group into an ‘étale part’ and a ‘connected part’. The analogous thing for {p}-divisible groups, which we’ll find very useful, is a decomposition of a {p}-divisible group into a ‘formal part’ (which looks like the formal spectrum of a power series ring) and an ‘étale part’ (which will always look like the constant group {\underline{\mathbb{Q}_p/\mathbb{Z}_p}}). First, a definition.

Definition 1 A map of schemes {f:X \rightarrow S} is étale if it is flat, locally of finite presentation, and for every {s \in S} and algebraic closure {\overline{\kappa(s)}} of the residue field {\kappa(s)}, {f^{-1}(s) \times_{\kappa(s)} \overline{\kappa(s)}} is a finite disjoint union of copies of {\mathrm{Spec} \overline{\kappa(s)}}.

What this is saying is that the fiber over any point of {S} is Spec of a finite separable algebra over its residue field. This condition (together with the local finite presentation condition) is often described with the word unramified.

(By connected, all we mean here is Spec of a local ring.)

Theorem 2 Let {G} be a finite flat commutative group scheme over {S = \mathrm{Spec} R}, with {R} complete, noetherian, and local. There is a unique, natural exact sequence

\displaystyle 0 \rightarrow G^0 \rightarrow G \rightarrow G^{et} \rightarrow 0

where {G^0} is connected and {G^{et}} is étale. If {S = \mathrm {Spec} k} with {k} a perfect field, then this sequence splits.

Proof: {G^0} is obviously the connected component of the identity. This is a closed subscheme, and since {R} is local, {G^0 \times_S G^0} is still connected, so the restriction of the multiplication map to this subscheme factors through {G^0}. Thus, {G^0} is a closed subgroup. In Hopf algebra language, {A} is a finite product of local extensions of {R}, and {\epsilon:A \rightarrow R} factors through the projection to one of them, which will then be {A^0}.

{G^{et}} corresponds to the maximal étale subalgebra of {A}. To get at this, base change to the residue field {k} of {R}, making {A} a product of finite local {k}-algebras {A_i}, each of whose residue fields will be a finite extension of {k}. The separable closure of {k} in {A_i/\mathfrak{m}A_i} is of the form {k[\theta]/(P(\theta))}, by the primitive element theorem; using Hensel’s lemma, one can lift this {\theta} to an element in {A_i}, giving an embedding of a (maximal) finite separable extension of {k} into each {A_i}. By the uniqueness part of Hensel’s lemma, this subalgebra {A^{et}} is unique, and it’s clearly étale over {k}. Standard stuff about étale morphisms tells us that {A^{et} \cong k[x]_g/(f)} for some polynomials {f} and {g} such that {f'} is a unit in the localization. Now by Hensel’s lemma again, we can (uniquely) lift these polynomials to polynomials over {R} satisfying the same condition, and get a subalgebra {A^{et} \cong R[x]_g/(f)} that is étale over {R} and maximal among étale subalgebras. (If there were an étale subalgebra containing this, its reduction to {k} would have to be the same, and it would have to be the same as {A^{et}} by Nakayama’s lemma.)

Any map from a connected group to an étale group is trivial, so the composition {G^0 \rightarrow G \rightarrow G^{et}} is zero. On the other hand, reducing to {k} and base changing to the algebraic closure, {G^{et}} becomes the union of the closed geometric points, one of which is in each connected component, so the sequence becomes exact. Since these base changes are exact and faithful for finite flat group schemes, {0 \rightarrow G^0 \rightarrow G \rightarrow G^{et} \rightarrow 0} is the desired exact sequence.

For naturality, observe that if {G \rightarrow H} is a map of finite group schemes, then {G^0} must map to {H^0} by topology.

Now suppose that the base scheme is a perfect field {k}, and let {G^{red}} be the reduction of {G} (the spectrum of {A} mod its nilradical). Since {k} is perfect, {A^{red} \otimes_k A^{red}} is again a reduced ring, and so {G^{red} \times G^{red}} is a reduced scheme — thus, the multiplication map sends this into {G^{red}}, making {G^{red}} a closed subgroup. Finally, {G^{red} \rightarrow G^{et}} is a map of group schemes that becomes an isomorphism after base changing to {\overline{k}} (where both group schemes are constant), and thus it’s an isomorphism over {k}. The inclusion {G^{red} \rightarrow G} splits the exact sequence, and is evidently unique. \Box

The last thing I want to cover in this post is a pair of special maps that will play an important role in the structure theory to follow. All this is over a field {k} of characteristic {p}. The first, Frobenius, is familiar to attentive students of positive characteristic. There’s a map {\sigma:\mathrm{Spec} k \rightarrow \mathrm{Spec} k} induced by the map {f:x \mapsto x^p} on {k}, and for any {k}-scheme {X}, we define {X^{(p)}} to be the fiber product {X \times_k^\sigma k}. If {X = \mathrm{Spec} A} is affine, this is {\mathrm{Spec}(A \otimes_k^f k)}, and so we should think of this as {X} with {p}th roots of elements of {k} adjoined: if {a \in A}, {\lambda \in k}, then {\lambda a \otimes 1 = a \otimes \lambda^p} in this ring, and {1 \otimes \lambda} will thus be a {p}th root of {\lambda \otimes 1}. (If {k} is perfect, this has a natural isomorphism with {X} itself, but it’s worth it for the following to treat it as different.)

There’s an ‘absolute Frobenius’ map {\sigma_X:X \rightarrow X} given by the identity on points and {x \mapsto x^p} on structure sheaves, but this isn’t quite what we want. Rather, we should note that if {\eta:X \rightarrow \mathrm{Spec} k} is the structure map, then {\eta\sigma_X = \sigma\eta}, and {\eta} and {\sigma_X} thus induce a map to the pullback {F_X:X \rightarrow X^{(p)}}. This is what we’ll call the Frobenius morphism. The following diagram might help:

Frobeniusdiagram

Again, let’s consider a ring {A}. The Frobenius map {F_A} should just raise everything to the {p}th power, but the argument here is that it’s morally a map {A^{(p)} \rightarrow A} rather than {A \rightarrow A}, since {F_A(\lambda a) = \lambda^p F_A(a)}, so that to multiply by {\lambda} on the target {A}, one must multiply by its {p}th root on the source.

If {A} is a cocommutative Hopf algebra, we can in fact extend this to a map {A \rightarrow A} realizing the {p}th power map. To do this, apply {\Delta^p:A \rightarrow A^{\otimes p}}, landing by cocommutativity in the subspace of symmetric tensors, i.e. those invariant under the {\Sigma_p}-action. This is generated as a {k}-vector space by tensors of the form {(a \otimes \dotsb \otimes a)}, so there’s a unique {k}-linear map {(A^{\otimes p})^{\Sigma_p} \rightarrow A^{(p)}} sending {(a \otimes \dotsb \otimes a)} to {a \otimes 1}. The composition {A \rightarrow A^{(p)}} is the Verschiebung morphism {V_A}, and schemifying everything gives us the Verschiebung morphism {V_G:G^{(p)} \rightarrow G}. The composition {F_AV_A} (equivalently, {V_GF_G}) is the {p}th power map we wanted; likewise, {F_GV_G} is the {p}th power map on {G^{(p)}}.

To wrap this up and tie some things together, note that the definitions of {V_G} and {F_G} are dual! Indeed, {V_A} was given by comultiplying {p} times, noticing that you were in the {\Sigma_p}-invariant subspace of the {p}-fold tensor product, and mapping this to {A^{(p)}} in the obvious way; but likewise, {F_A} could be thought of as starting in {A^{(p)}}, mapping to the {p}-fold symmetric power of {A} (which is the {\Sigma_p}-coinvariants of the {p}-fold tensor product), lifting to the {p}-fold tensor product, and multiplying {p} times to get an element of {A}. Thus we see that {V_G:G^{(p)} \rightarrow G} is dual to {F_{G^\vee}:G^\vee \rightarrow (G^\vee)^{(p)} = (G^{(p)})^\vee}.

That’s all for now. In the next post, we’ll define {p}-divisible groups and extend these definitions to that area.

1 Ever since SGA 3, people have found it useful to think about functors of points on other categories or satisfying other sheaf conditions, considerably generalizing the theory of schemes. So right now we say that we’re working on the ‘Zariski site,’ and later on we might move to the ‘fppf site.’ If you haven’t seen this before, don’t worry about it — it’ll get its own post if and when it comes up.

2 In fact, we get a scheme even if we just take the associated fpqc-sheaf to this functor!

Advertisements

2 thoughts on “Finite flat commutative group schemes, with an eye towards p-divisible groups

  1. Pingback: More on finite group schemes | The Simpleton Symposium

  2. Pingback: p-divisible Groups | The Simpleton Symposium

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 )

Google+ photo

You are commenting using your Google+ 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 )

Connecting to %s