[Paper Review] K-Theory for operator algebras. Classification of C$^*$-algebras

Pere Ara, Francesc Perera+1 more|ArXiv.org|Feb 19, 2009

Advanced Operator Algebra ResearchMathematics57 references21 citations

TL;DR

This paper surveys the role of the Cuntz semigroup in the classification of C*-algebras, establishing its equivalence to the Elliott invariant for Z-stable, simple, unital, separable, nuclear C*-algebras. It demonstrates that the Cuntz semigroup provides a complete invariant in this class, offering a refined framework that overcomes limitations of the original Elliott conjecture, particularly in non-simple or non-projection-rich settings.

ABSTRACT

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.

Motivation & Objective

• To address the failure of the original Elliott conjecture by introducing the Cuntz semigroup as a refined invariant for C*-algebra classification.
• To establish a functorial connection between the Cuntz semigroup and classical invariants like K-theory and traces in the context of nuclear C*-algebras.
• To demonstrate that for Z-stable C*-algebras, the Cuntz semigroup does not add new information beyond the Elliott invariant, suggesting its centrality in classification.
• To provide a self-contained development of the Cuntz semigroup via Hilbert C*-modules and the category Cu, enabling new structural insights.
• To explore the potential of the Cuntz semigroup in classifying non-simple C*-algebras, where traditional invariants fail.

Proposed method

• Constructs the Cuntz semigroup W(A) as the semigroup of equivalence classes of positive elements under Cuntz comparison, using positive elements and Hilbert C*-modules.
• Introduces the category Cu as a categorical framework for the Cuntz semigroup, capturing compact containment and suprema via order-theoretic properties.
• Establishes a functorial relationship between the Cuntz semigroup and K-theory via the stable rank one condition and the representation of Cu(A) in terms of lower semicontinuous functions.
• Applies Kasparov's theorem on Hilbert C*-modules to connect the Cuntz semigroup with the algebraic structure of compact operators and positive elements.
• Uses the representation theorems for the Cuntz semigroup to show that in the unital and stable cases, the semigroup structure is determined by the Elliott invariant and traces.
• Demonstrates that for Z-stable, simple, unital, separable, nuclear C*-algebras, the Cuntz semigroup is fully recoverable from the Elliott invariant, implying equivalence of classification conjectures.

Experimental results

Research questions

• RQ1 Can the Cuntz semigroup serve as a complete invariant for classifying C*-algebras where the original Elliott conjecture fails?
• RQ2 How does the Cuntz semigroup relate to classical invariants such as K₀, traces, and the stable rank in nuclear C*-algebras?
• RQ3 Is the Cuntz semigroup equivalent to the Elliott invariant in the class of Z-stable C*-algebras, and what does this imply for classification completeness?
• RQ4 Can the Cuntz semigroup be used to classify non-simple C*-algebras, and what structural properties enable this?
• RQ5 Is Z-stability equivalent to strict comparison of positive elements in the simple, nuclear setting, and how does this affect classification?

Key findings

• The Cuntz semigroup is a continuous, functorial invariant from C*-algebras to the category Cu, capturing the structure of positive elements under Cuntz comparison.
• For simple, unital, separable, nuclear, Z-stable C*-algebras, the Cuntz semigroup is completely determined by the Elliott invariant, implying that adding it does not extend the invariant in this class.
• The Cuntz semigroup provides a complete classification invariant for Z-stable algebras, as shown by the equivalence of the Elliott Conjecture (EC) and the Cuntz semigroup conjecture (WEC) in this setting.
• The Cuntz semigroup recovers the full structure of positive elements even in algebras without real rank zero, where projections are scarce, by relying on traces and positive elements.
• The functor G from the Elliott invariant to the Cuntz semigroup is well-defined and reconstructs the finer invariant from the coarser one, indicating a deep structural compatibility.
• The Cuntz semigroup is effective in classifying non-simple algebras, as demonstrated by Ciuperca and Elliott in the case of approximate interval algebras, suggesting broader applicability.