scientific article; zbMATH DE number 1014904

From MaRDI portal
Publication:4338612





The purpose of this note is to give a short, algebraic proof of the existence of the Harish-Chandra homomorphism \(\delta \colon D(g)^G \to D(t)^W\) which Harish-Chandra found by a long, analytic argument. Here \(g\) is a reductive Lie algebra with adjoint group \(G,\) \(t\) is a Cartan subalgebra of \(g,\) \(W\) is the Weyl group, and \(D(X)\) is a polynomial differential operator on \(X.\) There is an obvious restriction map \(\delta'\colon D(g)^G \to D(t_r)^W\), where \(t_r\) is the regular set in \(t\) and \(\delta=m_\sigma \circ \delta' \circ {m_\sigma}^{-1}.\) \(m_\sigma\) is multiplication by the product of the positive roots. The author shows that the image of \(\delta\) is contained in \(D(t)^W\) by reducing the statement to the case of \(sl(2),\) where one can compute explicitly. The argument uses a well-known action of \(sl(2)\) on polynomials on an orthogonal space. The author remarks that Wallach has given a short, analytic proof of the same result. In addition, the author gives a short proof of a theorem of Levasseur and Stafford asserting that \(\delta \) is onto (this theorem was proved by Wallach for simple algebras not of type \(E\)). For the entire collection see [Zbl 0857.00012].











This page was built for publication:

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