An inverse Satake isomorphism in characteristic \(p\) (Q2354996)

This work is a contribution to the so called modular (or mod \(p\)) Langlands program (for an introduction to this topic, the reader may read \textit{C. Breuil} [in: Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19--27, 2010. Vol. II: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency. 203--230 (2011; Zbl 1368.11123)]). Let \(F\) be a non-Archimedean local field with residue field \(k_F\). We denote by \(p\) the characteristic of \(k_F\) and fix an algebraic closure \(k\) of this field. Let \(G\) be the group of rational points of an \(F\)-split connected reductive group. In the apartment attached to a maximal split torus \(T\), fix a hyperspecial vertex \(v\) and denote by \(K\) the corresponding maximal compact subgroup of \(G\). Finally, we fix an irreducible smooth representation \(\rho\) of \(K\) in some \(k\)-vector space. Attached to this situation we have two natural algebras: -- the spherical Hecke algebra \({\mathcal H}(G,\rho )\) of the pair \((K,\rho )\), -- the affine semigroup \(k\)-algebra \(k[X_*^+ (T)]\) of the dominant algebraic cocharacters of \(T\). In [\textit{F. Herzig}, Compos. Math. 147, No. 1, 263--283 (2011; Zbl 1214.22004)], generalizing the classical Satake isomorphism, Herzig constructed an isomorphism of algebras: \[ {\mathcal S}: \;{\mathcal H}(G,\rho ) \longrightarrow k[X_* ^+ (T)]\;. \] In the work under review, independently from Herzig's work, Rachel Ollivier constructs an isomorphism of algebras: \[ {\mathcal T}: \;k[X_* ^+ (T)] \longrightarrow {\mathcal H}(G,\rho ). \] Moreover, under the hypothesis that the derived subgroup of \(G\) is simply connected, by using explicit computations of \(\mathcal S\) and \(\mathcal T\), Ollivier proves that \(\mathcal T\) is an inverse for \(\mathcal S\).