Functional analytic aspects of non-commutative harmonic analysis (Q855608)

Let \(G\) be a Lie group, and \(X = G/H\) be a homogeneous space having a \(G\)-invariant measure \(\lambda\). It is first shown, using Grothendieck's theorem (see Theorem 5.5 in [\textit{G. Pisier}, ``Factorization of linear operators and geometry of Banach spaces'', Reg. Conf. Ser. Math. 60, X (1986; Zbl 0588.46010)]), that every \(G\)-invariant Hilbert subspace of the space of distributions of order zero (i.e. Radon measures) on \(X\) is actually continuously contained in \(L^2_{\text{loc}}(X)\). Assume now that the \(H\)-orbits are ``smooth'', and let \(\theta\) be an involutive automorphism of \(G\) such that \(\theta (H) \subseteq H\) and \(\theta (g) \in Hg^{-1}H\) for all \(g\in G\). To every \(H\)-bi-invariant distribution \(T\) on \(G\) (or equivalently to every \(H\)-invariant distribution \(S\) on \(X\)) corresponds uniquely a \(G\)-invariant distribution \(K\) on \(X \times X\), which is, by L. Schwartz's kernel theorem, if \(T\) is of positive type, the reproducing operator (the Schwartz reproducing kernel) of a Hilbert space \({\mathcal H}\) continuously contained in \({\mathcal D}'(X)\). The author shows that if this Hilbert space \({\mathcal H}\) is continuously contained in \(L^1_{\text{loc}}(X)\) (or, equivalently, by the previous result, in \(L^2_{\text{loc}}(X)\)), then \(T\circ \theta = T \circ s\), where \(s(g) =g^{-1}\). As a corollary, the author gets that every \(G\)-invariant Hilbert subspace \({\mathcal K}\) of \(L^2_{\text{loc}}(X)\) has a unique decomposition \({\mathcal K} = \int_S {\mathcal K}_s\,dm(s)\) into irreducible \(G\)-invariant Hilbert spaces \({\mathcal K}_s\). For that, he uses a theorem proved in the first part of his paper, whose proof is based on Choquet's integral representation on closed convex cones.