A comparison between pro-\(p\) Iwahori-Hecke modules and mod \(p\) representations (Q2329148)

\par Let \(G\) be a connected reductive group over a non-archimedean local field \(F\) with residue field having characteristic \(p\) and consider smooth representations of \(G\) over an algebraically closed field of characteristic \(p\). Further, let \(I(\mathrm{1})\) denote a pro-\(p\) Iwahori subgroup of \(G\) and \(\mathcal{H}\) denote the pro-\(p\) Iwahori-Hecke algebra associated to the pair \((G,I(\mathrm{1}))\). The goal of this paper is to continue investigations (of the author and others) on the relationship between \(G\)-representations and \(\mathcal{H}\)-modules. A starting point for such a relationship is the fixed point functor \(\pi \mapsto \pi^{I(\mathrm{1})}\) that takes representations over \(G\) to modules over \(\mathcal{H}\). \par Building off of a known bijection for (certain) simple modules, the author shows that there is an equivalence of categories between two categories: \(\mathcal{C}_f\) (of \(\mathcal{H}\)-modules) and \(C_{G.f}\) of \(G\)-representations. The category \(\mathcal{C}_f\) is the category of finite-dimensional \(\mathcal{H}\)-modules such that the action of a certain central element is invertible on the module. The category \(\mathcal{C}_{G.f}\) consists of finite length \(G\)-representations \(\pi\) such that \(\pi\) is generated by \(\pi^{I(\mathrm{1})}\) and any subquotient of \(\pi\) is isomorphic to a subquotient of an induced module \(\operatorname{Ind}_{B}^{G}\sigma\) for a minimal parabolic subgroup \(B\) with representation \(\sigma\) being irreducible for the Levi quotient of \(B\). The fixed point functor gives one direction of the equivalence, while the other direction is given by \(M \mapsto M\otimes_{\mathcal{H}}\operatorname{c-Ind}_{I(\mathrm{1})}^{G}\mathbf{1}\) for an \(\mathcal{H}\)-module \(M\), where \(\operatorname{c-Ind}_{I(\mathrm{1})}^{G}\mathbf{1}\) denotes compact induction of the trivial module. \par The key step in showing the equivalence and the main focus of the paper is proving that the map \(M \mapsto M\otimes_{\mathcal{H}}\operatorname{c-Ind}_{I(\mathrm{1})}^{G}\mathbf{1}\) is injective for \(M \in C_{f}\) (in fact, even without the finite-dimension assumption). This is accomplished by a series of reduction steps. First, it suffices to replace \(M\) with \(\operatorname{Hom}_{\mathcal{A}}(\mathcal{H},M)\), where \(\mathcal{A}\) is the Bernstein subalgebra of \(\mathcal{H}\). The problem is further reduced by using a decomposition of \(M\) over \(\mathcal{A}\) and the notion of the \textit{support} of an \(\mathcal{A}\)-module. Lastly, the problem is reduced to showing that the map \(M\otimes_{\mathcal{A}}\mathcal{H} \mapsto M\otimes_{\mathcal{A}}\operatorname{c-Ind}_{I(\mathrm{1})}^{G}\mathbf{1}\) is injective for certain \(\mathcal{A}\)-modules \(M\), which is then proved.