K-Theory for operator algebras. Classification of C$^*$-algebras

In this article we survey some of the recent goings-on in the classification programme of C$^*$-algebras, following the interesting link found between the Cuntz semigroup and the classical Elliott invariant and the fact that the Elliott conjecture does not hold at its boldest. We review the construction of this object both by means of positive elements and via its recent interpretation using countably generated Hilbert modules (due to Coward, Elliott and Ivanescu). The passage from one picture to another is presented with full, concise, proofs. We indicate the potential role of the Cuntz semigroup in future classification results, particularly for non-simple algebras.

💡 Research Summary

The paper surveys recent developments in the classification program for C*‑algebras, focusing on the pivotal role of the Cuntz semigroup (often denoted W(A)) and its relationship with the classical Elliott invariant. After recalling the original ambition of Elliott’s conjecture—to classify separable, nuclear C*‑algebras up to *‑isomorphism using K‑theoretic data, traces, and order—the author notes that counter‑examples (most famously those constructed by Toms) have shown that the conjecture cannot hold in its most general form. This motivates the search for a finer invariant, and the Cuntz semigroup emerges as a promising candidate.

The first technical section revisits the traditional definition of W(A). For a separable C*‑algebra A, one considers positive elements a∈A⊗K and introduces the Cuntz preorder a≼b if there exists a sequence (vₙ) with vₙbvₙ*→a. Equivalence classes under mutual domination form a partially ordered abelian monoid with a natural addition