Definition

Let GG be a connected with finite center, let KK be a , and choose a P=MANP=MAN. In the compact realization of the unitary induced from the trivial representation of PP, let v0v_0 be the normalized KK-fixed vector. The Harish-Chandra Xi-function is the

Ξ(g)=π0(g)v0,v0,gG.\Xi(g)=\langle \pi_0(g)v_0,v_0\rangle,\qquad g\in G.

Equivalently, for the H:GaH:G\to\mathfrak a and the half-sum ρ\rho of positive ,

Ξ(g)=Keρ(H(gk))dk,\Xi(g)=\int_K e^{-\rho(H(gk))}\,dk,

with Haar on KK.

Basic properties

The function Ξ\Xi is continuous, real-valued, positive, , and bi-KK-invariant, with Ξ(e)=1\Xi(e)=1 and Ξ(g1)=Ξ(g)\Xi(g^{-1})=\Xi(g). It is the with spectral parameter zero. Its decay along a positive Weyl chamber is exponential up to a polynomial factor; that estimate supplies the natural weight in the Knapp, Chapter VII.

Example

For a compact semisimple group one may take K=GK=G. The relevant has only the constant normalized KK-fixed vector, and Ξ(g)=1\Xi(g)=1 for every gg. For a noncompact semisimple group, Ξ\Xi instead decays at infinity and records the large-scale behavior of spherical .

Conventions and scope

The letter Ξ\Xi is also used for variants on reductive groups and for estimates comparable to the normalized spherical coefficient. The definition above fixes the standard connected semisimple, finite-center setting. Signs in the integral formula vary with the convention for the Iwasawa projection and ; the matrix-coefficient definition is invariant under that bookkeeping.

References
  1. Anthony W. Knapp, Representation Theory of Semisimple Groups: An Overview Based on Examples, Princeton University Press, 1986. Author-maintained record. Relevant: Chapter VII on principal series and elementary spherical functions.