1 · The essentials
Can a mathematical object be identified by having just one basic way to act on a space, once equivalent descriptions are treated as the same? Naimark’s problem asks this question for a particular class of objects studied in operator algebras. The manuscript constructs an object that defeats the proposed identification with compact operators. It is infinite-dimensional, has an identity, and has exactly one nonzero basic way to act, in the sense required by the problem. The construction uses ZFC, without additional set-theoretic assumptions. The repository summary says the example is nonseparable, a size-related limitation that matters when interpreting the result. The main result has a Lean formalization, although the supplied material does not specify its detailed scope.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine trying to identify a machine because all its basic operating modes turn out to be the same after relabeling. The counterexample is like a different machine that passes that test: uniqueness of the operating mode does not establish the proposed identity.
Why it matters
The result gives a negative answer to the unrestricted form of Naimark’s problem without additional set-theoretic assumptions. It shows that uniqueness of nonzero irreducible representations, up to unitary equivalence, does not by itself force the compact-operator characterization. The example also has a faithful tracial state, so the failure occurs even with that additional structure.
2 · Going further
The problem concerns whether a complex -algebra with exactly one nonzero irreducible representation up to unitary equivalence must be an algebra of compact operators. The manuscript constructs in ZFC a unital, infinite-dimensional, simple complex -algebra with a faithful tracial state, whose nonzero irreducible representations are all unitarily equivalent. The repository summary identifies this as a counterexample to the unrestricted characterization and specifies that is nonseparable.
The abstract describes the argument at the level of its construction target: produce an algebra with all these properties simultaneously, thereby giving a negative answer to Naimark’s problem. It does not supply the construction steps or intermediate arguments. Consequently, the provided material supports an explanation of what is constructed and what it establishes, but not a more detailed account of how the construction works.
The repository presents this construction as an alternative to Tanaka’s ZFC construction. Only one manuscript abstract is supplied here, so no further comparison of methods or relationship among companion manuscripts can be drawn. The main result has a Lean formalization; the supplied information does not identify which auxiliary claims or comparisons it covers.
Useful notions
- Complex C*-algebras
- Representations on Hilbert spaces
- Irreducibility and unitary equivalence
- Tracial states
- ZFC and separability
What was known before / what is new
Before
The repository summary refers to Tanaka’s ZFC construction and describes the present work as an alternative to it. The supplied source gives no further historical account or details of Tanaka’s method.
New
The manuscript presents a ZFC construction of a unital, infinite-dimensional, simple complex -algebra with a faithful tracial state and exactly one nonzero irreducible representation up to unitary equivalence. The repository summary states that this example is nonseparable. Its stated consequence is a negative answer to Naimark’s problem without additional set-theoretic assumptions.
Limits and assumptions
The conclusion concerns the unrestricted compact-operator characterization, and the counterexample is explicitly nonseparable. The supplied material does not establish corresponding conclusions under a separability restriction or identify further open questions. The main result has a Lean formalization, but its detailed scope is not supplied; coverage of every auxiliary assertion should not be assumed. The abstract gives no construction details, and the reference to Tanaka’s work does not support a technical comparison.
Mini glossary
- Irreducible representation —
- A representation of an algebra by operators on a Hilbert space with no nontrivial closed subspace invariant under every represented operator.
- Unitary equivalence —
- Two representations are unitarily equivalent when a unitary change of coordinates transforms one into the other.
- Simple C*-algebra —
- A C*-algebra is simple when it has no nonzero proper closed two-sided ideals.
- Faithful tracial state —
- A faithful tracial state is a normalized positive linear functional satisfying and for every nonzero .
- Nonseparable —
- A C*-algebra is nonseparable when it has no countable subset dense in its norm topology.
- ZFC —
- ZFC is Zermelo–Fraenkel set theory with the axiom of choice.
Keywords : Naimark’s problem · C*-algebras · ZFC
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Gives an alternative to [Tanaka's ZFC construction](https://arxiv.org/abs/2609.26930v1) 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.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
A counterexample to Naimark's problem in ZFC
24/09/2026We 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.