Spahn examples of (group) schemes (Rev #11, changes)

Showing changes from revision #10 to #11: Added | Removed | Changed

Contents

Summary (random tour through the examples)

Let kk be some base field. We start with the constant group scheme E kE_k defined by some classical group EE which gives in every component just the group EE. Next we visit the notion of étale group scheme. This is not itself constant but becomes so by scalar extension to the separable closure k sepk_sep of kk. The importance of étale affine is that the category of them is equivalent to that of Galois modules by EE kk sep= K/ksepfinE(K)E\mapsto E \otimes_k k_sep=\cup_{K/k \,sep\,fin} E(K)

So far these examples ‘’do nothing’‘ with the (multiplicative and additive) structure of the ring in which we evaluate our group scheme. But the next instances do this: We define the additive- and the multiplicative group scheme by α k:RR +\alpha_k: R\mapsto R^+ and μ k:RR ×\mu_k:R\mapsto R^\times sending a kk-ring to to its underlying additive- and multiplicative group, respectively. These have the ‘’function rings’‘ O k(α k)=k[T]O_k(\alpha_k)=k[T] and O (μ k)=K[T,T 1]O_(\mu_k)=K[T,T^{-1}] and since (O kSpec k):k.RingSpec kk.Aff(O_k\dashv Spec_k):k.Ring\stackrel{Spec_k}{\to} k.Aff we note that our basic building blocks α k\alpha_k and μ k\mu_k are in fact representable kk-functors aka. affine group schemes. We observe that we have k.Gr(μ k,α k)=0k.Gr(\mu_k,\alpha_k)=0 and call in generalization of this property any group scheme GG satisfying k.Gr(G,α k)=0k.Gr(G,\alpha_k)=0 multiplicative group scheme. (We could have also the idea to call GG satisfying k.Gr(μ k,G)=0k.Gr(\mu_k,G)=0 ‘’additive’‘ but I didn’t see this.) By some computation of the hom spaces k.Gr(G,μ k)k.Gr(G,\mu_k) involving co- and birings we see that these are again always values of a representable kk-functor D(G)():=().Gr(G k(),μ ())D(G)(-):=(-).Gr(G\otimes_k (-),\mu_{(-)}); this functor we call the Cartier dual of GG. If for example GG is a finite group scheme D(G)D(G) also is, and moreover DD is a contravariant autoequivalence (’‘duality’’) of k.fin.comm.Grpk.fin.comm.Grp; in general it is also a duality in some specific sense. By taking the Cartier dual D(E k)D(E_k) of a constant group scheme we obtain the notion of a diagonlizable group scheme. To justify this naming we compute some value D(E k)(R)=hom Grp(E k kR,μ R)hom Grp(E k,R ×)hom Alg(k[E k],R)D(E_k)(R)=hom_{Grp}(E_k\otimes_k R, \mu_R)\simeq hom_{Grp}(E_k,R^\times)\simeq hom_Alg(k[E_k],R) where k[E k]k[E_k] denotes the group algebra of E kE_k and the last isomorphism is due to the universal property of group rings; we observe that the last equality tells us that G=Speck[E k]G=Spec\,k[E_k] and recall that a ζE kk[E k]\zeta\in E_k\subset k[E_k] is called a character of GG (and one calls a group generated by these ‘’diagonalizable’’). Revisiting the condition k.Gr(H,α k)=0k.Gr(H,\alpha_k)=0 by which we defined multiplicative group schemes and considering a group scheme GG satisfying this condition for all sub group-schemes HH of GG we arrive at the notion of unipotent group scheme. By the structure theorem of decomposition of affine groups we can proof that GG is unipotent iff the completion of group schemes (which gives us-by the usual technic of completion- a formal (group) scheme X^\hat X if XX is a group scheme) of the Cartier dual of GG, i.e. D^(G)\hat D(G) is a connected formal group scheme also called local group scheme since a local group scheme Q=Spec kAQ=Spec_k A is defined to be the spectrum of a local ring; this requirement in turn is equivalent to Q(K)=hom(A,K)={0}Q(K)=hom(A,K)=\{0\} hence the first name ‘’connected’’. There is also a connection between connected and étale schemes: For any formal group scheme there is an essentially unique exact sequence 0G Gπ 0(G)00\to G^\circ\to G\to \pi_0(G)\to 0 where G G^\circ is connected and π 0(G)\pi_0(G) is étale. Such decomposition in exact sequences we obtain in further cases: 0G exGG ex00\to G^{ex}\to G\to G_{ex}\to 0 where

kk-groupG exG^{ex}G exG_{ex}
formalconnectedétalep.34
finiteinfinitesimalétalesplits if kk is perfectp.35
affinemultiplicativesmooth?G/G redG/G_{red} is infinitesimalp.43

where a smooth (group) scheme is defined to be the spectrum of a finite dimensional (over k) power series algebra, a (group) scheme is called finite (group) scheme if we restrict in all necessary definitions to kk-ring which are finite dimensional kk-vector spaces, and a (group) scheme is called infinitesimal (group) scheme if it is finite and local. If moreover kk is a perfect field any finite affine kk-group GG is in a unique way the product of four subgroups G=a×b×c×dG=a\times b\times c\times d where aFem ka\in Fem_k is a formal étale multiplicative kk group, bFeu kb\in Feu_k is a formal étale unipotent kk group, cFim kc\in Fim_k is a formal infinitesimal multiplicative kk group, and dFem kd\in Fem_k is a infinitesimal unipotent kk group.

If we now shift our focus to colimits- or more generally to codirected systems of finite group schemes, in particular the notion of p-divisible group is an extensively studied case because the pp-divisible group G(p)G(p) of a group scheme encodes information on the p-torsion of the group scheme GG. To appreciate the definition of G(p)G(p) we first recall that for any group scheme GG we have the relative Frobenius morphism F G:GG (p)F_G:G\to G^{(p)} to distinguish it from the absolute Frobenius morphism F G abs:GGF^{abs}_G:G\to G which is induced by the Frobenius morphism of the underlying ring kk. The passage to the relative Frobenius is necessary since in general it is not true that the absolute Frobenius respects the base scheme. Now we define G[p n]:=kerF G nG[p^n]:=ker\; F^n_G where the kernel is taken of the Frobenius iterated nn-times and the codirected system

G[p]pG[p 2]ppG[p n]pG[p n+1]pG[p]\stackrel{p}{\to}G[p^2]\stackrel{p}{\to}\dots \stackrel{p}{\to}G[p^{n}]\stackrel{p}{\to}G[p^{n+1}]\stackrel{p}{\to}\dots

is then called the pp-divisible group of GG.

constant (group) scheme

Recall that Spec kk=*Spec_k k=* is the terminal object of k.Schk.Sch.

k.Schk.Sch is copowered (= tensored)? over SetSet. We define the constant kk-scheme on a set EE by

E k:=E*= eE*E_k:=E\otimes *=\coprod_{e\in E}*

For a scheme XX we compute M k(E k,E)=Set(*,X) E=X(k) E=Set(E,X(k))M_k(E_k,E)=Set(*,X)^E=X(k)^E=Set(E,X(k)) and see that there is an adjunction

(() k()(k)):k.SchSet((-)_k\dashv (-)(k)):k.Sch\to Set

This is just the constant-sheaf-global-section adjunction.

étale (group) scheme

An étale kk-scheme is defined to be a directed colimit of kk-spectra Spec kk Spec_k k^\prime of finite separable field-extensions k k^\prime of kk.

For an étal group scheme X=colim k TSpec kk X=colim_{k^\prime \in T} Spec_k k^\prime we have

X kk sep(colim k TSpec kk ) kk sepcolim k TSpec k sepk colim k T*X\otimes_k k_sep\simeq(colim_{k^\prime \in T}Spec_k k^\prime)\otimes_k k_sep\simeq colim_{k^\prime \in T} Spec_{k_sep} k^\prime\simeq colim_{k^\prime \in T} *

affine (group) scheme

(see also coalgebras, corings and birings in the theory of group shemes)

An affine kk-scheme G:=Spec kAG:=Spec_k A is a representable object in k.Funk.Fun.

We obtain a group law G×GGG\times G\to G induced by AA if AA satisfies the dual axioms of a group object. We denote the structure maps called comultiplication, counit, and converse by

Δ:AAA\Delta:A\to A\otimes A

ϵ:A*\epsilon: A\to *

σ:AA\sigma:A\to A

Examples

The additive group α k\alpha_k

The multiplicative group μ k\mu_k

The kernels of group homomorphisms. In particular the kernel ker() n:μ kμ kker\, (-)^n:\mu_k\to \mu_k.

Mapping spaces

formal (group) scheme

local (=connected) group scheme

multiplicative group scheme

Definition and Remmark

A group scheme is called multiplicative group scheme if the following equivalent conditions are satisfied:

  1. G kk sG\otimes_k k_s is diagonalizable.

  2. G kKG\otimes_k K is diagonalizable for a field KM kK\in M_k.

  3. GG is the Cartier dual of an étale kk-group.

  4. D^(G)\hat D(G) is an étale kk-formal group.

  5. Gr k(G,α k)=0Gr_k(G,\alpha_k)=0

  6. (If p0)p\neq 0), V GV_G is an epimorphism

  7. (If p0)p\neq 0), V GV_G is an isomorphism

Remark

Let G constG_const dnote a constant group scheme, let EE be an étale group scheme. Then we have the following cartier duals:

  1. D(G const)D(G_const) is diagonalizable.

  2. D(E)D(E) is multiplicative

diagonalizable group scheme

unipotent group scheme

smooth formal group scheme

pp-divisible group scheme

Revision on July 21, 2012 at 00:01:54 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.