Everipedia Logo
Everipedia is now IQ.wiki - Join the IQ Brainlist and our Discord for early access to editing on the new platform and to participate in the beta testing.
Barsotti–Tate group

Barsotti–Tate group

In algebraic geometry, Barsotti–Tate groups or p are similar to the points of order a power of p on an abelian variety in characteristic p. They were introduced by Barsotti (1962) under the name equidimensional hyperdomain and by Tate (1967) under the name p-divisible groups, and named Barsotti–Tate groups by Grothendieck (1971).

Definition

Tate (1967) defined a p-divisible group of height h (over a scheme S) to be an inductive system of groups G**n for n≥0, such that G**n is a finite group scheme over S of order p**n and such that G**n is (identified with) the group of elements of order divisible by p**n in G**n+1.

More generally, Grothendieck (1971) defined a Barsotti–Tate group G over a scheme S to be an fppf sheaf of commutative groups over S that is p-divisible, p-torsion, such that the points G(1) of order p of G are (represented by) a finite locally free scheme. The group G(1) has rank p**h for some locally constant function h on S, called the rank or height of the group G. The subgroup G(n) of points of order p**n is a scheme of rank p**nh, and G is the direct limit of these subgroups.

Example

  • Take G**n to be the cyclic group of order p**n (or rather the group scheme corresponding to it). This is a p-divisible group of height 1.

  • Take G**n to be the group scheme p**nth roots of 1. This is a p-divisible group of height 1.

  • Take G**n to be the subgroup scheme of elements of order p**n of an abelian variety. This is a p-divisible group of height 2d where d is the dimension of the Abelian variety.

References

[1]
Citation Link//www.ams.org/mathscinet-getitem?mr=01558270155827
Sep 30, 2019, 12:07 PM
[2]
Citation Link//doi.org/10.1007%2FBFb006074110.1007/BFb0060741
Sep 30, 2019, 12:07 PM
[3]
Citation Link//www.ams.org/mathscinet-getitem?mr=03442610344261
Sep 30, 2019, 12:07 PM
[4]
Citation Linkwww.encyclopediaofmath.org"P-divisible group"
Sep 30, 2019, 12:07 PM
[5]
Citation Linkweb.archive.orgActes du Congrès International des Mathématiciens (Nice, 1970)
Sep 30, 2019, 12:07 PM
[6]
Citation Link//www.ams.org/mathscinet-getitem?mr=05784960578496
Sep 30, 2019, 12:07 PM
[7]
Citation Linkmathunion.orgthe original
Sep 30, 2019, 12:07 PM
[8]
Citation Linkmathunion.org"Barsotti-Tate groups and crystals"
Sep 30, 2019, 12:07 PM
[9]
Citation Link//www.worldcat.org/issn/1431-06351431-0635
Sep 30, 2019, 12:07 PM
[10]
Citation Link//www.ams.org/mathscinet-getitem?mr=16480761648076
Sep 30, 2019, 12:07 PM
[11]
Citation Link//doi.org/10.1007%2FBFb005830110.1007/BFb0058301
Sep 30, 2019, 12:07 PM
[12]
Citation Link//www.ams.org/mathscinet-getitem?mr=03478360347836
Sep 30, 2019, 12:07 PM
[13]
Citation Linkwww.numdam.org"Groupes p-divisibles (d'après J. Tate), Exp. 318"
Sep 30, 2019, 12:07 PM
[14]
Citation Link//www.ams.org/mathscinet-getitem?mr=16104521610452
Sep 30, 2019, 12:07 PM
[15]
Citation Link//www.ams.org/mathscinet-getitem?mr=02318270231827
Sep 30, 2019, 12:07 PM
[16]
Citation Linkwww.ams.org0155827
Sep 30, 2019, 12:07 PM
[17]
Citation Linkdoi.org10.1007/BFb0060741
Sep 30, 2019, 12:07 PM
[18]
Citation Linkwww.ams.org0344261
Sep 30, 2019, 12:07 PM
[19]
Citation Linkwww.encyclopediaofmath.org"P-divisible group"
Sep 30, 2019, 12:07 PM
[20]
Citation Linkweb.archive.orgActes du Congrès International des Mathématiciens (Nice, 1970)
Sep 30, 2019, 12:07 PM