Weak Semiprojectivity in Purely Infinite Simple $C^*$-Algebras

http://dx.doi.org/10.4153/CJM-2007-015-9
Canad. J. Math. 59(2007), 343-371

  Published:2007-04-01
 Printed: Apr 2007

Let $A$ be a separable amenable purely infinite simple \CA which satisfies the Universal Coefficient Theorem. We prove that $A$ is weakly semiprojective if and only if $K_i(A)$ is a countable direct sum of finitely generated groups ($i=0,1$). Therefore, if $A$ is such a \CA, for any $\ep>0$ and any finite subset ${\mathcal F}\subset A$ there exist $\dt>0$ and a finite subset ${\mathcal G}\subset A$ satisfying the following: for any contractive positive linear map $L: A\to B$ (for any \CA $B$) with $ \|L(ab)-L(a)L(b)\|<\dt$ for $a, b\in {\mathcal G}$ there exists a homomorphism $h\from A\to B$ such that $ \|h(a)-L(a)\|<\ep$ for $a\in {\mathcal F}$.