A new proof of Kirchberg's \(\mathcal{O}_2\)-stable classification (Q1985543)

A \(C^*\)-algebra \(A\) is said to be \(\mathcal O_2\)-stable if \(A\cong A\otimes \mathcal O_2\), where \(\mathcal O_2\) is the Cuntz algebra generated by isometries \(v_1, v_2\) such that \(v_1v^*_1 + v_2v^*_2=1\). If the \(C^*\)-algebra \(A\) is simple, unital, separable and nuclear, then it is a well-known result of Kirchberg-Phillips that \(A\) has to isomorphic to \(\mathcal O_2\). In the case of non-simple \(C^*\)-algebras, in his forthcoming book, Kirchberg generalizes the Kirchberg-Phillips classification theorem with an ideal related to \(KK\)-theory; in particular, two separable nuclear unital \(\mathcal O_2\)-stable \(C^*\)-algebras are isomorphic if their primitive ideal spaces are homeomorphic. In this paper, the author gives a shorter and also self-contained proof of the above \(\mathcal O_2\)-stable classification theorem. In fact, the author considers homomorphisms between \(\mathcal O_2\)-stable \(C^*\)-algebras, and shows that their approximate unitary equivalence classes are in natural one-to-one correspondence to the Cuntz morphisms between the ideal lattices. Then the classification theorem follows from an Elliott intertwining argument.