The classification of \(p\)-divisible groups over 2-adic discrete valuation rings (Q2391590)

Suppose \(k\) is a perfect of positive characteristic \(p\). Let \(W(k)\) be its ring of Witt vectors and let \(K_0\) be the field of fractions of \(W(k)\). Let \(K\) be a finite totally ramified extension of \(K_0\) and we fix a uniformizer \(\pi \in K\). Let \(\mathcal{O}_K\) be a \(p\)-adic discrete valuation ring with perfect residue field \(k\). Put \(\mathfrak{S} = W(k)[[u]]\). Let \(\mathrm{BT}^{\varphi}_{/\mathfrak{S}}\) be the category of \(\varphi\)-module of height \(\leq 1\), whose objects are pairs \((\mathfrak{M},\varphi_{\mathfrak{M}})\) where \(\mathfrak{M}\) is a finite free \(\mathfrak{S}\)-module and \(\varphi_{\mathfrak{M}} : \mathfrak{M} \to \mathfrak{M}\) is a \(\varphi\)-semi-linear endomorphism such that \(E(u)\) annihilates \(\mathrm{coker}(1 \otimes \varphi_{\mathfrak{M}} : \varphi^*\mathfrak{M} \to \mathfrak{M})\) where \(E(u) \in W(k)[u]\) is an Eisenstein polynomial such that \(E(\pi) = 0\) and \(E(0)=p\). Let \((\mathrm{Mod}/\mathfrak{S})^{\leq 1}\) be the category of torsion \(\varphi\)-modules of height \(\leq 1\), whose objects are pairs \((\mathfrak{M}, \varphi_{\mathfrak{M}})\) where \(\mathfrak{M}\) is a finitely generated \(p^{\infty}\)-torsion \(\mathfrak{S}\)-module with non-zero \(u\)-torsion and \(\varphi_{\mathfrak{M}} : \mathfrak{M} \to \mathfrak{M}\) satisfies the same condition as in \(\mathrm{BT}^{\varphi}_{/\mathfrak{S}}\). \textit{C. Breuil} (see [Ann. Math. (2) 152, No. 2, 489--549 (2000; Zbl 1042.14018)]) conjectured that there exist exact anti-equivalences of categories between the category of \(p\)-divisible groups over \(\mathcal{O}_K\) and \(\mathrm{BT}^{\varphi}_{/\mathfrak{S}}\) and between category of \(p\)-power order finite flat group schemes over \(\mathcal{O}_K\) and \((\mathrm{Mod}/\mathfrak{S})^{\leq 1}\) satisfying some extra conditions. \textit{M. Kisin} [Progr. Math. 253, 457--496 (2006; Zbl 1184.11052)] proved the conjecture when \(p>2\) and later proved the conjecture for the Cartier duals of connected \(p\)-divisible groups without restriction on \(p\). The subject paper proves the conjecture without connectedness assumptions when \(p=2\). The same result is obtained by \textit{E. Lau} [``Displayed equations for Galois representations'', \url{arxiv:1012.4436}; ``A relation between Dieudonne displays and crystalline Dieudonne theory, \url{arxiv:1006.2720}] by extending Zink's theory of windows and displays for arbitrary \(p\)-divisible groups with no restriction on \(p\) (over more general bases than discrete valuation rings). \textit{T. Liu} [Compos. Math. 144, No. 1, 61--88 (2008; Zbl 1133.14020)] also proved the same result using the \((\varphi, \hat{G})\)-modules. The subject paper's approach is more related Kisin's original approach.