Definition

Let GG be a in the Harish-Chandra class, choose a KK, and let σ:G[0,)\sigma:G\to[0,\infty) be a standard proper KK-bi-invariant length function. The Harish-Chandra Schwartz space C(G)\mathcal C(G) is the space of smooth functions f:GCf:G\to\mathbb C such that, for every D1,D2D_1,D_2 in the of the complexified and every integer N0N\geq0,

supgG(1+σ(g))NΞ(g)1(LD1RD2f)(g)<.\sup_{g\in G}(1+\sigma(g))^N\Xi(g)^{-1} \lvert (L_{D_1}R_{D_2}f)(g)\rvert<\infty.

Here Ξ\Xi is the , and LD1L_{D_1}, RD2R_{D_2} are the corresponding left- and right-invariant differential operators.

Topological algebra structure

The displayed seminorms make C(G)\mathcal C(G) a , independently of the standard choices up to equivalent seminorms. It is closed under and under the involution f(g)=f(g1)f^*(g)=\overline{f(g^{-1})}, because real reductive groups are unimodular. With these operations it is a Fréchet *-algebra and a basic test algebra for tempered harmonic analysis on GG Knapp, Chapter VII.

Comparison with ordinary rapid decay

On an abelian vector group, ordinary Schwartz seminorms use polynomial weights and constant-coefficient derivatives. On a noncompact reductive group, Haar volume grows exponentially. The factor Ξ(g)1\Xi(g)^{-1} compensates for the characteristic decay of spherical , while (1+σ(g))N(1+\sigma(g))^N enforces additional rapid polynomial decay. Omitting Ξ1\Xi^{-1} therefore gives the wrong scale for harmonic analysis on GG.

Conventions and scope

Some sources define LD1RD2L_{D_1}R_{D_2} with an antipode or reverse-order convention; these choices yield the same space. The notation C(G)\mathcal C(G) is conventional but can be confused with continuous functions. This definition concerns smooth scalar-valued functions on a real reductive group, not the of an arbitrary locally compact .

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 spherical functions, estimates, and the Harish-Chandra Schwartz space.
  2. Harish-Chandra, “Harmonic analysis on real reductive groups I: The theory of the constant term,” Journal of Functional Analysis 19 (1975), 104–204. DOI record. Relevant: the Schwartz space and constant-term theory.