Purity of the stratification by Newton polygons

Let be a variety in characteristic . Suppose we are given a nondegenerate -crystal over , for example the th relative crystalline cohomology sheaf of a family of smooth projective varieties over . At each point of we have the Newton polygon associated to the action of on the fibre of the crystal at . According to a theorem of Grothendieck the Newton polygon jumps up under specialization. The main theorem of this paper is that the jumps occur in codimension on (the Purity Theorem). As an application we prove some results on deformations of iso-simple -divisible groups.