Invariant eigendistributions on a semisimple Lie algebra and homology classes on the conormal variety. II: Representations of Weyl groups (Q1174995): Difference between revisions

Let \({\mathfrak g}={\mathfrak g}_ 0\otimes_ \mathbb{R}\mathbb{C}\) be the complexification of a semisimple Lie algebra \({\mathfrak g}_ 0\). Then \({\mathfrak g}\simeq {\mathfrak g}_ 0\times {\mathfrak g}_ 0\). Let \(\mathcal B\) be the flag manifold of \(G\) and let \({\mathcal B}^*=\{({\mathfrak b},\nu)\mid {\mathfrak b}\in{\mathcal B}, \nu\in{\mathfrak b}^ \perp\}\). For \(V\subset {\mathcal N}\) let \({\mathcal B}^*(V)\) be the inverse image of \(V\) under the Springer map \(\pi: {\mathcal B}^* \to{\mathcal N}\). In the first part of the paper the author constructs a representation of the Weyl group \(W=W_ 0\times W_ 0\) in the homology \(H_ *({\mathcal B}^*(V),\mathbb{Z})\) and then specializes to \(V = \{v\}\). In this case \({\mathcal B}^*(V)\) becomes the conormal variety \(\mathcal Z\) of the \(K\)-action. Hence this construction gives a representation of \(W\) on \(H_{2n}({\mathcal Z},\mathbb{C})\). Going over to the \(G_ 0\)-action this gives a representation of \(W\) in the homology of the conormal variety \(\mathcal S\) and this representation can then be transformed into a representation in the space \(CH({\mathfrak g}_ 0,\mathbb{Z})\) of coherent families of invariant eigendistributions via the integral formula, that associates to \(\Gamma\in H_{2n}({\mathcal S},\mathbb{Z})\) an invariant eigendistribution \(\Theta_ \Gamma\), proved by the author in part I [cf. the preceding review Zbl 0755.22004]. This results in a proof of the Springer theorem, that as a \(W\)-module \(H_{2n}({\mathcal Z},\mathbb{C})\) is isomorphic to the biregular representation of \(W\) on \(\mathbb{C}[W/W_ 0] =\mathbb{C}[W_ 0]\). As a further application of the integral formula, the author gives a formula for the global character of a \(({\mathfrak g}_ 0,K_ 0)\)-module with regular integral infinitesimal character as an integral over the characteristic cycle of the corresponding \(({\mathcal D},K)\)-module. He studies the asymptotic of the distribution \(\Theta_ \Gamma\) at zero in the sense of \textit{D. Barbasch} and \textit{D. Vogan, jun.} [J. Funct. Anal. 37, 27-55 (1980; Zbl 0436.22011)] \(\Theta_ \Gamma(\lambda)=c_ \Gamma(\lambda)\hat\mu_{\mathcal O}+o(| \lambda|^ e)\), where \(c_ \Gamma\) is an explicitly given \(W\)-harmonic polynomial on \({\mathfrak h}^*\) of degree \(e\). This asymptotic relation is then used to prove a conjecture of \textit{A. Joseph} on the characteristic polynomials of intersections of nilpotent \(G_ 0\)-orbits with \({\mathfrak n}_ 0\) [J. Algebra 88, 238-278 (1984; Zbl 0539.17006)].