Namespaces
Variants
Actions

Commutative group scheme

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

2020 Mathematics Subject Classification: Primary: 14Kxx [MSN][ZBL]

A commutative group scheme is a group scheme $G$ over a basis scheme $S$, the value of which on any $S$-scheme is an Abelian group. Examples of commutative group schemes are Abelian schemes and algebraic tori. A generalization of algebraic tori in the framework of the theory of group schemes is the following notion. A commutative group scheme is said to be a group scheme of multiplicative type if for any point $s\in S$ there is an open neighbourhood $U\ni s$ and an absolutely-flat quasi-compact morphism $f\colon U_1\to U$ such that the commutative group scheme $G_1=G\times_U U_1$ is diagonalizable over $U_1$. Here, a diagonalizable group scheme is a group scheme of the form $$ D_S(M) = {\rm Spec}({\mathcal O}_S(M)) $$ where $M$ is an Abelian group and ${\mathcal O}_S(M)$ is its group algebra with coefficients in the structure sheaf ${\mathcal O}_S$ of the scheme $S$. In the case when $S$ is the spectrum of an algebraically closed field, this notion reduces to that of a diagonalizable group. If $M={\mathbb Z}$ is the additive group of integers, then $D_S(M)$ coincides with the multiplicative group scheme $G_{m,S}$.

Let $G$ be a group scheme over $S$ whose fibre over the point $s\in S$ is a group scheme of multiplicative type over the residue class field $k(s)$. Then there is a neighbourhood $U$ of $s$ such that $G\times_S U$ is a group scheme of multiplicative type over $U$ (Grothendieck's rigidity theorem).

The structure of commutative group schemes has been studied in the case when the basis scheme $S$ is the spectrum of a field $k$, and the commutative group scheme $G$ is of finite type over $k$. In this case the commutative group scheme contains a maximal invariant affine group subscheme, the quotient with respect to which is an Abelian variety (a structure theorem of Chevalley). Any affine commutative group scheme $G$ of such a type has a maximal invariant group subscheme $G_m$ of multiplicative type, the quotient with respect to which is a unipotent group. If the field $k$ is perfect, then $G\cong G^m\times G^n$, where $G^n$ is a maximal unipotent subgroup of $G$.

References

[DeGa] M. Demazure, P. Gabriel, "Groupes algébriques", 1, Masson (1970)
[DeGr] M. Demazure, A. Grothendieck, "Schémas en groupes II", Lect. notes in math., 152, Springer (1970)
[Oo] F. Oort, "Commutative group schemes", Lect. notes in math., 15, Springer (1966)
[Se] J.-P. Serre, "Groupes algébrique et corps des classes", Hermann (1959)
[Wa] W. Waterhouse, "Introduction to affine group schemes", Springer (1979)

Comments

A group scheme $G$ over a scheme $S$ is an $S$-scheme such that $G(T)$ is a group for any $S$-scheme $T$. If $G(T)$ is an Abelian, or commutative, group for all such $T$, then $G$ is called a commutative group scheme.

The multiplicative group scheme $G_{m,S}$ takes the value $\Gamma(T,{\mathcal O}_T)^*$, the group of invertible elements of the ring of functions on $T$ for each $S$-scheme $T$. The additive group scheme $G_{\alpha,S}$ takes the values $G_{\alpha,S}(t) = \Gamma(T,{\mathcal O}_T)^+$, the underlying additive group of $\Gamma(T,{\mathcal O}_T)$. A group scheme over $S$ can equivalently be defined as a group object in the category of $S$-schemes.

References

[Se2] J.-P. Serre, "Groupes algébrique et corps des classes", Hermann (1959)
How to Cite This Entry:
Commutative group scheme. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Commutative_group_scheme&oldid=50977
This article was adapted from an original article by I.V. Dolgachev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article