Definition

Let GG be a , KK a , and P=MANP=MAN a in Langlands form. For λaC\lambda\in\mathfrak a_{\mathbb C}^{*}, the spherical principal series is the

I(λ)=IndPG(1Meλ1N).I(\lambda)=\operatorname{Ind}_{P}^{G} \bigl(1_M\otimes e^\lambda\otimes 1_N\bigr).

Its restriction to KK contains the trivial KK-type with multiplicity one; a nonzero vector on this line is called spherical. Thus this is precisely the induced from trivial MM-data, rather than an arbitrary principal series that happens to have a special parameter.

Spherical vector and functions

In the compact picture the spherical vector is represented by the constant function on K/MK/M. Its normalized matrix coefficient is an elementary spherical function on G/KG/K, so the family connects principal-series representation theory with harmonic analysis on the Riemannian symmetric space. The normalized induction and compact-picture realization are described in Knapp–Trapa, Lecture 3, pp. 42–43.

Example and near-miss

For G=SL(2,R)G=\mathrm{SL}(2,\mathbb R), normalized induction from a character of the positive diagonal subgroup, trivial on the compact factor of the minimal parabolic, gives the spherical principal series and an even KK-type spectrum. Induction using the nontrivial character of the finite group MM gives a nonspherical principal series: it has no KK-fixed vector and is not part of this family.

Conventions and scope
References
  1. Anthony W. Knapp, Representation Theory of Semisimple Groups: An Overview Based on Examples, Princeton Mathematical Series 36, Princeton University Press, 1986. Author-maintained record. Relevant: Chapter VII on nonunitary and spherical principal series.
  2. Anthony W. Knapp and Peter E. Trapa, Representations of Semisimple Lie Groups, Park City Mathematics Institute lecture notes, 2000. Author PDF. Relevant: Lecture 3, pp. 42–43 on normalized induction and the compact picture of principal series.