A variant of the induction theorem for Springer representations.

From MaRDI portal



Abstract: Let G be a simple algebraic group over C with the Weyl group W. For a unipotent element u of G, let B_u be the variety of Borel subgroups of G containing u. Let L be a Levi subgroup of a parabolic subgroup of G with the Weyl subgroup W_L. Assume that u is in L and let B_u^L be the corresponding variety for L. The induction theorem of Springer representations describes the W-module structure of H*(B_u) in terms of the W_L-module structure of H*(B_u^L). In this paper, we prove a certain refinement of the induction theorem by considering the action of a cyclic group of order e on H^*(B_u). As a corollary, we obtain a description of the values of Green functions at e-th root of unity.


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\).











This page was built for publication: A variant of the induction theorem for Springer representations.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877700)