Delphi.science

A separably representable counterexample to Naimark's problem in ZFC

Ryotaro Tanaka

arXivarxiv/2609.26930Sep 22, 2026math.OAscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2609.26930
curl -X POST /api/v1/records/arxiv/2609.26930/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.26930/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'