On some representations of the Iwahori subgroup (Q412124)

Fix a prime \(p\geq 5\) and let \(F\) be a finite unramified extension of \(\mathbb{Q}_p\) with residual degree \(f=[F:\mathbb{Q}_p]\) and ring of integers \(\mathcal{O}_F\). Put \(q=p^f\). For any natural number \(k\) the symmetric power \(\mathrm{Sym}^k(\mathbb{F}_q^2)\) of the tautological representation \(\mathbb{F}_q^2\) of \(\mathrm{GL}_2(\mathbb{F}_q)\) is isomorphic to the homogeneous component \(\mathbb{F}_q[X,Y]^h_k\) of degree \(k\) of the ring \(\mathbb{F}_q[X,Y]\) endowed with the usual modular action. Moreover, for any Galois-automorphism \(\mathrm{Frob}_p^s\in\mathrm{Gal}(\mathbb{F}_q/\mathbb{F}_p)\), we may compose the action of \(\mathrm{GL}_2(\mathbb{F}_q)\) on \(\mathrm{Sym}^k(\mathbb{F}_q^2)\) by \(\mathrm{Frob}_p^s\) to obtain the representation \((\mathbb{F}_q[X,Y]^h_k)^{\mathrm{Frob}^s}\). After fixing an embedding \(\tau:\mathbb{F}_q\hookrightarrow \overline{\mathbb{F}_p}\), we may base change to \(\overline{\mathbb{F}_p}\). By the work of \textit{L. Barthel} and \textit{R. Livné} [Duke Math. J. 75, No. 2, 261--292 (1994; Zbl 0826.22019)], the Serre weights \[ \sigma_{\underline{r}}=\bigotimes_{s=0}^{f-1}(\overline{\mathbb{F}_p}[X_s,Y_s])^{\mathrm{Frob}^s} \] exhaust -- upto character twists -- all the irreducible representations of \(\mathrm{GL}_2(\mathbb{F}_q)\) over \(\overline{\mathbb{F}_p}\) where \(\underline{r}=(r_0,\dots,r_{f-1})\in\{0,\dots,p-1\}^f\). Moreover, we may view these as representations of \(KZ\) (the centre acting trivially) where \(K=\mathrm{GL}_2(\mathcal{O}_F)\leq G=\mathrm{GL}_2(F)\) and \(Z=Z(G)\) is the centre. There exists a distinguished Hecke operator \(T\) (depending on \(\underline{r}\)) in the endomorphism ring \(\mathrm{End}_G(c\mathrm{-Ind}_{KZ}^G\sigma_{\underline{r}})\) of the compact induction \(c\mathrm{-Ind}_{KZ}^G\sigma_{\underline{r}}\). The universal representation \(\pi(\underline{r},0,1)\) is defined to be the cokernel of \(T\). The goal of this paper is to determine the structure of \(\pi(\underline{r},0,1)\) restricted to an Iwahori subgroup of \(G\). Following an idea of Breuil, the author introduces a family \((R_n)_{n\in\mathbb{N}}\) of \(KZ\)-representations with some Hecke operators \(T_n^{\pm}: R_n\to R_{n\pm 1}\). Using these Hecke operators as transition maps, a direct system of amalgamated sums is defined that leads to an isomorphism of \(\pi(\underline{r},0,1)_{|KZ}\) with \[ \varinjlim_{n\text{ odd}}(R_0\oplus_{R_1}\dots\oplus_{R_n}R_{n+1})\oplus\varinjlim_{n\text{ even}}(R_1/R_0\oplus_{R_2} \dots\oplus_{R_n}R_{n+1}) \] The restriction of \(R_{n+1}\) to the Iwahori subgroup admits a splitting \(R_{n+1}^+\oplus R_{n+1}^-\). By this splitting, the author manages to handle the (extremely complicated) combinatorics describing the Iwahori-socle filtration of \(\pi(\underline{r},0,1)\) with the help of some simple Euclidean data. As a byproduct, the author also describes the Iwahori structure of principal and special series.