Conjugacy and cocycle conjugacy of automorphisms of O₂ are not Borel

DOI10.17879/45209421960MaRDI QIDQ2956310zbMATH OpenFDO

Authors Eusebio Gardella, Martino Lupini

Publication date 16 January 2017

Full work available at URL https://arxiv.org/abs/1404.3617

zbMATH Keywords

automorphismsBorel complexityCuntz algebra

Mathematics Subject Classification ID

Automorphisms of selfadjoint operator algebras (46L40) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Abstract: The group of automorphisms of the Cuntz algebra $mathcal{O}_2$ is a Polish group with respect to the topology of pointwise convergence in norm. Our main result is that the relations of conjugacy and cocycle conjugacy of automorphisms of $mathcal{O}_2$ are complete analytic sets and, in particular, not Borel. Moreover, we show that from the point of view of Borel complexity theory, classifying automorphisms of $mathcal{O}_2$ up to conjugacy or cocycle conjugacy is strictly more difficult than classifying up to isomorphism any class of countable structures with Borel isomorphism relation. In fact the same conclusions hold even if one only considers automorphisms of $mathcal{O}_2$ of a fixed finite order. In the course of the proof we will show that the relation of isomorphism of Kichberg algebras (with trivial $K_1$-group and satisfying the Universal Coefficient Theorem) is a complete anaytic set. Moreover, it is strictly more difficult to classify Kirchberg algebras (with trivial $K_1$-group and satisfying the Universal Coefficient Theorem) than classifying up to isomorphism any class of countable structures with Borel isomorphism relation.

Recommendations

• THE CLASSIFICATION PROBLEM FOR AUTOMORPHISMS OF C*-ALGEBRAS
• Borel complexity and automorphisms of \(C^*\)-algebras
• Unitary equivalence of automorphisms of separable \(C^*\)-algebras
• Turbulence, orbit equivalence, and the classification of nuclear \(C^*\)-algebras
• scientific article; zbMATH DE number 1064703

Cited in

(16)

• Applications of model theory to C^*-dynamics
• Equivariant Kirchberg-Phillips-type absorption for amenable group actions
• Actions of rigid groups on UHF-algebras
• An intrinsic order-theoretic characterization of the weak expectation property
• Unitary equivalence of automorphisms of separable \(C^*\)-algebras
• Borel complexity and automorphisms of \(C^*\)-algebras
• Sequentially split -homomorphisms between C^*-algebras
• On the classification of automorphisms of trees
• Strongly self-absorbing C^*-dynamical systems
• A hitchhiker's guide to endomorphisms and automorphisms of Cuntz algebras
• Relative commutants of strongly self-absorbing \(\mathrm{C}^\ast\)-algebras
• Relating properties of crossed products to those of fixed point algebras
• Rokhlin dimension: duality, tracial properties, and crossed products
• On conjugacy of maximal abelian subalgebras and the outer automorphism group of the Cuntz algebra
• THE CLASSIFICATION PROBLEM FOR AUTOMORPHISMS OF C*-ALGEBRAS
• Classification of equivariantly \(\mathcal{O}_2\)-stable amenable actions on nuclear \(\mathrm{C}^\ast\)-algebras

This page was built for publication: Conjugacy and cocycle conjugacy of automorphisms of \({\mathcal O}_2\) are not Borel

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2956310)