Extensions of nonlinear completely positive maps (Q1821313): Difference between revisions

Using Ando and Choi's structure theorem for nonlinear completely positive maps between \(C^ *\)-algebras, we investigate the problem when nonlinear completely positive maps defined on \({\mathcal A}\) (resp. ball \({\mathcal A}\), the open unit ball of \({\mathcal A})\) can be extended on \({\mathcal B}\) (resp. ball \({\mathcal B})\) given a C*-subalgebra \({\mathcal A}\) of a C*-algebra \({\mathcal B}.\) First, the local uniform continuity of completely positive maps is established. Some completely positive extension theorems are given in special cases when \({\mathcal B}={\mathcal A}_ I\) or \({\mathcal A}\) is seminuclear. It is proved that every completely positive map from \({\mathcal A}\) (resp. ball \({\mathcal A})\) to B(\({\mathcal H})\) is extended on \({\mathcal B}\) (resp. ball \({\mathcal B})\) if and only if the natural homomorphism from \({\mathcal A}^{\otimes _ m}\otimes {\mathcal A}^{\otimes _ n}\) to \({\mathcal B}^{\otimes m}\otimes \bar {\mathcal B}^{\otimes n}\) is injective for all m, \(n\geq 0\), where \(\bar {\mathcal A}\) is the C*-algebra conjugate to \({\mathcal A}\) and \({\mathcal A}^{\otimes m}\otimes \bar {\mathcal A}^{\otimes n}\) is the projective C*-tensor product of m copies of \({\mathcal A}\) and n copies of \(\bar {\mathcal A}\). We further show that any completely positive map from \({\mathcal A}\) to a von Neumann algebra \({\mathcal H}\) is uniquely extended to a normal completely positive map from \({\mathcal A}^{**}\) to \({\mathcal H}\).