REVIEW
Simple C*-algebras with locally finite decomposition rank
Operator Algebras · Submitted 27 Feb 2006 · 30 references
Pith's verdict: This is the paper that replaces a uniform decomposition-rank bound with Z-stability via locally finite decomposition rank; the proof is written in full and looks sound, with one load-bearing stability result from [11] that a referee should verify before relying on it.
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
A separable simple unital C*-algebra that is Z-stable, has real rank zero, and has locally finite decomposition rank must have tracial rank zero—so it is classified by its K-theoretic data when the UCT holds.
The reading
What carries the argument
The load-bearing device is a geometric-series induction over finite-dimensional subalgebras, with a fixed ratio $\mu = 1/(2(n+1))$ determined by the decomposition rank $n$ of the exhausting subalgebra $B$. At each step, $\mathcal{Z}$-stability provides an order-zero embedding that lets one construct a finite-dimensional algebra $D_k$ that is almost central, almost contains the relevant compressions, and carries trace at least $\mu$ times the trace remaining after previous steps; the total trace accumulates as $\mu\sum_{i=0}^K(1-\mu)^i$, approaching 1. To keep the induction going, Lemma 5.6 compresses by the complement of $D_k$ and needs the compressed completely positive maps to remain $n$-decomposable with the same $n$; this is guaranteed by weak stability of $n$-decomposability under projections that almost commute with the map. Finally, a unital $*$-homomorphism from $A\otimes\mathcal{Z}$ to $A$ (available because $\mathcal{Z}$ is strongly self-absorbing) pulls the finite-dimensional subalgebra constructed in $A\otimes\mathcal{Z}$ back into $A$ with the required approximation constants.
Extended reading notes
Core claim
The central claim is Theorem 2.1: if A is separable, simple, unital, Z-stable, has real rank zero, and has locally finite decomposition rank, then A has tracial rank zero. Tracial rank zero is a noncommutative finiteness property: for every finite set and every epsilon > 0 there exists a finite-dimensional C*-subalgebra D such that the unit of D almost commutes with the set, the compression of each element to D is almost contained in D, and every tracial state gives the unit of D mass at least 1 - epsilon. The paper then feeds this property into the known classification of tracially AF algebras: with the UCT, such algebras are classified up to isomorphism by their Elliott invariant, are approximately homogeneous of topological dimension at most 3, and have decomposition rank at most 2 after tensoring with the Jiang–Su algebra. In particular, the Elliott conjecture holds for simple unital Z-stable ASH algebras with real rank zero, and the author notes this partially answers two open questions about Z-stable ASH algebras.
Load-bearing premise
The induction collapses unless the decomposition rank $n$ is preserved when compressing by a projection that almost commutes with an $n$-decomposable approximation: the construction assumes that $q\phi(\cdot)q$ and $(1-q)\phi(\cdot)(1-q)$ can be replaced by genuinely $n$-decomposable maps into the corners with the same $n$, not merely with some larger bound.
Editorial extensions
If this is right
- Simple unital Z-stable ASH algebras with real rank zero are classified up to isomorphism by their Elliott invariant; the same holds for any pair of Z-stable algebras meeting the hypotheses and satisfying the Universal Coefficient Theorem.
- Any such algebra satisfying the UCT is approximately homogeneous of topological dimension at most 3, and its tensor product with the Jiang–Su algebra has decomposition rank at most 2.
- For an algebra A for which $A\otimes\mathcal{Z}$ has locally finite decomposition rank, the following are equivalent: $A\otimes\mathcal{Z}$ has tracial rank zero, has real rank zero, has dense $K_0$ in the affine functions on the trace space, and has dense positive $K_0$ there.
- Within this class, Z-stability is equivalent to approximate divisibility.
- The theorem upgrades slow dimension growth to the AH sense: simple unital Z-stable AH algebras with real rank zero not only have slow dimension growth in the ASH sense, but in the AH sense.
Reading between the lines
- If the theorem is right, the really operative hypothesis for the stably finite Elliott classification may be Z-stability together with real rank zero; the local dimension condition would be a way to enter the induction rather than a genuine constraint, so the classification may extend to algebras whose local finite-dimensional structure is much more irregular than current hypotheses allow.
- A testable strengthening would be to drop 'unital' or to allow the exhausting subalgebra to depend on the finite set after tensoring with Z; Lemma 5.6 seems to use only a single $n$-decomposable approximation of the chosen subalgebra $B$, so the argument might work for algebras whose finite subsets are locally approximated by subalgebras with finite decomposition rank only after tensoring with Z.
- The weak-stability input is separable from the rest: if one could prove the compression stability of $n$-decomposability with a different method (e.g., via ultrapowers), the same geometric-series argument would go through, suggesting the theorem is robust to the specific approximation machinery used.
Original abstract
We introduce the notion of locally finite decomposition rank, a structural property shared by many stably finite nuclear C*-algebras. The concept is particularly relevant for Elliott's program to classify nuclear C*-algebras by K-theory data. We study some of its properties and show that a simple unital C*-algebra, which has locally finite decomposition rank, real rank zero and which absorbs the Jiang-Su algebra Z tensorially, has tracial rank zero in the sense of Lin. As a consequence, any such C*-algebra, if it additionally satisfies the Universal Coefficients Theorem, is approximately homogeneous of topological dimension at most 3. Our result in particular confirms the Elliott conjecture for the class of simple unital Z-stable ASH algebras with real rank zero. Moreover, it implies that simple unital Z-stable AH algebras with real rank zero not only have slow dimension growth in the ASH sense, but even in the AH sense.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We introduce the notion of locally finite decomposition rank, a structural property shared by many stably finite nuclear C*-algebras. The concept is particularly relevant for Elliott's program to classify nuclear C*-algebras by K-theory data. We study some of its properties and show that a simple unital C*-algebra, which has locally finite decomposition rank, real rank zero and which absorbs the Jiang-Su algebra Z tensorially, has tracial rank zero in the sense of Lin. As a consequence, any such C*-algebra, if it additionally satisfies the Universal Coefficients Theorem, is approximately homogeneous of topological dimension at most 3. Our result in particular confirms the Elliott conjecture for the class of simple unital Z-stable ASH algebras with real rank zero. Moreover, it implies that simple unital Z-stable AH algebras with real rank zero not only have slow dimension growth in the ASH sense, but even in the AH sense.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We introduce the notion of locally finite decomposition rank, a structural property shared by many stably finite nuclear C*-algebras. | contribution 1.00 | 0.91 | 0.05 | asserted 1.00 |
| s1 | The concept is particularly relevant for Elliott's program to classify nuclear C*-algebras by K-theory data. | background 0.94 | 0.08 | 0.02 | asserted 0.96 |
| s2 | We study some of its properties and show that a simple unital C*-algebra, which has locally finite decomposition rank, real rank zero and which absorbs the Jiang-Su algebra Z tensorially, has tracial rank zero in the sense of Lin. | result 0.95 | 0.94 | 0.76 | asserted 1.00 |
| s3 | As a consequence, any such C*-algebra, if it additionally satisfies the Universal Coefficients Theorem, is approximately homogeneous of topological dimension at most 3. | result 0.70 | 0.88 | 0.15 | asserted 1.00 |
| s4 | Our result in particular confirms the Elliott conjecture for the class of simple unital Z-stable ASH algebras with real rank zero. | interpretation 0.75 | 0.85 | 0.30 | asserted 0.99 |
| s5 | Moreover, it implies that simple unital Z-stable AH algebras with real rank zero not only have slow dimension growth in the ASH sense, but even in the AH sense. | interpretation 0.75 | 0.88 | 0.13 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How the literature uses it
1 arXiv paper cite this in 1 sentence
Papers citing it
Cites it as support 1 paper
-
Then [ref] tells us that $A⊗B$ has tracial rank zero.
Z-stability of crossed products by strongly outer actions · Preliminaries · 0.99
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.