[Paper Review] Minimal Dynamics and K-theoretic Rigidity: Elliott's Conjecture

Andrew S. Toms, Wilhelm Winter|ArXiv.org|Mar 24, 2009

Advanced Operator Algebra Research13 references14 citations

TL;DR

This paper establishes that crossed product C*-algebras arising from minimal homeomorphisms on infinite, compact, finite-dimensional metrizable spaces are Z-stable and have finite nuclear dimension, leading to a complete classification by graded ordered K-theory under the condition that projections separate traces. The key contribution is proving Elliott's conjecture for this class of C*-algebras using K-theoretic rigidity and Z-stability.

ABSTRACT

Let X be an infinite, compact, metrizable space of finite covering dimension and h a minimal homeomorphism of X. We prove that the crossed product of C(X) by h absorbs the Jiang-Su algebra tensorially and has finite nuclear dimension. As a consequence, these algebras are determined up to isomorphism by their graded ordered K-theory under the necessary condition that their projections separate traces. This result applies, in particular, to those crossed products arising from uniquely ergodic homeomorphisms.

Motivation & Objective

• To prove that crossed product C*-algebras from minimal homeomorphisms on finite-dimensional compact metrizable spaces are Z-stable.
• To establish finite nuclear dimension for such crossed products, with a bound of at most $2\mathrm{dim}(X)+1$.
• To confirm Elliott's conjecture for this class by showing that isomorphism is determined by graded ordered K-theory when projections separate traces.
• To extend classification results to cases without projections separating traces by suggesting augmentation with tracial state simplices.
• To provide a framework for classifying C*-algebras arising from minimal dynamics using K-theoretic invariants and stability properties.

Proposed method

• Use a general classification result from Winter (2009) that requires Z-stability as a key hypothesis.
• Prove Z-stability of $\mathcal{C}(X)\rtimes_\alpha\mathbb{Z}$ via a reduction to a setting similar to Lin and Phillips (2004), relying on the existence of projections and approximate commutation.
• Apply a generalized version of [12, Lemma 4.2] to construct projections in subalgebras that approximately commute with finite sets and have small trace on the complement.
• Use the tracial rank zero criterion from Lin and Phillips (2004) to show that $\mathfrak{U}_l \otimes (\mathcal{C}(X)\rtimes_\alpha\mathbb{Z})$ has tracial rank zero, implying Z-stability.
• Leverage the fact that $\mathfrak{U}_l \cong \mathfrak{U}_l \otimes \mathfrak{U}_l$ to reduce general finite sets to manageable subalgebras.
• Use the nuclear dimension bound $2\mathrm{dim}(X)+1$ derived from the inductive limit decomposition and Z-stability, which implies finite nuclear dimension for the original algebra.

Experimental results

Research questions

• RQ1 Under what conditions is the crossed product $\mathcal{C}(X)\rtimes_\alpha\mathbb{Z}$ completely determined by its graded ordered K-theory?
• RQ2 What is the nuclear dimension of $\mathcal{C}(X)\rtimes_\alpha\mathbb{Z}$ for minimal homeomorphisms on finite-dimensional compact metrizable spaces?
• RQ3 Is Z-stability of $\mathcal{C}(X)\rtimes_\alpha\mathbb{Z}$ implied by minimality and finite covering dimension of $X$?
• RQ4 Can the classification result be extended to algebras where projections do not separate traces, using the tracial state simplex as an additional invariant?
• RQ5 What is the role of the Jiang-Su algebra in K-theoretic rigidity for C*-algebras arising from minimal dynamical systems?

Key findings

• The crossed product $\mathcal{C}(X)\rtimes_\alpha\mathbb{Z}$ is Z-stable, meaning $ (\mathcal{C}(X)\rtimes_\alpha\mathbb{Z}) \otimes \mathcal{Z} \cong \mathcal{C}(X)\rtimes_\alpha\mathbb{Z} $, for any infinite, compact, finite-dimensional, metrizable space $X$ and minimal homeomorphism $\alpha$.
• The nuclear dimension of $\mathcal{C}(X)\rtimes_\alpha\mathbb{Z}$ is at most $2\mathrm{dim}(X)+1$, with the bound being sharp in the sense that it depends directly on the covering dimension of $X$.
• For algebras in the class $\mathcal{C}$, where projections separate traces, a graded ordered K-theory isomorphism implies a *-isomorphism between the C*-algebras, confirming Elliott's conjecture for this class.
• The result applies to uniquely ergodic homeomorphisms, where the trace separation condition is automatically satisfied.
• The proof establishes that such crossed products admit an inductive limit decomposition into type I algebras, even though this is not assumed a priori.
• The tracial rank zero of $\mathfrak{U}_l \otimes (\mathcal{C}(X)\rtimes_\alpha\mathbb{Z})$ is shown via a modified version of [12, Lemma 4.2], enabling the use of classification machinery.