In great generality, for an integer a -divisible group is a codirected diagram of abelian group objects in a category where the abelian-group objects are (equivalently) the kernels of the map given by multiplication with a power of ; these kernels are also called -torsions.
In the classically studied case is a prime number, is the category of schemes over a commutative ring (mostly a field with prime characteristic) and the abelian group schemes occurring in the diagram are assumed to be finite. In this case the diagram defining the -divisible group can be described in terms of the growth of the order of the group schemes in the diagram.
Note that there is also a notion of divisible group.
Some authors refer to (instead of the diagram itself) as the -divisible group.
see Lipnowski pg.2, example (b)
The eponymous (-divisible groups are sometimes called Barsotti-Tate groups) example is a special case of the previous one - namely the Barsotti-Tate group of an abelian variety. Let be an abelian variety over of dimension , then the multiplication map by has kernel which is a finite group scheme over of order . The natural inclusions satisfy the conditions for the limit denoted to be a -divisible group of height .
A theorem of Serre and Tate says that there is an equivalence of categories between divisible, commutative, formal Lie groups over and the category of connected -divisible groups over given by , where . In particular, every connected -divisible group is smooth
Given a -divisible group , each individual has a Cartier dual since they are all group schemes. There are also maps that make the composite the multiplication by on . After taking duals, the composite is still the multiplication by map on , so it is easily checked that forms a -divisible group called the Cartier dual.
One of the important properties of the Cartier dual is that one can determine the height of a -divisible group (often a hard task when in the abstract) using the information of the dimension of the formal group and its dual. For any -divisible group, , we have the formula that .
For the moment see display of a p-divisible group.
The dual .
For an abelian variety , the dual is where denotes the dual abelian variety. Another proof that has height is to note that and have the same dimension , so using our formula for height we get .
The category of étale -divisible groups is equivalent to the category of -adic representations of the fundamental group of the base scheme .
Important tools in the study of -divisible groups are Witt rings, Dieudonné modules and more generally Dieudonné theories? assigning to a -divisible group an object of linear algebra such as a display of a p-divisible group.
Barsotti, Iacopo (1962), “Analytical methods for abelian varieties in positive characteristic”, Colloq. Théorie des Groupes Algébriques (Bruxelles, 1962), Librairie Universitaire, Louvain, pp. 77–85, MR 0155827
Grothendieck, Alexander (1971), “Groupes de Barsotti-Tate et cristaux”, Actes du Congrès International des Mathématiciens (Nice, 1970), 1, Gauthier-Villars, pp. 431–436, MR 0578496
Messing, William (1972), The crystals associated to Barsotti-Tate groups: with applications to abelian schemes, Lecture Notes in Mathematics, 264, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0058301, MR 0347836
Serre, Jean-Pierre (1995) , “Groupes p-divisibles (d’après J. Tate) web, Exp. 318”, Séminaire Bourbaki, 10, Paris: Société Mathématique de France, pp. 73–86, MR 1610452
Stephen Shatz, Group Schemes, Formal Groups, and -Divisible Groups in the book Arithmetic Geometry Ed. Gary Cornell and Joseph Silverman, 1986
Tate, John T. (1967), “p-divisible groups.” pdf, in Springer, Tonny A., Proc. Conf. Local Fields( Driebergen, 1966), Berlin, New York: Springer-Verlag, MR 0231827
de Jong, A. J. (1998), Barsotti-Tate groups and crystals, “Proceedings of the International Congress of Mathematicians, Vol. II (Berlin, 1998)”, Documenta Mathematica II: 259–265, ISSN 1431-0635, MR 1648076
Dolgachev, I.V. (2001), “P-divisible group” web, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Richard Pink, finite group schemes, 2004-2005, pdf
Hoaran Wang, moduli spaces of p-divisible groups and period morphisms, Masters Thesis, 2009, pdf
Liang Xiao, notes on -divisible groups, pdf
Paul Goerss, p-divisible groups and Lurie’s realization result, 2008, pdf slides
Peter Scholze, Moduli of p-divisible groups, arxiv
Thomas Zink, a dieudonné theory for p-divisible groups, pdf
Thomas Zink, list of publications and preprints, web
T. Zink, On the slope filtration, Duke Math. Journal, Vol.109 (2001), No.1, 79-95, pdf
T. Zink, Windows for displays of p-divisible groups. in:Moduli of Abelian Varieties, Progress in Mathematics 195, Birkhäuser 2001, pdf