Separating points by inclusions of \(\mathcal{O}_\infty\) (Q2090587)

The author presents a basis property that an inclusion of C*-algebras \(\mathcal{O}_{\infty}\subset B(H)\) may have, and gives various conditions for the property to hold. For a C*-algebra \(A\), an infinite Cuntz family of isometries \(\{v_i\}_{i=1}^{\infty}\) separates the points of \(A\) if \(p_ixp_j=0\) for all \(i,j\) implies \(x=0\) for any \(x\in A\) and \(p_i\doteq v_iv_i^*\) for any \(i\). The focus of this article is the basis problem: Given an infinite Cuntz family of isometries in a C*-algebra, determine when it separates the points of the algebra. For this purpose, the author gives the definition of strict positivity and supplies a criterion for it in Corollary~2.4, which indicates that a set of projections is strictly positive if and only if the sum of these projections ultraweakly approaches the identity in the bidual. When ultraweak convergence is available, Lemma~2.7 gives us a sufficient condition for solving the basis problem. For a necessary and sufficient condition, the author presents Theorem~3.1: The basis problem for \(\mathcal{O}_{\infty}\subset B(H)\) can be solved if and only if, viewing the given inclusion map as a representation, the map is essential, where a representation of \(\mathcal{O}_{\infty}\) is essential if the projections \(v_iv_i^*\) sum sequentially and strongly to 1 in the representation. By introducing the embedding \(f_{n,\infty}\) of \(\mathcal{O}_{\infty}\) into \(\mathcal{O}_n\), the author shows, in Corollary~4.2, that the basis problem can be solved for \(\mathcal{O}_{\infty}\subset_{f_{n,\infty}}\mathcal{O}_n\). The author also considers the case of corona algebras and multiplier algebras. For applications, the author defines \(\tau_\infty\) for an extension \(\tau:A\to \mathcal{M}(B)/B\) and presents an absorption criterion in Lemma~6.8, then shows when \(\tau_\infty\) is a trivial absorbing extension. Finally, the author gives a generalized Arveson's formula in Corollary~6.13.