Free noncommutative hereditary kernels: Jordan decomposition, Arveson extension, kernel domination

DOI10.25537/DM.2022V27.1985-2040MaRDI QIDQ2107287zbMATH OpenFDO

Authors Gregory Marx, Victor Vinnikov, Joseph A. Ball

Publication date 1 December 2022

Published in Documenta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2202.01298

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

bimodule maps completely positive map completely positive noncommutative kernel noncommutative function quantized functional analysis

Mathematics Subject Classification ID

Functional calculus for linear operators (47A60) Linear operators in reproducing-kernel Hilbert spaces (including de Branges, de Branges-Rovnyak, and other structured spaces) (47B32)

Review text

Summary: We discuss (i) a quantized version of the Jordan decomposition theorem for a complex Borel measure on a compact Hausdorff space, namely, the more general problem of decomposing a general noncommutative kernel (a quantization of the standard notion of kernel function) as a linear combination of completely positive noncommutative kernels (a quantization of the standard notion of positive definite kernel). Other special cases of (i) include: the problem of decomposing a general operator-valued kernel function as a linear combination of positive kernels (not always possible), of decomposing a general bounded linear Hilbert-space operator as a linear combination of positive linear operators (always possible), of decomposing a completely bounded linear map from a \(C^*\)-algebra \(\mathcal{A}\) to an injective \(C^*\)-algebra \(\mathcal{L}(\mathcal{Y})\) as a linear combination of completely positive maps from \(\mathcal{A}\) to \(\mathcal{L}(\mathcal{Y})\) (always possible). We also discuss (ii) a noncommutative kernel generalization of the Arveson extension theorem (any completely positive map \(\phi\) from an operator system \(\mathbb{S}\) to an injective \(C^*\)-algebra \(\mathcal{L}(\mathcal{Y})\) can be extended to a completely positive map \(\phi_e\) from a \(C^*\)-algebra containing \(\mathbb{S}\) to \(\mathcal{L}(\mathcal{Y}))\), and (iii) a noncommutative kernel version of a Positivstellensatz (i.e., finding a certificate to explain why one kernel is positive at points where another given kernel is strictly positive).

Cites work

Cited in

(3)

This page was built for publication: Free noncommutative hereditary kernels: Jordan decomposition, Arveson extension, kernel domination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2107287)