Spherical functions for small \(K\)-types (Q2290614)

Let \(G=KAN\) be a simple Lie group written in Iwasawa decomposition. Let \(M\) be the centralizer of \(\mathfrak a\) in \(K\) and \(W\) denote the little Weyl group. We fix a small representation \((\pi, V)\) of \(K\), by definition \((\pi, V)\) is small if restricted to \(M\) is irreducible. A function \(\phi\) from \(G\) to \(\mathrm{End}_\mathbb C (V)\) is spherical (resp. elementary spherical) if \(\phi(k_1 x k_2)=\pi (k_2^{-1}) \phi (x) \pi (k_1^{-1})\) (resp. spherical and \(\dim V\int_K \phi (xky) \mathrm{Tr}(\pi (k)) dk =\phi(x) \phi(y)\)). In this paper, the authors determine the totality of small \(K-\)types for each non-compact simple real Lie group; they show: a spherical function \(\phi\) is elementary if and only if \(\phi(1_G)=1_{\mathrm{End}(V)}\) and \(\phi\) is a joint eigenfunction for the elements in the algebra of invariant differential operators \(\mathcal D^\pi\) in the bundle \(G\times_\pi V \rightarrow G/K\); A Harish-Chandra isomorphism \(\mathcal D^\pi \stackrel{\gamma^\pi}\rightarrow S(\mathfrak a_\mathbb C)^W\); Elementary spherical functions are parameterized by the orbits of \(W\) in \( \mathfrak a_\mathbb C^\star\). That is, for each orbit of \(\lambda \in \mathfrak a_\mathbb C^\star\) there exists a unique spherical function \(\phi_\lambda\) such that \(\phi_\lambda (1_G)=1_{\mathrm{End}(V)}\) and \(D\phi_\lambda = \gamma^\pi(D)(\lambda) \phi_\lambda\) for \(D \in \mathcal D^\pi\); A Chevalley restriction theorem, the restriction map is a linear bijection between the space of spherical functions and \(C^\infty ( A)^W\); A formula in terms of the hypergeometric function \(F(\Sigma^\pi, k^\pi, \lambda)\) associated to a root system \(\Sigma^\pi \subset \Sigma(\mathfrak g,\mathfrak a)\) and a multiplicity function \(k^\pi\). \(\phi_\lambda(\exp(H))=(\prod_{\alpha \in \Sigma} (\frac{\mathrm{sinh} (\alpha /2)}{\Vert \alpha/2 \Vert })^{m_\alpha})^{-1/2} (\prod_{\alpha \in \Sigma^\pi} (\frac{\mathrm{sinh} (\alpha /2)}{\Vert \alpha/2 \Vert })^{2k_\alpha})^{1/2} F(\Sigma^\pi, k^\pi, \lambda)\). The authors determine: the systems \(\Sigma^\pi\) as well as the values of \(k^\pi\) for each small type. The authors show a Plancherel Theorem for the space of spherical functions, they explicitly compute the \(c-\)function for \(\pi\). For the entire collection see [Zbl 1426.22001].