Lecture 6: Group schemes 2

This is the second lecture on group schemes, and is divided into three sections. In the first, I discuss Cartier duality and give the basic examples. In the second, I go deeper into the theory over finite fields, giving the classification of height 1 group schemes, and using it to classify the simple group schemes over an algebraically closed field. I also briefly discuss Dieudonné modules. In the third section, I apply the theory of group schemes to the of study abelian varieties. First, I relate abelian variety duality and Cartier duality. Then I characterize ordinary and supersingular elliptic curves using their $p$-torison. Finally, I give a tight bound on the $p$-torsion of an abelian variety.

Cartier duality

Let $G=\Spec(A)$ be a finite commutative group scheme over the field $k$. Let $A^*$ be the $k$-linear dual of $A$. Since the Hopf algebra axioms are completely symmetric with respect to reversing arrows, $A^*$ is still a Hopf algebra, and, of course, both commutative and cocommutative. We let $G^{\vee}=\Spec(A^*)$, a finite commutative group scheme over $k$. We call $G^{\vee}$ the Cartier dual of $G$. Obviously, $G$ and $G^{\vee}$ have the same order and the natural map $(G^{\vee})^{\vee} \to G$ is an isomorphism.

We now describe the functor of points of $G^{\vee}$. Let $R$ be a $k$-algebra. Giving a $k$-algebra homomorphism $A^* \to R$ is the same as giving an $R$-algebra homomorphism $A^*_R \to R$, where $(-)_R=- \otimes R$. Taking $R$-linear duals, this is the same as giving a morphism $R$-coalgebras $R \to A_R$ of $R$-coalgebras. This, in turn, is the same as giving an element $x$ of $A_R$ such that $\Delta(x)=x \otimes x$ and $\eta(x)=1$, where $\Delta$ is the comultiplication and $\eta$ is the counit on $A_R$. (The bijection takes a map $R \to A_R$ to the image of $1 \in R$. The condition on $x$ is exactly the condition needed to make the map one of coalgebras.) We note that one of the Hopf algebra axioms is $m (\id \otimes i) \Delta = \eta$, and so $x i(x)=1$, i.e., $x$ is a unit of $A_R$. But giving a unit of $A_R$ is the same as giving a map $R[t,t^{-1}] \to A_R$, and the condition $\Delta(x)=x \otimes x$ exactly makes this map one of Hopf algebras! We have thus shown:

In words: the $R$-points of $G^{\vee}$ are the characters of $G$ defined over $R$.

We have already seen two fundamental types of finite commutative group schemes: the local (i.e., connected) ones, and the étale ones. Cartier duality allows us to further refine these types by considering the type of the dual as well. We thus have local--local, local--étale, étale--local, and étale--étale group schemes (the first refers to the type of $G$, the second to $G^{\vee}$). Examples (in characteristic $p$) of these are $\alpha_p$, $\mu_p$, $\bZ/p\bZ$, and $\bZ/\ell \bZ$ (for $\ell \ne p$). In characteristic 0, we only have étale--étale. Over a perfect field, every finite group scheme canonically decomposes into a product $G_{ll} \times G_{le} \times G_{el} \times G_{ee}$, where $G_{ll}$ is local--local, etc.

Group schemes over finite fields

Frobenius and Verschiebung

Let $G=\Spec(A)$. We have already seen the Frobenius map $F_p \colon G \to G^{(p)}$, though we have not carefully defined it. Let $\sigma$ be the $p$th power map (on any ring of characteristic $p$), the so-called absolute Frobenius. Then $\sigma(\alpha x)=\sigma(\alpha) \sigma(x)$ for $\alpha \in k$ and $x \in A$, and so $\sigma \colon A \to A$ is not a homomorphism of $k$-algebras. Let $A^{(p)}=k \otimes_{k,\sigma} A$, i.e., $\alpha \otimes x = 1 \otimes \alpha^p x$ in $A^{(p)}$. Then the map $A^{(p)} \to A$ given by $\alpha \otimes x \mapsto \alpha x^p$ is a well-defined map of $k$-algebras; this is $F_p$. We define $F_q$, for $q=p^r$, by using $\sigma^r$ in place of $\sigma$.

The dual of the Frobenius map on $G^{\vee}$ is a map $V_p \colon G^{(p)} \to G$, called the Verschiebung map. It is a homomorphism, and one can show $F_p V_p=V_p F_p=[p]$. Obviously, $V_p$ is an isomorphism if and only if $G^{\vee}$ is étale and $V_q=0$ for some $q$ if and only if $G^{\vee}=0$.

Classification in height 1

Let $G=\Spec(A)$ be a finite commutative connected group scheme over $k$, which we assume to have characteristic $p$. Write $L(G)$ for the Lie algebra of $G$, which is naturally the dual of the $k$-vector space $I/I^2$, where $I$ is the maximal ideal of $A$.

We say that a derivation $D \colon A \to A$ is invariant if $\Delta D=(D \otimes 1) \Delta$, where $\Delta$ is comultiplication. Given $v \in L(G)$, thought of as an element of $(I/I^2)^*$, let $D_v$ be the composition

where the first map is $\Delta$, the second is $\id \otimes \pi$, where $\pi$ is projection onto $I/I^2$ (as discussed previously), and the final map is $\id \otimes v$. Then one easily verifies that $v \mapsto D_v$ is an isomorphism of $L(G)$ with the space of invariant derivations.

Let $D$ be a derivation of $A$. Let $D^n$ be the $n$-fold iterate of $D$ on $A$. Since $D^n(xy)$ is computed using the binomial theorem, it follows that $D^p$ satisfies the Liebniz rule, and is therefore a derivation. It's easy to verify that if $D$ is invariant then so is $D^p$, and so $D \mapsto D^p$ induces a map $L(G) \to L(G)$ which we denote by $F$. Note that $F(av)=a^p F(v)$ for $a \in k$.

We define an $F$-module over $k$ to be a $k$-vector space $L$ equipped with an additive map $F$ satisfying $F(av)=a^p F(v)$ for $a \in k$ and $v \in V$. Thus $L(G)$ is an example of an $F$-module.

It is clear that $G$ is not determined from $L(G)$, for two reasons: (1) in the étale case, $L(G)=0$; and (2) a non-isomorphism of groups can induce an isomorphism on tangent spaces, e.g., the map $\mu_{p^2} \to \mu_p$. We say that $G$ has height 1 if it is connected and killed by Frobenius. This hypothesis eliminate the two obvious obstructions just mentioned. In fact:

Consequences of classification

Dieudonné theory

It would of course be desirable to remove the height 1 restriction in the above classification of group schemes. This is exactly what Dieudonné theory does, assuming $k$ is perfect. Let $W=W(k)$ be the Witt vectors of $k$. If $k=\bF_q$, which is the most common case, $W$ is the ring of integers in the unramified extension of $\bQ_p$ with residue field $k$. The absolute Frobenius on $k$ induces an automorphism $\varphi$ of $W$. A Dieudonné module is a $W$-module $D$ equipped with two additive maps $F,V \colon D \to D$ satisfying $F(ax)=\varphi(a) x$, $V(ax)=\varphi^{-1}(a) x$, and $FV=VF=p$. The main theorem is then:

Write $D(G)$ for the Dieudonné module associated to $G$. The functor $D$ has several nice properties in addition to being an equivalence:

• $D$ is an exact functor.

• The group $G$ is killed by $p^n$ if and only if $D(G)$ is.

• The order of $G$ is equal to $p^r$, where $r$ is the length of $D(G)$ as a $W$-module.

• $G$ is connected if and only if $F$ is nilpotent on $D(G)$, and étale if and only if $F$ is an isomorphism on $D(G)$.

• $D(G^{\vee})$ is naturally the dual of $D(G)$, where the dual of a Dieudonné module $M$ is the $W$-module $\Hom_W(M, K/W)$ with $F$ and $V$ defined by $(Ff)(x)=\varphi(f(Vx))$ and $(Vf)(x)=\varphi^{-1}(f(Fx))$. Here $K$ is the field of fractions of $W$.

• If $G$ has height 1 then $D(G)^{\vee}=L(G)$ (and $V=0$).

Applications to abelian varieties

Duality of abelian varieties revisited

We previously showed that if $f \colon X \to Y$ is an isogeny of complex tori then $\ker(f)$ and $\ker(f^{\vee})$ are naturally Pontryagin dual groups. We now generalize this to arbitrary fields:

The p-torsion of an elliptic curve

Let $E$ be an elliptic curve over $k$, which we assume to be algebraically closed of characteristic $p$. Then $G=E[p]$ is a finite commutative group scheme over $k$ of order $p^2$. We know a lot about such group schemes, so it's reasonable to think we could describe $G$ fairly precisely.

We know two things right off the bat. First, $G$ is not étale. And second, since $E$ is self-dual (as an abelian variety), $G$ is self-dual (in the sense of Cartier duality).

First suppose that $E$ is ordinary. Then $G(k) \ne 0$, and so $G^{\et}$ is non-zero. Thus $G=G^{\circ} \times G^{\et}$, and both factors have order $p$. By the classification of étale groups, $G^{\et}=\bZ/p\bZ$. Since $G$ is self-dual, $G^{\circ}$ is necessarily the dual of $G^{\et}$, so $G^{\circ}=\mu_p$. We thus find $G=\mu_p \times \bZ/p\bZ$.

Now suppose that $E$ is supersingular. Then $G(k)=0$, and so $G^{\et}=0$. It follows that $G$ is local, and thus local--local since it is self-dual. Since the only simple local--local group is $\alpha_p$, we must have an extension of the form

This extension cannot be split, for then $G=\alpha_p \oplus \alpha_p$, which has a two-dimensional tangent space, but the tangent space of $G$ agrees with that of $E$, and has dimension 1. We also cannot have $G=\alpha_{p^2}$, since this group is not self-dual (it has $V=0$ but $F \ne 0$); of course, we cannot have $G=\alpha_{p^2}^{\vee}$ either. In fact, up to isomorphism, there are only four self-extensions of $\alpha_p$ (as can easily be seen using Dieudonné theory), and $G$ is the one we haven't named! One can describe $G$ as the sum of $\alpha_{p^2}$ and its dual in $\Ext^1(\alpha_p, \alpha_p$, and one can also explicitly describe the Dieudonné module $D(G)$.

The p-torsion of an abelian variety

Let $A$ be an abelian variety over $k$, assumed to be of characteristic $p$. Write $A[p] = G_1 \oplus G_2 \oplus G_3$ where $G_1$ is étale, $G_2$ is local--étale, and $G_3$ is local--local.  Write $\# G_1=p^r$, $\# G_2=p^s$, and $\# G_3=p^t$.

The Dieudonné module as a p-adic Tate module

Let $A$ be an abelian variety of dimension $g$ over $k$, a perfect field of characteristic $p$. Then $T_p(A)$, the $p$-adic Tate module of $A$, has rank at most $g$, and could even be 0; it is therefore very much unlike the $\ell$-adic Tate modules of $A$. Define the Dieudonné module of $A$, denoted $D(A)$, to be the inverse limit of those of the $A[p^n]$. Then $D(A)$ is a free $W$-module of rank $2g$ equipped with a semi-linear map $F$, and thus looks more like the $\ell$-adic Tate module. (Note: $V$ is not needed since $VF=p$.)

Now suppose $k=\bF_q$ with $q=p^r$. Let $F'=F^r$. Then $F'$ is a $W$-linear automorphism of $D(A)$. This looks even more like the $\ell$-adic Tate module! In fact, the analogy is very good: the eigenvalues of $F'$ are the same as the eigenvalues of Frobenius on the $\ell$-adic Tate module.