Localised Operator Valued Kernels Invariant under Actions of $*$-Semigroupoids
Aurelian Gheondea
TL;DR
The paper develops a comprehensive theory of localised operator-valued kernels on bundles of Hilbert (and Krein) spaces that are invariant under actions of $*$-semigroupoids. It establishes generalized and bounded $*$-representations of the semigroupoids on both reproducing kernel Hilbert spaces and their minimal linearisations, with precise boundedness criteria and automatic boundedness results in the inverse semigroupoid case. The Hermitian/Krein-space extension analyzes when reproducing kernel Krein spaces exist, how generalized Krein-space linearisations arise, and how bounded representations can be obtained under strengthened conditions. The work provides a self-contained framework linking Kolmogorov-type decompositions, RKHS/KRKS theory, and semigroupoid representation theory, with potential applications to localized kernel methods and operator-valued invariant structures.
Abstract
We consider positive semidefinite kernels which have values given by bounded linear operators on certain bundles of Hilbert spaces and which are invariant under actions of $*$-semigroupoids. For these kernels, we prove that there exist generalised $*$-representations of the $*$-semigroupoids on the underlying reproducing kernel Hilbert spaces or, equivalently, on the underlying minimal linearisations, we characterise when the $*$-representations are performed by means of bounded operators and show that this always happens for inverse semigroupoids. Then, we consider Hermitian kernels which have values given by bounded linear operators on certain bundles of Hilbert spaces and which are invariant under actions of $*$-semigroupoids. Only those Hermitian kernels having certain boundedness properties can produce reproducing kernel Krein spaces but uniqueness is more complicated. However, for these kernels, generalised $*$-representations can be obtained. If $*$-representations with bounded linear operators are requested, then stronger boundedness conditions on the kernels are needed.
