Namespaces
Variants
Actions

Difference between revisions of "Group scheme"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (typo)
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
A generalization of the concept of an [[Algebraic group|algebraic group]]. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g0452901.png" /> be the category of schemes over a ground scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g0452902.png" />; a [[Group object|group object]] of this category is known as a group scheme over the scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g0452903.png" /> (or a group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g0452905.png" />-scheme, or an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g0452907.png" />-scheme group). For a group scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g0452908.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g0452909.png" /> the functor of points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529010.png" /> is a contravariant functor from the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529011.png" /> into the category of groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529012.png" />. The category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529013.png" /> of group schemes over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529014.png" /> is defined as the complete subcategory of the category of such functors formed by the representable functors (cf. [[Representable functor|Representable functor]]).
 
  
===Examples.===
+
{{MSC|14L15|20G35}}
 +
{{TEX|done}}
  
  
1) An algebraic group over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529015.png" /> is a reduced group scheme of finite type over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529016.png" />. (A reduced group scheme of finite type over a field is sometimes referred to as an algebraic group.)
+
The notion of a ''group scheme'' is a generalization of the concept of an
 +
[[Algebraic group|algebraic group]]. Let ${\rm Sch}/S$ be the category of
 +
schemes over a ground scheme $S$; a
 +
[[Group object|group object]] of this category is known as a group
 +
scheme over the scheme $S$ (or a group $S$-scheme, or an $S$-scheme
 +
group). For a group scheme $G$ over $S$ the functor of points $h_G:X\to{\rm Hom}_{\rm Sch/S}(X,G)=G(X)$ is a
 +
contravariant functor from the category ${\rm Sch}/S$ into the category of
 +
groups ${\rm Gr}$. The category $S-{\rm Gr}$ of group schemes over $S$ is defined as
 +
the complete subcategory of the category of such functors formed by
 +
the representable functors (cf.
 +
[[Representable functor|Representable functor]]).
  
2) A functor which assigns to an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529017.png" />-scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529018.png" /> the additive (or multiplicative) group of the ring of sections of the structure sheaf <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529019.png" /> is representable. The corresponding group scheme over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529020.png" /> is said to be the additive (or multiplicative) group scheme, and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529021.png" /> (or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529022.png" />). For any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529023.png" />-scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529024.png" /> one has
+
===Examples.===
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529025.png" /></td> </tr></table>
 
  
3) Each abstract group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529026.png" /> defines a group scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529027.png" />, which is the direct sum of a family of schemes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529028.png" />, each one of which is isomorphic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529029.png" />. The corresponding functor maps an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529030.png" />-scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529031.png" /> to the direct sum <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529032.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529033.png" /> is the set of connected components of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529034.png" />.
+
1) An algebraic group over a field $k$ is a reduced group scheme of
 +
finite type over $k$. (A reduced group scheme of finite type over a
 +
field is sometimes referred to as an algebraic group.)
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529035.png" /> is a group scheme over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529036.png" /> then, for any point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529037.png" />, the fibre <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529038.png" /> is a group scheme over the residue field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529039.png" /> of this point. In particular, any group scheme of finite type over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529040.png" /> can be regarded as a family of algebraic groups parametrized by the base <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529041.png" />. The terminology of the theory of schemes is extended to group schemes; thus, one speaks of smooth, flat, finite, and singular group schemes.
+
2) A functor which assigns to an $S$-scheme $X$ the additive (or
 +
multiplicative) group of the ring of sections of the structure sheaf
 +
$\Gamma(X,{\mathcal O}_X)$ is representable. The corresponding group scheme over $S$ is said
 +
to be the additive (or multiplicative) group scheme, and is denoted by
 +
$G_{\alpha,S}$ (or $G_{m,S}$). For any $S$-scheme $S_1$ one has
 +
$$G_{\alpha,S}\times_S S_1 \simeq G_{\alpha,S_1},\qquad G_{m,S}\times_S S_1 \simeq G_{m,S_1}$$
 +
3) Each abstract
 +
group $\Gamma$ defines a group scheme $(\Gamma)_S$, which is the direct sum of a
 +
family of schemes $(S_g)_{g\in G}$, each one of which is isomorphic to $S$. The
 +
corresponding functor maps an $S$-scheme $X$ to the direct sum $\Gamma^{\pi_0(X)}$,
 +
where $\pi_0(X)$ is the set of connected components of $X$.
  
For any group scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529042.png" /> the corresponding reduced scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529043.png" /> is also a group scheme; the canonical closed imbedding <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529044.png" /> is a morphism of group schemes. Each reduced group scheme of locally finite type over a perfect field is smooth. Each reduced group scheme of locally finite type over a field of characteristic zero is reduced (Cartier's theorem).
+
If $G$ is a group scheme over $S$ then, for any point $s\in S$, the fibre
 +
$G_s = G\otimes_S k(s)$ is a group scheme over the residue field $k(s)$ of this point. In
 +
particular, any group scheme of finite type over $S$ can be regarded
 +
as a family of algebraic groups parametrized by the base $S$. The
 +
terminology of the theory of schemes is extended to group schemes;
 +
thus, one speaks of smooth, flat, finite, and singular group schemes.
  
Many concepts and results in the theory of algebraic groups have their analogues for group schemes. Thus, there exists an analogue of the structure theory of Borel–Chevalley for affine algebraic groups [[#References|[5]]], and a cohomology theory of extensions of group schemes and homogeneous spaces over group schemes has been developed [[#References|[2]]], [[#References|[5]]]. On the other hand, many problems and results specific to the theory of group schemes are connected with the presence of nilpotent elements in the structure sheaf of both the ground scheme and the group scheme itself. Thus, infinitesimal and formal deformations of group schemes [[#References|[4]]], problems of lifting into zero characteristic, and formal completion of group schemes (cf. [[Formal group|Formal group]]) have all been studied. Group schemes arise in a natural manner in the study of algebraic groups over a field of positive characteristic (cf. [[P-divisible group|<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529045.png" />-divisible group]]).
+
For any group scheme $G$ the corresponding reduced scheme $G{\rm red}$ is also
 +
a group scheme; the canonical closed imbedding $G{\rm red} \to G$ is a morphism of
 +
group schemes. Each reduced group scheme of locally finite type over a
 +
perfect field is smooth. Each reduced group scheme of locally finite
 +
type over a field of characteristic zero is reduced (Cartier's
 +
theorem).
  
The concept of an affine group scheme over an affine ground scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529046.png" /> is dual to the concept of a commutative [[Hopf algebra|Hopf algebra]]; this is the case if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529047.png" /> is a group scheme for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045290/g04529048.png" /> is a commutative Hopf algebra.
+
Many concepts and results in the theory of algebraic groups have their
 
+
analogues for group schemes. Thus, there exists an analogue of the
See also [[Commutative group scheme|Commutative group scheme]]; [[Finite group scheme|Finite group scheme]].
+
structure theory of Borel–Chevalley for affine algebraic groups
 
+
{{Cite|DeGr}}, and a cohomology theory of extensions of group
====References====
+
schemes and homogeneous spaces over group schemes has been developed
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  J. Tate,  F. Oort,  "Group schemes of prime order"  ''Ann. Sc. Ecole Norm. Sup.'' , '''3'''  (1970)  pp. 1–21</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  M. Demazure,  P. Gabriel,  "Groupes algébriques" , '''1''' , Masson  (1970)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  F. Oort,  "Commutative group schemes" , ''Lect. notes in math.'' , '''15''' , Springer  (1966)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  F. Oort,  "Finite group schemes, local moduli for abelian varieties and lifting problems"  ''Compos. Math.'' , '''23'''  (1971) pp. 256–296</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  M. Demazure,  A. Grothendieck,  "Schémas en groupes I-III" , ''Lect. notes in math.'' , '''151–153''' , Springer  (1970)</TD></TR></table>
+
{{Cite|DeGa}},
 +
{{Cite|DeGr}}. On the other hand, many problems and results
 +
specific to the theory of group schemes are connected with the
 +
presence of nilpotent elements in the structure sheaf of both the
 +
ground scheme and the group scheme itself. Thus, infinitesimal and
 +
formal deformations of group schemes
 +
{{Cite|Oo2}}, problems of lifting into zero characteristic, and
 +
formal completion of group schemes (cf.
 +
[[Formal group|Formal group]]) have all been studied. Group schemes
 +
arise in a natural manner in the study of algebraic groups over a
 +
field of positive characteristic (cf.
 +
[[P-divisible group|$p$-divisible group]]).
  
 +
The concept of an affine group scheme over an affine ground scheme $S={\rm Spec}\;(B)$
 +
is dual to the concept of a commutative
 +
[[Hopf algebra|Hopf algebra]]; this is the case if $G={\rm Spec}\;(A)$ is a group
 +
scheme for which $A$ is a commutative Hopf algebra.
  
 +
See also
 +
[[Commutative group scheme|Commutative group scheme]];
 +
[[Finite group scheme|Finite group scheme]].
  
====Comments====
+
Other examples of group schemes are Abelian (group) varieties {{Cite|Mu}}.
Other examples of group schemes are Abelian (group) varieties.
 
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> D. Mumford,   "Abelian varieties" , Oxford Univ. Press  (1974)</TD></TR></table>
+
{|
 +
|-
 +
|valign="top"|{{Ref|DeGa}}||valign="top"| M. Demazure, P. Gabriel, "Groupes algébriques", '''1''', Masson (1970)  {{MR|0302656}} {{MR|0284446}}  {{ZBL|0223.14009}} {{ZBL|0203.23401}}   
 +
|-
 +
|valign="top"|{{Ref|DeGr}}||valign="top"| M. Demazure, A. Grothendieck, "Schémas en groupes. I-III", ''Lect. notes in math.'', '''151–153''', Springer (1970)    {{MR|0274458}} {{MR|0274459}} {{MR|0274460}}  
 +
|-
 +
|valign="top"|{{Ref|Mu}}||valign="top"| D. Mumford, "Abelian varieties", Oxford Univ. Press (1974)  {{ZBL|0326.14012}}   
 +
|-
 +
|valign="top"|{{Ref|Oo}}||valign="top"| F. Oort, "Commutative group schemes", ''Lect. notes in math.'', '''15''', Springer (1966)  {{MR|0213365}}  {{ZBL|0216.05603}}   
 +
|-
 +
|valign="top"|{{Ref|Oo2}}||valign="top"| F. Oort, "Finite group schemes, local moduli for abelian varieties and lifting problems" ''Compos. Math.'', '''23''' (1971) pp. 256–296  {{MR|0301026}} {{ZBL|0223.14024}}   
 +
|-
 +
|valign="top"|{{Ref|TaOo}}||valign="top"| J. Tate, F. Oort, "Group schemes of prime order" ''Ann. Sc. Ecole Norm. Sup.'', '''3''' (1970) pp. 1–21  {{MR|0265368}}  {{ZBL|0195.50801}}   
 +
|-
 +
|}

Latest revision as of 21:59, 5 March 2012

2020 Mathematics Subject Classification: Primary: 14L15 Secondary: 20G35 [MSN][ZBL]


The notion of a group scheme is a generalization of the concept of an algebraic group. Let ${\rm Sch}/S$ be the category of schemes over a ground scheme $S$; a group object of this category is known as a group scheme over the scheme $S$ (or a group $S$-scheme, or an $S$-scheme group). For a group scheme $G$ over $S$ the functor of points $h_G:X\to{\rm Hom}_{\rm Sch/S}(X,G)=G(X)$ is a contravariant functor from the category ${\rm Sch}/S$ into the category of groups ${\rm Gr}$. The category $S-{\rm Gr}$ of group schemes over $S$ is defined as the complete subcategory of the category of such functors formed by the representable functors (cf. Representable functor).

Examples.

1) An algebraic group over a field $k$ is a reduced group scheme of finite type over $k$. (A reduced group scheme of finite type over a field is sometimes referred to as an algebraic group.)

2) A functor which assigns to an $S$-scheme $X$ the additive (or multiplicative) group of the ring of sections of the structure sheaf $\Gamma(X,{\mathcal O}_X)$ is representable. The corresponding group scheme over $S$ is said to be the additive (or multiplicative) group scheme, and is denoted by $G_{\alpha,S}$ (or $G_{m,S}$). For any $S$-scheme $S_1$ one has $$G_{\alpha,S}\times_S S_1 \simeq G_{\alpha,S_1},\qquad G_{m,S}\times_S S_1 \simeq G_{m,S_1}$$ 3) Each abstract group $\Gamma$ defines a group scheme $(\Gamma)_S$, which is the direct sum of a family of schemes $(S_g)_{g\in G}$, each one of which is isomorphic to $S$. The corresponding functor maps an $S$-scheme $X$ to the direct sum $\Gamma^{\pi_0(X)}$, where $\pi_0(X)$ is the set of connected components of $X$.

If $G$ is a group scheme over $S$ then, for any point $s\in S$, the fibre $G_s = G\otimes_S k(s)$ is a group scheme over the residue field $k(s)$ of this point. In particular, any group scheme of finite type over $S$ can be regarded as a family of algebraic groups parametrized by the base $S$. The terminology of the theory of schemes is extended to group schemes; thus, one speaks of smooth, flat, finite, and singular group schemes.

For any group scheme $G$ the corresponding reduced scheme $G{\rm red}$ is also a group scheme; the canonical closed imbedding $G{\rm red} \to G$ is a morphism of group schemes. Each reduced group scheme of locally finite type over a perfect field is smooth. Each reduced group scheme of locally finite type over a field of characteristic zero is reduced (Cartier's theorem).

Many concepts and results in the theory of algebraic groups have their analogues for group schemes. Thus, there exists an analogue of the structure theory of Borel–Chevalley for affine algebraic groups [DeGr], and a cohomology theory of extensions of group schemes and homogeneous spaces over group schemes has been developed [DeGa], [DeGr]. On the other hand, many problems and results specific to the theory of group schemes are connected with the presence of nilpotent elements in the structure sheaf of both the ground scheme and the group scheme itself. Thus, infinitesimal and formal deformations of group schemes [Oo2], problems of lifting into zero characteristic, and formal completion of group schemes (cf. Formal group) have all been studied. Group schemes arise in a natural manner in the study of algebraic groups over a field of positive characteristic (cf. $p$-divisible group).

The concept of an affine group scheme over an affine ground scheme $S={\rm Spec}\;(B)$ is dual to the concept of a commutative Hopf algebra; this is the case if $G={\rm Spec}\;(A)$ is a group scheme for which $A$ is a commutative Hopf algebra.

See also Commutative group scheme; Finite group scheme.

Other examples of group schemes are Abelian (group) varieties [Mu].

References

[DeGa] M. Demazure, P. Gabriel, "Groupes algébriques", 1, Masson (1970) MR0302656 MR0284446 Zbl 0223.14009 Zbl 0203.23401
[DeGr] M. Demazure, A. Grothendieck, "Schémas en groupes. I-III", Lect. notes in math., 151–153, Springer (1970) MR0274458 MR0274459 MR0274460
[Mu] D. Mumford, "Abelian varieties", Oxford Univ. Press (1974) Zbl 0326.14012
[Oo] F. Oort, "Commutative group schemes", Lect. notes in math., 15, Springer (1966) MR0213365 Zbl 0216.05603
[Oo2] F. Oort, "Finite group schemes, local moduli for abelian varieties and lifting problems" Compos. Math., 23 (1971) pp. 256–296 MR0301026 Zbl 0223.14024
[TaOo] J. Tate, F. Oort, "Group schemes of prime order" Ann. Sc. Ecole Norm. Sup., 3 (1970) pp. 1–21 MR0265368 Zbl 0195.50801
How to Cite This Entry:
Group scheme. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Group_scheme&oldid=18884
This article was adapted from an original article by I.V. Dolgachev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article