The isomorphism relation for separable C*-algebras

@article{Elliott2013TheIR,
  title={The isomorphism relation for separable C*-algebras},
  author={George A. Elliott and Ilijas Farah and Vern I. Paulsen and Christian Rosendal and Andrew S. Toms and Asger Tornquist},
  journal={Mathematical Research Letters},
  year={2013},
  volume={20},
  pages={1071-1080}
}
We prove that the isomorphism relation for separable C ∗ -algebras, the rela- tions of complete and n-isometry for operator spaces, and the relations of unital n-order isomorphisms of operator systems, are Borel reducible to the orbit equivalence relation of a Polish group action on a standard Borel space. 
Completeness of the isomorphism problem for separable C*-algebras
This paper studies the descriptive set-theoretical complexity of the isomorphism problem for separable C*-algebras. We prove that the isomorphism problem for separable (simple, AI) C*-algebras is
CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS
We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the
The conjugacy problem for automorphism groups of countable homogeneous structures
TLDR
In each case, the precise complexity of the conjugacy relation in the sense of Borel reducibility of automorphism groups of a number of countable homogeneous structures is found.
The Classification Problem for automorphisms of C*-Algebras
We present an overview of the recent developments in the study of the classification problem for automorphisms of C*-algebras from the perspective of Borel complexity theory.
COMPACT METRIZABLE STRUCTURES AND CLASSIFICATION PROBLEMS
TLDR
A simple proof of the completeness of the isomorphism relation of separable, simple, nuclear C*-algebras recently established by M. Sabok is provided.
ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS
Abstract We show that the class of unital C*-algebras is an elementary class in the language of operator systems and that the algebra multiplication is a definable function in this language.
SELECTED APPLICATIONS OF LOGIC TO CLASSIFICATION PROBLEM FOR C*-ALGEBRAS
Basics of Elliott’s classification program are outlined and juxtaposed with the abstract classification theory from descriptive set theory. Some preliminary estimates on the complexity of the
The classification problem for finitely generated operator systems and spaces
The classification of separable operator systems and spaces is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm
...
...

References

SHOWING 1-10 OF 31 REFERENCES
Completeness of the isomorphism problem for separable C*-algebras
This paper studies the descriptive set-theoretical complexity of the isomorphism problem for separable C*-algebras. We prove that the isomorphism problem for separable (simple, AI) C*-algebras is
The descriptive set theory of C$^*$-algebra invariants
We establish the Borel computability of various C$^*$-algebra invariants, including the Elliott invariant and the Cuntz semigroup. As applications we deduce that AF algebras are classifiable by
Model theory of operator algebras II: model theory
We introduce a version of logic for metric structures suitable for applications to C*-algebras and tracial von Neumann algebras. We also prove a purely model-theoretic result to the effect that the
The complexity of classifying separable Banach spaces up to isomorphism
It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, that is, that any analytic equivalence relation Borel reduces to it. This
Turbulence, orbit equivalence, and the classification of nuclear 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
Computing the complexity of the relation of isometry between separable Banach spaces
TLDR
The Borel complexity of the relation of isometry between separable Banach spaces is computed and it is shown that this relation is Borel bireducible to the universal relation for Borel actions of Polish groups.
A dichotomy for the Mackey Borel structure
We prove that the equivalence of pure states of a separable C*-algebra is either smooth or it continuously reduces $[0,1]^{\bbN}/\ell_2$ and it therefore cannot be classified by countable structures.
Regularity properties in the classification program for separable amenable C*-algebras
We report on recent progress in the program to classify separable amenable C∗-algebras. Our emphasis is on the newly apparent role of regularity properties such as finite decomposition rank, strict
Turbulence, representations, and trace‐preserving actions
We establish criteria for turbulence in certain spaces of C*‐algebra representations and apply this to the problem of nonclassifiability by countable structures for group actions on a standard
Completely Bounded Maps and Operator Algebras
1. Introduction 2. Positive maps 3. Completely positive maps 4. Dilation theorems 5. Commuting contractions 6. Completely positive maps into Mn 7. Arveson's extension theorems 8. Completely bounded
...
...