Can you take Akemann-Weaver's __1 away?

DOI10.1016/J.JFA.2023.110017MaRDI QIDQ6156066zbMATH OpenOpenAlexFDO

Authors Daniel Calderón, Ilijas Farah

Publication date 12 June 2023

Published in Journal of Functional Analysis (Search for Journal in Brave)

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

zbMATH Keywords

forcingJensen's diamondNaimark's problemrepresentations of \(C^\ast\)-algebras

Mathematics Subject Classification ID

Consistency and independence results (03E35) States of selfadjoint operator algebras (46L30)

Abstract: By Glimm's dichotomy, a separable, simple $extrm{C}^{\ast }$-algebra has continuum-many unitarily inequivalent irreducible representations if, and only if, it is non-type I while all of its irreducible representations are unitarily equivalent if, and only if, it is type I. Naimark asked whether the latter equivalence holds for all $extrm{C}^{\ast }$-algebras. In 2004, Akemann and Weaver gave a negative answer to Naimark's problem, using Jensen's diamond axiom $diamondsui{t}_{alep{h}_1}$, a powerful diagonalization principle that implies the Continuum Hypothesis ($mathsfCH$). By a result of Rosenberg, a separably represented simple $extrm{C}^{\ast }$-algebra with a unique irreducible representation is necessarily of type I. We show that this result is sharp by constructing an example of a separably represented, simple $extrm{C}^{\ast }$-algebra that has exactly two inequivalent irreducible representations, and therefore does not satisfy the conclusion of Glimm's dichotomy. Our construction uses a weakening of Jensen's $diamondsui{t}_{alep{h}_1}$, denoted $diamondsui{t}^{m}athsfCohen$, that holds in the original Cohen's model for the negation of $mathsfCH$. We also prove that $diamondsui{t}^{m}athsfCohen$ suffices to give a negative answer to Naimark's problem. Our main technical tool is a forcing notion that generically adds an automorphism of a given $extrm{C}^{\ast }$-algebra with a prescribed action on its space of pure states.

Cites work

• $P(\omega)/{\rm fin}$ and projections in the Calkin algebra
• C^*-algebras and finite-dimensional approximations
• A Rigid Hyperfinite Type II1 Factor
• A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
• All automorphisms of all Calkin algebras
• Amalgamated free products of weakly rigid factors and calculation of their symmetry groups
• Borel determinacy
• Can you take Solovay's inaccessible away?
• Combinatorial Set Theory
• Combinatorial set theory of C^*-algebras
• Consistency of a counterexample to Naimark's problem
• Embedding \(C^*\)-algebras into the Calkin algebra
• Factors of type II₁ without non-trivial finite index subfactors
• HOMOGENEITY OF THE PURE STATE SPACE FOR SEPARABLE C*-ALGEBRAS
• Homogeneity of the Pure State Space of a Separable C^*-Algebra
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• Jensen's diamond principle and its relatives
• Logic and operator algebras
• Model theory of \(C^*\)-algebras
• Naimark's problem for graph C^-algebras
• Nonseparable CCR algebras
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Outer automorphisms and reduced crossed products of simple C*-algebras
• Parametrized \diamondsuit principles
• Partial dynamical systems, Fell bundles and applications
• Set Theory
• Set theory.
• Simple nuclear C^*-algebras not isomorphic to their opposites
• The Souslin problem
• Trace spaces of counterexamples to Naimark's problem

Cited in

(1)

• Construction schemes: transferring structures from to _1

This page was built for publication: Can you take Akemann-Weaver's \(\diamondsuit_{\aleph_1}\) away?

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