Difference between revisions of "Abelian scheme"
From Encyclopedia of Mathematics
(Importing text file) |
(→References: zbl link) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | A smooth [[Group scheme|group scheme]] over a base scheme | + | {{TEX|done}} |
| + | A smooth [[Group scheme|group scheme]] over a base scheme $S$, the fibres of which are Abelian varieties (cf. [[Abelian variety|Abelian variety]]). The following is an equivalent definition: An Abelian scheme over $S$, or an Abelian $S$-scheme, is a proper smooth group $S$-scheme all fibres of which are geometrically connected. Intuitively, an Abelian $S$-scheme may be understood as a family of Abelian varieties parametrized by the scheme $S$. A number of fundamental properties of Abelian varieties carry over to Abelian schemes. For instance, an Abelian $S$-scheme $A$ is a commutative group $S$-scheme [[#References|[1]]], and if $S$ is a normal scheme, $A$ is projective over $S$, [[#References|[2]]]. | ||
Abelian schemes are used in the context of moduli schemes of Abelian varieties with various auxiliary structures, and also in the theory of reduction of Abelian varieties (cf. [[Néron model|Néron model]]). | Abelian schemes are used in the context of moduli schemes of Abelian varieties with various auxiliary structures, and also in the theory of reduction of Abelian varieties (cf. [[Néron model|Néron model]]). | ||
====References==== | ====References==== | ||
| − | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> | + | <table> |
| + | <TR><TD valign="top">[1]</TD> <TD valign="top"> D. Mumford, "Geometric invariant theory" , Springer (1965) {{ZBL|0147.39304}}</TD></TR> | ||
| + | <TR><TD valign="top">[2]</TD> <TD valign="top"> M. Raynaud, "Faisceaux amples sur les schémas en groupes et les espaces homogénes" , Springer (1970)</TD></TR> | ||
| + | </table> | ||
Latest revision as of 11:29, 27 January 2024
A smooth group scheme over a base scheme $S$, the fibres of which are Abelian varieties (cf. Abelian variety). The following is an equivalent definition: An Abelian scheme over $S$, or an Abelian $S$-scheme, is a proper smooth group $S$-scheme all fibres of which are geometrically connected. Intuitively, an Abelian $S$-scheme may be understood as a family of Abelian varieties parametrized by the scheme $S$. A number of fundamental properties of Abelian varieties carry over to Abelian schemes. For instance, an Abelian $S$-scheme $A$ is a commutative group $S$-scheme [1], and if $S$ is a normal scheme, $A$ is projective over $S$, [2].
Abelian schemes are used in the context of moduli schemes of Abelian varieties with various auxiliary structures, and also in the theory of reduction of Abelian varieties (cf. Néron model).
References
| [1] | D. Mumford, "Geometric invariant theory" , Springer (1965) Zbl 0147.39304 |
| [2] | M. Raynaud, "Faisceaux amples sur les schémas en groupes et les espaces homogénes" , Springer (1970) |
How to Cite This Entry:
Abelian scheme. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Abelian_scheme&oldid=11728
Abelian scheme. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Abelian_scheme&oldid=11728
This article was adapted from an original article by I.V. Dolgachev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article