Definition

Let GG be a and let KK be a . An (π,H)(\pi,H) of GG is KK-spherical, or of class one, if

HK={vH:π(k)v=v for every kK}H^K=\{v\in H:\pi(k)v=v\text{ for every }k\in K\}

is nonzero. A nonzero member of HKH^K is a spherical vector. Because (G,K)(G,K) is a in the standard reductive setting, dimHK=1\dim H^K=1, so a unit spherical vector is unique up to a scalar of one Helgason, Chapter IV, §2.

Spherical matrix coefficient

If vv is a unit spherical vector, then

φπ(g)=π(g)v,v\varphi_\pi(g)=\langle\pi(g)v,v\rangle

is KK-bi-invariant, positive definite, and normalized by φπ(e)=1\varphi_\pi(e)=1. This is the spherical function attached to π\pi. Conversely, normalized positive-definite elementary spherical functions recover spherical unitary representations through the Helgason, Chapter IV, §3.

Examples and representation theory

The trivial representation is spherical. Spherical provide the basic nontrivial family and are treated separately as . Spherical representations are precisely the irreducible constituents relevant to harmonic analysis of KK-bi-invariant functions and of the G/KG/K.

Conventions and scope

Some literature defines a spherical representation for a general pair (G,K)(G,K), or does not require unitarity. In that broader usage, the one-dimensionality of HKH^K requires the Gelfand-pair hypothesis and is not automatic. The present definition fixes the unitary real-reductive setting and should not be confused with a representation of a sphere.

References
  1. Sigurdur Helgason, Groups and Geometric Analysis: Integral Geometry, Invariant Differential Operators, and Spherical Functions, American Mathematical Society, 2000. AMS record. Relevant: Chapter IV, §§2–3 on class-one representations and spherical functions.
  2. Anthony W. Knapp, Representation Theory of Semisimple Groups: An Overview Based on Examples, Princeton University Press, 1986. Author record. Relevant: Chapter VII on spherical representations and principal series.