Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Recently, I heard about the following theorem: each nuclear separable operator space is a completely bounded quotient of the CAR algebra. Yet, I have no idea who and where proved this theorem (presuming this is true). Could anyone please indicate a reference for it?

share|cite|improve this question
Interesting question. This is very reminiscent of the fact that every nuclear separable $C^*$-algebra $A$ can be embedded into the Cuntz algebra $\mathcal{O}_2$ such that there is a conditional expectation from $\mathcal{O}_2$ onto the image of $A$. So $A$, as an operator system, is a CP quotient of $\mathcal{O}_2$. Using extension theorems for CP and CB maps, one can probably show your statement with CAR replaced by the bigger $\mathcal{O}_2$. – Michael Jun 4 '13 at 0:03

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.