Subtle Invariants of F-Crystals

Abstract

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 nM of M and expected that in fact one always has nM = ιM. In this paper, we prove that this equality holds.