Computing isomorphism numbers of F-crystals by using level torsions

Abstract

The isomorphism number of an $F$-crystal $(M,\varphi )$ over an algebraically closed field of positive characteristic is the smallest non-negative integer $n_M$ such that the $n_M$-th level truncation of $(M,\varphi )$ determines the isomorphism class of $(M,\varphi )$. When $(M,\varphi )$ is isoclinic, namely it has a unique Newton slopes $\lambda$, we provide an efficiently computable upper bound of $n_M$ in terms of the Hodge slopes of $(M,\varphi )$ and $\lambda$. This is achieved by providing an upper bound of the level torsion of $(M,\varphi )$ introduced by Vasiu. We also check that this upper bound is optimal for many families of isoclinic $F$-crystals that are of special interests (such as isoclinic $F$-crystals of K3 type).

Final version accepted by Journal of Number Theory

References in corpus (3)

• Crystalline boundedness principle
• Reconstructing $p$-divisible groups from their truncations of small level
• Minimal truncations of supersingular p-divisible groups