A separably representable counterexample to Naimark's problem in ZFC

Ryotaro Tanaka

We construct in ZFC a unital, simple, infinite-dimensional $C^{\ast }$-algebra whose nonzero irreducible representations form a single unitary equivalence class, but which admits a faith…