The nuclear dimension of \(\mathcal{O}_\infty \)-stable \(C^\ast \)-algebras (Q2131745)

The nuclear dimension for \(C^*\)-algebras provides a non-commutative analogue of the Lebesgue covering dimension. By tensorial absorption of \(\mathcal{O}_{\infty}\), it has been proved that the nuclear dimension of Kirchberg algebras is~$1$, which raises the natural question ``What is the nuclear dimension of \(\mathcal{O}_{\infty}\)-stable \(C^*\)-algebras?'' The authors give the answer by proving that separable, nuclear \(\mathcal{O}_{\infty}\)-stable \(C^*\)-algebras have nuclear dimension~$ 1$. They also determine when separable nuclear \(\mathcal{O}_{\infty}\)-stable \(C^*\)-algebras have finite decomposition rank, which precedes the notion of nuclear dimension. Although originally defined for \(C^*\)-algebras, the definitions of both decomposition rank and nuclear dimension of a \(C^*\)-algebra \(A\) are given in terms of approximation properties for the identity map \(\mathrm{id}_A : A \to A\), and make perfect sense for other \(*\)-homomorphisms between \(C^*\)-algebras. The third main theorem proves that all \(\mathcal{O}_{\infty}\)-stable maps have nuclear dimension at most~$1$. Finally, the authors present a result to distinguish the nuclear dimensions of the full, \(\mathcal{O}_{2}\)-stable \(*\)-homomorphism between \(C^*\)-algebras \(A\) and \(B\) with \(A\) separable and exact. Especially, for the nuclear homomorphisms, they have nuclear dimension \(0\) (\(1\)) when the \(C^*\)-algebra \(A\) is (is not) quasidiagonal, and a nonnuclear homomorphism has infinite nuclear dimension.