A Separable Brown-Douglas-Fillmore Theorem And Weak Stability

Huaxin Lin

DOI: https://doi.org/10.1090/S0002-9947-04-03558-5

IF: 1.3529

2004-01-01

Transactions of the American Mathematical Society

Abstract:We give a separable Brown-Douglas-Fillmore theorem. Let A be a separable amenable C*-algebra which satisfies the approximate UCT, B be a unital separable amenable purely infinite simple C*-algebra and h(1); h(2) : A --> B be two monomorphisms. We show that h(1) and h(2) are approximately unitarily equivalent if and only if [h(1)] = [ h(2)] in KL(A; B): We prove that, for any epsilon > 0 and any finite subset F subset of A, there exist delta > 0 and a finite subset G subset of A satisfying the following: for any amenable purely infinite simple C*-algebra B and for any contractive positive linear map L : A --> B such thatparallel toL(ab) - L( a) L(b)parallel to < delta and parallel to L(a)parallel to >= (1/2)parallel to a parallel tofor all a is an element of G; there exists a homomorphism h : A -->B such thatparallel toh( a) - L(a)parallel to < epsilon for all a is an element of Fprovided, in addition, that K-i(A) are finitely generated. We also show that every separable amenable simple C*-algebra A with finitely generated K-theory which is in the so-called bootstrap class is weakly stable with respect to the class of amenable purely infinite simple C*-algebras. As an application, related to perturbations in the rotation C*-algebras studied by U. Haagerup and M. Rordam, we show that for any irrational number theta and any epsilon > 0 there is delta > 0 such that in any unital amenable purely infinite simple C*-algebra B ifparallel touv e(ithetapi)vuparallel to < deltafor a pair of unitaries, then there exists a pair of unitaries u(1) and v(1) in B such thatu(1)v(1) = e(i theta pi) v(1)u(1), parallel to u(1) - u parallel to < epsilon and parallel tov(1) - vparallel to < epsilon.