Computational proof of the Mackey formula for \(q>2\). (Q536033)

Let \(G\) be a connected reductive group defined over an algebraic closure \(\mathbb F\) of a finite field of characteristic \(p>0\), and let \(F\colon G\to G\) be a Frobenius endomorphism endowing \(G\) with an \(\mathbb F_q\)-structure, where \(q\) is a power of \(p\), and \(\mathbb F_q\) is the finite subfield of \(\mathbb F\) of cardinal \(q\). Assume that \(P\) and \(Q\) are two parabolic subgroups of \(G\), \(L\) and \(M\) are \(F\)-stable Levi complements of \(P\) and \(Q\), respectively, \(R^G_{L\subset P}\) and \(^*R^G_{L\subset P}\) denote, respectively, the Lusztig induction and restriction maps, \((\text{ad\,}g)_M\) is the map between class functions on \(M^F\) and \(^*M^F\) induced by conjugation by \(g\), and \(S_G(L,M)\) is the set of elements \(g\in G\) such that \(L\) and \(M\) have a common maximal torus. The authors show that if (1) \(P\) and \(Q\) are \(F\)-stable; (2) \(L\) or \(M\) is a maximal torus of \(G\); (3) \(q>2\); (4) \(G\) does not contain an \(F\)-stable quasi-simple component of type \(^2E_6\), \(E_7\) or \(E_8\), then the following Mackey formula holds: \[ ^*R_{L\subset P}^G\circ R_{M\subset Q}^G=\sum_{g\in L^F\setminus S_G(L,M)^F/M^F}R_{L\cap{^gM}\subset L\cap{^gQ}}^L\circ{^*R}_{L\cap{^gM}\subset P\cap{^gM}}^{^gM}\circ (\text{ad\,}g)_M. \]