MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Assume we conisder $G= SL(2, R)$, $K=SO(2)$ and $N$ the strict upper triangular matrices in $G$, $A$ diagonal matrices, and the Borel supgroup $B=NA$, $W$ Weyl group.

Then we have an isomorphism of $*$ algebras $C_c(G//K)$ ($K$ bi invariant functions) and $C_c(A)^W$, see e.g. Lang "$G$";) page 70.

The $*$ isomorphism is given by $$ H\phi(n) = \Delta_B(m)^{-1/2} \int_N \phi(mn) \mathrm{d} n.$$

Lang proves this by explicitely constructing the inverse.

Is there a way to prove the injectivity and surjectivity of this map without explicit computation of the inverse, but rather by using the Iwasawa and Cartan decomposition directly?

Feel free to argue for any other Lie group or reductive group, but I really would like to stay on the group level rather than working with Lie algebras (which I am not incredibly comforatble with).

share|cite|improve this question
$C_c(G)^K$ should be $C_c(G//K)$, the algebra of $K$-bi-invariant functions. – Alain Valette Mar 22 '12 at 21:22
up vote 3 down vote accepted

There is a direct proof of injectivity, using representation theory, due to R. Godement, A theory of spherical functions I, Trans. Amer. Math. Soc. 73 (1952), 496-556.

You may also have a look at my old paper "A global approach to spherical functions on rank 1 symmetric spaces", Nieuw Archief voor Wiskunde, 5 (1987), no. 1, 33–52, which is also motivated by the desire of staying on the group level, rather than using infinitesimal methods. In retrospect, I would say that it is worth investing a bit in Lie algebras!

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.