Hilbert \(C^*\)-modules as a subcategory of operator systems and injectivity (Q1752997)

Let \(A, B\) be \(C^*\)-algebras and \(E, G\) be right Hilbert \(C^*\)-modules over \(A, B\), respectively. Given a completely positive map \(\phi: A \to B\) and a map \(\Phi: E\to G\), one can consider natural maps \(\phi_n: M_n(A) \to M_n(B)\) and \(\Phi_n: M_n(E)\to M_n(G)\) between matrix algebras and matrix modules, respectively. Then, (i) \(\Phi\) is called a \(\phi\)-map if \(\langle \Phi(x),\Phi(y)\rangle=\phi(\langle x,y\rangle)\) for all \(x,y\in E\); (ii) \(\Phi\) is called a completely semi-\(\phi\)-map if \(\langle \Phi_n(x),\Phi_n(x)\rangle \leq\phi_n(\langle x,x\rangle)\) for all \(x\in M_n(E)\) and all \(n\in\mathbb{N}\). As a counterpart of Arveson's extension theorem, the authors show that every operator-valued completely semi-\(\phi\)-map on a submodule of a Hilbert \(C^*\)-module has a completely semi-\(\phi\)-map extension on the whole of the Hilbert \(C^*\)-module. Furthermore, they provide examples of some \(\phi\)-maps which do not have any \(\phi\)-map extension on the whole module. They introduce a category of Hilbert \(C^*\)-modules which has completely semi-\(\phi\)-maps as its morphisms. They investigate the operator system induced by a Hilbert \(C^*\)-module which reflects the module structure of the Hilbert \(C^*\)-module, and they show that this new category of Hilbert \(C^*\)-modules is a subcategory of operator systems. Finally, they give a characterization of injective objects in this category.