Related papers: Completeness of the isomorphism problem for separa…

We prove that the isomorphism relation for separable C$^*$-algebras, and also the relations of complete and $n$-isometry for operator spaces and systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a…

It has been a longstanding problem whether every amenable operator algebra is isomorphic to a (necessarily nuclear) C*-algebra. In this note, we give a nonseparable counterexample. The existence of a separable counterexample remains an open…

We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…

We prove that faithful traces on separable and nuclear C*-algebras in the UCT class are quasidiagonal. This has a number of consequences. Firstly, by results of many hands, the classification of unital, separable, simple and nuclear…

We introduce and study the framework of compact metric structures and their associated notions of isomorphisms such as homeomorphic and bi-Lipschitz isomorphism. This is subsequently applied to model various classification problems in…

We exhibit examples of simple separable nuclear C*-algebras, along with actions of the circle group and outer actions of the integers, which are not equivariantly isomorphic to their opposite algebras. In fact, the fixed point subalgebras…

We consider inductive systems of C*-algebras with completely positive contractive connecting maps. We define a condition, called C*-encoding, which is sufficient for the limit of the system to be completely order isomorphic to a C*-algebra…

We prove that separable C*-algebras which are completely close in a natural uniform sense have isomorphic Cuntz semigroups, continuing a line of research developed by Kadison - Kastler, Christensen, and Khoshkam. This result has several…

We combine the notion of norming algebra introduced by Pop, Sinclair and Smith with a result of Pisier to show that if A_1 and A_2 are operator algebras, then any bounded epimorphism of A_1 onto A_2 is completely bounded provided that A_2…

We write arbitrary separable nuclear C*-algebras as limits of inductive systems of finite-dimensional C*-algebras with completely positive connecting maps. The characteristic feature of such CPC*-systems is that the maps become more and…

Connectivity is a homotopy invariant property of separable C*-algebras which has three notable consequences: absence of nontrivial projections, quasidiagonality and a more geometric realization of KK-theory for nuclear C*-algebras using…

For any unital separable simple infinite-dimensional nuclear C*-algebra with finitely many extremal traces, we prove that Z-absorption, strict comparison, and property (SI) are equivalent. We also show that any unital separable simple…

We determine the exact complexity of classifying compact metric spaces up to homeomorphism. More precisely, the homeomorphism relation on compact metric spaces is Borel bi-reducible with the complete orbit equivalence relation of Polish…

We prove that any separable exact C*-algebra is isomorphic to a subalgebra of the Cuntz algebra ${\cal O}_2.$ We further prove that if $A$ is a simple separable unital nuclear C*-algebra, then ${\cal O}_2 \otimes A \cong {\cal O}_2,$ and…

We obtain partial affirmative answers to the question whether isomorphism of the unitary groups of two C*-algebras, either as topological groups or as discrete groups, implies isomorphism of the C*-algebras as real C*-algebras.

We bound the Borel cardinality of the isomorphism relation for nuclear simple separable C*-algebras: It is turbulent, yet Borel reducible to the action of the automorphism group of the Cuntz algebra O_2 on its closed subsets. The same…

We give an example of a simple separable C*-algebra which is not isomorphic to its opposite algebra. Our example is nonnuclear and stably finite, has real rank zero and stable rank one, and has a unique tracial state. It has trivial K_1,…

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…

We construct a simple, unital AH algebra which is shape equivalent to its tensor product with any infinite-dimensional UHF algebra, has the same tracial simplex as the said tensor product, and yet is not isomorphic to it. An analogous…

We introduce the concept of finitely coloured equivalence for unital *-homomorphisms between C*-algebras, for which unitary equivalence is the 1-coloured case. We use this notion to classify *-homomorphisms from separable, unital, nuclear…