A variant of the induction theorem for Springer representations. (Q877700)

Let \(G\) be a simple algebraic group over \(\mathbb{C}\) with Weyl group \(W\). For a unipotent element \(u\in G\), let \(\mathcal B_u\) be the variety of Borel subgroups containing \(u\). Let \(L\) be a Levi subgroup of a parabolic subgroup of \(G\) with the Weyl subgroup \(W_L\) of \(W\). Assume that \(u\in L\) and let \(\mathcal B^L_u\) be the similar variety as \(\mathcal B_u\) for \(L\). Lusztig has given an induction theorem relating the Springer representation \(\bigoplus_nH^n(\mathcal B^L_u,\overline\mathbb{Q}_\ell)\) of \(W_L\) with the Springer representation \(\bigoplus_nH^n(\mathcal B_u,\overline\mathbb{Q}_\ell)\) of \(W\). But in this result the information about the grading by \(n\) gets lost. The author now treats variants where for some \(e\geq 1\) he can give an induction theorem for each \(\bigoplus_{n\equiv k\bmod e}H^n(\mathcal B_u,\overline\mathbb{Q}_\ell)\), \(k=1,\dots,e-1\). To this end he extends the action of \(W_L\) to an action of a group \((\mathbb{Z}/e\mathbb{Z})\ltimes W_L\), where \(e\) comes from the classification of regular elements of reflection groups. As an application, an explicit formula for the values of Green functions at roots of unity is given, when \(u\) is a regular unipotent element in \(L\).