1: \begin{abstract}

2: A counterexample to Naimark's problem is a $C^\ast$-algebra

3: that is not isomorphic to the algebra of compact operators on some Hilbert space,

4: yet still has only one irreducible representation up to unitary equivalence.

5: It is well-known that such algebras must be nonseparable,

6: and in 2004 Akemann and Weaver used the diamond principle

7: (a set theoretic axiom independent from \textsf{ZFC}) to give the first counterexamples.

8: For any such counterexample $A$, the unitary group $\mathcal{U}(A)$

9: acts transitively on the pure states,

10: which are the extreme points of the state space $S(A)$.

11: It is conceivable that this implies (as happens for finite-dimensional simplexes)

12: that the action of $\mathcal{U}(A)$ on $S(A)$ has at

13: most one fixed point, i.e. $A$ has at most one trace.

14: We give a strong negative answer here assuming diamond. In particular, 

15: we adapt the Akemann-Weaver construction to show that the trace space

16: of a counterexample to Naimark's problem can be affinely homeomorphic to

17: any metrizable Choquet simplex, and can also be nonseparable.

18: \end{abstract}

19: