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.

On the Completely Positive Approximation Property for Non-Unital Operator Systems and the Boundary Condition for the Zero Map

A Class of Completely Positive Maps

On the Boundedness and the Norm of a Class of Integral Operators

A Unified Convergence Theory for Newton-Type Methods for Zeros of Nonlinear Operators in Banach Spaces

An Uni ed Convergence Theory for Newton's Type Methods for Zeros of Nonlinear Operators in Banach spaces

On representations and topological aspects of positive maps on non-unital quasi *-algebras

Completely positive approximations and inductive systems

On spectra of some completely positive maps

Non-unital operator systems that are dual spaces

On conjugate system with respect to completely positive maps

The Spectrally Bounded Linear Maps on Operator Algebras

Non-linear characterization of Jordan $$-isomorphisms via maps on positive cones of $C^$-algebras

Non-linear monotone positive maps

Full Extensions and Approximate Unitary Equivalence

Images of Order Zero Maps

Characterizations of homomorphisms among unital completely positive maps

Uniform approximation by elementary operators

A Class of Generalized Positive Linear Maps on Matrix Algebras

A note on the positivity of inverse operators acting on $C^*$-algebras

Linear Maps on Von Neumann Algebras Preserving Zero Products on Tr-Rank

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