×

Additive extensions of a Barsotti-Tate group. (English) Zbl 0919.14028

Let \(k\) be a perfect field of characteristic \(p\) and \(W(k)\) the ring of Witt vectors over \(k\). If \(G\) is a smooth formal group over \(A=W(k)\) then an additive extension of \(G\) is a pair \((H,\pi)\) with \(H\) a formal group over \(A\) and \(\pi:H\rightarrow G\) an epimorphism whose kernel is isomorphic to \({\mathbb G}_a^n\) where \({\mathbb G}_a\) is the additive formal group over \(A\). The author shows (proposition 13) that if \(G\) is a Barsotti-Tate group over \(A\) then to each additive extension there corresponds a submodule of \(M^{(1)}\), where \(M\) is the Dieudonné module of \(G\), and that these classify such extensions (theorem 17). Using this an explicit construction of the universal extension of \(G\) over \(W(k)\) is given (theorems 19, 23). If G is a Barsotti-Tate group over \(k\) and \(G_L\) is its lifting over \(W(k)\), then additive extensions of \(G\) are shown to be isomorphic to the special fibres of additive extensions of \(G_L\). From this an explicit construction of the universal additive extension for Barsotti-Tate groups over \(k\) follows (theorem 27). The paper concludes with a result relating non-decomposable additive extensions of \(G\) over \(k\) and sub-\(k\)-bialgebras of the Barsotti algebra of \(G\) (theorem 31).

MSC:

14L05 Formal groups, \(p\)-divisible groups
PDFBibTeX XMLCite
Full Text: Numdam EuDML

References:

[1] I. Barsotti , Metodi analitici per varietà abeliane in caratteristica p , Ann. Sc. Norm. Sup. Pisa , 18 ( 1964 ), 19 ( 1965 ). Numdam | MR 168566 · Zbl 0121.16104
[2] M. Candilera - V. Cristante , Witt Realization of p-adic Barsotti-Tate groups , Proceedings of Barsotti Memorial Symposium, Academic Press ( 1994 ). MR 1307393 | Zbl 0838.14038 · Zbl 0838.14038
[3] J.M. Fontaine , Groupes p-divisibles sur les corps locaux , Asterisque , 47 - 48 ( 1977 ). MR 498610 | Zbl 0377.14009 · Zbl 0377.14009
[4] N.M. Katz , Crystalline cohomology, Dieudonné modules, and Jacobi sums, Collection: Automorphic forms, representation theory and arithmetic , Tata Inst. Fundamental Res. , Bombay ( 1981 ). MR 633662 | Zbl 0502.14007 · Zbl 0502.14007
[5] B. Mazur - W. Messing , Universal Extention and One Dimensional Crystalline Cohomology , Lecture Notes in Mathematics , n. 370 , Springer , Berlin ( 1974 ). MR 374150 | Zbl 0301.14016 · Zbl 0301.14016 · doi:10.1007/BFb0061628
[6] W. Messing , The Crystals Associated to Barsotti-Tate Groups: with Applications to Abelian Schemes , Lecture Notes in Mathematics , n. 264 , Springer , Berlin ( 1972 ). MR 347836 | Zbl 0243.14013 · Zbl 0243.14013 · doi:10.1007/BFb0058301
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.