Minimal p-divisible groups

Abstract

A p-divisible group X can be seen as a tower of building blocks, each of which
\nis isomorphic to the same finite group scheme X[p]. Clearly, if X1 and X2 are isomorphic
\nthen X1[p] ∼= X2[p]; however, conversely X1[p] ∼= X2[p] does in general not imply that X1
\nand X2 are isomorphic. Can we give, over an algebraically closed field in characteristic p, a
\ncondition on the p-kernels which ensures this converse? Here are two known examples of such
\na condition: consider the case that X is ordinary, or the case that X is superspecial (X is
\nthe p-divisible group of a product of supersingular elliptic curves); in these cases the p-kernel
\nuniquely determines X.