Suppose we have a $C^*$ algebra $\mathfrak{U}$ that is nonseparable. Consider a state $ω$ of $\mathfrak{U}$ and the GNS representation $(H_ω,π_ω,Ω)$. Is it possible for $H_ω$ to be separable, and if yes under what assumptions?
$\begingroup$
$\endgroup$
3

1$\begingroup$ Yes, take $\ell^\infty(\mathbb{N})$. It is not separable, and then the state $\text{ev}_n$ yields a 1dimensional GNS. The answer to your question is yes even in the case for some state of full support as well. $\endgroup$– Diego MartinezCommented Dec 4, 2023 at 17:57

$\begingroup$ Okay, I thought this would be the case. Thanks for the example! Is there a relevant theorem, stating assumptions under which the Hilbert space will be separable? Or is this not an interesting problem? $\endgroup$– ArbiterCommented Dec 4, 2023 at 18:02

1$\begingroup$ I’m not sure there are interesting general criteria other than just saying the associated Hilbert space is separable. Maybe one criteria if you study von Neumann algebras is that if your $C^*$ algebra is actually a separable vNa (which is nearly never separable as a $C^*$ algebra), and if your state is normal, then the GNS Hilbert space would be separable. $\endgroup$– David GaoCommented Dec 4, 2023 at 18:19
Add a comment
