Abstract:Starting from Kirchberg's theorems announced in 1994, namely O_2 tensor A is isomorphic to O_2 for separable unital nuclear simple A and O_infinity tensor A is isomorphic to A if in addition A is purely infinite, we prove that KK-equivalence implies isomorphism for nonunital separable nuclear purely infinite simple C*-algebras. It follows that if A and B are unital separable nuclear purely infinite simple C*-algebras which satisfy the Universal Coefficient Theorem, and if there is a graded isomorphism from K_* (A) to K_* (B) which preserves the class of the identity, then A is isomorphic to B. Our main technical results are, we believe, of independent interest. We say that two asymptotic morphisms t ---> \phi_t and t ---> \psi_t from A to B are asymptotically unitarily equivalent if there exists a continuous unitary path t ---> u_t in the unitization B^+ such that || u_t \phi_t (a) u_t^* - \psi_t (a) || ---> 0 for all a in A. Let A be separable, nuclear, unital, and simple, and let D be unital. We prove that any asymptotic morphism from A to K tensor O_infinity tensor D is asymptotically unitarily equivalent to a homomorphism, and two homotopic homomorphisms from A to K tensor O_infinity tensor D are asymptotically unitarily equivalent.

Essentially Commutative C*-algebras with Essential Spectrum Homeomorphic to S2n−1

Indices, characteristic numbers and essential commutants of Toeplitz operators

Non-commutative Chern Characters of the C*-Algebras of spheres and quantum spheres

The primitive spectrum of C*-algebras of etale groupoids with abelian isotropy

Separable commutative algebras in equivariant homotopy theory

Total Cuntz semigroup, Extension and Elliott Conjecture with Real rank zero

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

Associative-commutative spectra for some varieties of groupoids

Non-commutative disintegrations: existence and uniqueness in finite dimensions

Towards a classification of unitary elements of C*-algebras

A systematic approach for invariants of C*-algebras

Commutative C* algebras and Gelfand theory through phase space methods

Galois extensions of structured ring spectra

Equivariant homotopy classification of graph C*-algebras

Total Cuntz semigroup, extension, and Elliott Conjecture with real rank zero

The role of C*-algebras in infinite dimensional numerical linear algebra

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

The spectrum of a category of maximal Cohen-Macaulay modules

Variations on a theme of Gelfand and Naimark

Scale Structures and C*-algebras