The Plancherel theorem for invariant Hilbert spaces (Q5947778)

The mathematical context of the work in the present paper is related to: \(G\) -- a non-compact connected semisimple Lie group, \(H\) -- an open subgroup of the group of fixed points under an involution of \(G\) so that the symmetric space \(H\setminus G\) has a relative holomorphic discrete series (this means that \(L^2(H\setminus G)\) has closed irreducible subrepresentations which are holomorphic in the sense that they admit a highest weight) \(M\) -- a complex manifold which is a certain \(G\)-invariant Stein manifold, defined as fiber product of a linear \(G\)-action, for which the symmetric space \(H\setminus G\) is a kind of Shilov boundary. The representations in question are \(H\)-spherical unitary highest weight representations. As parameter space one expects the corresponding space of highest weights, which is a closed set of linear functionals on a Cartan subspace. In order to check the admissibility of this parametrization, in the sense of the \textit{B. Krötz's} paper ``The Plancherel theorem for biinvariant Hilbert spaces'' [Publ. Res. Inst. Math. Sci. 35, No. 1, 91-122 (1999; Zbl 0999.22018)], one has to study the way in which the reproducing kernel of a \(H\)-spherical unitary highest weight representations, when realized on spaces of holomorphic functions, depends on the highest weight. These reproducing kernels (in the sense of the same Krötz's paper) are given via the holomorphic extension of the spherical character to a complex manifold for which \(G\) plays the role of a Shilov boundary. Denoting by \(\overline M\), \(M\) equipped with the opposite complex structure, by \({\mathcal P}(M^2)\) the convex cone in the vector space \(\text{Hol}(M\times\overline M)\) of holomorphic functions on \(M\times\overline M\) endowed with Fréchet topology of compact convergence and by \({\mathcal P}_G(M^2)\) the subset of \({\mathcal P}(M^2)\) of all \(G\)-invariant elements, the main result of the paper says: For each kernel \(K\in{\mathcal P}(M^2)\) there exists a unique Radon measure \(\mu\) on the space SHW of spherical highest weights such that \[ K= \int_{\text{SHW}} K^\lambda d\mu(\lambda), \] where \(\lambda\mapsto K^\lambda\) is a previous admissible parametrization of the external kernels. In particular, this gives a multiplicity free decomposition of the right regular representation \((\pi_K,{\mathcal H}_K)\) into irreducibles.