A classification of finite simple amenable Z-stable C*-algebras, II, --C*-algebras with rational generalized tracial rank one

Guihua Gong,Huaxin Lin,Z. Niu
DOI: https://doi.org/10.48550/arXiv.1909.13382
2021-05-04
Abstract:A classification theorem is obtained for a class of unital simple separable amenable Z-stable C*-algebras which exhausts all possible values of the Elliott invariant for unital stably finite simple separable amenable Z-stable C*-algebras. Moreover, it contains all unital simple separable amenable C*-algebras which satisfy the UCT and have finite rational tracial rank
Operator Algebras
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to achieve the isomorphic classification by their Elliott invariants in a class of specific unital separable simple amenable $\mathcal{Z}$ - stable $C^*$ - algebras. Specifically, the paper focuses on those unital separable simple amenable $\mathcal{Z}$ - stable $C^*$ - algebras that satisfy the uniform continuity condition (UCT) and have a finite rational tracial rank (generalized tracial rank one). The main theorem of the paper shows that for two such $C^*$ - algebras $A$ and $B$, if their Elliott invariants are the same, then $A$ and $B$ are isomorphic. This result is of great significance in the classification theory of $C^*$ - algebras because it provides a method to distinguish or identify these algebraic structures. ### Formula Representation - **Elliott Invariant**: \[ \text{Ell}(A) \sim \text{Ell}(B) \] - **Tracial Rank Condition**: \[ gTR(A \otimes \mathbb{Q}) \leq 1 \quad \text{and} \quad gTR(B \otimes \mathbb{Q}) \leq 1 \] ### Paper Structure 1. **Introduction**: Introduce the research background and objectives. 2. **Technical Results**: Discuss some technical constructions and existence theorems. 3. **Basic Homotopy Lemma**: Provide some basic homotopy lemmas. 4. **Stability Results**: Discuss relevant results of stability. 5. **Asymptotically Unitary Equivalence**: Explore the concept of asymptotically unitary equivalence. 6. **Rotation Maps and Strong Asymptotic Equivalence**: Further explore rotation maps and strong asymptotic equivalence. 7. **General Classification Theorem**: Give the main classification theorem. ### Main Theorem \[ \text{Theorem (see Theorem 29.8)} \] Let $A$ and $B$ be two unital separable simple amenable $\mathcal{Z}$ - stable $C^*$ - algebras that satisfy UCT, and $gTR(A \otimes \mathbb{Q}) \leq 1$ and $gTR(B \otimes \mathbb{Q}) \leq 1$. Then $A$ and $B$ are isomorphic if and only if their Elliott invariants are the same, that is: \[ A \sim B \quad \text{if and only if} \quad \text{Ell}(A) \sim \text{Ell}(B) \] ### Significance This classification theorem provides a powerful tool for the study of $C^*$ - algebras, especially for those $C^*$ - algebras with specific properties. By comparing Elliott invariants, these algebraic structures can be more effectively identified and classified, thus promoting the development of $C^*$ - algebra theory.