Construction of some families of 2-dimensional crystalline representations (Q1889448)

The authors construct explicitly some analytic families of étale \((\varphi,\Gamma)\)-modules, which give rise to analytic families of \(2\)-dimensional crystalline representations. More precisely, let \(\text{ssc}_E\) be the maximal ideal of the ring of integers of a finite extension \(E/\mathbb{Q}_p\). For an integer \(k\geq 2\) and \(a_p\in\text{ssc}_E\) let \(D_{k,a_p}:= Ee_1\oplus Ee_2\) be the associated filtered \(\varphi\)-module (with \(\varphi(e_1)= p^{k-1}e_2\), \(\varphi(e_2)= -e_1+ a_p e_2\), etc.). The authors give in Section 3 a direct construction of 2-dimensional crystalline \(E\)-linear representation \(V_{k_s a_p}\) (for those \(a_p\) in a small \(p\)-adic ball around \(o\)) such that \(\mathbb{D}_{\text{cris}}(V^*_{k_sa_p})= D_{k_s a_p}\) hence a new proof of the theorem of \textit{P. Colmez} and \textit{J.-M. Fontaine} [Invent. Math. 140, No. 1, 1--43 (2000; Zbl 1010.14004)] for these representations. It turns out that all the representations \(V_{k_sa_p}\) with \(v_p(a_p)> \lfloor(k-2)/(p- 1)\rfloor\) have the same semi-simplified reduction modulo \(p\) (Section 4.1), which partially answers some questions of \textit{C. Breuil} [J. Inst. Math. Jussieu 2, No. 1, 23--58 (2003; Zbl 1165.11319)]. In Section 4.2 the authors give application to the reduction modulo \(p\) of the representations arising from modular forms (extending some results of Deligne, Edixhoven, Fontaine and Serre).