Total Cuntz semigroup, Extension and Elliott Conjecture with Real rank zero

Qingnan An,Zhichao Liu
2023-03-13
Abstract:In this paper, we exhibit two unital, separable, nuclear ${\rm C}^*$-algebras of stable rank one and real rank zero with the same ordered scaled total K-theory, but they are not isomorphic with each other, which forms a counterexample to Elliott Classification Conjecture for real rank zero setting. Thus, we introduce an additional normal condition and give a classification result in terms of total K-theory. For the general setting, with a new invariant -- total Cuntz semigroup \cite{AL}, we classify a large class of ${\rm C}^*$-algebras obtained from extensions. The total Cuntz semigroup, which distinguish the algebras of our counterexample, could possibly classify all the ${\rm C}^*$-algebras of stable rank one and real rank zero.
Operator Algebras
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the classification problem of C\(^*\)-algebras, especially the Elliott classification conjecture for C\(^*\)-algebras with real rank zero. Specifically: 1. **Counterexample to the Elliott classification conjecture**: The paper presents two unital, separable, nuclear C\(^*\)-algebras. They have the same stable rank one and real rank zero, and the same ordered scaled total K - theory, but these two algebras are not isomorphic. This constitutes a counterexample to the Elliott classification conjecture in the real - rank - zero setting. 2. **New invariant**: To overcome the challenges brought by the above counterexample, the paper introduces a new invariant - the total Cuntz semigroup. This new invariant can distinguish the two algebras in the above counterexample and may be able to classify all C\(^*\)-algebras with stable rank one and real rank zero. 3. **Classification results**: In general, the paper uses the total Cuntz semigroup as an invariant to classify a large class of C\(^*\)-algebras obtained by extensions. In addition, for C\(^*\)-algebras under specific conditions, the paper also gives classification results based on total K - theory. ### Main contributions - **Construction of counterexample**: The paper shows that by constructing two specific C\(^*\)-algebras \(E_1\) and \(E_2\), even if these algebras have the same ordered scaled total K - theory, they are still not isomorphic. This result overturns the Elliott classification conjecture in the real - rank - zero setting. - **New invariant**: The paper introduces the total Cuntz semigroup and proves its role in distinguishing the algebras in the above counterexample. This new invariant provides a new tool for the classification of C\(^*\)-algebras. - **Classification theorems**: The paper gives classification theorems based on total K - theory and total Cuntz semigroup, which are respectively applicable to C\(^*\)-algebras in the case of K - pure extensions and general extensions. ### Formulas and definitions - **Total K - theory**: \[ K(A)=\bigoplus_{n = 0}^{\infty}K_*(A;\mathbb{Z}_n) \] where \(K_*(A;\mathbb{Z}_n)\) is the K - theory group modulo \(n\). - **Total Cuntz semigroup**: \[ \text{Cu}(A)=\{[a]\mid a\in A_+\} \] where \([a]\) represents the equivalence class of \(a\) in \(A\), and \(A_+\) represents the positive elements in \(A\). - **K - pure extension**: \[ 0\to B\to E\to A\to 0 \] is called a K - pure extension if the sequences \[ 0\to K_j(B)\to K_j(E)\to K_j(A)\to 0,\quad j = 0,1 \] are all pure extensions of Abelian groups. ### Conclusion By constructing counterexamples and introducing new invariants, the paper promotes the development of the classification theory of C\(^*\)-algebras. In particular, the introduction of the total Cuntz semigroup provides a new direction for solving the Elliott classification conjecture.