Partial hasse invariants, partial degrees, and the canonical subgroup

If the Hasse invariant of a p-divisible group is small enough, then one can construct a canonical subgroup inside its p-torsion. We prove that, assuming the existence of a subgroup of adequate height in the p-torsion with high degree, the expected properties of the canonical subgroup can be easily proved, especially the relation between its degree and the Hasse invariant. When one considers a p-divisible group with an action of the ring of integers of a (possibly ramified) finite extension of Qp, then much more can be said. We define partial Hasse invariants (which are natural in the unramified case, and generalize a construction of Reduzzi and Xiao in the general case), as well as partial degrees. After studying these functions, we compute the partial degrees of the canonical subgroup.