On some supersingular representations of \(\mathrm{GL}_2 (\mathbb Q_{p^f})\) (Q615846)

Let \(\mathbb Q_{p^f}\) be the unramified extension of \(\mathbb Q_p\) of degree \(f\). Let \[ \rho: \text{Gal}(\overline{\mathbb Q_{p}}/\mathbb Q_{p^f}) \rightarrow \text{GL}_2(\overline{\mathbb F_p}) \] be a continuous representation. The paper under review is highly influenced by and develops from the ideas in the deep work of Breuil and Paskunas. In their important work `Towards a modulo \(p\) Langlands correspondence for \(\text{GL}_2\)' appearing in Memoirs of the American Mathematical Society, \textit{C. Breuil} and \textit{V. Paskunas} have an approach to the local Langlands correspondence. Their main aim is to associate to \(\rho\) a family of smooth admissible representations \(\pi\) of \(\text{GL}_2(\mathbb Q_{p^f})\) over \(\overline{\mathbb F_p}\) with fixed central character (matching \(\det(\rho)\) via local class field theory) and to prove that these representations are all irreducible and supersingular when \(\rho\) is irreducible. For the case \(f=1\) itself, they refined this so that a single smooth admissible representation can be associated to \(\rho\). However, the case \(f>1\) is incomparably more difficult. Denote by \(O\) the ring of integers of \(\mathbb Q_{p^f}\) and let \(N\) denote the normalizer in \(\text{GL}_2(\mathbb Q_{p^f})\) of the usual Iwahori subgroup \(I\). Also, denote by \(I_1\) the maximal pro-\(p\) subgroup of \(I\) consisting of matrices congruent to the identity modulo \(p\). In their study, Breuil and Paskunas defined some `diagrams'. A diagram is a triple \((D_0,D_1,r)\) where \(D_0\) is a smooth representation of \(\mathbb Q_{p^f}^{\ast}\text{GL}_2(O)\) over \(\overline{\mathbb F_p}\) such that \(p\) acts trivially, \(D_1\) is a smooth representation of \(N\) over \(\overline{\mathbb F_p}\) and \(r\) is an injection of \(D_1\) in \(D_0\) which induces a \(\mathbb Q_{p^f}^{\ast}I\)-equivariant isomorphism of \(D_1\) with \(D_0^{I_1}\). For instance, a smooth representation \(\pi\) of \(\text{GL}_2(\mathbb Q_{p^f})\) over \(\overline{\mathbb F_p}\) gives such a diagram. Breuil and Paskunas showed that any \[ \rho : \text{Gal}(\overline{\mathbb Q_{p}}/\mathbb Q_{p^f}) \rightarrow\text{GL}_2(\overline{\mathbb F_p}) \] as above also gives rise to diagrams \((D_0(\rho),D_1(\rho),r)\) (when \(f>1\), the number of injections \(r\) can be infinitely many). Breuil and Paskunas proved also that each diagram \((D_0(\rho),D_1(\rho),r)\) arises from a unique smooth representation \(\pi\) of \(\text{GL}_2(\mathbb Q_{p^f})\) over \(\overline{\mathbb F_p}\) in the case \(f=1\) and had initially conjectured this for general \(f\) too. However, in the paper under review, the author shows that this is false for \(f>1\). The author has done further work on this problem by defining more general diagrams in [``Diagrammes canoniques et représentations modulo \(p\) de \(\text{GL}_2(F)\)'', Journal of the Inst. of Math. Jussieu, accepté le 29 Juin (2010)].