{"id":"arxiv/2609.26930","url":"https://arxiv.org/abs/2609.26930","tags":["math.OA","math.FA"],"score":0,"title":"A separably representable counterexample to Naimark's problem in ZFC","domain":"math.OA","source":"arxiv","authors":["Ryotaro Tanaka"],"reviews":0,"subject":"math.OA","summary":"We construct in ZFC a unital, simple, infinite-dimensional $C^*$-algebra whose nonzero irreducible representations form a single unitary equivalence class, but which admits a faithful representation on a separable Hilbert space. The algebra contains a unital copy of the canonical anticommutation relation (CAR) algebra, and the normalized CAR trace has a unique extension among all states. This extension is tracial, and its GNS representation is separable and faithful, with weak closure the hyperfinite $\\mathrm{II}_1$ factor. In contrast, every nonzero irreducible representation acts on a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}