Spahn relation of certain classes of group schemes (Rev #3, changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

Decomposition of k-groups

One way the characterize certain classes of kk-groups is via exact sequences

0G exGG ex00\to G^{ex}\to G\to G_{ex}\to 0
kk-groupG exG^{ex}G exG_{ex}
formal k-group?connected?étalep.34
finite k-group?infinitesimal?étalesplits if kk is perfectp.35
affine k-group?multiplicativesmooth?G/G redG/G_{red} is infinitesimal
Definition

(p. 39)

If kk is perfect 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

  1. aFem ka\in Fem_k is a formal étale multiplicative kk group.

  2. bFeu kb\in Feu_k is a formal étale unipotent kk group.

  3. cFim kc\in Fim_k is a formal infinitesimal multiplicative kk group.

  4. dFem kd\in Fem_k is a infinitesimal unipotent kk group.

Duality of k-groups

DDD(G)D(G)
affine commutative kk-groupD^(G)\hat D(G) is affine commutative formal kk-groupp.27
finite commutative kk-groupfinite commutative kk-groupp.27
constant kk-groupdiagonalizable kk-groupp.36
étale k-groupmultiplicative k-groupp.37
multiplicative k-groupD^(G)\hat D(G) is étale formal kk-groupp.37
unipotent k-groupD^(G)\hat D(G) connected formal groupp.38
Fim kFim_kFeu kFeu_k

Skalar extension and skalar restriction

Let KM kK\in M_k be a field, let k sk_s be the separable clusure of kk, let k¯\overline k denote the algebraic closure of kk.

GGG kKG\otimes_k KG kk sG\otimes_k k_sG kk¯G\otimes_k \overline k
multiplicativediagonalizablediagonalizablediagonalizable

Examples of kk-groups

unipotentmultiplicativeétaleconnectedinfinitesimaldiagonalizable
unipotent
multiplicative
étale
connected
infinitesimal
diagonalizable

Revision on May 31, 2012 at 22:53:50 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.