Consistency of a counterexample to Naimark's problem

Abstract

We construct a C*-algebra that has only one irreducible representation up to unitary equivalence but is not isomorphic to the algebra of compact operators on any Hilbert space. This answers an old question of Naimark. Our construction uses a combinatorial statement called the diamond principle, which is known to be consistent with but not provable from the standard axioms of set theory (assuming those axioms are consistent). We prove that the statement ``there exists a counterexample to Naimark's problem which is generated by ${\aleph }_1$ elements'' is undecidable in standard set theory.

10 pages

References in corpus (1)

• Homogeneity of the pure state space of a separable C*-algebra

Cited by in corpus (18)

• The noncommutative Choquet boundary
• Logic and operator algebras
• A simple AF algebra not isomorphic to its opposite
• Aperiodicity: the almost extension property and uniqueness of pseudo-expectations
• Non-commutativity of the central sequence algebra for separable non-type I C${}^{\ast }$-algebras
• Large irredundant sets in operator algebras
• A new bicommutant theorem
• From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti
• C*-Algebras With and Without $\ll$-Increasing Approximate Units
• Graphs and CCR algebras
• A rigid hyperfinite type ${\mathrm{II}}_1$ factor
• Not all pure states on B(H) are diagonalizable
• Classically normal pure states
• Set theory and C*-algebras
• Locally inner automorphisms of operator algebras
• Separable $C^{\ast }$-Algebras and weak${}^{\ast }$-fixed point property
• A Complete Solution to the Problem of Decomposing a Representation Into Irreducible Representations and its Applications to the Solutions of Three Great Problems in C*-Algebras
• Pure states on free group C*-algebras