Reconstructing \(p\)-divisible groups from their truncations of small level (Q1045214)
From MaRDI portal
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