Simple \(C^*\)-algebras with unique tracial states and quantized topological spaces (Q1601232): Difference between revisions

In the paper under review, the author continues his study of the subclass \(\mathcal{N}\) of all separable nuclear \(C^*\)-algebras satifying the Universal Coefficient Theorem (UCT). It is well known that every separable abelian \(C^*\)-algebra is isomorphic to \(C(X)\) for some compact metric space \(X\); moreover, the topological properties of \(X\) and the algebraic properties of \(C(X)\) are mutually determined. In a non-abelian \(C^*\)-algebra it is no longer true that we can find, in general, a relationship between a topological behaviour and a \(C^*\)-algebraic phenomenon. When \(X\) is a connected finite CW complex, then \(K_{0} (C(X)) = \mathbb{Z}\oplus \operatorname {ker} d_{X}\), where \(\operatorname {ker}d_{X}\) is the kernel of the dimension function \(d_{X}\) and \(K_{0} (C(X))_{+}\) is contained in \(\{ (x,y): x\in \mathbb{N}, y\in \operatorname {ker} d_{X}\}\cup \{(0,0)\}\). Since the existence of a unital simple \(C^*\)-algebra \(A\) in the subclass \(\mathcal{N}\) with TR\((A)=0\), \(K_{0} (A) = \mathbb{Q} \oplus \operatorname {ker} d_{X}\) and \(K_{1} (A) = K_{1} (C(X))\) is already known, it is natural to ask if this abstractly defined \(C^*\)-algebra can be characterized as a concrete algebra. The concept of an abstract ``quantized deformation'' of a finite CW-complex \(X\) is introduced as a unital separable nuclear simple \(C^*\)-algebra \(A\) satisfying the UCT with a unique normalized trace \(\tau\) and satisfying TR\((A)=0\), \(K_{0} (A) = \mathbb{Q} \oplus \operatorname {ker} (\tau)\), \(K_{0} (A)_{+} \subset \{ (x,y) : x\in D_{+}\backslash\{0\} \} \cup \{ (0,0) \}\) and \(K_{1} (A) = K_{1} (C(X))\), where \(D\) is a dense subring of \(\mathbb{Q}\) containing 1. In Theorem 4.2 the author gives necessary and sufficient conditions to assure that two unital separable simple nuclear \(C^*\)-algebras \(A\) and \(B\), with TR\((A)=0\) and \(K_{0} (A) = \mathbb{Q} \oplus \operatorname {ker} (\tau)\), where \(\tau\) is the unique normalized trace on \(A\), are isomorphic. Theorem 4.4 provides sufficient conditions to assure that two unital separable simple nuclear \(C^*\)-algebras satisfying the UCT are isomorphic under the hypothesis TR\((A)=0\), \(K_{0} (A) = D \oplus \text{Tor} (K_{0} (A))\), where \(D\) is a dense subring of \(\mathbb{Q}\) containing 1. As a consequence, it is proved in Theorem 4.9 that an abstract quantized deformation \(A\) of a finite CW complex \(X\) is isomorphic to an inductive limit of \(M_{n!} (C(X))\).