On freeness of compactly induced mod-$p$ representations of ${\mathrm{SL}}_2(\mathrm{F})$

Abstract

Let $p$ be a prime, and $F$ a non-archimedean local field with residue characteristic $p$ and ring of integers ${\mathcal{O}}_F$. Set $G_S:={\mathrm{SL}}_2(F)$and $K_0:={\mathrm{SL}}_2({\mathcal{O}}_F)$ . For a smooth irreducible ${\bar{\mathbb{F}}}_p$-representation $\sigma$ of $K_0$, we study the structure of the compact induction ${\mathrm{ind}}_{K_0}^{G_S}(\sigma )$ as a left module over the standard spherical Hecke algebra ${\mathrm{End}}_{G_S}\left({\mathrm{ind}}_{K_0}^{G_S}(\sigma )\right)$. We prove that it is free and of infinite rank.

14 pages