In ZFC there exists a unital infinite-dimensional simple complex C∗-algebra with a faithful tracial state whose nonzero irreducible representations are all unitarily equivalent, yet it is not an algebra of compact operators.
In ZFC there exists a unital infinite-dimensional simple complex C∗-algebra with a faithful tracial state whose nonzero irreducible representations are all unitarily equivalent, yet it is not an algebra of compact operators.
In ZFC there exists a unital infinite-dimensional simple complex C∗-algebra with a faithful tracial state whose nonzero irreducible representations are all unitarily equivalent, yet it is not an algebra of compact operators.
If correct, answers Naimark’s problem negatively without any additional set-theoretic assumption.
Does Naimark’s characterization fail in ZFC?
Publication dates and editorial changes.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
