Abstract:Let A and C be two unital simple C∗-algebras with tracial rank zero. Suppose that C is amenable and satisfies the Universal Coefficient Theorem. Denote by KKe(C,A)++ the set of those κ in KK(C,A) for which κ(K0(C)+∖{0})⊂K0(A)+∖{0} and κ([1C])=[1A]. Suppose that κ∈KKe(C,A)++. We show that there is a unital monomorphism ϕ:C→A such that [ϕ]=κ. Suppose that C is a unital AH-algebra and λ:T(A)→Tf(C) is a continuous affine map for which τ(κ([p]))=λ(τ)(p) for all projections p in all matrix algebras of C and any τ∈T(A), where T(A) is the simplex of tracial states of A and Tf(C) is the convex set of faithful tracial states of C. We prove that there is a unital monomorphism ϕ:C→A such that ϕ induces both κ and λ. Suppose that h:C→A is a unital monomorphism and γ∈Hom(K1(C),Aff(A)). We show that there exists a unital monomorphism ϕ:C→A such that [ϕ]=[h] in KK(C,A), τ○ϕ=τ○h for all tracial states τ and the associated rotation map can be given by γ. Denote by KKT(C,A)++ the set of compatible pairs (κ,λ), where κ∈KLe(C,A)++ and λ is a continuous affine map from T(A) to Tf(C). Together with a result on asymptotic unitary equivalence in [H. Lin, Asymptotic unitary equivalence and asymptotically inner automorphisms, arXiv:math/0703610, 2007], this provides a bijection from the asymptotic unitary equivalence classes of unital monomorphisms from C to A to (KKT(C,A)++,Hom(K1(C),Aff(T(A)))/R0), where R0 is a subgroup related to vanishing rotation maps. As an application, combining these results with a result of W. Winter [W. Winter, Localizing the Elliott conjecture at strongly self-absorbing C∗-algebras, arXiv:0708.0283v3, 2007], we show that two unital amenable simple Z-stable C∗-algebras are isomorphic if they have the same Elliott invariant and the tensor products of these C∗-algebras with any UHF-algebra have tracial rank zero. In particular, if A and B are two unital separable simple Z-stable C∗-algebras with unique tracial states which are inductive limits of C∗-algebras of type I, then they are isomorphic if and only if they have isomorphic Elliott invariants.

Classifying $^$-homomorphisms I: Unital simple nuclear $C^$-algebras

Asymptotic unitary equivalence and classification of simple amenable C ∗ -algebras

A Classification Theorem for Nuclear Purely Infinite Simple C*-Algebras

Lifting KK-elements, Asymptotic Unitary Equivalence and Classification of Simple C∗-algebras

Abstract classification theorems for amenable C*-algebras

On Classification of Non-Unital Amenable Simple C*-algebras, II

Classification of Simple C*-Algebras with Unique Traces

A unified approach for classifying simple nuclear $C^\ast$-algebras

Classification Of Simple Tracially Af C*-Algebras

Classification of homomorphisms from $C(Ω)$ to a $C^*$-algebra

Classification of Homomorphisms from C (X) to Simple C *-Algebras of Real Rank Zero

Tensor Products of Classifiable C∗-algebras

On the Classification of Simple Amenable $\Mathrm{c}^{*}$-Algebras with Finite Decomposition Rank, II

A Classification of Finite Simple Amenable ${\cal Z}$-stable $C^$-Algebras, I: $C^$-Algebras with Generalized Tracial Rank One.

The Classification of Simple Separable Unital Z-Stable Locally Ash Algebras

On the classification of simple amenable $C*$-algebras with finite decomposition rank, II

Classification of Simple $C^*$-Algebras of Tracial Topological Rank Zero

Classification of finite simple amenable ${\cal Z}$-stable $C^*$-algebras

Classification of Simple C*-algebras and Higher Dimensional Noncommutative Tori

Classification of Simple C*-algebras of Tracial Topological Rank Zero

Homomorphisms into a Simple Z-stable C*-Algebras

Classifying $^*$-homomorphisms I: Unital simple nuclear $C^*$-algebras