Separably injective \(C^\ast\)-algebras (Q292086)

A Banach space \(V\) is called \(1\)-separably injective if any linear bounded operator \(T:Y\to V\) on a subspace \(Y\) of a separable Banach space \(Z\) admits a norm preserving extension to \(Z\). If the word separable is deleted, then \(V\) is called \(1\)-injective. (Both notions are known to be equivalent to being contractively complemented in any separable superspace, respectively in any superspace.) A locally compact Hausdorff topological space \(\Omega\) is called sub-Stonean if any two disjoint open \(\sigma\)-compact (i.e., countable union of compact spaces) subsets have disjoint compact closures. If any two disjoint open subsets have disjoint closures, then \(\Omega\) is called extremally disconnected and Stonean if it is moreover compact. A classical result states that a Banach space is \(1\)-injective if and only if it is linearly isometric to the Banach space of continuous functions on a Stonean space. The main result gives a complete description of \(1\)-separably injective \(C^*\)-algebras: A \(C^*\)-algebra is \(1\)-separably injective if and only if it is linearly isometric to the space \(C_0(\Omega)\) of continuous functions vanishing at infinity on a sub-Stonean locally compact Hausdorff space \(\Omega\). For the proof, it is shown that the bidual of a \(1\)-separably injective complex Banach space is \(1\)-injective and that \(1\)-separably injective \(C^*\)-algebras are abelian. (As a consequence, \(1\)-separable injectivity and \(1\)-injectivity coincide for von Neumann algebras.) Some proofs use results of \textit{A. Avilés} et al. [Adv. Math. 234, 192--216 (2013; Zbl 1266.46013)]. The authors mention examples of sub-Stonean spaces some of which imply that abelian sequentially monotone complete \(C^*\)-algebras are \(1\)-separably injective.