Reconstructing \(p\)-divisible groups from their truncations of small level (Q1045214): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0607268 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Revision as of 19:53, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reconstructing \(p\)-divisible groups from their truncations of small level |
scientific article |
Statements
Reconstructing \(p\)-divisible groups from their truncations of small level (English)
0 references
15 December 2009
0 references
Summary: Let \(k\) be an algebraically closed field of characteristic \(p>0\). Let \(D\) be a \(p\)-divisible group over \(k\). Let \(n_D\) be the smallest non-negative integer for which the following statement holds: if \(C\) is a \(p\)-divisible group over \(k\) of the same codimension and dimension as \(D\) and such that \(C[p^{n_D}]\) is isomorphic to \(D[p^{n_D}]\), then \(C\) is isomorphic to \(D\). To the Dieudonné module of \(D\) we associate a non-negative integer \(\ell_D\) which is a computable upper bound of \(n_D\). If \(D\) is a product \(\prod_{i\in~I}~D_i\) of isoclinic \(p\)-divisible groups, we show that \(n_D = \ell_D\); if the set \(I\) has at least two elements we also show that \(n_D\leq \max\{1, n_{D_i}, n_{D_i}~+n_{D_j}~-1\mid i,~j\in I, ~j\neq i\}\). We show that we have \(n_D\leq 1\) if and only if \(\ell_D\leq 1\); this recovers the classification of minimal \(p\)-divisible groups obtained by Oort. If \(D\) is quasi-special, we prove the Traverso truncation conjecture for \(D\). If \(D\) is \(F\)-cyclic, we explicitly compute \(n_D\). Many results are proved in the general context of latticed \(F\)-isocrystals with a (certain) group over \(k\).
0 references
\(p\)-divisible groups
0 references
\(F\)-crystals
0 references
algebras
0 references
affine group schemes
0 references