Gives an alternative to Tanaka's ZFC construction of a unital infinite-dimensional simple complex C∗-algebra with a faithful tracial state and exactly one nonzero irreducible representation up to unitary equivalence. Thus the unrestricted compact-operator characterization fails without additional set-theoretic assumptions; the counterexample is nonseparable. (Lean)
Manuscript
A counterexample to Naimark's problem in ZFC
September 24, 2026 · source · cite as \cite{OAI:A-counterexample-to-Naimarks-problem-in-ZFC-September-24-2026}
We construct in ZFC a unital infinite-dimensional simple complex C∗-algebra with a faithful tracial state whose nonzero irreducible representations are all unitarily equivalent. This gives a negative answer to Naimark's problem without additional set-theoretic assumptions.
Result 297 · Operator algebras. Imported from openai/math, a collection of manuscripts produced by an OpenAI model; results are at different stages of verification. Discussion below is by Lemma members.
Source: https://github.com/openai/math/blob/main/CONTENTS.md