Supersingular Hecke modules as Galois representations (Q2305966)

Let $F$ be a local field of mixed characteristic $(0, p)$ and $k$ be a finite extension of its residue field. As an analogue of the supersingular representations of $G=\text{GL}_{d+1}(F)$ ($d \geq 1$) over $k$, there is a notion of supersingularity for $\mathcal{H}$-modules, where $\mathcal{H}$ is the pro-$p$-Iwahori Hecke $k$-algebra attached to $G$. In fact, a smooth admissible irreducible $G$-representation $V$ is supersingular if and only if its space of $I_0$-invariants $V^{I_0}$ is supersingular if and only if $V^{I_0}$ admits a supersingular subquotient, where $I_0$ is a pro-$p$-Iwahori subgroup in $G$. In the present paper, the author explains a method for converting supersingular $\mathcal{H}$-modules into $\mathrm{Gal}(\overline{F}/F)$-representations over $k$. He constructs an exact and fully faithful functor from the category of supersingular $\mathcal{H}$-modules to the category of $\mathrm{Gal}(\overline{F}/F)$-representations over $k$. Moreover, for a certain $k$-algebra $\mathcal{H}^{\sharp}$ surjecting onto $\mathcal{H}$, the author defines the notion of $\sharp$-supersingular modules and constructs an exact and fully faithful functor from the category of $\sharp$-supersingular $\mathcal{H}^{\sharp}$-modules to the category of $\mathrm{Gal}(\overline{F}/F)$-representations over $k$.