Spaces of bounded spherical functions on Heisenberg groups. I (Q2340917)

Consider a linear multiplicity free action by a compact Lie group \(K\) on a finite dimensional hermitian vector space \(V\). Letting \(K\) act on the associated Heisenberg group \(H_{V}=V \times \mathbb{R}\) yields a Gelfand pair. An application of the orbit method produces an injective mapping \(\Psi\) of the space of bounded spherical functions for (\(K,\;H_{V}\)) to the space of \(K\)-orbits in the dual of the Lie algebra for \(H_{V}\). The authors prove that every irreducible multiplicity free action is well-behaved and so \(\Psi\) is a homeomorphism onto its image. Their proof involves case-by-case analysis working from the classification of irreducible multiplicity free actions.