Parabolic inductions for pro-\(p\)-Iwahori Hecke algebras (Q2274039)

This paper belongs to a series of works by the author and collaborators on structural aspects of modulo \(p\) representations of \(p\)-adic groups. The main results of the present paper are computations of the right and left adjoints to the parabolic induction functor. This lays the foundation for computations of \(\mathrm{Ext}\) groups for simple representations of the pro-\(p\)-Iwahori-Hecke algebra. Let \(F\) be a non-Archimedean local field with residue characteristic \(p\), and let \(\mathbf{G}\) be a reductive algebraic group over \(F\). The pro-\(p\) Iwahori-Hecke algebra \(\mathcal{H}\) plays a major role in studying representations \(G=\mathbf{G}(F)\) over fields of characteristic \(p\). In the previous paper [J. Reine Angew. Math. 749, 1--64 (2019; Zbl 1472.22008)], the author classified irreducible \(\mathcal{H}\)-modules in this setting. In the present paper, the author computes the left and right adjoints \(L_P\) and \(R_P\), respectively, of the parabolic induction functor \(I_P\) for \(\mathcal{H}\) and shows that they preserve simplicity and that \(L_P\) is exact. Analogous results for the group setting were obtained by the author et al. in [Trans. Am. Math. Soc. 371, No. 12, 8297--8337 (2019; Zbl 1474.22013)]. The main application given is as follows. Let \(\pi_1\) and \(\pi_2\) be two simple \(\mathcal{H}\)-representations. By [the author, loc. cit.], \(\pi_2=I_P(\mathrm{St}(\sigma))\) is the parabolic induction of the generalized Steinberg representation attached the supersingular \(\mathcal{H}_P\)-module \(\sigma\). Combined with the results of the present paper and suppressing some decorations, one gets \begin{align*} \mathrm{Ext}^i_{\mathcal{H}}(\pi_1,\pi_2) &\simeq \mathrm{Ext}^i_{\mathcal{H}}(\pi_2, I_P(\mathrm{St}(\sigma)) \\ &\simeq \mathrm{Ext}^i_{\mathcal{H}_P}(L_P(\pi_2), \mathrm{St}(\sigma)) \\ &\simeq \mathrm{Ext}^i_{\mathcal{H}_P}(I_R^P\mathrm{St}(\sigma'),\mathrm{St}(\sigma)) \\ &\simeq \mathrm{Ext}^i_{\mathcal{H}_R}(\mathrm{St}(\sigma'), R_R(\mathrm{St}(\sigma)) \\ &\simeq \mathrm{Ext}^i_{\mathcal{H}_R}(\mathrm{St}(\sigma'), \mathrm{St}(\sigma'')) \end{align*} for some parabolic subgroup \(R\subset P\). Thus, the present paper reduces the problem to computations for Steinberg modules, a problem the author states will be taken up in a sequel.