Relations between Dieudonné displays and crystalline Dieudonné theory (Q486422)

Classification of \(p\)-divisible groups over perfect rings \(R\) can be classified by displays. More generally, if \(R\) is a local Artin ring with perfect residue field \(k\) of characteristic \(p\), and if \(p>2\) or \(\text{char}(R) = p\), Zink defines Dieudonné displays over \(R\) and shows that they classify all \(p\)-divisible groups over \(R\). The subject paper solves the classification problem when \(p=2\) with an extra condition of \(R\) but no restriction on the characteristics, namely, when the order of nilpotence of nilpotent elements of \(R\) is bounded, and \(R_{\text{red}}\) is perfect of characteristic \(p\). The author proves that the category of \(p\)-divisible groups over \(R\) and the category of Dieudonné display over \(R\) is an equivalence of exact categories by explicitly constructing a functor between the two categories. As a corollary, this provides a proof of a conjecture of Breuil on classification of finite locally free \(p\)-group scheme over a complete regular local ring with perfect residue field using Breuil-Kisin modules. Independent proofs of Breuil's conjecture can also be found at \textit{T. Liu} [J. Théor. Nombres Bordx. 25, No. 3, 661--676 (2013; Zbl 1327.14206)] or \textit{W. Kim} [Math. Res. Lett. 19, No. 1, 121--141 (2012; Zbl 1284.14056)].