The Universal Coefficient Theorem for $C^{\ast }$-Algebras with Finite Complexity

A $C^{\ast }$-algebra satisfies the Universal Coefficient Theorem (UCT) of Rosenberg and Schochet if it is equivalent in Kasparov's $KK$-theory to a commutative $C^{\ast }$-algebra. This paper is motivated by the problem of establishing the range of validity of the UCT, and in particular, whether the UCT holds for all nuclear $C^{\ast }$-algebras.

We introduce the idea of a $C^{\ast }$-algebra that "decomposes" over a class $\mathcal{C}$ of $C^{\ast }$-algebras. Roughly, this means that locally there are approximately central elements that approximately cut the $C^{\ast }$-algebra into two $C^{\ast }$-subalgebras from $\mathcal{C}$ that have well-behaved intersection. We show that if a $C^{\ast }$-algebra decomposes over the class of nuclear, UCT $C^{\ast }$-algebras, then it satisfies the UCT. The argument is based on a Mayerr–Vietoris principle in the framework of controlled $KK$-theory; the latter was introduced by the authors in an earlier work. Nuclearity is used via Kasparov's Hilbert module version of Voiculescu's theorem, and Haagerup's theorem that nuclear $C^{\ast }$-algebras are amenable.

We say that a $C^{\ast }$-algebra has finite complexity if it is in the smallest class of $C^{\ast }$-algebras containing the finite-dimensional $C^{\ast }$-algebras, and closed under decomposability; our main result implies that all $C^{\ast }$-algebras in this class satisfy the UCT. The class of $C^{\ast }$-algebras with finite complexity is large, and comes with an ordinal-number invariant measuring the complexity level. We conjecture that a $C^{\ast }$-algebra of finite nuclear dimension and real rank zero has finite complexity; this (and several other related conjectures) would imply the UCT for all separable nuclear $C^{\ast }$-algebras. We also give new local formulations of the UCT, and some other necessary and sufficient conditions for the UCT to hold for all nuclear $C^{\ast }$-algebras.