English

Completely bounded maps into certain Hilbertian operator spaces

Operator Algebras 2007-05-23 v3 Functional Analysis

Abstract

We prove a factorization of completely bounded maps from a CC^*-algebra AA (or an exact operator space EAE\subset A) to 2\ell_2 equipped with the operator space structure of (C,R)θ(C,R)_\theta (0<θ<10<\theta<1) obtained by complex interpolation between the column and row Hilbert spaces. More precisely, if FF denotes 2\ell_2 equipped with the operator space structure of (C,R)θ(C,R)_\theta, then u:AFu: A \to F is completely bounded iff there are states f,gf,g on AA and C>0C>0 such that aAua2Cf(aa)1θg(aa)θ. \forall a\in A\quad \|ua\|^2\le C f(a^*a)^{1-\theta}g(aa^*)^{\theta}. This extends the case θ=1/2\theta=1/2 treated in a recent paper with Shlyakhtenko. The constants we obtain tend to 1 when θ0\theta \to 0 or θ1\theta\to 1. We use analogues of "free Gaussian" families in non semifinite von Neumann algebras. As an application, we obtain that, if 0<θ<10<\theta<1, (C,R)θ(C,R)_\theta does not embed completely isomorphically into the predual of a semifinite von Neumann algebra. Moreover, we characterize the subspaces SRCS\subset R\oplus C such that the dual operator space SS^* embeds (completely isomorphically) into MM_* for some semifinite von neumann algebra MM: the only possibilities are S=RS=R, S=CS=C, S=RCS=R\cap C and direct sums built out of these three spaces. We also discuss when SRCS\subset R\oplus C is injective, and give a simpler proof of a result due to Oikhberg on this question. In the appendix, we present a proof of Junge's theorem that OHOH embeds completely isomorphically into a non-commutative L1L_1-space. The main idea is similar to Junge's, but we base the argument on complex interpolation and Shlyakhtenko's generalized circular systems (or ``generalized free Gaussian"), that somewhat unifies Junge's ideas with those of our work with Shlyakhtenko.

Keywords

Cite

@article{arxiv.math/0403220,
  title  = {Completely bounded maps into certain Hilbertian operator spaces},
  author = {Gilles Pisier},
  journal= {arXiv preprint arXiv:math/0403220},
  year   = {2007}
}

Comments

Minor corrections of misprints and addition of an introduction