On Lusztig's isomorphism theorem for Hecke algebras (Q1057985): Difference between revisions

Let G be a finite Chevalley group over \(F_ q\) and \(W=(W,S)\) the Weyl group of G. For a Borel subgroup B of G, \textit{G. Lusztig} [J. Algebra 71, 490-498 (1981; Zbl 0465.20042)] gave an explicit construction of an isomorphism over \(Q(q^{1/2})\) of the centralizer algebra H(G,B) of the permutation representation of G on the cosets of B, with the group algebra \(Q(q^{1/2})W\). The present paper is concerned with a similar construction in the case of parabolic subgroups. Thus, for \(J\subset S\), let \(P_ J\) (resp. \(W_ J)\) be the corresponding parabolic subgroup of G (resp. W). Let \(H(G,P_ J)\) (resp. \(H(W,W_ J))\) be the centralizer algebras of the permutation representations of G (resp. W) on the cosets of \(P_ J\) (resp. \(W_ J)\). The author constructs an explicit isomorphism \(\phi_ J\) of \(H(G,P_ J)\) with \(H(W,W_ J)\) over \(Q(q^{1/2})\), and notes that when \(J=\emptyset\), the isomorphism \(\phi_{\emptyset}\) is in some sense conjugate to Lusztig's isomorphism. This is done by considering the generic R-algebras \(H_ J\), \(H_ R(W,W_ J)\) associated with \(H(G,P_ J)\), \(H(W,W_ J)\), where \(R=Q(u^{1/2}\), \(u^{-1/2})\) (u being an indeterminate), and constructing a homomorphism of R-algebras from \(H_ J\) to \(H_ R(W,W_ J)\) which induces an isomorphism of K-algebras on specializing to any field K such that the specialized algebra \(H^ K_ J\) is semisimple. Some applications are given, including an explicit relationship between the irreducible characters of the specialized algebras \(H^ K_ J\) and \(H_ K(W,W_ J)\).