1

Let $A\subseteq B(H)$ be a $C^*$-algebra. If necessary, we may assume $A$ is a von Neumann algebra or/and that $A$ acts non-degenerately on $H$. Consider the vector state $$\omega_{\xi}: A \to \mathbb{C}: a \mapsto \langle a \xi, \xi\rangle$$ on $A$. Let $C$ be the weak$^*$-closure of the convex hull of $\{\omega_\xi: \|\xi\|=1\}$. Is it true that $C = A^*?$

Attempt: Suppose to the contrary that $C\subsetneq A^*$. Choose $\omega \in A^*\setminus C$. By the geometric Hahn-Banach theorem, there is $\lambda \in \mathbb{R}$ and $m \in M$ with $$\Re \omega_{\xi}(m) < \lambda < \Re \omega(m)$$ for all $\xi \in H$. Is it possible to obtain a contradiction from here?

  • What do you mean by $A^$? Is that the whole dual of $A$? If so the answer is obviously negative since $C$ is contained in the unit ball of $A^$. – Ruy Feb 23 '21 at 17:47

1 Answers1

1

The result is not true in general. Take for example an infinite dimensional, separable Hilbert space $\mathcal{H}$ and let $A=\mathcal{K(H)}$, the compact operators on $\mathcal{H}$. Note that $\mathcal{K(H)}\subset\mathcal{B(H)}$ is a non-degenerate representation. It is true that the pure states of $\mathcal{K(H)}$ are precisely the vector states $\omega_\xi$, where $\xi$ runs over the unit vectors on $\mathcal{H}$. A proof of this can be found in Murphy's book, example 5.1.1.

Now by the Krein-Milman theorem, we know that the weak-* closed convex hull of $\text{PS}(A)\cup\{0\}$ (where $\text{PS}(A)$ denotes the pure states on $A$) is equal to the set of positive linear functionals on $A$ of norm at most $1$. This is of course a proper subset of the dual space $A^*$.

But, if we go as far away as we can from the compacts, Glimm's lemma can give something relevant to what you guessed, (but not exactly $C=A^*$). Check out Brown-Ozawa, Chapter 1 for a statement and a very brief (and difficult imo!) proof of Glimm's lemma:

Under the hypothesis that $A\cap\mathcal{K(H)}=0$, each state on $A$ can be approximated in the weak-* topology by a net of vector states. Moreover, if $A$ is separable, then each state of $A$ can be approximated in the weak-* topology by a sequence of vector states $\omega_{\xi_n}$ so that $(\xi_n)$ is an orthonormal sequence. Now combining this with the fact that $A^*$ is the linear span of the states $S(A)$, gives something close to what you are describing here.

Edit

As (definitely rightfully) requested in the comments by QuantumSpace, I am showing that the weak-star closure of $\{\omega_\xi\}_\xi$ is equal to the state space, when the algebra is unital and non-degenerately represented. This is based on the answer of Ruy on this post. The "standard exercise" I am referring to can be proved easily by using a beautiful result of linear algebra: see this post.

Let $A\subset B(H)$ be a unital $C^*$-algebra that is non-degenerately represented, i.e. $1_A=\text{id}_H$. Then the set $F=\{\omega_\xi:\xi\in H, \|\xi\|=1\}$ is weak-star dense in the state space $S(A)$.

Of course $F\subset S(A)$ and let's take its weak-star closed convex hull, which I will call $E$, which is again a subset of $S(A)$, since the weak-star limit of states is a state, since $A$ is unital. Now assume that $\tau\in S(A)\setminus E$. By the Hahn-Banach separation theorem we can find a weak-star continuous functional $\phi:A^*\to\mathbb{C}$ and a real number $t$ so that $$\text{Re}(\phi(\rho))<t<\text{Re}(\phi(\tau))$$ for all $\rho\in E$. It is a standard exercise that every weak-star continuous functional on $A^*$ is an evaluation functional, so $\phi=\text{ev}_a$ for some $a\in A$. By writing $a=x+iy$ for $x,y\in A_{sa}$ we have that $\phi(\sigma)=\text{ev}_a(\sigma)=\sigma(a)=\sigma(x)+i\sigma(y)$, so the real part of $\phi(\sigma)$ is equal to $\sigma(x)$ for all $\sigma\geq0$ in $A^*$. The inequality thus becomes $$\rho(x)<t<\tau(x) $$ for all $\rho\in E$. In particular we have that $$\langle x\xi,\xi\rangle_H<t=\langle t\cdot\text{id}_{H}\xi,\xi\rangle$$ for all unit vectors $\xi$, so, if $\eta\in H$ is arbitrary, then $$\frac{1}{\|\eta\|^2}\langle x\eta,\eta\rangle<\frac{1}{\|\eta\|^2}\langle t\cdot\text{id}_H\eta,\eta\rangle$$ so we can wipe out the $1/\|\eta\|^2$ factor and thus $t\cdot\text{id}_{H}\geq x$ (as operators, i.e. this inequality takes place in $A$). But now $\tau$ is a state, so $\tau(x)\leq\tau(t\cdot\text{id}_H)=t\cdot\tau(1_A)=t$, a contradiction.

  • Thanks for your answer! Do you know of the top of your head the answer to the following question: in a von Neumann algebra, the normal states are weak*-dense in all the states. –  Feb 23 '21 at 15:06
  • @user839372 I need to think of this for a little bit, I will get back to you if I come up with something – Just dropped in Feb 23 '21 at 15:13
  • Thanks for the help! –  Feb 23 '21 at 15:13
  • @user839372 By the way, your post mentions that $\omega_\xi$ is a vector state, but then you allow $\xi$ to run through the entire Hilbert space. The functional $\omega_\xi$ is a state only when $|\xi|=1$, so should it be ${\omega_\xi: \xi\in H, |\xi|=1}$? Otherwise my counter-example needs some refinement – Just dropped in Feb 23 '21 at 15:18
  • Yes, I meant $|xi| = 1.$ –  Feb 23 '21 at 16:18
  • @user839372 Okay, could you please edit it so there is no confusion in the future? Also, I just asked a question about your previous comment - I could not prove this and it seems very interesting! – Just dropped in Feb 23 '21 at 16:28
  • I edited the question. Thanks for the help! –  Feb 23 '21 at 17:26
  • @user839372 Glad I could help. – Just dropped in Feb 23 '21 at 17:26
  • @JustDroppedIn The recent answer by Ruy on one of your questions shows the following: if $A \subseteq B(H)$ is a $C^$-algebra, then the convex hull of the vector states $\omega_{\xi, \xi}$ is weak$^$-dense in the state space of $A$. Do you agree with this? – J. De Ro Mar 05 '21 at 11:54
  • @QuantumSpace Hi - sorry I've been inactive for some time; I remember Ruy's answer was very neat, so if this is included in his answer then yes, I agree. Otherwise, why do you think this follows, I mean, could you explain the argument? – Just dropped in Mar 06 '21 at 10:14
  • @JustDroppedIn I will use the same notation as Ruy's proof, but now I will let $C$ denote the weak star closure of the convex hull of these vector states $\omega_\xi$. I believe the same proof goes through and towards the end of the proof you obtain $\varphi(a)\leq \alpha < \varphi_0(a)$ for all $\varphi \in C$. However, this still implies $a \le \alpha1$ because we have $\langle a \xi, \xi\rangle \leq \langle \alpha 1\xi, \xi\rangle$ for all unit vectors and by rescaling for all vectors, i.e. $a \leq \alpha 1$. – J. De Ro Mar 06 '21 at 10:25
  • I just thought that this could make a useful addition to your answer. Since it gives a complete answer to the question of the OP: the weak$^$-closure is not $A^$, but rather the state space (at least if we work with unital C*-algebras). – J. De Ro Mar 06 '21 at 10:27
  • @QuantumSpace I will check it out later during the day, thanks for noting this:) – Just dropped in Mar 06 '21 at 10:38
  • @JustDroppedIn Thanks! Hopefully we can both learn something new this way :) – J. De Ro Mar 06 '21 at 13:52
  • @QuantumSpace I most surely did. I typed it up, sorry for taking so long, I have a piercing migraine these days... – Just dropped in Mar 06 '21 at 20:03
  • @JustDroppedIn Hope your migraine gets better soon! I don't think you need the non-degeneracy assumption (unital representations are automatically non-degenerate). Further, you need the convex hull in order to apply Hahn-Banach. – J. De Ro Mar 07 '21 at 09:52
  • @QuantumSpace Oops, I forgot to take the hull, I will edit. The non-degeneracy is there precisely to assert that the representation is unital! – Just dropped in Mar 07 '21 at 10:16
  • Ah yes, okay then I agree. – J. De Ro Mar 07 '21 at 10:18