--- abstract: 'Let $\fo_K$ be a $2$-adic discrete valuation ring with perfect residue field $k$. We classify $p$-divisible groups and $p$-power order finite flat group schemes over $\fo_K$ in terms of certain Frobenius modules over $\Sig:=W(k)[[u]]$. We also show the compatibility with crystalline Dieudonné theory and associated Galois representations. Our approach differs from Lau's generalization of display theory, who independently obtained our result using display theory.' bibliography: - 'bib.bib' title: 'The classification of $p$-divisible groups over $2$-adic discrete valuation rings' --- Introduction {#sec:intro} ============ Let $k$ be a perfect field of characteristic $p$, $W(k)$ its ring of Witt vectors, and $K_0:=W(k)[\ivtd p]$. Let $K$ be a finite totally ramified extension of $K_0$ and let us fix its algebraic closure $\Kbar$. We fix a uniformizer $\pi\in K$ and an Eisenstein polynomial $\PP(u)\in W(k)[u]$ such that $\PP(\pi)=0$ and $\PP(0)=p$. Choose $\pi^{(n)}\in\Kbar$ so that $(\pi^{(n+1)})^p = \pi^{(n)}$ and $\pi^{(0)}=\pi$. Put $K_\infty:= \bigcup_n K(\pi^{(n)})$, $\gal_K:=\Gal(\Kbar/K)$, and $\gal_{K_\infty}:=\Gal(\Kbar/K_\infty)$. Set $\Sig:=W(k)[[u]]$ and we extend the Witt vector Frobenius map to a ring endomorphism $\vphi:\Sig\ra\Sig$ by $\vphi(u)=u^p$. Breuil has conjectured that $p$-divisible groups and finite flat group schemes over $\fo_K$ are classified by a certain Frobenius-module over $\Sig$; namely, $\phimodBT\Sig$ and $(\Mod/\Sig)^{\leqs1}$, respectively. (The precise definitions will be given later in Definitions \[def:KisinLatt\] and \[def:KisinTor\].) Also note that there exist contravariant functors $ T^*_\Sig$ from $\phimodBT\Sig$ and $(\Mod/\Sig)^{\leqs1}$ to the category of finitely generated $\Zp$-modules with continuous $\GKinfty$-action (\[eqn:TSigLattice\], \[eqn:TSigTors\]). The main result of this paper is the proof of the following conjecture of Breuil. \[Breuil\]\[conj:breuil\] There exists an exact anti-equivalence of categories $G\leftrightsquigarrow\gM_G$ between the category of $p$-divisible groups over $\fo_K$ and $\phimodBT\Sig$ such that the contravariant Dieudonné crystal $\DD^*(G)$ can be recovered from $\gM_G$ and there exists a natural $\GKinfty$-equivariant isomorphism $T_p(G)\cong T^*_\Sig(\gM_G)$. There exists an exact anti-equivalence of categories $H\leftrightsquigarrow\gM_H$ between the category of $p$-power order finite flat group schemes over $\fo_K$ and $(\Mod/\Sig)^{\leqs1}$ such that the contravariant Dieudonné crystal $\DD^*(H)$ can be recovered from $\gM_H$ and there exists a natural $\GKinfty$-equivariant isomorphism $H(\Kbar)\cong T^*_\Sig(\gM_H)$. The definition of these functors make use of the choice of uniformizer $\pi\in\fo_K$ (since the definitions of the target categories $\phimodBT\Sig$ and $(\Mod/\Sig)^{\leqs1}$ do).[^1] Note that the $\GKinfty$-restriction induces a fully faithful functor from the category of $\GK$-representations coming from either a $p$-divisible group or a finite flat group scheme over $\fo_K$ to the category of $\GKinfty$-representations (*cf.* @kisin:fcrys [Corollary 2.1.14] and Corollary \[cor:FF\] in this paper), and when $G$ is a $p$-divisible group we can give a description of the $\GK$-action on $T^*_\Sig(\gM_G)$ which recovers the natural $\GK$-action on $T_p(G)$. (*cf.* , Proposition \[prop:main2\], and the proof of Proposition \[prop:key\].) Although the compatibility of the functors with the associated Galois representations was not explicitly stated in the original conjecture @breuil:GpSchNormField [§2], it is important for the applications in number theory; for example, this is needed for the construction of moduli of finite flat group schemes @Kisin:ModuliGpSch, and Kisin's strategy of constructing a good integral model of an abelian-type Shimura variety @Kisin:IntModelAbType.[^2] In the latter case we need this extra compatibility because Kisin's argument requires that the assignment $T_p(G)\rightsquigarrow \gM_G$ for a $p$-divisible group $G$ over $\fo_K$ should extend to a $\otimes$-functor on the $\otimes$-category generated by the $T_p(G)$'s in the category of $\Zp[\GK]$-modules (hence, we escape the realm of Barsotti-Tate representations), and this could be checked via Galois compatibility. Now we comment on the previous results on the conjecture. Breuil @breuil:GpSchNormField [@Breuil:GrPDivGrFiniModFil] proved the conjecture for finite flat group schemes killed by $p$ when $p>2$. Kisin @kisin:fcrys [§<span>A</span> and Corollary 2.2.6] proved the full conjecture when $p>2$, and proved the "isogeny version" of the conjecture when $p=2$. Later Kisin @Kisin:2adicBT [§1] proved the conjecture for the Cartier duals of connected $p$-divisible groups without restriction on $p$, using Zink's theory of windows and displays. In this paper, we prove the conjecture without connectedness assumptions when $p=2$. Independently, Eike Lau @Lau:2010fk [@Lau:GalRep] has proven the conjecture by a different approach. Indeed, Lau @Lau:2010fk extended the Zink's theory of windows and displays for arbitrary $p$-divisible groups with no restrictions on $p$ (over more general bases than discrete valuation rings), and obtained the compatibility with Galois representations in @Lau:GalRep via "displayed equation". Shortly after this paper was completed, Tong Liu @Liu:Classif independently proved Theorem \[thm:classif\] of this paper using his theory of $(\vphi,\hat G)$-modules. Our approach is different from aforementioned results, and more related to Kisin's original approach in @kisin:fcrys. The $p=2$ case of Conjecture \[conj:breuil\] has been the main technical obstacle to constructing a good $2$-adic integral model of a Shimura variety of abelian type following Kisin's strategy @Kisin:IntModelAbType. Also Madapusi Pera's work on toroidal compactifications of these integral models in the Hodge-type case @MadapusiPera:Thesis assumes $p>2$ for the similar reason. Though we have not succeeded yet, it seems that the result of this paper (which proves Conjecture \[conj:breuil\]) can be used to extend the main results of @Kisin:IntModelAbType (and quite possibly, @MadapusiPera:Thesis) to cover some $2$-adic case. (See Remark \[rmk:IntModel\] for more details.) Note that the existence of such good integral models plays a fundamental role in Langlands' Jugendtraum @Langlands:Jugendtraum and Kudla's program outlined in @Kudla:EisensteinOutline. Now, let us explain some of the trouble one encounters when proving Conjecture \[conj:breuil\] when $p=2$ (with no connectedness assumptions). We consider the following the $\Zp$-lattices in $V_p(G):=T_p(G)[\ivtd p]$ for a $p$-divisible group $G$ over $\fo_K$. - $T:= T_p(G)$, the $p$-adic Tate module. - $T_\gM:=T^*_\Sig(\gM_G)$, where $T^*_\Sig(\gM_G)$ is defined in . - $T_\DD$, the $\Zp$-lattice associated to the Dieudonné crystal via $T^*_{\st}$ . *cf.* §\[subsec:Dieudonne\]. The desired compatibility follows from the equality $T=T_\gM$. When $p>2$ or when the Cartier dual $G^\vee$ is connected, we can prove the equality $T=T_\gM$ by showing $T=T_\DD$ and $T_\gM=T_\DD$. Indeed, the equality $T_\gM=T_\DD$ follows from a standard linear algebra computation together with the compatibility with crystalline Dieudonné theory, if $p>2$ or if the Cartier dual $G^\vee$ is connected. The equality $T=T_\DD$ follows from Faltings's integral comparison isomorphism when $p>2$ @Faltings:IntegralCrysCohoVeryRamBase [Theorem 7] and Zink's theory of windows and display when $G^\vee$ is connected @Kisin:2adicBT [Proposition 1.1.10]. The trouble is that when $p=2$ the lattice $T_\gM$ is *strictly* contained in $T_\DD$ if $G^\vee$ is not connected (Proposition \[prop:main2\]). Indeed, we will show that $T=T_\gM$ as sublattices in $T_\DD$. Let us explain our approach to prove Conjecture \[conj:breuil\]. We use Kisin theory @kisin:fcrys to define a functor $G\rightsquigarrow\gM_G$ from the category of $p$-divisible groups to the category of $(\vphi,\Sig)$-modules in such a way that the equality $T=T_\gM$ is automatic by construction. We show that this functor is an anti-equivalence, and then we separately show the compatibility with Dieudonné crystals. Since the result up to isogeny was already obtained by Kisin @kisin:fcrys, it is not surprising that the integral results can be obtained by studying Galois-stable lattices in $V_p(G)$. The author expects that this idea can be generalized to show the following statement about $\GK$-stable $\Zp$-lattices in semi-stable representations with small Hodge-Tate weights. Let $D:=(D,\vphi_D,N,\Fil^\bullet D_K)$ be a weakly admissible filtered $(\vphi,N)$-module such that $\gr^wD_K = 0$ for all $w\notin [0,p-1]$. Consider $\gM\in\phimod\Sig^{\leqs p-1}$ equipped with a $\GKinfty$-equivariant embedding $T^*_\Sig(\gM)\hra V^*_{\st}(D)$. (See Definition \[def:KisinLatt\] for the definition of $\phimod\Sig^{\leqs p-1}$.) Then the image of the embedding is $\GK$-stable if and only if $S\otimes_{\vphi,\Sig}\gM$ is a strongly divisible $S$-lattice in $S\otimes_{W(k)}D$ in the sense of @Breuil:IntegralPAdicHodgeThy [Definition 2.2.1]. Furthermore, if $D$ does not admit a non-zero weakly admissible quotient pure of slope $p-1$, then we have $T^*_\Sig(\gM) = T^*_{\st}(S\otimes_{\vphi,\Sig}\gM)$ as $\Zp$-lattices in $V^*_{\st}(D)$. This conjecture is proved by Tong Liu @Liu:StronglyDivLattice when $\gr^wD_K = 0$ for all $w\notin [0,p-2]$, so the only unknown case is when $\gr^0 D_K\ne 0 $ and $\gr^{p-1}D_K\ne 0$. We include sections to review Kisin theory (§\[sec:KisinThy\]) and various definitions and constructions involving Breuil modules (§\[sec:DefsBreuil\]). The main results are stated in §\[sec:statements\], and proved in §\[sec:proofs\]. We allow $p$ to be arbitrary prime in order to illustrate the differences when $p=2$, though our proof is not essentially different from Kisin's @kisin:fcrys [@Kisin:2adicBT] when $p>2$. Acknowledgement {#acknowledgement .unnumbered} --------------- The author deeply thanks Brian Conrad, Mark Kisin, and Tong Liu for helpful comments. Also he especially thanks the anonymous referee who gave a very careful reading to this paper and provided numerous helpful suggestions, especially on the proof of Proposition \[prop:key\]. Review: Kisin theory {#sec:KisinThy} ==================== Let $\Sig:=W(k)[[u]]$ where $u$ is a formal variable. Let $\fo_\Eps$ be the $p$-adic completion of $\Sig[\ivtd u]$, and set $\Eps:=\fo_\Eps[\ivtd p]$. Note that $\fo_\Eps$ is a complete discrete valuation ring with uniformiser $p$ and $\fo_\Eps/(p)\cong k\llpar u \rrpar$. We extend the Witt vectors Frobenius map to $\Sig$, $\fo_\Eps$, and $\Eps$ by sending $u$ to $u^p$, and denote them by $\vphi$. We denote by $\vphi^*(\cdot)$ the scalar extension by $\vphi$. We fix an Eisenstein polynomial $\PP(u)\in W(k)[u]$ such that $\PP(\pi)=0$ and $\PP(0)=p$, and view it as an element of $\Sig$. Note that this normalization is different from the usual convention which takes $\PP(u)$ to be a monic polynomial – although our discussions does not depend upon the choice of normalization of $\PP(u)$ in any significant way, our convention seems more natural in some places. (See §\[par:DefEtPhiNilp\], for example.) \[def:KisinLatt\] For a non-negative integer $h$, a *$\vphi$-module of height $\leqs h$* is a tuple $(\gM,\vphi_\gM)$, where $\gM$ is a finite free $\Sig$-module, and $\vphi_\gM:\gM\ra\gM$ is a $\vphi$-semilinear endomorphism such that $\PP(u)^h$ annihilates $\coker(1\otimes\vphi_\gM:\vphi^*\gM \ra \gM)$. Let $\phimodh\Sig$ denote the category of $\vphi$-modules of height $\leqs h$ with the obvious notion of morphisms. When $h=1$, we set $\phimodBT\Sig:=\Mod_\Sig^{\leqs1}(\vphi)$. Galois representations {#subsec:GKinftyRep} ---------------------- Put $\rep:=\invlim_{x\mapsto x^p} \fo_{\ol K }/(p)$. Note that the sequence $\nf\pi:=\set{\pi^{(n)}}$ is an element of $\rep$, where $\pi^{(n)}\in K_\infty$ is the fixed $p^n$th root of the fixed uniformizer $\pi=\pi^{(0)}$. (See the beginning of §\[sec:intro\].) It follows from @wintenberger:NormFiels [Corollaires 3.2.3, 4.3.4] that $\Frac\rep$ is isomorphic to the $\nf\pi$-adic completion of $k\llpar \nf\pi \rrpar^{\alg}$.[^3] Also $\rep$ is the valuation ring for the $\nf\pi$-adic valuation on $\Frac\rep$ (*cf.* @wintenberger:NormFiels [§4.1.1]). We have a $W(k)$-embedding $\Sig\hra W(\rep)$ defined by sending $u$ to $[\nf\pi]$, where $[\cdot]$ is the Teichmüller lift. This embedding extends to $\fo_\Eps \hra W(\Frac\rep)$. Let $\wh\fo_{\Eps^{\ur}}$ be the topological closure of the integral closure of $\fo_{\Eps}$ in $W(\Frac\rep)$, and $\wh\Sig^{\ur}$ the topological closure of the integral closure of $\Sig$ in $\wh\fo_{\Eps^{\ur}}$. (We use the $p$-adic topology in both cases.) Clearly, $\wh\Sig^{\ur}$ and $\wh\fo_{\Eps^{\ur}}$ are subrings of $W(\Frac\rep)$ stable under $\vphi$ and $\GKinfty$-action (but *not* under $\GK$-action), and $\wh\Sig^{\ur}$ is contained in $W(\rep)$. Now we associate, to $\gM\in\phimodh\Sig$, a $\Zp$-module with continuous $\GKinfty$-action, as follows: $$\label{eqn:TSigLattice} T^*_\Sig(\gM):=\Hom_{\Sig,\vphi}(\gM,\wh\Sig^{\ur}),$$ where $\GKinfty$ acts through $\wh\Sig^{\ur}$. By Proposition 1.8.3 and §<span>A</span> 1.2 of @fontaine:grothfest, it follows that $T^*_\Sig(\gM)$ is $\Zp$-free with rank equal to the $\Sig$-rank of $\gM$, and $T_\Sig^*$ is exact and commutes with direct sums and $\otimes$-products. For a topological group $\Gamma$ (e.g., $\GK$, $\GKinfty$), let $\freeprep(\Gamma)$ denote the category of finite free $\Zp$-modules with continuous $\Gamma$-action. Let $\Repcrh$ and $\Repsth$ respectively denote the categories of crystalline and semi-stable $\GK$-representations $V$ such that $\gr^wD_{\dR}^*(V) = 0$ for $w\notin[0,h]$. Let $\Replatcrh$ (respectively, $\Replatsth$) denote the full subcategory of $\freeprep(\GK)$ consisting of objects $T$ such that $T[\ivtd p]\in \Repcrh$ (respectively, $T[\ivtd p]\in \Repsth$). The following non-trivial theorem of Kisin is the starting point of our argument: \[Kisin\]\[thm:Kisin\] 1. @kisin:fcrys [Proposition 2.1.12] The contravariant functor $T^*_\Sig:\phimodh\Sig\ra\freeprep(\GKinfty)$ is fully faithful. 2. \[thm:Kisin:main\] There exists a (contravariant) functor $\gM^*:\Replatsth\ra\phimodh\Sig$ of $\otimes$-categories such that for any $T\in\Replatsth$ there exists a natural $\GKinfty$-isomorphism $T\cong T^*_\Sig(\gM^*(T))$. 3. \[thm:Kisin:equiv\] @kisin:fcrys [Theorem 2.2.7] Consider the following functor[^4] $$\label{eqn:gM} \gM^*\circ T_p : \left\{p\text{-divisible groups over }\fo_K\right\} \ra \phimodBT\Sig;\ G \rightsquigarrow \gM^*(T_p(G)).$$ This functor is an anti-equivalence of categories if $p>2$, and induces an anti-equivalence of categories between the corresponding isogeny categories if $p=2$. We only explain how to read off from @kisin:fcrys. Kisin constructed the functor $\Repsth \ra \phimodh\Sig[\ivtd p]$ (see @kisin:fcrys [Corollary 1.3.15]), and showed that if this functor sends $V\in\Repsth$ to the isogeny class containing $\gM'\in\phimodh\Sig$ then we have a natural $\GKinfty$-isomorphism $V\cong T^*_\Sig(\gM')[\ivtd p]$. (See @kisin:fcrys [Proposition 2.1.5].) Finally, the proof of @kisin:fcrys [Lemma 2.1.15] shows that for any $\GKinfty$-stable $\Zp$-lattice $T$ in $V\cong T^*_\Sig(\gM')[\ivtd p]$ there exists a unique $\vphi$-stable $\Sig$-lattice $\gM\subset \gM'[\ivtd p]$ which is of height $\leqs h$, such that the $\Zp$-lattice $T^*(\gM)$ in $V$ is precisely $T$. Set $\gM^*(T):= \gM$. \[rmk:PathologyLiu\] The functor $\gM^*$ is unfortunately *not* exact although it is exact up to isogeny.[^5] In fact, T. Liu @Liu:LattFiltPhiNMod [Example 2.5.6] provided an example of a short exact sequence $T^\bullet$ of Tate modules of $p$-divisible groups such that $\gM^*(T^\bullet)$ is not exact. In that example $T^\bullet$ does *not* extend to a short exact sequence of $p$-divisible groups over $\fo_K$,[^6] and we will prove later (§\[subsec:exactness\]) that $\gM^*$ preserves a short exact sequence of Tate modules whenever it extends to a short exact sequence of $p$-divisible groups. Let us briefly discuss the torsion theory. \[def:KisinTor\] For a non-negative integer $h$, a *torsion $\vphi$-module of height $\leqs h$* is a tuple $(\gM,\vphi_\gM)$, where $\gM$ is a finitely generated $p^\infty$-torsion $\Sig$-module with no non-zero $u$-torsion, and $\vphi_\gM:\gM\ra\gM$ is a $\vphi$-semilinear endomorphism such that $\PP(u)^h$ annihilates $\coker(1\otimes\vphi_\gM:\vphi^*\gM \ra \gM)$. Let $(\Mod/\Sig)^{\leqs h}$ denote the category of torsion $\vphi$-modules of height $\leqs h$ with the obvious notion of morphisms. Note that a nonzero $p^\infty$-torsion $\Sig$-module is of projective dimension $\leqs1$ if and only if it has no non-zero $u$-torsion. \[<span>@kisin:fcrys [Lemma 2.3.4]</span>\]\[lem:KisinRaynaud\] Any $\gM\in(\Mod/\Sig)^{\leqs1}$ fits into a short exact sequence $$\label{eqn:KisinRaynaud} 0\ra \wt\gM' \xra f \wt\gM \ra \gM \ra 0$$ where $\wt\gM, \wt\gM'\in \phimodBT\Sig$ and all the arrows are $\vphi$-compatible. To a torsion $\vphi$-module $\gM$ of height $\leqs h$, we can associate the following torsion $\Zp$-module with continuous $\GKinfty$-action: $$\label{eqn:TSigTors} T^*_\Sig(\gM):=\Hom_{\Sig,\vphi}(\gM,\wh\Sig^{\ur}\otimes_{\Zp}\Qp/\Zp).$$ One can easily check that the exact sequence induces the following exact sequence: $$\label{eqn:TSigRedn} 0 \ra T^*_\Sig(\wt\gM) \xra{T^*_\Sig(f)} T^*_\Sig(\wt\gM') \lra T^*_\Sig(\gM) \ra 0,$$ where the surjective map is constructed as follows. Identifying $\wt\gM'[\ivtd p]$ with $\wt\gM[\ivtd p]$ by $f[\ivtd p]$, a $\Sig$-linear map $l:\wt\gM'\ra\wh\Sig^{\ur}$ can be viewed as $l:\wt\gM \ra \wh\Sig^{\ur}\otimes_{\Zp}\Qp$ and clearly $l \bmod {\wh\Sig^{\ur}}$ factors through $\gM\cong \wt\gM/\wt\gM'$. The arrow is defined by sending $l$ to $l \bmod {\wh\Sig^{\ur}}$. Review: Breuil modules {#sec:DefsBreuil} ====================== We recall basic definitions and constructions to work with various $S$-modules introduced by Breuil. All results in this section are "standard" to experts, so we often omit the proof by giving references. The ring $S$ {#subsec:setting} ------------ Let $S$ be the $p$-adic completion of the divided power envelop of $W(k)[u]$ with respect to the ideal generated by $\PP(u)$. It can be shown that $S$ can be viewed as a subring of $ K _0[[u]]$ whose elements are precisely those of the form $\sum_{i\geq0} a_i \frac{u^i}{q(i)!}$, where $q(i):=\lfloor \frac{i}{e} \rfloor$ with $e:=\deg\PP(u)$, and $a_i\in W(k)$ converge to $0$ as $i\to\infty$.[^7] (In particular, $S$ is naturally a $\Sig$-algebra.) We define a differential operator $N:=-u\frac{d}{du}$ on $S$, and a ring endomorphism $\vphi:\self S$ which extends the Witt vector Frobenius map by $\vphi(u)=u^p$. We let $\Fil^1 S \subset S$ denote the ideal topologically generated by $\PP(u)^i/i!$ for $i\geqs 1$. Since $p|\vphi(f)$ for any $f\in\Fil^1S$, we can define a $\vphi$-semilinear map $\vphi_1:=\frac{\vphi}{p}:\Fil^1 S \ra S$. Strongly divisible $S$-modules {#subsec:D} ------------------------------ Let $D$ be an admissible filtered $\vphi$-module over $K$ such that $\gr^w D_K=0$ for $w\ne0,1$. Let us consider $\cD:=S\otimes_{W(k)}D$ equipped with the following structure: 1. a $\vphi$-linear map $\vphi_{\cD}:=\vphi_S\otimes\vphi_D:\self{S\otimes_{W(k)}D} $, 2. a derivation $N_\cD:=N\otimes\id_D:\self{S\otimes_{W(k)}D} $ over $N:\self S$, 3. an $S[\ivtd p]$-submodule $\Fil^1\cD:=\set{m\in S\otimes_{W(k)}D|\ m\bmod{\PP(u)} \in\Fil^1D_K}$. See @Breuil:GriffithsTransv or @Breuil:IntegralPAdicHodgeThy [§2.2] for more details (allowing higher Hodge-Tate weights). We now define strongly divisible $S$-lattices in $\cD$, following @Breuil:IntegralPAdicHodgeThy [Definition 2.2.1] except that we do not impose any condition[^8] on $D$ when $p=2$: \[def:BreuilMod\] A *strongly divisible $S$-lattice in $\cD$* is an $S$-submodule $\M$ which satisfies the following properties: 1. $\M$ is a finite free $S$-module with $\M[\ivtd p]=\cD$ 2. $\M$ is stable under $\vphi_\cD$ and $N$ 3. we have $\vphi_{\cD}(\Fil^1\M)\subset p\M$ where $\Fil^1\M:=\M \cap \Fil^1\cD$. We put $\vphi_1:=\ivtd p(\vphi_{\cD}|_{\Fil^1\M}):\Fil^1\M \ra\M$, One can recover $\vphi_{\cD}|_{\M}$ from $\vphi_1$ as follows: $$\vphi_{\cD}(m) = c_1\iv \vphi_1(\PP(u)m)$$ for any $m\in\M$, where $c_1:=\vphi(\PP(u))/p$ which can be easily seen to be a unit. Note also that $N_{\M}:=N_{\cD}|_{\M}$ and $\vphi_1$ satisfy the following relation called "Griffiths transversality": $$\label{eqn;GriffithsTransv} N_{\M}\circ\vphi_1 = c_1\iv\vphi_1\circ (\PP(u)\tim N_{\M}) :\Fil^1\M \ra \M$$ We can axiomatize these structures and define *strongly divisible $S$-modules of weight $\leqs1$* without mentioning the ambient module $\cD$. See @Breuil:IntegralPAdicHodgeThy [§2.2] for more details. Construction of strongly divisible $S$-modules {#subsec:MM} ---------------------------------------------- Let $\gM$ be an object of either $\phimodBT\Sig$ or $(\Mod/\Sig)^{\leqs1}$, and we will define some additional structure on the $S$-module $\M:=S\otimes_{\vphi,\Sig}\gM$, which makes $\M$ a strongly divisible $S$-module if $\gM$ is $\Sig$-free. Using the $S$-linear map $1\otimes\vphi_\gM:\M\cong S\otimes_\Sig (\vphi^*\gM)\ra S\otimes_\Sig\gM$, we define an $S$-submodule $\Fil^1\M\subset \M$ and $\vphi_1:\Fil^1\M \ra \M$ as follows: \[eqn:MM\] $$\begin{gathered} \label{eqn:Filh}\Fil^1\M:=\set{x\in\M|\ 1\otimes\vphi_\gM(x) \in \Fil^1S\otimes_\Sig \gM \subset S\otimes_\Sig \gM } \\ \label{eqn:vphir}\vphi_1:\Fil^1\M \xra{1\otimes \vphi_\gM} \Fil^1S\otimes_\Sig \gM \xra{\vphi_1\otimes1} S\otimes_{\vphi,\Sig}\gM = \M\end{gathered}$$ Let $\vphi_{\M}:=\vphi\otimes\vphi_\gM$, and note that $\vphi_1 = \ivtd p (\vphi_{\M}|_{\Fil^1\M})$. \[exa:MM\] Consider $\gM=\Sig$ equipped with $\vphi_\gM = \PP(u)\tim\vphi$. Then $\M = \Fil^1\M = S$ and $\vphi_1(1) = \vphi(\PP(u))/p$. This functor $S\otimes_{\vphi,\Sig}(\cdot)$ is obviously faithful. We now claim that this functor is also exact. \[lem:exactBreuil\] Assume that we have a $\vphi$-compatible short exact sequence $(\gM^\bullet):\ 0\ra\gM'\ra\gM\ra\gM''\ra 0$ where $\gM'$, $\gM$, and $\gM''$ are objects of either $(\Mod/\Sig)^{\leqs1}$ or $\phimodBT\Sig$. Then the sequence $S\otimes_{\vphi,\Sig}(\gM^\bullet)$ is short exact, respects $\vphi_1$'s, and induces a short exact sequence on $\Fil^1$'s. The only case when the exactness of $S\otimes_{\vphi,\Sig}(\gM^\bullet)$ is possibly non-trivial is when $\gM''\in(\Mod/\Sig)^{\leqs1}$. In this case, it is enough to show $\Tor^\Sig_1(\gM'',S)=0$. But since $\gM''$ is a successive extension of $\Sig/p\Sig$ as a $\Sig$-module, it is enough to show $\Tor^\Sig_1(\Sig/p\Sig,S)=0$, which is obvious. The rest of the claim can be directly checked from the definition . Suppose $\gM\in\phimodBT\Sig$. Set $D:= D^*_{\cris}(V_p(G'))$ for a $p$-divisible group $G'$ over $\fo_K$ which corresponds to $\gM$ up to isogeny by Theorem \[thm:Kisin\](\[thm:Kisin:equiv\]). We write $\cD:=S\otimes_{W(k)}D$ and $\M:=S\otimes_{\vphi,\Sig}\gM$. \[lem:N\] We use the notation as above. Then there exists a natural $S$-linear embedding $\eta:\M \hra \cD$ such that $\vphi_{\cD}\circ \eta = \eta\circ\vphi_{\M}$, $N_{\cD}(\eta(\M))\subset \eta(\M)$, and $\eta(\Fil^1\M) = \eta(\M)\cap\Fil^1\cD$. The assertion except $N_{\cD}(\M)\subset \M$ follows from @Liu:StronglyDivLattice [Corollary 3.2.3] using the rigid analytic construction @kisin:fcrys [Corollary 1.3.15] relating $D$ and $\gM$. Now one can apply @Breuil:GrPDivGrFiniModFil [Proposition 5.1.3][^9] to conclude. \[cor:N\] For any $\gM\in(\Mod/\Sig)^{\leqs1}$, there exists a unique differential operator $N_{\M}:\M\ra\M$ over $N:S\ra S$ such that the "Griffiths transversality" holds and $N_{\M}\equiv 0 \bmod{I_0\M}$ where $I_0\subset S$ is the ideal topologically generated by $\frac{u^{ei}}{i!}$ for $i\geqs0$. By Lemma \[lem:KisinRaynaud\] we can find $\wt\gM,\wt\gM'\in\phimodBT\Sig$ with $\gM\cong \wt\gM/\wt\gM'$. By Proposition \[lem:N\], both $\wt\M:=S\otimes_{\vphi,\Sig}\wt\gM$ and $\wt\M':=S\otimes_{\vphi,\Sig}\wt\gM'$ are strongly divisible $S$-lattices in $S\otimes_{W(k)}D$ for some filtered $\vphi$-module $D$. Therefore $N_{\M}:= N_{\wt\M}\bmod{\wt\M'}$ is well-defined and satisfies all the desired properties. The uniqueness follows from the proof of @Breuil:IntegralPAdicHodgeThy [Lemma 3.2.1]. Crystalline period ring {#par:Asthat} ----------------------- Let us recall the construction of $\Acris$. For more complete discussions, see @fontaine:Asterisque223ExpII [§1, §2]. There exists a "canonical lift" $\theta:W(\rep)\thra \fo_{\wh{\Kbar }}$ of the first projection $\rep \thra \fo_{\ol K }/(p)$, which is $\GK$-equivariant for the natural actions on both sides. We define $\Acris$ as the $p$-adic completion of the divided power envelop of $W(\rep)$ with respect to $\ker(\theta)$. The Witt vector Frobenius map and the $\GK$-action on $W(\rep)$ extend to $\Acris$. We let $\Fil^1\Acris$ be the ideal topologically generated by $\ivtd{i!}(\ker\theta)^i$ for $i\geqs 1$ (under the $p$-adic topology). We have $\vphi(\Fil^1\Acris)\Acris \subset p\Acris$, so we can define $\vphi_1:=\frac{\vphi}{p}:\Fil^1\Acris \ra \Acris$. The embedding $\Sig\hra W(\rep)$ constructed in §\[subsec:GKinftyRep\] extends to $S\hra \Acris$ by the universal property of divided powers envelop. This map is $\vphi$-compatible and $\GKinfty$-invariant (but *not* $\GK$-invariant). Let us consider the sequence $\nf\epsilon:=\set{\epsilon^{(n)}}_{n\geqs0}$ of cocycle $\epsilon^{(n)}:\GK\ra\rep\starr$ defined as follows: $$\epsilon^{(n)}(g):= g\tim \pi^{(n)}/\pi^{(n)}$$ for any $g\in\GK$. Clearly $\nf\epsilon(g)$ defines an element in $\rep$, and the $n$th component $\epsilon^{(n)}(g)$ is a (not necessarily primitive) $p^n$th root of unity. One can easily check that the following formula defines an element in $\Fil^1\Acris$: $$\label{eqn:tg} t_g:=\log [\nf\epsilon(g)]=\sum_{n=1}^\infty\frac{(-1)^{n-1}([\nf\epsilon(g)]-1)^n}{n}$$ where $g\in\GK$ and $[\cdot]$ denotes the Teichmüller lift. \[rmk:Acris\] When $p=2$, one can show that $t_g/2 \in\Fil^1\Acris$ (by modifying the argument in @fontaine:Asterisque223ExpII [§5.2.9]), so we have $\gamma_n(t_g/2)\in\Fil^1\Acris$ since $\Fil^1\Acris$ has a divided power structure. It follows that for any $p$ the sequence $\gamma_n(t_g)$ converges to $0$ as for the $p$-adic topology in $\Acris$. In particular, we have an equality $[\nf\epsilon(g)] = \sum_{n=0}^\infty \gamma_n(t_g) (=\exp(t_g))$ in $\Acris$. Choose $g\in\GK$ such that $g\pi^{(1)}\ne\pi^{(1)}$. Set $[\nf\epsilon]:=[\nf\epsilon(g)]$ and $t:=t_g$ as in . For any integer $n\geqs0$ we set $ t^{\{n\}}:= t^n/(p^{q(n)}q(n)!)$ where $q(n):=\lfloor n/(p-1)\rfloor$. Note that $t^{\{n\}}\in\Acris$, and if $p=2$ then $ t^{\{n\}} = \gamma_n(t/2)$. Consider the following subring $\fa_{\cris}$ of $\Frac W(\rep)[[T]]$, where $T$ is a formal variable: $$\fa_{\cris}:=\left\{\sum_{n=0}^\infty a_n T^{\{n\}} \,| \ a_n\in W(\rep) \text{ such that } p\text{-adically } a_n\to 0. \right\}.$$ Now, one can give the following explicit description of $\Acris$. See @fontaine:Asterisque223ExpII [ §5.2.7–5.2.9] for the proof. \[thm:Acris\] The $W(\rep)$-algebra map $\fa_{\cris}\ra\Acris$ defined by $T^{\set n}\mapsto t^{\set n}$ is surjective and the kernel is generated by $[\nf\epsilon]-\sum_{n=0}^\infty \gamma_n(T)$. Construction of Galois-stable $\Zp$-lattices {#par:Tst} -------------------------------------------- Let $\gM$ be an object of either $\phimodBT\Sig$ or $(\Mod/\Sig)^{\leqs1}$, and put $\M:=S\otimes_{\vphi,\Sig}\gM$ with additional structure defined in §\[subsec:MM\]. Consider the following $\Zp$-module to which we will endow a natural continuous $\GK$-action: \[eqn:Tst\] $$\begin{gathered} T^*_{\st}(\M):=\Hom_{S,\vphi_1, \Fil^1}(\M,\Acris) \text{, if }\gM\in\phimodBT\Sig, \\ T^*_{\st}(\M):=\Hom_{S,\vphi_1, \Fil^1}(\M,\Acris\otimes_{\Zp}\Qp/\Zp) \text{, if }\gM\in(\Mod/\Sig)^{\leqs1}.\end{gathered}$$ We let $\GKinfty$ act through the second argument $\Acris$. The $\GK$-action is more subtle to describe because the embedding $S\ra \Acris$ is only $\GKinfty$-stable, not $\GK$-stable. Let us first define a $\GK$-action on $\Acris\otimes_S\M$ using the differential operator $N_{\M}$ as follows. \[eqn:TstGK\] $$\label{eqn:TstGK:a} g\tim (a\otimes x) := g(a)\sum_{i=0}^\infty \gamma_i(t_g)\otimes N_{\M}^i(x),$$ for $g\in\GK$, $a\in\Acris$, and $ x\in\M$. Here, $t_g\in\Fil^1\Acris$ is as in , and $\gamma_i(t_g)$ is the standard $i$th divided power; i.e., $\gamma_i(t_g):=t_g^i/i!$ if $i>0$ and $\gamma_0(t_g):=1$ (even when $t_g=0$). By @Liu:StronglyDivLattice [Lemma 5.1.1], the sum (\[eqn:TstGK:a\]) conerges and gives a $\GK$-action which respects $\vphi$ and the natural fintration on $\Acris\otimes_S\M$. Note also that we recover the natural $\GKinfty$-action on $\Acris\otimes_S\M$ since $t_g=0$ for $g\in\GKinfty$. For any $f\in T^*_{\st}(\M)$, we $\Acris$-linearly extend $f$ to $\Acris\otimes_S\M \ra \Acris$. Now it is clear that the following formula defines a continuous action of $g\in\GK$ on $T^*_{\st}(\M)$: $$\label{eqn:TstGK:b} g\tim f: x\mapsto g\tim (f(g\iv(1\otimes x))), \text{ for }x\in\M.$$ The following lemma is straightforward from @Liu:StronglyDivLattice [Lemma 5.2.1][^10] and @Breuil:IntegralPAdicHodgeThy [Proposition 2.2.5], using that $T^*_{\st}(\M)$ is $p$-adically separated and complete. \[lem:TstEmb\] Let $D$ be as in §\[subsec:setting\]. If $\M$ is a strongly divisible $S$-lattice in $S\otimes_{W(k)}D$ then there exists a natural $\GK$-equivariant injective map $T^*_{\st}(\M) \hra V^*_{\cris}(D)$, whose image is a full $\Zp$-lattice. The following lemma on the exactness of $T^*_{\st}$ will be needed in §\[sec:proofs\]. \[lem:TstExact\] Let $D_i$ for $i=1,2,3$ be admissible filtered $\vphi$-modules over $K$ with $\gr^w(D_i)_K=0$ for $w\ne 0,1$, and let $\M_i$ be a strongly divisible $S$-lattices in $S\otimes_{W(k)}D_i$. For any short exact sequence $0\ra\M_1\ra\M_2\ra\M_3\ra0$, the following sequence is short exact: $$\label{eqn:TstExact} 0 \ra T^*_{\st}(\M_3) \ra T^*_{\st}(\M_2) \ra T^*_{\st}(\M_1) \ra 0.$$ The left exactness of (\[eqn:TstExact\]) is clear from the definition of $T^*_{\st}$, and the right exactness can be check after reducing it modulo $p$. Moreover, it suffices to show the left exactness of the mod $p$ reduction of (\[eqn:TstExact\]), as the $\Fp$-dimension of each term adds up correctly. Now, the natural map $T^*_{\st}(\M_i)/(p)\ra T^*_{\st}(\M_i/(p))$ is injective, and the natural map $T^*_{\st}(\M_3/(p)) \ra T^*_{\st}(\M_2/(p))$ induced by $\M_2/(p)\thra \M_3/(p)$ is injective as $T^*_{\st}$ is left exact in the torsion case as well. This shows the left exactness the mod $p$ reduction of (\[eqn:TstExact\]), hence the lemma follows. Relation with Galois representations coming from Kisin modules {#subsec:imath} -------------------------------------------------------------- Note that the natural map $W(\rep)\ra\Acris$ is injective @fontaine:Asterisque223ExpII [§2.3.3], so we may view $\wh\Sig^{\ur}$ as a subring of $\Acris$ (*cf.* §\[subsec:GKinftyRep\]). Now consider the following natural $\GKinfty$-equivariant morphism: $$\label{eqn:TSigTqstLatt} \imath: T^*_\Sig(\gM) = \Hom_{\Sig,\vphi}(\gM,\wh\Sig^{\ur}) \ra \Hom_{S,\vphi_1,\Fil^1}(\M,\Acris) = T^*_{\st}(\M)$$ where the arrow in the middle is defined as follows: the arrow in takes $f:\gM\ra\wh\Sig^{\ur}$ to $\wt f:\M = S\otimes_{\vphi,\Sig}\gM \ra \Acris$ which is obtained by $S$-linearly extending $\gM \xra f \wh\Sig^{\ur}\xra\vphi \Acris$, where we view $S$ as a $\Sig$-algebra via $\vphi:\Sig\ra S$. One can check that if $f$ respects $\vphi$, then $\wt f$ respects $\vphi_1$ and takes $\Fil^1\M$ to $\Fil^1\Acris$. This map is clearly $\GKinfty$-equivariant, and one can direct check that the map respects the natural embeddings of the source and the target into $V$.[^11] Unfortunately, when $p=2$ the map $\imath$ is *not* in general an isomorphism.[^12] We prove, instead, that the image of $\imath$ is a $\GK$-stable submodule in $T^*_{\st}(\M)$, which suffices for our purpose (*cf.* Proposition \[prop:main\]). This claim will proved in §\[sec:proofs\]. Statement of the main result {#sec:statements} ============================ Let $G$ be a $p$-divisible group over $\fo_K$, and $T:=T_p(G)$ its Tate module. Recall that we have the following functor defined in Theorem \[thm:Kisin\]: $$\label{eqn:gM} %\gM^*\circ T_p : \left\{p\text{-divisible groups over }\fo_K\right\} \ra \phimodBT\Sig;\ G \rightsquigarrow \gM_G:=\gM^*(T_p(G)).$$ By the theorems of Tate @Tate:pDivGps [(4.2)] and Kisin (Theorem \[thm:Kisin\]), the functor $\gM^*\circ T_p$ is fully faithful. \[thm:classif\] Assume that $\fo_K$ is a $2$-adic discrete valuation ring with perfect residue field. Then the functor $\gM^*\circ T_p$ is an anti-equivalence of categories. Furthermore, for any $p$-divisible group $G$ over $\fo_K$ and $\gM_G:=\gM^*(T_p(G))$, there is a natural $\GKinfty$-isomorphism $T_p(G)\cong T^*_\Sig(\gM_G)$. Note that the second assertion is automatic from the property of $\gM^*$ stated in Theorem \[thm:Kisin\]. Now, let us state the relation of this classification with crystalline Dieudonné theory. Let $G$ be a $p$-divisible group over $\fo_K$ with residue characteristic $p=2$, $\gM_G:=\gM^*(T_p(G))$, and $D:=D^*_{\cris}(V_p(G))$. Let $\DD^*(G)$ denote the contravariant Dieudonné crystal. (See, for example, @Mazur-Messing for the definition.) Then, $\DD^*(G)(S)$ and $S\otimes_{\vphi,\Sig}\gM_G$ are strongly divisible $S$-lattices in $S\otimes_{W(k)}D$. (See §\[subsec:MM\] and @kisin:fcrys [§<span>A</span>] for more details.) We will prove the following proposition in §\[subsec:Dieudonne\] and §\[subsec:exactness\]. \[prop:Dieudonne\] We use the same notation as above. 1. \[prop:Dieudonne:Comp\] We have $\DD^*(G)(S) = S\otimes_{\vphi,\Sig}\gM_G$ as strongly divisible $S$-lattices in $S\otimes_{W(k)}D$. 2. \[prop:Dieudonne:Exact\] The functor $\gM^*\circ T_p$ takes a short exact sequence of $p$-divisible groups to a short exact sequence in $\phimodBT\Sig$. The proof of uses and the exactness of $\DD^*$; as explained in Remark \[rmk:PathologyLiu\] we cannot hope to prove the exactness of $\gM^*\circ T_p$ by a purely linear algebraic method. We also prove a stronger exactness assertion which is useful in practice; namely, that any quasi-inverse of $\gM^*\circ T_p$ should also be an exact functor. Raynaud's theorem @Berthelot-Breen-Messing:DieudonneII [Théorème 3.1.1] implies that for any $p$-power order finite flat group scheme $H$ over $\fo_K$, there exists an isogeny $f:G \ra G'$ of $p$-divisible groups over $\fo_K$ such that $H\cong \ker (f)$. We set $\gM_H:=\coker\left((\gM^*\circ T_p)(f)\right)$, and one can check that $\gM_H\in (\Mod/\Sig)^{\leqs1}$ does not depend on the choice of $f$ up to isomorphism, using Proposition \[prop:Dieudonne\](\[prop:Dieudonne:Exact\]). One can also define the (contravariant) Dieudonné crystal $\DD^*(H)$ in such a way that we have the following natural short exact sequence $$0 \ra \DD^*(G')(S) \xra{\DD^*(f)} \DD^*(G)(S) \ra \DD^*(H)(S) \ra 0$$ (See Définition 3.1.5 and Théorème 3.1.2 of @Berthelot-Breen-Messing:DieudonneII for more details.) From this exact sequence one can define $\Fil^1$ and $\vphi_1$ on $\DD^*(H)(S)$,[^13] which do not depend on the choice of $f$. \[cor:classifFF\] There exists an exact anti-equivalence of categories $H\rightsquigarrow \gM_H$ from the category of $p$-power order finite flat group schemes over $\fo_K$ to $(\Mod/\Sig)^{\leqs1}$ which satisfies the following properties: 1. There is a natural $\GKinfty$-isomorphism $H(\Kbar) \cong T^*_\Sig(\gM_H)$, where $T^*_\Sig$ is defined in . 2. For any $p$-divisible group $G$ over $\fo_K$, we have a natural isomorphism $\gM^*(T_p(G)) \cong \varprojlim_n \gM_{G[p^n]}$, where the projective limit is taken with respect to the map induced by the natural inclusions $G[p^n]\hra G[p^{n+1}]$. 3. There exists a natural isomorphism $S\otimes_{\vphi,\Sig}\gM_H \cong \DD^*(H)(S)$ which respects $\Fil^1$ and $\vphi_1$. Following the same proof of @kisin:fcrys [Theorem 2.3.5] one can deduce the corollary from Theorem \[thm:classif\], Proposition \[prop:Dieudonne\], and Lemma \[lem:KisinRaynaud\] (with the discussion following it), possibly except the exactness of the functor $H\rightsquigarrow \gM_H$ which is proved in Proposition \[prop:exact\]. Note that the argument crucially uses the *exactness* of the functor $\gM\circ T_p$. This concludes the proof of Conjecture \[conj:breuil\]. See the introduction (§\[sec:intro\]) for previous results on this conjecture. It was observed by Breuil @Breuil:IntegralPAdicHodgeThy [Theorem 3.4.3] that the following corollary is a formal consequence[^14] of Corollary \[cor:classifFF\]. We refer to *loc.cit* for the proof. \[cor:FF\] The functor $T\rightsquigarrow T|_{\GKinfty}$ from the category of $p^\infty$-torsion $\GK$-representations coming from some finite flat group scheme over $\fo_K$ to the category of $p^\infty$-torsion $\GKinfty$-representations is fully faithful. Let us sketch the strategy of the proof of Theorem \[thm:classif\], which can be thought of as extending @kisin:fcrys [§2.2] to the case when $p=2$. The only assertion that needs to be proved is the essential surjectivity of $\gM^*\circ T_p$; i.e. given any $\gM\in\phimodBT\Sig$, we need to produce a $p$-divisible group $G$ over $\fo_K$ such that $\gM\cong \gM^*(T_p(G))$. For any given $\gM\in\phimodBT\Sig$, Kisin's theorem (Theorem \[thm:Kisin\]) provides a $p$-divisible group $G'$ over $\fo_K$ such that $\gM[\ivtd p]\cong \gM^*(T_p(G'))[\ivtd p]$. Set $V:= T_p(G')[\ivtd p]$ and note that $T^*_\Sig(\gM)$ embeds into $V$ as a $\GKinfty$-stable $\Zp$-lattice. The main step is to show the following proposition: \[prop:main\] With the notation as above, the $\GKinfty$-stable $\Zp$-lattice $T$ in $V$ is $\GK$-stable. Granting this proposition, $T$ comes from a $p$-divisible group over $\fo_K$ by Raynaud's "limit theorem" @raynaud:GpSch [Proposition 2.3.1], so we obtain Theorem \[thm:classif\]. The proof of Proposition \[prop:main\] (which will be given in §\[sec:proofs\]) is not straightforward since Breuil's theory of strongly divisible $S$-lattices does not work nicely when $p=2$, but fortunately it does not fail too badly. (See Propositions \[prop:main2\], \[prop:key\] for more details.) Interestingly, we do not use Proposition \[prop:Dieudonne\] in order to prove Proposition \[prop:main\] or Theorem \[thm:classif\]. \[rmk:IntModel\] Kisin's construction of integral canonical models for Shimura varieties of abelian type @Kisin:IntModelAbType has a few technical restrictions when $p=2$, and one of the main reasons is that at the time of @Kisin:IntModelAbType we did not have Theorem \[thm:classif\] and Proposition \[prop:Dieudonne\] when $p=2$. (See @Kisin:IntModelAbType [Theorem 1.4.2, Corollary 1.4.3] for more details.) The $2$-adic case causes another complication (of different nature) when the reductive group $G$ has a factor of type B @Kisin:IntModelAbType [Lemma 2.3.1][^15], so one may expect that the main result of this paper can be used to construct $2$-adic integral models for Shimura varieties of abelian type under some mild restriction on the reductive group $G$. Unfortunately, there is one more deformation argument @Kisin:IntModelAbType [Proposition 1.5.8] which does not generalize to the $2$-adic case. This problem, however, does not seem insurmountable, and it seems that the main result of this paper has removed the main obstacle for generalizing @Kisin:IntModelAbType to the $2$-adic case. Proof of the main results {#sec:proofs} ========================= In this section, we prove Proposition \[prop:main\] (hence, Theorem \[thm:classif\]) and Proposition \[prop:Dieudonne\]. The result is known when $p>2$ by Kisin @kisin:fcrys [§2.2] or when $\gM$ is $\vphi$-unipotent (*cf.* §\[par:DefEtPhiNilp\]) by Kisin @Kisin:2adicBT [Proposition 1.2.7], and our proof can be viewed as a modification of these arguments. A similar approach to ours (namely, classifying connected and étale $p$-divisible groups separately and handling the general case by connected-étale sequences) is also found in @BlockKato:Dieudonne and @dejong:crysdieubyformalrigid in their study of Dieudonné crystals, and in @Zink:DieudonnePDivGpCFT where display theory is extended to general $p$-divisible groups. {#par:DefEtPhiNilp} We first need to introduce the linear algebra counterparts of étale, connected, multiplicative-type, and unipotent finite flat group schemes and $p$-divisible groups over $\fo_K$, respectively. Let $\gM$ be an object either in $(\Mod/\Sig)^{\leqs1}$ or in $\phimodBT\Sig$. Since the linearlzation $1\otimes\vphi_\gM:\vphi^*\gM\ra\gM$ is injective with cokernel killed by $\PP(u)$, there exists a unique map $\psi_\gM:\gM\ra\vphi^*\gM$ such that $\psi_\gM\circ(1\otimes\vphi_\gM)$ and $(1\otimes\vphi_\gM)\circ\psi_\gM$ are given by multiplication by $\PP(u)$. We first define the analogue of Cartier duality $\gM^\vee$ as follows. We set the underlying $\Sig$-module to be $\gM^\vee:=\Hom_\Sig(\gM,\Sig)$ if $\gM\in\phimodBT\Sig$, and $\gM^\vee:=\Hom_\Sig(\gM, \Sig\otimes_{\Zp} \Qp/\Zp)$ if $\gM\in(\Mod/\Sig)^{\leqs1}$, and we define $\vphi_{\gM^\vee}$ so that $1\otimes\vphi_{\gM^\vee}$ is the dual of $\psi_\gM$. One can check that $T^*_\Sig(\gM^\vee)\cong (T^*_\Sig(\gM))^*\otimes(\chi_{\cyc}|_{\GKinfty})$, so for a $p$-divisible group $G$ over $\fo_K$ we have $\gM^*(T_p(G))^\vee\cong \gM^*(T_p(G^\vee))$ where $G^\vee$ is the Cartier dual of $G$. (This essentially follows from $\gM^*(\Zp(1)) \cong (\Sig,\PP(u)\vphi)$; indeed, by @kisin:fcrys [Corollary 1.3.15] the isogeny class of $(\Sig,\PP(u)\vphi)$ corresponds to the admissible filtered $\vphi$-module $(W(k)[\ivtd p], \PP(0)\vphi)$, and from our normalization we have $\PP(0) = p$.) The analogous statement for finite flat group schemes is deduced from this using Proposition \[prop:Dieudonne\](\[prop:Dieudonne:Exact\]) which will be proved later. We say $\gM$ is *étale* if $1\otimes\vphi_{\gM}$ is an isomorphism, and *of multiplicative type* if $\gM^\vee$ is étale (i.e., if $\psi_\gM$ is an isomorphism). We say $\gM$ is *$\vphi$-nilpotent* if $\vphi^n_{\gM}(\gM)\subset\m_\Sig\tim \gM$ for some $n\gg1$, and *$\vphi$-unipotent*[^16] if $\gM^\vee$ is $\vphi$-nilpotent (i.e., if $\psi^n_{\gM}(\gM)\subset\m_\Sig\tim (\vphi^n)^*\gM$ for some $n\gg1$). The following lemma asserts the existence of the linear algebra counterpart of connected-étale and multiplicative-unipotent sequences: \[lem:ConndEtSeq\] For any $\gM\in\phimodBT\Sig$, there exist functorial short exact sequences $$\begin{aligned} \label{eqn:ConndEtSeq}0 \ra \gM^{\et}\ra\gM\ra\gM^c\ra0\\ \label{eqn:ConndEtDual} 0 \ra \gM^{u}\ra\gM\ra\gM^m\ra0\end{aligned}$$ where $\gM^{\et},\gM^{u}\in\phimodBT\Sig$ are respectively maximal among étale and $\vphi$-unipotent submodules of $\gM$, and $\gM^c, \gM^{m}\in\phimodBT\Sig$ are respectively maximal among $\vphi$-nilpotent and multiplicative-type quotients of $\gM$. Furthermore, we have $(\gM^{\et})^\vee = (\gM^\vee)^m$ and $(\gM^c)^\vee = (\gM^\vee)^u$. The same statement holds for $\gM\in(\Mod/\Sig)^{\leqs1}$. When $\gM\in\phimodBT\Sig$, the lemma directly follows from @Kisin:ModuliGpSch [Proposition 1.2.11] applied to $\gM/(p^n)$ (which is free over $\Sig\otimes_{\Zp}\Zp/(p^n)$). When $\gM\in(\Mod/\Sig)^{\leqs1}$, choose $\gM\cong\wt\gM/\wt\gM'$ with $\wt\gM,\wt\gM'\in\phimodBT\Sig$ and one can check that the sequences induced from (\[eqn:ConndEtSeq\], \[eqn:ConndEtDual\]) for $\wt\gM$ work. \[prop:Connd\] For a $p$-divisible group $G$ over $\fo_K$, put $\gM_G:=\gM^*(T_p(G))$. Then the functor $\gM^*\circ T_p$ takes the connected-étale and multiplicative-unipotent sequences for $G$ to the exact sequences and for $\gM_G$, respectively. We will show later (§\[subsec:exactness\]) that the functor $\gM^*\circ T_p$ takes any exact sequence of $p$-divisible groups to an exact sequence in $\phimodBT\Sig$ (not just connected-étale sequences), and its proof uses the compatibility with crystalline Dieudonné theory whose proof uses Proposition \[prop:Connd\]. We first need the following lemma which shows an analogue to the fact that any étale group scheme over $\fo_{\wh K^{\ur}}$ is constant. \[lem:classifMult\] Assume that the residue field $k$ of $\fo_K$ is algebraically closed. Then $\gM\in\phimodBT\Sig$ is étale if and only if $\gM$ is isomorphic to the product of copies of $(\Sig,\vphi)$. Also, $\gM\in\phimodBT\Sig$ is of multiplicative type if and only if $\gM$ is isomorphic to the product of copies of $(\Sig, \PP(u)\vphi)$. Since the two assertions are Cartier dual to each other (*cf.* §\[par:DefEtPhiNilp\]), it is enough to prove the étale case. The "if" direction is obvious, so we focus on the "only if" direction. Assume that $\gM\in\phimodBT\Sig$ is étale, and we fix a $\Sig$-basis $\set{\e_1,\cdots,\e_n}$ of $\gM$. Let $A$ denote the matrix representation of $\vphi_\gM$ with respect to the chosen basis. If we replace this basis by $\set{U\e_i}$ for some invertible matrix $U$, then $A$ gets replaced by $\vphi(U)AU\iv$. We first show that one can choose an invertible matrix $U_0$ over $\Sig$ such that $\vphi(U_0)AU_0\iv$ is congruent to $1$ modulo $(u)$; indeed, finding an $n\times n$ invertible matrix $\bar U_0$ over $W(k)$ such that $\vphi(\bar U_0) (A\bmod u)\bar U_0\iv = 1$ boils down to solving equations all of whose roots lie in some unramified extension of $W(k)$. So we may assume that $A=1+uB$ for some matrix $B$. Now, by taking $U_1=A$, we obtain $A_1:=\vphi(A)AA\iv = \vphi(A) = 1+u^p\vphi(B)$. Recursively, we take $U_{i+1}:=A_{i}$ and $A_{i+1} = \vphi(U_{i+1})A_i U_{i+1}\iv$. Since $U_{i+1}:=A_{i} \equiv 1 \bmod{u^{p^i}}$, the infinite product $U:=\prod_{i\geqs1} U_i$ converges and $\vphi(U)AU\iv = 1$. \[lem:etqt\] Let $\gM\in\phimodBT\Sig$, and let $\gM^{\et}$ be the maximal étale submodule of $\gM$ which exists by Lemma \[lem:ConndEtSeq\]. Then, $T^*_\Sig(\gM^{\et})$ is the maximal unramified $\GKinfty$-quotient of $T^*_\Sig(\gM)$. By Lemma \[lem:classifMult\], $T^*_\Sig(\gM^{\et})$ is an unramified quotient of $T^*_\Sig(\gM)$. To show it is maximal, it is enough to show that $\gM^{\et}\ne 0$ if $T^*_\Sig(\gM)$ has a non-zero unramified quotient. For this, choose $f\in T^*_\Sig(\gM) = \Hom_{\Sig,\vphi}(\gM,\wh\Sig^{\ur})$ whose image in the maximal unramified quotient is not zero. Since $(\wh\Sig^{\ur})^{I_K} = W(\kbar)[[u]]$, it follows that $f\iv (W(\kbar)[[u]])$ is a non-zero étale submodule of $\gM$. \[Proof of Proposition \[prop:Connd\]\] Since two assertions in the statement are Cartier dual to each other (*cf.* §\[par:DefEtPhiNilp\]), it suffices to show that $\gM^*\circ T_p$ respects connected-étale sequences. Let $(G^\bullet):\, 0\ra G^c\ra G\ra G^{\et}\ra 0$ be a connected-étale sequence of $p$-divisible groups, and $(\gM^\bullet):\, 0\ra\gM^{\et}_G\ra \gM_G \ra \gM_G^c \ra 0$ denote the "connected-étale sequence" for $\gM_G:=\gM^*(G)$ as in Lemma \[lem:ConndEtSeq\]. To prove Proposition \[prop:Connd\], it suffices to show that $T_p(G^\bullet) \cong T^*_\Sig(\gM^\bullet)$ via the natural isomorphism. By Lemma \[lem:etqt\], $T^*_\Sig(\gM_G^{\et})$ is the maximal unramified $\GKinfty$-quotient of $T_p(G)$. Viewing $T^*_\Sig(\gM_G^{\et})$ as an unramified $\GK$-representation via $\GKinfty/I_{K_\infty}\cong \GK/I_K$, we apply the full faithfulness of $\GKinfty$-restriction on crystalline representations @kisin:fcrys [Corollary 2.1.14] to conclude that $T^*_\Sig(\gM_G^{\et})$ is a maximal unramified $\GK$-quotient of $T_p(G)$. This shows that $T^*_\Sig(\gM_G^{\et})$ coincides with the quotient $T_p(G^{\et})$ of $T_p(G)$. Now Proposition \[prop:Connd\] follows. The following proposition proves Proposition \[prop:main\] when $\gM$ is either $\vphi$-unipotent or of multiplicative type. \[prop:main2\] For any $\gM\in\phimodBT\Sig$, put $\M:=S\otimes_{\vphi,\Sig}\gM$. 1. \[prop:main2:Unip\] Assume that $\gM$ is $\vphi$-unipotent, then the $\GKinfty$-map $\imath:T^*_\Sig(\gM) \hra T^*_{\st}(\M)$ defined in is an isomorphism. 2. \[prop:main2:Mult\] Assume that $\gM$ is of multiplicative type. If $p>2$ then the $\GKinfty$-map $\imath:T^*_\Sig(\gM) \hra T^*_{\st}(\M)$ defined in is an isomorphism. If $p=2$, then the image of $\imath$ is precisely $2\tim T^*_{\st}(\M)$. The $\vphi$-unipotent case is exactly @Kisin:2adicBT [Proposition 1.2.7], so it is left to handle the multiplicative-type case. The injectivity of $\imath$ is clear. We will prove the proposition by looking at $(\imath \bmod p)$ and $(\imath \bmod4)$ when $p=2$. For the proof, we may replace $K$ by $\wh K^{\ur}$ and $\gM$ by $W(\kbar)[[u]]\otimes_\Sig\gM$; indeed, by naturally identifying $V=V^*_{\cris}(D) \cong V^*_{\cris}(W(\kbar)\otimes_{W(k)}D)$ as $I_K$-representations, we do not change the relevant $\Zp$-lattices in $V$ and the map $\imath$. Now, by Lemma \[lem:classifMult\] it is enough to prove the proposition for $\gM = (\Sig,\PP(u)\vphi)$. The following claim concludes the proof of Proposition \[prop:main2\]. Assume that $k=\kbar$ and let $\gM = (\Sig,\PP(u)\vphi)$. If $p>2$ then $(\imath\bmod p)$ is an isomorphism. If $p=2$ then $(\imath\bmod 2)$ is the zero map and $(\imath\bmod 4)$ is non-zero. Let $\alpha\in W(k)\starr$ be such that $\alpha u^e \equiv \PP(u) \bmod{p}$, and choose $\beta\in W(k)\starr$ so that $\beta^{p-1} \equiv \alpha\iv \bmod p$. Then, for any $f\in\Hom_{\Sig,\vphi}(\gM/(p),\wh\Sig^{\ur}/(p))$ we have $$(f(\beta))^p= \beta^p(f(1))^p = u^e f(\beta).$$ If $f$ is non-zero then we have $f(\beta)^{p-1}= u^e$. By Lemma \[lem:ker\], on the other hand, $\vphi:\wh\Sig^{\ur}/(p)\ra \Acris/(p)$ takes $f(\beta)$ to $0$ if and only if $p=2$. This proves the claim on $\imath\bmod p$. Now, assume that $p=2$ and choose a $\Z_2$-basis $f\in\Hom_{\Sig,\vphi}(\gM,\wh\Sig^{\ur})$. Since $f(\beta) \equiv u^e \bmod{2}$, we can find $g\in\wh\Sig^{\ur}$ such that $f(\beta) = u^e + 2g$. Similarly, we can write $\alpha\iv \PP(u) = u^e+2c(u)$ for some $c(u)\in\Sig$ of degree $<e$. Then we have $$\vphi(f(\beta)) \equiv \alpha\iv\PP(u)f(\beta) \equiv u^{2e}+ 2u^e(c(u) + g) \bmod{4}.$$ Put $\wt f:= \imath(f) \in \Hom_{S,\vphi_1,\Fil^1}(\M,\Acris)$. Then by definition we have $$\wt f(\beta) \equiv u^{2e}+ 2u^e(c(u) + g) \equiv 2\big(\frac{u^{2e}}{2!} +u^ec(u)+u^e g\big) \bmod{4}.$$ Since $u^{2e}/2!+u^ec(u)+u^e g \not\equiv 0 \bmod 2$ (because $u^{2e}/2!\notin \Sig^{\ur}/(2)$ and $u^ec(u)+u^e g\in \Sig^{\ur}/(2)$), we have $\wt f (\beta)\not\equiv 0 \bmod 4$. \[lem:ker\] The kernel of the map $\vphi:\wh\Sig^{\ur}/(p) \ra \Acris/(p)$ is generated by $u^e$ where $e=\deg\PP(u)$. Recall that $R$ is isomorphic to the valuation ring of the completion of $k\llpar \nf\pi \rrpar^{\alg}$, and the subring $\wh\Sig^{\ur}/(p)\subset R $ is isomorphic to the valuation ring of $k\llpar u \rrpar^{\sep}$ (*cf.* §\[subsec:GKinftyRep\]). Also one can directly check that $\Acris/(p)$ is the divided power envelop of $\rep$ with respect to the kernel of the $0$th projection $\bar\theta:\rep \thra \fo_{\Kbar}/(p)$.[^17] Since $\ker(\bar\theta)$ is principally generated by $\nf\pi^e$ @wintenberger:NormFiels [Proposition 4.3.7], the kernel of the natural map $\rep\ra\Acris$ is principally generated by $\nf\pi^{pe}$. Now the lemma follows. The proposition below completes the proof of Proposition \[prop:main\], hence the proof of Theorem \[thm:classif\]: \[prop:key\] For any $\gM\in\phimodBT\Sig$ and $\M:=S\otimes_{\vphi,\Sig}\gM$, the image of the map $\imath:T^*_\Sig(\gM)\ra T^*_{\st}(\M)$ is $\GK$-stable, where $\imath$ is defined in (\[eqn:TSigTqstLatt\]). If $p>2$ then $\imath$ is an isomorphism, and if $p=2$ then the cokernel of $\imath$ is killed by $p=2$. Note that a simpler proof when $p>2$ already appeared in the proof of @kisin:fcrys [Theorem 2.2.7]. From Proposition \[prop:main2\] and the exactness results (Lemmas \[lem:exactBreuil\] and \[lem:TstExact\]), it easily follows that $\imath$ is an isomorphism when $p>2$, and when $p=2$ we have $$2T^*_{\st}(\M)\subseteq T^*_\Sig(\gM)\subseteq T^*_{\st}(\M).$$ To show that $T^*_\Sig(\gM)$ is $\GK$-stable in $T^*_{\st}(\M)$, it suffices to show that the image of $T^*_\Sig(\gM)$ in $T^*_{\st}(\M)/2T^*_{\st}(\M)$ is $\GK$-stable; i.e., for any $f\in T^*_\Sig(\gM)$ and $g\in \GK$, there exists $f'\in T^*_\Sig(\gM)$ such that $$g\tim\imath(f) \equiv \imath(f') \bmod{2T^*_{\st}(\M)} ,$$ where $g\tim\imath(f)$ is as defined in (\[eqn:TstGK\]). Recall that we have the short exact sequence $0\ra\gM^u\ra\gM\ra\gM^m\ra0$ defined in , which stays exact after applying $S\otimes_{\vphi,\Sig}(\cdot)$ by Lemma \[lem:exactBreuil\]. We set $\M^u:=S\otimes_{\vphi,\Sig}\gM^u$ and $\M^m:=S\otimes_{\vphi,\Sig}\gM^m$. From Proposition \[prop:main2\](\[prop:main2:Unip\]), there exists $f'\in T^*_\Sig(\gM)$ such that $\big(g\tim\imath(f)\big)|_{\M^u} = \imath(f')|_{\M^u}$. So the element $\delta:= g\tim\imath(f) - \imath(f')$ lies in $T^*_{\st}(\M^m)$. Now it suffices to show that $\delta\in 2T^*_{\st}(\M^m)$; i.e., $\delta(1\otimes y) \in 2\Acris$ for any $y\in\gM^m$. Pick $t\in \Acris$ as in Theorem \[thm:Acris\]. Since $\gM^m$ is multiplicative, we have $$\delta(\M^m) \subset (W(\kbar)\tim S) \tim (t/2) \subset W(\rep)\tim (t/2).$$ It follows from Theorem \[thm:Acris\] that $W(\rep) \tim \frac{t}{2} \cap (W(\rep)+2\Acris) \subset 2\Acris$. (To see this, assume that $a\tim\frac{t}{2}\in W(\rep)+2\Acris$ for some $a\in W(\rep)$. Then one can find $b, c_n\in W(\rep)$ such that $a\tim\frac{t}{2} = b+2\sum_{n=1}^\infty c_n \gamma_n(\frac{t}{2})$ in $\Acris$. By Theorem \[thm:Acris\], $b+ (-a+2c_1)\frac{T}{2} +2\sum_{n=2}^\infty c_n \gamma_n(\frac{T}{2}) \in \fa_{\cris}$ must be divisible by $[\nf\epsilon]-\sum_{n=0}^\infty \gamma_n(T)$. This forces that $a\in (2,[\nf\epsilon]-1)W(R)$, but since $[\nf\epsilon]-1 = -\sum_{i=1}^\infty 2^n \gamma_n(\frac{t}{2}) \in 2\Acris$ we conclude that $a\in 2\Acris$.) In particular, we are reduced to showing that $\delta(1\otimes y) \in W(\rep)+2\Acris$ for any $y\in\gM^m$. Now, recall that $\imath(f')(1\otimes x)\in \vphi(\wh\Sig^{\ur})$ for any $x\in\gM$ by construction, so it suffices to show that $$\label{eqn:keyClm} \big(g\tim \imath(f)\big)(1\otimes x)\in W(\rep)+2\Acris$$ for any $f\in T^*_\Sig(\gM)$, $x\in\gM$, and $g\in \GK$. With the notation as above, recall from (\[eqn:TstGK\]) that $$\label{eqn:keyAcris} \begin{aligned} \big(g\tim \imath(f)\big)(1\otimes x) &= g \Big(\sum_{i=0}^\infty \gamma_i(-t_g) \big(\imath(f)\circ N_{\M}^i\big)(1\otimes x)\Big) \\ & = g \left( \imath(f)(1\otimes x)\right ) + g\Big(\sum_{i=1}^\infty \gamma_i(-t_g) \big(\imath(f)\circ N_{\M}^i\big) (1\otimes x)\Big), \end{aligned}$$ where $\gamma_i$ is the standard $i$th divided power. Inspecting the second row of (\[eqn:keyAcris\]), the first term is in $W(\rep)$ by construction, and the second term is in $2\Acris$ as $2$ divides $\gamma_i(t_g)$ for any $g\in\GK$ and $i>0$. This shows (\[eqn:keyClm\]), hence the proposition. Comparison with Dieudonné crystals: proof of Proposition \[prop:Dieudonne\](\[prop:Dieudonne:Comp\]) {#subsec:Dieudonne} ---------------------------------------------------------------------------------------------------- [^18] Let $G$ be a $p$-divisible group over $\fo_K$, $D$ the associated filtered $\vphi$-module, and $\DD^*(G)$ the contravariantly associated Dieudonné crystal. The $S$-module $\DD^*(G)(S)$ can be naturally viewed as a strongly divisible $S$-lattice in $S\otimes_{W(k)}D$. (See, for example, @kisin:fcrys [(A.1)–(A.2)] for more details.) One can actually recover the Dieudonné crystal $\DD^*(G)$ from the strongly divisible $S$-module $\DD^*(G)(S)$.[^19] Let $\gM_G:=\gM^*(T_p(G))$ and we associated a strongly divisible $S$-lattice $S\otimes_{\vphi,\Sig}\gM_G$. The goal of this section is to prove the following lemma. \[lem:LattComp\] With the notation as above, we have $\DD^*(G)(S)=S\otimes_{\vphi,\Sig}\gM_G$ as strongly divisible $S$-lattices in $S\otimes_{W(k)}D$. The starting point of the proof is the following theorem of Faltings, which is the geometric ingredient of the proof. \[<span>@Faltings:IntegralCrysCohoVeryRamBase [§6, Theorem 7]</span>\]\[thm:FaltingsKisin\] There exists a natural $\GK$-equivariant *injective* map $T_p(G) \hra T^*_{\st}(\DD^*(G)(S))$ which respects the embeddings into $T_p(G)[\ivtd p] \cong V^*_{\cris}(D)$. Furthermore, this map is an isomorphism if $p>2$. To use Faltings's theorem to prove Lemma \[lem:LattComp\], we need the following lemma: \[lem:LattIncl\] Let $\M$ and $\M'$ be strongly divisible $S$-lattices in $S\otimes_{W(k)}D$, and assume that $\M\cong S\otimes_{\vphi,\Sig}\gM$ for some $\gM\in\phimodBT\Sig$. If $T^*_{\st}(\M) \subseteq T^*_{\st}(\M')$ as $\Zp$-lattices in $V:=V^*_{\cris}(D)$, then we have $\M \supseteq \M'$. Assume that $\M$ admits a $\Sig$-lattice $\gM$ as in the statement. It suffices to show that if $x\in\M[\ivtd p]$ satisfies $f(x)\in \Acris$ for any $f\in T_{\st}^*(\M)$, then $m\in \M$. (The lemma follows by applying this to any $x\in\M'$.) Assume to the contrary that there exists $x\in\M[\ivtd p]\setminus \M$ such that $f(x)\in\Acris$ for any $f\in T_{\st}^*(\M)$. Let $n$ be the smallest positive integer such that $p^nx\in\M$. Then we have $p^nx\in \M\setminus p\M$, and $f(p^nx) \in p^n\Acris$ for any $f\in T_{\st}^*(\M)$. But this contradicts to Lemma \[lem:fbarinj\] below. \[lem:fbarinj\] Suppose $\M = S\otimes_{\vphi,\Sig}\gM$ for some $\gM\in\phimodBT\Sig$, and let $y\in\M$. If $f(y)\in p\Acris$ for any $f\in T_{\st}^*(\M)$, then $y\in p\M$. By the "multiplicative-unipotent sequence" (\[eqn:ConndEtDual\]), it suffices to handle the case when $\gM$ is either of multiplicative type or $\vphi$-unipotent. The case when $\gM$ is of multiplicative type is straightforward. (For example, one can use Lemma \[lem:classifMult\] to reduce to the rank-$1$ case.) When $\gM$ is $\vphi$-unipotent, the natural map $\iota:T^*_\Sig(\gM)\ra T^*_{\st}(\M)$ is an isomorphism, so it suffices to prove the same statement for $y\in\gM$ and $f\in T^*_\Sig(\gM)$. Set $\ol\gM:=\gM/p\gM$ and $\ol\gN:=\bigcap_{\bar f\in T^*_\Sig(\ol\gM)}\ker(\bar f)\subseteq \ol\gM$. Since $\ol\gN$ is a saturated submodule, we have $\ol\gM/\ol\gN \in (\Mod/\Sig)^{\leqs1}$. (Note that $\Sig/(p) = k[[u]]$ is a discrete valuation ring.) By definition of $\ol\gN$ we have $T^*_\Sig(\ol\gM) = T^*_\Sig(\ol\gM/\ol\gN)$, which implies $$\rank_{\Sig/(p)}\ol\gM = \dim_{\Fp}T^*_\Sig(\ol\gM) =\dim_{\Fp}T^*_\Sig(\ol\gM/\ol\gN) = \rank_{\Sig/(p)}\ol\gM/\ol\gN.$$ Hence, $\ol\gN = 0$, which proves the lemma. \[Proof of Lemma \[lem:LattComp\]\] Lemma \[lem:LattComp\] is easy for étale and multiplicative-type $p$-divisible groups. (Indeed, it essentially boils down to handling $G= \Gm[p^\infty]$ or $\nf{\Qp/\Zp}$, in which case one can explicitly compute and compare both sides of the equality.) To prove Lemma \[lem:LattComp\] it is enough to show an inclusion $S\otimes_{\vphi,\Sig}\gM_{G}\supset \DD^*(G)(S)$ for all $p$-divisible group $G$. Indeed, we can apply this inclusion to the Cartier dual $G^\vee$ and obtain the inclusion of the opposite direction. (Note that Cartier duality corresponds to $S$-linear duality on both sides by §\[par:DefEtPhiNilp\] and @Berthelot-Breen-Messing:DieudonneII [§5.3].) To show this inclusion, it suffices to show $T^*_{\st}(S\otimes_{\vphi,\Sig}\gM_{G})\subset T^*_{\st}(\DD^*(G)(S))$ by Lemma \[lem:LattIncl\]. Let $G$ be any $p$-divisible group over $\fo_K$ and consider the multiplicative-unipotent sequence $(G^\bullet):\, 0\ra G^m \ra G \ra G^u\ra 0$; i.e., $G^m$ is of multiplicative type and $(G^u)^\vee$ is connected. By Proposition \[prop:Connd\], the sequence $\gM_{G^\bullet}:=\gM^*(T_p(G^\bullet))$ is short exact and coincides with the "multiplicative-unipotent sequence" for $\gM_G$. We already observed $T^*_{\st}(S\otimes_{\vphi,\Sig}\gM_{G^m}) = T^*_{\st}(\DD^*(G^m)(S))$. Applying Proposition \[prop:main2\](\[prop:main2:Unip\]) and Theorem \[thm:FaltingsKisin\], we obtain that $T^*_{\st}(S\otimes_{\vphi,\Sig}\gM_{G^u}) = T_p(G^u)$ is contained in $T^*_{\st}(\DD^*(G^u)(S))$ as $\Zp$-lattices in $V_p(G^u)$. Using the exactness of $T^*_{\st}$ (Lemma \[lem:TstExact\]), one easily obtains the desired inclusion. Exactness {#subsec:exactness} --------- We now give a proof of Proposition \[prop:Dieudonne\] and Corollary \[cor:classifFF\], using compatibility with crystalline Dieudonné theory (Proposition \[prop:Dieudonne\]) proved in §\[subsec:Dieudonne\]. The following lemma proves Proposition \[prop:Dieudonne\] \[lem:exact\] Let $(G^\bullet):\ 0\ra G' \ra G \ra G'' \ra 0$ be a short exact sequence of $p$-divisible groups over $\fo_K$, and put $(\gM^\bullet):=\gM^*(G^\bullet)$. 1. \[lem:exact:GenFib\] The sequence $T_p(G^\bullet)$ of Tate modules is short exact if and only if $\fo_\Eps\otimes_\Sig(\gM^\bullet)$ is short exact. 2. \[lem:exact:exact\] If $(G^\bullet)$ is an exact sequence of $p$-divisible groups over $\fo_K$, then $(\gM^\bullet)$ is an exact sequence. By definition we have natural $\GKinfty$-isomorphisms $T_p(G^\bullet)\cong T^*_\Sig(\gM^\bullet)$ and the latter is precisely the sequence of étale $\vphi$-modules associated to $T_p(G^\bullet)$ by @fontaine:grothfest [§<span>B</span>.1.8.3]. Now the statement directly follows from the exactness property of étale $\vphi$-modules. See @fontaine:grothfest [§<span>A</span>.1.2] for more details. Assuming that $(G^\bullet)$ is an exact sequence of $p$-divisible groups over $\fo_K$, the left exactness of $(\gM^\bullet)$ follows from since the natural map $\gM \ra \fo_\Eps\otimes_\Sig\gM$ is injective for any $\gM\in\phimodBT\Sig$. By Nakayama lemma the right exactness could be checked mod $u$, and by the compatibility with crystalline Dieudonné theory the sequence $(\gM^\bullet)\otimes_{\Sig,\vphi} \Sig/(u)$ is isomorphic to the sequence $D^*((G^\bullet)_k)$, where $D^*(G_k)$ denote the contravariant Dieudonné module for a $p$-divisible group $G_k$ over $k$.[^20] This shows the desired exactness. \[par:FinFl\] Since we have proved Theorem \[thm:classif\] and Proposition \[prop:Dieudonne\], Corollary \[cor:classifFF\] also follows possibly except the exactness assertion (as remarked in the proof of Corollary \[cor:classifFF\]). We now show a slightly stronger assertion than the exactness asserted in Corollary \[cor:classifFF\], which can be useful in practice. Consider a (not necessarily exact) sequence $(G^\bullet):\ 0\ra G' \ra G \ra G'' \ra 0$, where $G$, $G'$, and $G''$ are either $p$-power order finite flat group schemes or $p$-divisible groups over $\fo_K$. (From now on, all finite flat group schemes are assumed to be of $p$-power order.) Let $(\gM^\bullet):\ 0\ra\gM''\ra\gM\ra\gM'\ra0$ denote the (not necessarily exact) sequence of $(\vphi,\Sig)$-modules corresponding to $(G^\bullet)$. If $G'$ is a finite flat group scheme and $G$ is a $p$-divisible group then we define the map $\gM \ra \gM'$ as follows: we choose a sufficiently large $n$ so that $G[p^n]$ contains the image of $G'$, and consider $\gM \thra \gM/(p^n) \ra \gM'$ where the second map is induced from the map $G'\ra G[p^n]$ which factors $G'\ra G$. Clearly the map $\gM \ra \gM'$ is independent of the choice of $n$. \[prop:exact\] We use the same notation as above. 1. \[prop:exact:GenFib\] The sequence $(G^\bullet)_K$ of the generic fibers is exact if and only if $\fo_\Eps\otimes_\Sig(\gM^\bullet)$ is exact. 2. \[prop:exact:exact\] The sequence $(G^\bullet)$ is exact if and only if $(\gM^\bullet)$ is exact. The proof of Lemma \[lem:exact\] can easily be adapted to prove using the natural $\GKinfty$-isomorphism $T^*_\Sig(\gM_H)\cong H(\Kbar)$ when $H$ is a finite flat group scheme. (When $G'$ is a finite flat group scheme and $G$ is a $p$-divisible group, we need the exact sequence .) The "only if" direction of is already proved except when $G'$, $G$, and $G''$ are finite flat group schemes. This case can be handled via a similar argument to the proof of Lemma \[lem:exact\]; the left exactness can be deduced from and the injectivity of maps $(\gM^\bullet)\hra \fo_\Eps\otimes_\Sig(\gM^\bullet)$, and the right exactness can be checked by reducing $(\gM^\bullet)$ modulo $(u)$ and comparing it with the sequence of contravariant Dieudonné modules for the special fibers $(G^\bullet)_k$. The proof of the "if" direction can be reduced to the case when $G'$, $G$, and $G''$ are finite flat group schemes, which follows from the claim below: If $\mathfrak{i}:\gM\ra\gM'$ is surjective, then $i:G'\ra G$ is a closed immersion. Granting this claim, we have $\gM_{G/G'} = \ker(\mathfrak i)=\gM''$ as submodules of $\gM$, so the natural map $G/G' \ra G''$ given by the universal property of quotient is an isomorphism. This proves the "if" direction of Proposition \[prop:exact\](\[prop:exact:exact\]). Let us prove Claim A. Let $H\subset G$ be the scheme-theoretic image of $i$, and $\gM_H$ the quotient of $\gM$ corresponding to $H$. Since $i$ factors
{'source': 'arXiv_out/1007'}