Modular Harish-Chandra theory. I (Q1204281)

Let \(\mathbf G\) be a connected, reductive algebraic group defined over \(F_ q\), and \(F: {\mathbf G} \to {\mathbf G}\) a Frobenius morphism so that the group \(G = {\mathbf G}^ F\) of \(F\)-fixed points is a finite group of Lie type. The classical Harish-Chandra theory deals with the endomorphism algebra of the module \(R^ G_{L,P}(M)\) where \({\mathbf L} \subset {\mathbf P}\) are an \(F\)-stable Levi subgroup and an \(F\)-stable parabolic subgroup respectively, and \(M\) is a cuspidal \(L\)-module in characteristic 0. Here \(R^ G_{L,P}(M)\) is the induced module to \(G\) from \(P\) of the pullback of \(M\) to \(P\). These endomorphism algebras were studied by \textit{R. B. Howlett} and \textit{G. Lehrer} [Invent. Math. 58, 37-64 (1980; Zbl 0435.20023)] and by the first author and \textit{G. James} for general linear groups, also in the modular case [see e.g., Proc. Lond. Math. Soc., III. Ser. 52, 20-52 (1986; Zbl 0587.20007)]. In this paper the authors are concerned with a modular Harish-Chandra theory for \(G\), for certain cuspidal modules \(M\). They first consider a finite group \(G\) with a split \(BN\)-pair of characteristic \(p\). Let \((k,{\mathcal O},K)\) be a split \(\ell\)-modular system, where \(\ell \neq p\). If \(L \subset P\) are a distinguished Levi subgroup and parabolic subgroup respectively, and \(M\) is an \(\mathcal O\)-form of a cuspidal \(KL\)-module, they give (2.12) conditions that a basis for \(\text{End}_{KG}(R^ G_{L,P}(M \otimes K))\) given by Howlett-Lehrer (loc. cit.) is an \(\mathcal O\)-basis of \(\text{End}_{{\mathcal O}G}(R^ G_{L,P}(M))\). They define a regular \(RG\)-module (where \(R\) is \(k\), \(\mathcal O\) or \(K\)) to be a module which is a constituent of a Gelfand-Graev representation. They then show (3.8) that these conditions are satisfied for a suitable \(\mathcal O\)-form \(M\) of a regular cuspidal \(KL\)-module. In the last two sections they take \(G = {\mathbf G}^ F\) as above, where \(\mathbf G\) has a connected center. They show that regular cuspidal characters of \(G\) are of the form \(\pm R^ G_{T^*}(s)\), where \(R^ G_{T^*}\) is the Deligne-Lusztig operator, \({\mathbf T}^*\) is a maximal torus in the dual group \({\mathbf G}^*\) which is dual to a minisotropic \(F\)-stable maximal torus in \(\mathbf G\), and \(s\) is a regular element of \(T^*\). Again, for a suitable \({\mathcal O}L\)-module \(D\) affording such a character of \(L\), they consider the \({\mathcal O}G\)-module \(M = R^ G_{L,P}(D)\) and give a sufficient condition in terms of \(s\) for \(\text{End}_{RG}(M\otimes R) \cong R\otimes_{\mathcal O}\text{End}_{{\mathcal O}G}(M)\) and for the Howlett-Lehrer basis condition mentioned earlier to hold. They also give a connection between the \(\ell\)-decomposition numbers of \({\mathcal O}G\) and those of the endomorphism algebra \(\text{End}_{\mathcal{O}G}(M)\).