[Paper Review] Geometric classification of unital graph C*-algebras of real rank zero

Søren Eilers, Gunnar Restorff+2 more|arXiv (Cornell University)|May 25, 2015

Advanced Operator Algebra Research14 references3 citations

TL;DR

This paper establishes a geometric classification of unital graph C*-algebras with real rank zero by proving that Morita equivalence between such algebras is completely determined by ordered, filtered K-theory. The key result shows that any Morita equivalence arises from a sequence of graph moves—generalizing Reidemeister-like moves—culminating in the invariance of the Cuntz splice under Morita equivalence, thereby extending Restorff's classification to all unital graph C*-algebras of real rank zero.

ABSTRACT

We generalize the classification result of Restorff on Cuntz-Krieger algebras to cover all unital graph C*-algebras with real rank zero, showing that Morita equivalence in this case is determined by ordered, filtered K-theory as conjectured by three of the authors. The classification result is geometric in the sense that it establishes that any Morita equivalence between C*(E) and C*(F) in this class can be realized by a sequence of moves leading from E to F in a way resembling the role of Reidemeister moves on knots. As a key technical step, we prove that the so-called Cuntz splice leaves unital graph C*-algebras invariant up to Morita equivalence. We note that we have recently found a way to generalize the results of the present paper to cover general unital graph C*-algebras. The improved methods needed render some parts of the present paper obsolete, and hence we do not intend to publish it. Instead, we will present a complete solution (drawing heavily on many of the methods presented here) in a forthcoming paper.

Motivation & Objective

• To extend Restorff's classification of Cuntz-Krieger algebras to all unital graph C*-algebras of real rank zero.
• To prove that Morita equivalence in this class is completely determined by ordered, filtered K-theory, as conjectured by the authors.
• To establish a geometric classification framework where Morita equivalence corresponds to a sequence of graph moves, analogous to Reidemeister moves in knot theory.
• To prove that the Cuntz splice preserves Morita equivalence for unital graph C*-algebras, a result crucial for extending classification beyond purely infinite cases.
• To provide a complete stable classification for unital graph C*-algebras satisfying Condition (K), using a combination of K-theory, matrix equivalence, and graph-theoretic moves.

Proposed method

• Use of ordered, filtered K-theory as the complete invariant for Morita equivalence in the class of unital graph C*-algebras with real rank zero.
• Establishment of a correspondence between graph moves (O, I, R, S, C) and stable isomorphisms, generalizing the Reidemeister-like move framework.
• Proof that the Cuntz splice preserves Morita equivalence by showing it induces a GL_P-equivalence on the associated matrices, with identity blocks when n_i = 1.
• Application of a generalized lifting result from Boyle and Huang to extend positive factorization techniques to the filtered K-theory setting.
• Use of K-webs and induced isomorphisms to connect filtered K-theory isomorphisms to matrix equivalences via block matrices.
• Transformation of GL_P-equivalence to SL_P-equivalence using a generalized factorization method, enabling the construction of a sequence of moves from one graph to another.

Experimental results

Research questions

• RQ1 Can Morita equivalence between unital graph C*-algebras of real rank zero be completely classified by ordered, filtered K-theory?
• RQ2 Do the standard graph moves (O, I, R, S) and the Cuntz splice generate all possible Morita equivalences in this class?
• RQ3 Is the Cuntz splice invariant under Morita equivalence for unital graph C*-algebras, even when it does not preserve the diagonal subalgebra?
• RQ4 Can the classification result be made geometric, such that any Morita equivalence arises from a finite sequence of elementary graph moves?
• RQ5 Does the real rank zero condition (Condition (K)) ensure that the classification is geometric in the sense of being realized by moves?

Key findings

• The Cuntz splice preserves Morita equivalence for all unital graph C*-algebras, not just those that are purely infinite, resolving a key technical obstacle in extending classification results.
• Any Morita equivalence between unital graph C*-algebras satisfying Condition (K) arises from a finite sequence of graph moves (O, I, R, S, C), establishing a geometric classification analogous to Reidemeister moves.
• The ordered, filtered K-theory is a complete invariant for Morita equivalence in the class of unital graph C*-algebras of real rank zero, confirming a conjecture by three of the authors.
• A GL_P-equivalence between the matrices associated with two graphs can be transformed into an SL_P-equivalence via a generalized positive factorization method, enabling move-based realization.
• When n_i = 1, the matrix block V{i} in the GL_P-equivalence can be taken as the identity, which ensures compatibility with the standard form and facilitates move construction.
• The proof establishes that stable isomorphism between unital graph C*-algebras with finitely many vertices and satisfying Condition (K) is equivalent to the existence of a sequence of moves connecting the underlying graphs.