On Joseph's construction of Weyl group representations (Q797694)

\textit{T. Springer} introduced [in Invent. Math. 44, 279-293 (1978; Zbl 0376.17002)] a construction of representations of Weyl groups: let G be a complex semi-simple connected Lie group, and A a nilpotent element in Lie G; on the set \({\mathcal B}^ A\) of Borel subgroups of G containing exp CA, the centralizer of A acts, and this gives an action of its fundamental group C(A) on the homology \(H({\mathcal B}^ A,{\mathbb{Q}})\); this action commutes with an action of the Weyl group W defined using a Cartan subgroup of G, and the simple components of the action of W on the top homology modules for all A's give all the simple representations of W. On the other hand, \textit{A. Joseph} [in J. Algebra 88, 238-278 (1984; Zbl 0539.17006)] gives another construction of the representations of W: fix a nilpotent subalgebra with normalizer a Borel subgroup B in G, to each irreducible component of its intersection with the orbit of A Joseph defines a polynomial of the dual of the Cartan algebra of Lie B, and the \({\mathbb{Q}}\)-span of these polynomials is a W-module. This article shows that this latter representation corresponds to the former for the invariants of C(A) in \(H_{top}({\mathcal B}^ A,{\mathbb{Q}})\). The appendix contains a proof of the identification of the Kazhdan-Lusztig representation [\textit{D. Kazhdan} and \textit{G. Lusztig}, Adv. Math. 38, 222-228 (1980; Zbl 0458.20035)] of W with the Springer representation. This article is clearly written, and has already had interesting applications on the characteristic cycles of holonomic systems on flag manifolds.