Definition

Let GG be a in the Harish-Chandra class. The Harish-Chandra Schwartz algebra is the C(G)\mathcal C(G), equipped with

(fh)(x)=Gf(y)h(y1x)dy(f*h)(x)=\int_G f(y)h(y^{-1}x)\,dy

and the f(x)=f(x1)f^*(x)=\overline{f(x^{-1})}. Its locally convex topology is generated by the rapid-decay seminorms involving left and right invariant derivatives, polynomial weights, and the . With these data, C(G)\mathcal C(G) is a complete Fréchet *-algebra: multiplication and involution are continuous for its defining topology.

Analytic structure

The left-convolution map, initially defined for compactly supported smooth functions, extends to C(G)\mathcal C(G) and realizes it as a dense involutive subalgebra of the Cr(G)C_r^*(G). The space is also dense in L2(G)L^2(G). Its stronger retains all invariant derivatives and rapid-decay estimates, so convolution can be differentiated and estimated without leaving the space. This is the standard C2(G)\mathcal C^2(G) scale; it should not be confused with the L1L^1-Schwartz space C1(G)\mathcal C^1(G), whose estimates use a different power of Ξ\Xi. Closure under convolution is a substantive theorem of Harish-Chandra's Schwartz-space theory Harish-Chandra, Schwartz-space construction.

Representation-theoretic role

Every acts on C(G)\mathcal C(G) through its integrated form. The algebra therefore provides a common test-function domain for tempered characters, Plancherel decomposition, and harmonic analysis, while its inclusion in the reduced group CC^*-algebra connects smooth representation theory with operator-algebraic completion.

Spherical subalgebra

After choosing a KK, the KK-bi-invariant part C(G//K)\mathcal C(G//K) is commutative. The identifies it with a Weyl-invariant Schwartz-type function algebra on the spectral parameter space; this is the content of the Trombi–Varadarajan theorem Trombi–Varadarajan, main theorem.

References
  1. 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 construction and convolution estimates.
  2. P. C. Trombi and V. S. Varadarajan, “Spherical Transforms on Semisimple Lie Groups,” Annals of Mathematics 94 (1971), 246–303. DOI record. Relevant: the spherical transform of Harish-Chandra Schwartz spaces.