Result 297, Operator algebras

A ZFC counterexample to Naimark's problem

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 formalization Disproof or counterexample

The bigger picture

Why it matters

Knowing that an operator algebra has only one irreducible representation might seem enough to identify it as an algebra of compact operators. The manuscript reports a counterexample, showing that this uniqueness does not determine the algebra.

What changes?

Working in ZFC, the standard axioms of set theory, the authors report constructing a nonseparable, unital, infinite-dimensional simple complex C*-algebra. This algebra has an identity and no nontrivial closed two-sided ideals; nonseparable means it has no countable norm-dense subset. It has a faithful tracial state, a normalized positive averaging rule that ignores multiplication order and detects nonzero positive elements. All its nonzero irreducible representations, actions on Hilbert spaces with no proper nonzero closed invariant subspace, agree up to unitary equivalence.

What does that help mathematicians do?

The key distinction is that compact operators on an infinite-dimensional Hilbert space do not include an identity operator, whereas this algebra does. Thus uniqueness of irreducible representations, even together with simplicity and a faithful trace, cannot force the compact-operator description. The claimed construction places that obstruction within ZFC itself, rather than making it depend on extra set-theoretic assumptions.

Are there practical applications?

Its immediate value is foundational: it clarifies the limits of classifying operator algebras by their irreducible actions. For researchers seeking compact-operator characterizations, the example identifies a concrete obstruction that additional hypotheses must exclude. The reported result concerns mathematical structure, not a demonstrated computational method or practical deployment.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

A counterexample to Naimark's problem in ZFC

September 24, 2026 23 pages

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.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:A-counterexample-to-Naimarks-problem-in-ZFC-September-24-2026,
  author = {{OpenAI}},
  title = {{A counterexample to Naimark's problem in ZFC}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/A-counterexample-to-Naimarks-problem-in-ZFC-September-24-2026/naimark-counterexample-zfc.pdf}{OAI:A-counterexample-to-Naimarks-problem-in-ZFC-September-24-2026}},
  year = {2026}
}

Lean formalization

OpenAI's note on what the formalization covers, from lean/docs/297.md.

A ZFC counterexample to Naimark's problem

The following describes the scope of the Lean formalization related to the following accompanying paper(s):

Scope

Naimark's problem asks whether a C∗C^*-algebra whose nonzero irreducible representations are all unitarily equivalent must be an algebra of compact operators. The formalization gives a counterexample in ZFC: a unital infinite-dimensional simple complex C∗C^*-algebra with a faithful tracial state has that uniqueness property for irreducible representations but is not isomorphic to the compact operators on any Hilbert space. No additional set-theoretic assumption is used.

Comparator links

Result Comparator statement
Counterexample to Naimark's problem in ZFC Naimark.lean

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 10 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.