Namespaces
Variants
Actions

P-divisible group

From Encyclopedia of Mathematics
Revision as of 17:04, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Barsotti–Tate group

A generalization of the concept of a commutative formal group of finite height. The homomorphism induced by multiplication by the prime number is an epimorphism for a -divisible group.

Let be a scheme and let be a prime number. A -divisible group of height is an inductive system of commutative finite group schemes of order (cf. Group scheme) such that the sequences

are exact (cf. Exact sequence; here is the homomorphism of multiplication by ). A morphism of -divisible groups is a morphism of the inductive systems. A -divisible group is said to be connected (respectively, étale) if all are connected (respectively, étale) group schemes. A connected -divisible group over a field of characteristic is a commutative formal group (considered as the inductive limit of the kernels of , i.e. of multiplication by ) for which multiplication by is an isogeny [6]. This fact is generalized to include the case of an arbitrary base scheme on which the homomorphism induced by multiplication by is locally nilpotent [4]. The category of étale -divisible groups is equivalent to the category of -adic representations of the fundamental group of the scheme . Each -divisible group over an Artinian scheme contains a maximal connected subgroup , which is known as the connected component of the identity, the quotient by which is an étale -divisible group. The dimension of the Lie algebra of any is said to be the dimension of the -divisible group .

Let be an Abelian variety over the field of dimension , let be the kernel of the homomorphism of multiplication by in and let be a natural inclusion. The inductive system is a -divisible group of height . Its connected component of the identity coincides with the formal completion of along the unit section, while the height of equals .

Let be a -divisible group of height , let denote the Cartier dual finite group schemes and let be the mapping dual to the mapping of multiplication by . The system is then a -divisible group of height and is called the Serre dual to the -divisible group . The sum of the dimensions of and is equal to .

As in formal groups, so, too, in -divisible groups, the concept of a Dieudonné module, which plays an important role in the deformation theory of -divisible groups [2], [3], [4] may be introduced.

If is the spectrum of an unequal-characteristic discrete valuation ring with residue field of characteristic , the structure of a -divisible group is closely connected with the structure of the completion of the algebraic closure of the quotient field of , considered as a module over the Galois group of the field [6].

References

[1] I. Barsotti, "Analytic methods for abelian varieties in positive characteristic" , Coll. Théorie des Groupes Algébriques (Bruxelles, 1962) , Gauthier-Villars (1962) pp. 77–85
[2] A. Grothendieck, "Groupes de Barsotti–Tate et cristaux" , Proc. Internat. Congress Mathematicians (Nice, 1970) , 1 , Gauthier-Villars (1971) pp. 431–436
[3] B. Mazur, W. Messing, "Universal extensions and one-dimensional crystalline cohomology" , Springer (1974)
[4] W. Messing, "The crystals associated to Barsotti–Tate groups: with applications to Abelian schemes" , Springer (1972)
[5] J.-P. Serre, "Groupes -divisibles (d'après J. Tate)" , Sem. Bourbaki , 318 , Benjamin (1968)
[6] J.T. Tate, "-divisible groups" T.A. Springer (ed.) et al. (ed.) , Proc. Conf. local fields (Driebergen, 1966) , Springer (1967) pp. 158–183


Comments

References

[a1] M. Demazure, "Lectures on -divisible groups" , Lect. notes in math. , 302 , Springer (1972)
How to Cite This Entry:
P-divisible group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=P-divisible_group&oldid=48092
This article was adapted from an original article by I.V. Dolgachev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article