Canonical subgroups of Barsotti-Tate groups (Q601861)

The paper under review generalises a theorem of \textit{A. Abbes} and \textit{A. Mokrane} [Publ. Math. Inst. Hautes Etud. Sci. 99, 117--162 (2004; Zbl 1062.14057)]. Assume \(V\) is a discrete valuation-ring of mixed characteristic \(p\), with perfect residue field, and \(G\) a truncated Barsotti-Tate group of level one over \(V\). Modulo \(p\) kernel of Frobenius defines a finite flat closed subscheme. The problem is to find a finite flat lift to \(V\). This is known for ordinary \(G\)'s, and shown here if the determinant of the adjoint Frobenius (the Verschiebung) on the Lie-algebra of the dual group has sufficiently small valuation (this valuation is zero for ordinary \(G\)). The lift is characterised by either the ramification theory of Abbes-Saito or by a refinement of Cartier-duality. The proof uses heavily the filtration on mod \(p\) vanishing cycles defined by Bloch-Kato.