Zonal spherical function

In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group G with compact subgroup K (often a maximal compact subgroup) that arises as the matrix coefficient of a K-invariant vector in an irreducible representation of G. The key examples are the matrix coefficients of the spherical principal series, the irreducible representations appearing in the decomposition of the unitary representation of G on L2(G/K). In this case the commutant of G is generated by the algebra of biinvariant functions on G with respect to K acting by right convolution. It is commutative if in addition G/K is a symmetric space, for example when G is a connected semisimple Lie group with finite centre and K is a maximal compact subgroup. The matrix coefficients of the spherical principal series describe precisely the spectrum of the correspondingC* algebra generated by the biinvariant functions of compact support, often called a Hecke algebra. The spectrum of the commutative Banach *-algebra of biinvariant L1 functions is larger; when G is a semisimple Lie group with maximal compact subgroup K, additional characters come from matrix coefficients of the complementary series, obtained by analytic continuation of the spherical principal series. In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group G with compact subgroup K (often a maximal compact subgroup) that arises as the matrix coefficient of a K-invariant vector in an irreducible representation of G. The key examples are the matrix coefficients of the spherical principal series, the irreducible representations appearing in the decomposition of the unitary representation of G on L2(G/K). In this case the commutant of G is generated by the algebra of biinvariant functions on G with respect to K acting by right convolution. It is commutative if in addition G/K is a symmetric space, for example when G is a connected semisimple Lie group with finite centre and K is a maximal compact subgroup. The matrix coefficients of the spherical principal series describe precisely the spectrum of the correspondingC* algebra generated by the biinvariant functions of compact support, often called a Hecke algebra. The spectrum of the commutative Banach *-algebra of biinvariant L1 functions is larger; when G is a semisimple Lie group with maximal compact subgroup K, additional characters come from matrix coefficients of the complementary series, obtained by analytic continuation of the spherical principal series. Zonal spherical functions have been explicitly determined for real semisimple groups by Harish-Chandra. For special linear groups, they were independently discovered by Israel Gelfand and Mark Naimark. For complex groups, the theory simplifies significantly, because G is the complexification of K, and the formulas are related to analytic continuations of the Weyl character formula on K. The abstract functional analytic theory of zonal spherical functions was first developed by Roger Godement. Apart from their group theoretic interpretation, the zonal spherical functions for a semisimple Lie group G also provide a set of simultaneous eigenfunctions for the natural action of the centre of the universal enveloping algebra of G on L2(G/K), as differential operators on the symmetric space G/K. For semisimple p-adic Lie groups, the theory of zonal spherical functions and Hecke algebras was first developed by Satake and Ian G. Macdonald. The analogues of the Plancherel theorem and Fourier inversion formula in this setting generalise the eigenfunction expansions of Mehler, Weyl and Fock for singular ordinary differential equations: they were obtained in full generality in the 1960s in terms of Harish-Chandra's c-function. The name 'zonal spherical function' comes from the case when G is SO(3,R) acting on a 2-sphere and K is the subgroup fixing a point: in this case the zonal spherical functions can be regarded as certain functions on the sphere invariant under rotation about a fixed axis. Let G be a locally compact unimodular topological group and K a compact subgroup and let H1 = L2(G/K). Thus H1 admits a unitary representation π of G by left translation. This is a subrepresentation of the regular representation, since if H= L2(G) with left and right regular representations λ and ρ of G and P is the orthogonal projection from H to H1 then H1 can naturally be identified with PH with the action of G given by the restriction of λ. On the other hand, by von Neumann's commutation theorem where S' denotes the commutant of a set of operators S, so that Thus the commutant of π is generated as a von Neumann algebra by operators where f is a continuous function of compact support on G.