Subtle Invariants of F-Crystals

Vasiu proved that the level torsion ^ιM of an F-crystal M over an algebraically closed field of characteristic p > 0 is a non-negative integer that is an effectively computable upper bound of the isomorphism number n_M of M and expected that in fact one always has n_M = ^ιM. In this paper, we prove that this equality holds.