On Classification of Certain <i>C</i>^*-Algebras (Q4522141)

Denote the lattice of closed two-sided ideals of a C\(^{*}\)-algebra \(C\) by \({\mathcal{I}}(C)\). Let \({\mathcal{O}}_2\) denote the Cuntz algebra with two generators. Subsequent C\(^{*}\)-algebras are considered to be finite direct sums of copies of \(C([0,1] \otimes {\mathcal{O}}_{2}\). The authors consider inductive limits of such algebras and prove that isomorphism of the lattices of their closed two-sided ideals implies isomorphism of the C\(^{*}\)-algebras. The result generalises that of \textit{J. Mortensen} [preprint Odense University (1996)] where the algebras were restricted to have totally ordered lattices of ideals. Mortensen, using techniques of \textit{G. A. Elliott} [J. Reine Angew. Math. 443, 179-219 (1993; Zbl 0809.46067)], considered approximating sequences \((A_{i}\)) and (\(B_{i}\)) with inductive limits \(A\) and \(B\). For a homomorphism \(\varphi\) from a C\(^{*}\)-algebra \(C\) to a C\(^{*}\)-algebra \( D\), the backward mapping \({\widehat{ \varphi}}^{-1}:{\mathcal{I}}(D) \to {\mathcal{I}}(C)\) was defined by \({\widehat{\varphi}}(I) = \varphi^{-1}(I)\). He constructed approximately commuting backward intertwining diagrams for sequences \({\mathcal{I}}(A_{i})\) and \({\mathcal{I}}(B_{i})\) and lifted these to get an approximately commutative forwards intertwining sequence of C*algebras, using an existence and uniqueness theorem for continuous families of self-adjoint elements of \({\mathcal{O}}_2\). The authors, to eliminate the necessity of total ordering of the ideals construct instead the forwards intertwining mappings \({\check{\varphi}}: {\mathcal{I}}(C) \to {\mathcal{I}}(D)\) where \(\check{\varphi}(I)\) is the ideal in \({\mathcal{I}}(D)\) generated by \(\varphi(I)\) and they also construct a suitable metric for lattices of ideals. For \(\varepsilon >0\) they introduce elements to be \(\varepsilon\)-approximately in ideals and hence define \(\varepsilon\)-approximate commutativity of their intertwining diagrams. Identifying ideals with their open supports and leading from finite sets of points in \([0,1]\) to a continuous interpolation, they build a (single) backwards mapping \(\Psi: {\mathcal{I}}(D) \to {\mathcal{I}}(C)\). They then apply Mortensen's existence and uniqueness theorem to each intertwining map in the diagram. In this way they build the corresponding approximate intertwining of the C\(^{*}\)-algebras in the diagram to get an isomorphism \(\rho\) of the limiting algebras \(A\) and \(B\). Finally they show that \({\check{\rho}}: {\mathcal{I}}(A) \to {\mathcal{I}}(B)\) coincides with the \(\Psi: {\mathcal{I}}(A) \to {\mathcal{I}}(B)\).