On Classification of Certain C^*-Algebras

DOI10.4153/CMB-2000-039-4MaRDI QIDQ4522141zbMATH OpenOpenAlexFDO

Publication date 24 March 2002

Published in Canadian Mathematical Bulletin (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4153/cmb-2000-039-4

\(C^*\)-algebra approximately commuting backward intertwining diagrams approximating sequences backwards mapping continuous interpolation Cuntz algebra forwards intertwining mappings inductive limit intertwining map lattice of closed two-sided ideals

Mathematics Subject Classification ID

General theory of (C^*)-algebras (46L05) Classifications of (C^*)-algebras (46L35)

Review text

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)\).

Recommendations

Cited in

(25)

This page was built for publication: On Classification of Certain C^*-Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4522141)

On Classification of Certain C*-Algebras

On Classification of Certain C^*-Algebras