A separable Brown-Douglas-Fillmore theorem and weak stability

We give a separable Brown-Douglas-Fillmore theorem. Let be a separable amenable -algebra which satisfies the approximate UCT, be a unital separable amenable purely infinite simple -algebra and be two monomorphisms. We show that and are approximately unitarily equivalent if and only if We prove that, for any and any finite subset , there exist and a finite subset satisfying the following: for any amenable purely infinite simple -algebra and for any contractive positive linear map such that

for all there exists a homomorphism such that

provided, in addition, that are finitely generated. We also show that every separable amenable simple -algebra with finitely generated -theory which is in the so-called bootstrap class is weakly stable with respect to the class of amenable purely infinite simple -algebras. As an application, related to perturbations in the rotation -algebras studied by U. Haagerup and M. Rørdam, we show that for any irrational number and any there is such that in any unital amenable purely infinite simple -algebra if

for a pair of unitaries, then there exists a pair of unitaries and in such that