Parabolic induction and perverse sheaves on \(W \backslash \mathfrak{h} \) (Q2078864)

Let \(\mathfrak{g}\) be a complex reductive Lie algebra, \(\mathfrak{h}\) be its Cartan subalgebra, and \(W\) be the Weyl group. Then, by Chevalley's theorem on polynomial \(W\)-invariants, the quotient \(W \backslash \mathfrak{h}\) is an affine space. Moreover, it carries a natural stratification \(\mathcal{S}^{(0)}\). The paper under review studies the category \(\operatorname{Perv}(W \backslash \mathfrak{h})\) of perverse sheaves on the quotient which are smooth with respect to \(\mathcal{S}^{(0)}\), and gives an equivalence to the category of objects of mixed functoriality with respect to a natural cell decomposition of \(W \backslash \mathfrak{h}\) refining \(\mathcal{S}^{(0)}\), called mixed Bruhat sheaves in this paper. The sections \S\S1--6 are devoted to this study. The paper also proposes the viewpoint that the category \(\operatorname{Perv}(W \backslash \mathfrak{h})\) provides a conceptual encoding of ``the algebra of parabolic induction'', i.e., the entire package of results related to principal series representations and those obtained by parabolic induction in all the brunches of representation theory. Several illustrations of this viewpoint are given in \S 7 and \S 8. This part seems to have various open problems and relations to topics of algebraic and geometric representation theory.