3
$\begingroup$

I guess that the answer to the following question is both well known and easy. But I was unable to solve the exercise.

Consider a unital $C^*$-$\,$algebra $\mathcal A$ and and a proper unital sub-$C^*$-$\,$algebra $\mathcal B\subset\mathcal A$. Let also $\varphi$ be a state on $\mathcal B$. Assume that $\varphi$ has a unique state extension to $\mathcal A$. Is the state $\varphi$ necessarily pure?

Apologies if this has already been asked (possibly several times); and thanks in advance for any answer and/or reference.

Improve this question
$\endgroup$

2 Answers 2

Reset to default
4
$\begingroup$

No; consider $\mathbb C \oplus \mathbb C \oplus \mathbb C \subset \mathbb C \oplus M_2(\mathbb C)$ (in the obvious way) with the state $\varphi(x_1,x_2,x_3)= \frac12(x_1 + x_2)$. Then, the extension of $\varphi$ is unique and $\varphi$ is not pure.

Improve this answer
$\endgroup$
2
  • $\begingroup$ That's fine, many thanks! Just for curiosity's sake, would you know any general condition on the pair $(\mathcal B,\mathcal A)$ ensuring that the answer is "Yes"? $\endgroup$
    – Etienne
    Commented Nov 8, 2014 at 19:06
  • $\begingroup$ Maybe $\mathcal A$ simple, but I don't know. $\endgroup$
    – Andreas Thom
    Commented Nov 8, 2014 at 19:08
0
$\begingroup$

Yes; the set of extensions of a closed face (in this case a singleton) is itself a closed face.

Improve this answer
$\endgroup$
3
  • $\begingroup$ I'm afraid I don't understand your answer. $\endgroup$
    – Etienne
    Commented Nov 8, 2014 at 14:22
  • $\begingroup$ More precisely, I think that you answered another question, namely "if a pure state has a unique state extension, is this extension necessarily pure?"; which is, of course, true. $\endgroup$
    – Etienne
    Commented Nov 8, 2014 at 16:49
  • $\begingroup$ Yes, I misread the question. $\endgroup$
    – David Handelman
    Commented Nov 8, 2014 at 23:23

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .