Classification of contractively complemented Hilbertian operator spaces (Q2499251): Difference between revisions

We construct some separable infinite-dimensional homogeneous Hilbertian operator spaces \(H^{m,R}_\infty\) and \(H^{m,L}_\infty\), which generalize the row and column spaces \(R\) and \(C\) (the case \(m=0\)). We show that a separable infinite-dimensional Hilbertian \(JC^*\)-triple is completely isometric to one of \(H^{m,R}_\infty\), \(H^{m,L}_\infty\), \(H^{m,R}_\infty\cap H^{m,L}_\infty\), or the space \(\Phi\) spanned by creation operators on the full anti-symmetric Fock space. In fact, we show that \(H^{m,L}_\infty\) (respectively, \(H^{m,R}_\infty\)) is completely isometric to the space of creation (respectively, annihilation) operators on the \(m\) (respectively, \(m+1\)) anti-symmetric tensors of the Hilbert space. Together with the finite-dimensional case studied in [\textit{M.~Neal} and \textit{B.~Russo}, Proc.\ Am.\ Math.\ Soc.\ 134, No.~2, 475--485 (2006; Zbl 1089.46034)], this gives a full operator space classification of all rank-one \(JC^*\)-triples in terms of creation and annihilation operator spaces. We use the above structural result for Hilbertian \(JC^*\)-triples to show that all contractive projections on a \(C^*\)-algebra \(A\) with infinite-dimensional Hilbertian range are ``expansions'' (which we define precisely) of normal contractive projections from \(A^{**}\) onto a Hilbertian space which is completely isometric to \(R\), \(C\), \(R\cap C\), or \(\Phi\). This generalizes the well-known result, first proved for \(B(H)\) by \textit{A.~G.\ Robertson} [Math.\ Proc.\ Cambr.\ Philos.\ Soc.\ 110, 183--190 (1991; Zbl 0834.46044)], that all Hilbertian operator spaces that are completely contractively complemented in a \(C^*\)-algebra are completely isometric to \(R\) or \(C\). We use the above representation on the Fock space to compute various completely bounded Banach--Mazur distances between these spaces, or \(\Phi\).