Galois lattices and strongly divisible lattices in the unipotent case (Q2363273)

Let \(p\) be a prime and \(K\) be a finite totally ramified extension of \(K_0=W(k)[1/p]\) where \(k\) is a perfect field of characteristic \(p\). Let \(e=e(K/K_0)\) be the ramification index and \(G_K=\mathrm{Gal}(\overline{K}/K)\) be the absolute Galois group. By Fontaine's \(p\)-adic Hodge theory, we can classify semi-stable \(p\)-adic Galois representations using some ``linear algebra data'', namely admissible filtered \((\varphi,N)\)-modules. Generalizing previous work of Fontaine-Laffaille, Breuil defined natural integral structures in admissible filtered \((\varphi,N)\)-modules, called strongly divisible lattices, to study integral lattices in \(p\)-adic Galois representations. Precisely, he defined a certain functor \(T_{\mathrm{st}}\) from the category of strongly divisible lattices to \(G_K\)-stable \(\mathbb{Z}_p\)-lattices in semi-stable representations of \(G_K\), and proposed the following conjecture [\textit{C. Breuil}, Adv. Stud. Pure Math. 36, 51--80 (2002; Zbl 1046.11085)]. Conjecture (1) If \(0\leq r<p-1\), the functor \(T_{\mathrm{st}}\) induces an anti-equivalence between the category of strongly divisible lattices of weight \(r\) and the category of \(G_K\)-stable \(\mathbb{Z}_p\)-lattices in semi-stable representations of \(G_K\) with Hodge-Tate weights \(\subseteq \{0,\dots,r\}\). (2) If \(r=p-1\), the functor \(T_{\mathrm{st}}\) induces an anti-equivalence between the category of unipotent strongly divisible lattices of weight \(r\) and the category of \(G_K\)-stable \(\mathbb{Z}_p\)-lattices in unipotent semi-stable representations of \(G_K\) with Hodge-Tate weights \(\subseteq \{0,\dots,r\}\). Part (1) of the conjecture was previously proven by \textit{C. Breuil} [Invent. Math. 136, No. 1, 89--122 (1999; Zbl 0965.14021)] for \(e=1\) and \(r<p-1\), and \textit{X. Caruso} [Invent. Math. 171, No. 3, 629--699 (2008; Zbl 1245.14019)] for \(er<p-1\), and finally by \textit{T. Liu} [Compos. Math. 144, No. 1, 61--88 (2008; Zbl 1133.14020)] in full generality using Kisin modules. In the paper under review, the author gave a complete proof of part (2) of the conjecture.