The range of approximate unitary equivalence classes of homomorphisms from AH-algebras (Q1038697)

Let \(A,B\) be \(C^*\)-algebras and \(\phi,\psi:A\rightarrow B\) be \(\ast\)-homomorphisms. It is well known that \(\phi \approx_{\text{u}} \psi\) (i.e., \(\phi\) and \(\psi\) are approximately unitarily equivalent) implies that \([\phi]=[\psi]\) in \(KL (A,B)\) whenever \(A\) satisfies the UCT condition [\textit{M.\,Rørdam}, J.~Funct.\ Anal.\ 131, No.\,2, 415--458 (1995; Zbl 0831.46063)]. One important result of the author [Indiana Univ.\ Math.\ J.\ 57, No.\,2, 891--944 (2008; Zbl 1155.46022)] shows, assuming \(C\) to be a unital AH-algebra, \(A\) a unital simple \(C^*\)-algebra of tracial rank zero, and \(\phi,\psi :C \rightarrow A\) unital \(\ast\)-monomorphisms, that \(\phi \approx_{\text{u}} \psi\) if only if \([\phi]=[\psi]\) in \(KL(C,A)\) and \(\tau\circ \phi=\tau\circ\psi\) for all \(\tau\in T(A)\). In this setting for \(C\) and \(A\), the paper under review is concerned with the set \(\text{Mon}_{au}^e (C,A)\) of approximate unitary equivalence classes of unital \(\ast\)-monomorphisms. To state the main result, consider the \textit{M.\,Dadarlat} and \textit{T.\,A.\thinspace Loring} description [Duke Math.\ J.\ 84, No.\,2, 355--377 (1996; Zbl 0881.46048)] of \(KL (C,A)\) as Hom\(_\Lambda (\underline{K}(C),\underline{K}(A))\) with \(\underline{K}(C) = \bigoplus_{n\in {\mathbb Z}_+} K_\ast (A,{\mathbb Z}/n)\). This exhibits a convenient order on \(KL(C,A)\) that leads to the definition of the subset \(KL_e (C,A)^{++}\subset KL(C,A)\) of elements \(\kappa\in KL(C,A)\) with \(\kappa (K_0(C)_+ \setminus 0) \subset K_0 (A)_+ \setminus 0\) and \(\kappa ([1_C]) =[1_A]\). Inside the convex set \(T(C)\) of all tracial states on \(C\), consider the (convex) subset \(T_{\text{f}}(C)\) of faithful ones, assumed to be nonempty. A unital \(\ast\)-homomorphism \(\phi :C \rightarrow A\) defines an affine continuous map \(\phi_T :T(A)\rightarrow T(C)\) by \(\phi_T (\tau )(c)=\tau (\phi (c))\) for all \(c\in C\). Consider the set \(KLT(C,A)^{++}\) of pairs \((\kappa,\lambda)\) with \(\kappa\in KL_e (C,A)^{++}\) and \(\lambda :T(A) \rightarrow T_{\text{f}}(C)\) continuous affine map that are compatible, i.e., \(\lambda (\tau)(p)=\tau(\kappa ([p]))\) for all \(p\in {\mathcal P}(M_\infty (C))\) and all \(\tau\in T(A)\). The main result is that the map \(\text{Mon}_{au}^e (C,A) \ni \phi \mapsto ([\phi],\phi_T) \in KLT(C,A)^{++}\) is bijective. This extends previous work of \textit{L.-G.\thinspace Li} [\(K\)-Theory 18, No.\,2, 161--172 (1999; Zbl 0945.46049)] and of the author [\(K\)-Theory 24, No.\,2, 135--156 (2001; Zbl 1022.46038)]. In addition, an example of a triple \((X,A,\kappa)\) with \(X\) a one-dimensional compact metric space, \(A\) a unital simple AF-algebra, \(\kappa\in KL_e (C,A)^{++}\), is given for which there is no homomorphism \(h:C(X)\rightarrow A\) with \([h]=\kappa\).