Towards a classification of unitary elements of C*-algebras

Laurent Cantier

2024-04-17

Abstract:In [6] the author conjectures and partially shows that the Cuntz semigroup classifies unitary elements of unital AF-algebras. We provide a complete proof by addressing the existence part of the conjecture, under a mild adjustment of both domain and codomain of the functor Cu. We also tackle the classification beyond the AF case and more particularly, we look at unitary elements of what we call AH$_1$-algebras. We obtain positive progress as far as the existence part is concern. Nevertheless, we reveal some crucial information needed for the uniqueness part of the classification that the Cuntz semigroup fails to capture.

Operator Algebras

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the classification problem of unitary elements in C\(^*\)-algebras. Specifically, the author aims to completely prove the classification of unitary elements in unital AF - algebras via the Cuntz semigroup and tries to extend this classification to more general AH 1 - algebras.

### Main Research Contents
1. **Classification of Unitary Elements in AF - algebras**:
- The author first focuses on the classification problem of unitary elements in unital AF - algebras. By adjusting the domain and range of the Cuntz semigroup, the author provides a complete proof of the existence part of the conjecture.
- The author proves that for any unital AF - algebra \( A \), if there exists a scaled weakly semiprojective Cuntz homomorphism \( \alpha: L_{sc}(T, \mathbb{N}) \to Cu(A) \), then there exists a unitary element \( u\in A \) such that \( \alpha = Cu(\phi_u) \), and this unitary element is unique in the sense of approximate unitary equivalence.

2. **Classification of Unitary Elements in AH 1 - algebras**:
- The author further explores the classification problem of unitary elements in AH 1 - algebras. Although some progress has been made in the existence part, obstacles have been encountered in the uniqueness part.
- The author shows that two unitary elements that are the same at the Cuntz semigroup level are not the same in the sense of approximate unitary equivalence, which indicates that the Cuntz semigroup is insufficient to completely classify unitary elements in some cases.

### Key Results
- **Classification Theorem in AF - algebras**:
- For any unital AF - algebra \( A \), the Cuntz semigroup \( Cu \) can classify the unitary elements in \( A \).
- Specifically, if \( \alpha: L_{sc}(T, \mathbb{N}) \to Cu(A) \) is a scaled weakly semiprojective Cuntz homomorphism, then there exists a unitary element \( u\in A \) such that \( \alpha = Cu(\phi_u) \), and this unitary element is unique in the sense of approximate unitary equivalence.

- **Existence Result in AH 1 - algebras**:
- For any unital AH 1 - algebra \( A \), any scaled weakly semiprojective Cuntz homomorphism \( \alpha: L_{sc}(T, \mathbb{N}) \to Cu(A) \) can be approximately lifted to a sequence of unitary elements \( (u_n) \) such that \( (Cu(\phi_{u_n})) \) is a Cauchy sequence and converges to \( \alpha \).

### Challenges and Future Directions
- **Uniqueness Problem**:
- The author finds that the Cuntz semigroup cannot distinguish different unitary elements in some cases, which indicates that additional information (such as the de la Harpe - Skandalis determinant) needs to be introduced to solve the uniqueness problem.
- The author provides some specific examples, showing that even without \( K_1 \)-information, the Cuntz semigroup cannot completely classify unitary elements.

- **Future Research**:
- The author proposes several open problems and future research directions, especially in introducing additional information to solve the uniqueness problem.

### Conclusion
This paper successfully classifies unitary elements in unital AF - algebras via the Cuntz semigroup and has made certain progress in AH 1 - algebras. However, the uniqueness problem remains a challenge and requires further research and exploration.