Consistency of a counterexample to Naimark's problem.
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 that these 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.
Akemann
Charles
C
Department of Mathematics, University of California, Santa Barbara, CA 93106, USA.
Weaver
Nik
N
D008433:Mathematics