Universal objects in categories of reproducing kernels (Q533384)

In [Adv. Math. 208, no. 1, 299--317 (2007; Zbl 1108.22008)], \textit{D. Beltiţă} and \textit{T. S. Ratiu} obtained geometric realizations of GNS-representations of unitary groups of \(C^*\)-algebras, in the spirit of the Bott-Borel-Weil Theorem. The required Hilbert spaces of sections were constructed using the tool of reproducing kernels on infinite-dimensional vector bundles. To enable generalizations to further groups, a new kind of reproducing kernels on complex vector bundles was developed in a previous work of the authors, [J. Funct. Anal. 255, 2888--2932 (2008; Zbl 1166.22012)]. For a real Banach manifold \(Z\), together with an involutive diffeomorphism \(Z\to Z\), they introduced the concept of a Hermitian-like structure on a vector bundle \(\Pi\) over the base \(Z\) (whose fiber is a complex Banach space). A reproducing kernel is a section \(K\) of the vector bundle \(\text{Hom}(p_2^*\Pi,p_1^*\Pi)\to Z\times Z\) which satisfies a certain positivity condition (where \(p_1,p_2: Z\times Z\to Z\) are the projections onto the components). In the article under review, the authors introduce a category whose objects are the reproducing kernels in the preceding sense (Definition 2.4), and explain that the passage to the corresponding reproducing kernel Hilbert space of sections \({\mathcal H}_K\) can be considered as a functor to the category of complex Hilbert spaces and bounded operators (Definition 2.6; cf. [\textit{A. Odzijewicz}, Commun. Math. Phys. 150, 385--413 (1992; Zbl 0768.58022)] for the finite-dimensional case). If \({\mathcal H}\) is a complex Hilbert space, then the set \(\text{Gr}({\mathcal H})\) of all closed vector subspaces of \({\mathcal H}\) is a complex Banach manifold (the Grassmannian manifold of \({\mathcal H}\)), and \({\mathcal T}({\mathcal H}):=\{(S,x)\in \text{Gr}({\mathcal H})\times{\mathcal H}: x\in S\}\) is a Hermitian vector bundle over the base \(\text{Gr}({\mathcal H})\) (via the projection onto the first factor), the so-called tautological bundle. This vector bundle supports a reproducing kernel of particular interest: For \(S\in \text{Gr}({\mathcal H})\), let \(p_S: {\mathcal H}\to{\mathcal S}\) be the orthogonal projection. Then \(Q_{\mathcal H}(S_1,S_2):=p_{S_1}|_{S_2}\) defines the so-called universal reproducing kernel associated with \({\mathcal H}\). The authors study how general reproducing kernels can be obtained as pullbacks of universal reproducing kernels (Section 5). Applications include completely positive maps on \(C^*\)-algebras, which again can be realized as pullbacks of universal objects (see Proposition 6.4 and the following remarks).