KK-rigidity of simple nuclear C*-algebras

Christopher Schafhauser

2024-09-06

Abstract:It is shown that if $A$ and $B$ are unital separable simple nuclear $\mathcal Z$-stable C$^*$-algebras and there is a unital embedding $A \rightarrow B$ which is invertible on $KK$-theory and traces, then $A \cong B$. In particular, two unital separable simple nuclear $\mathcal Z$-stable C$^*$-algebras which either have real rank zero or unique trace are isomorphic if and only if they are homotopy equivalent. It is further shown that two finite strongly self-absorbing C$^*$-algebras are isomorphic if and only if they are $KK$-equivalent in a unit-preserving way.

Operator Algebras

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to classify single - separated simple nuclear \(Z\)-stable \(C^*\)-algebras without assuming that the Uniform Coefficient Theorem (UCT) is satisfied. Specifically, the author hopes to establish the isomorphism conditions between these algebras by combining KK - theory and traces without relying on UCT.

### Main Problem
The core problem of the paper is to prove that if there is a unital embedding \(A\rightarrow B\) between two single - separated simple nuclear \(Z\)-stable \(C^*\)-algebras \(A\) and \(B\), and this embedding is invertible in both KK - theory and traces, then \(A\) and \(B\) are isomorphic. This can be regarded as an extension of the Elliott conjecture, which proposes that single - separated simple nuclear \(C^*\)-algebras can be classified by K - theory invariants.

### Specific Objectives
1. **Main Theorem (Theorem A)**:
- If \(A\) and \(B\) are single - separated simple nuclear \(Z\)-stable \(C^*\)-algebras, and there is a unital embedding \(A\rightarrow B\) such that this embedding is invertible in both KK - theory and traces, then \(A\cong B\).

2. **Homotopy Rigidity Result (Corollary B)**:
- If \(A\) and \(B\) are single - separated simple nuclear \(Z\)-stable \(C^*\)-algebras, and projections separate traces, then \(A\) and \(B\) are isomorphic if and only if they are homotopy equivalent.

3. **Strongly Self - Absorbing \(C^*\)-algebras (Theorem C)**:
- If \(A\) and \(B\) are finite strongly self - absorbing \(C^*\)-algebras, then \(A\cong B\) if and only if there is an invertible \(\kappa\in KK(A, B)\) such that \(\kappa_0:K_0(A)\rightarrow K_0(B)\) maps \([1_A]\) to \([1_B]\).

### Methods and Tools
- **Trace - Kernel Extension**: An important tool for proving \(Z\)-stability.
- **Classification of Approximate Embeddings**: Describe the unital embedding \(A\rightarrow B^{\infty}\) through traces and KK - theory.
- **Elliott's Intertwining Argument**: Used to construct approximately unitarily equivalent embeddings for isomorphisms.

### Conclusion
The main conclusion of the paper is that, without assuming that UCT is satisfied, single - separated simple nuclear \(Z\)-stable \(C^*\)-algebras can be classified by combining KK - theory and traces. This result provides a new perspective for understanding the structure of these algebras and lays the foundation for further research on the properties of these algebras.