Conditionally positive definite kernels in Hilbert \(C^*\)-modules (Q1683256)

By a kernel the author means any map on \(S\times S\) into a \(C^*\)-algebra \(A\) for some set \(S\). A kernel \(K\) is called Hermitian if \(K^*=K\). If a Hermitian kernel \(K:S \times S \to A\) satisfies \[ \sum_{i, j=1}^n a_{i}^*K(s_i,s_j)a_j \geq 0 \] for all positive integers \(n\geq 2\), all \(s_1, \dots, s_n\in S\) and all \(a_1, \dots, a_n\in A\) subject to the condition \(\sum_{i=1}^na_i=0\), then it is called conditionally positive definite. In this paper, the author first states the notion of conditionally positive definite kernels in the framework of Hilbert \(C^*\)-modules as a generalization of that in the scalar theory. He investigates some of its basic properties. The author gives a Kolmogorov-type representation of conditionally positive definite kernels in Hilbert \(C^*\)-modules which was first studied by \textit{G. J. Murphy} [Proc. Edinb. Math. Soc., II. Ser. 40, No. 2, 367--374 (1997; Zbl 0886.46057)]. Giving a characterization of conditionally positive definite kernels in Hilbert \(C^*\)-modules, the author shows that a \(C^*\)-metric space \((S, d)\) is \(C^*\)-isometric to a subset of a Hilbert \(C^*\)-module if and only if \(K(s,t)=-d(s,t)^2\) is a conditionally positive definite kernel. He also presents a characterization of the majorization \(K'\leq K\) between conditionally positive definite kernels. A Cauchy-Schwarz inequality for positive definite kernels with values in Hilbert \(C^*\)-modules is also obtained.