RUC-bases in \(E(L_ \infty \overline {\otimes} B(H))\) and \(F(C_ E)\) (Q1905248)

Let \(H\) be a separable Hilbert space, let \((\delta_n)_{n=1}\) be an orthonormalized basis of the space \(H\), and let \(B(H)\) be the algebra of all bounded linear operators on \(H\). We denote by \(E_{k\ell}\) the operator on \(H\) defined by \[ E_{k\ell}(\zeta)= \langle\zeta,\delta_\ell\rangle\delta_k\quad\text{for }\zeta\in H. \] Let \(E\) be a symmetric space of sequences, i.e., a Banach space of sequences such that the set \((e_i)^\infty_{i=1}\) of vectors \(e_i=(0,0,\dots,\underset i{} 1,0,\dots)\) forms an 1-symmetric basis in \(E\). We denote by \(C_E\) an ideal of compact operators \(A\) on \(H\) such that the sequence \((s_n(A))^\infty_{n=1}\) of singular numbers of \(A\) belongs to \(E\); here the norm is defined by \[ |A|_{C_E}= |(s_n(A))^\infty_{n=1}|_E. \] If \(E=\ell_p\) \((1\leq p<\infty)\), then instead of \(C_{\ell_p}\) we write \(C_p\). The ideal \(C_E\) of compact operators associated with \(E\) can be considered as a noncommutative symmetric space of measurable operators adjoined to the von Neumann algebra \(B(H)\). The construction of such spaces is similar to the determination of usual symmetric function spaces \(E(\Omega,\Sigma,\mu)\) on a space with a \(\sigma\)-finite measure \((\Omega,\Sigma,\mu)\) by using a given symmetric space \(E(0,\infty)\) of measurable functions on the half-axis. In this case, the space \(E(\Omega,\Sigma,\mu)\) may be considered as a space of measurable operators (multiplicators on \(L_2(\Omega,\Sigma,\mu)\) adjoined to the von Neumann algebra \(L_\infty(\Omega,\Sigma,\mu)\). Both von Neumann algebras \(L_\infty(\Omega,\Sigma,\mu)\) and \(B(H)\) are related to algebras of type 1 in the standard classification of such algebras. Among algebras of this type, the algebra \(M= L_\infty(0,1)\overline\otimes B(H)\) (the tensor product of von Neumann algebras) is of the most interest. The purpose of the present paper is to study RUC-bases in symmetric spaces \(E(M)\) and in vector-valued function spaces \(F([0,1],C_E)= F(C_E)\), where \(F\) is a symmetric space of functions on \((0,1)\). The main result is that if \(E(M)\) (respectively, \(F(C_E)\)) is of type 2, then the basis \((h_n\overline\otimes E_{k\ell})^\infty_{n,k,\ell=1}\) is a ``square order'' (respectively, \((h_n(t)E_{k\ell})^\infty_{n,k,\ell=1})\) in a RUC-basis in \(E(M)\) (respectively, in \(F(C_E)\)). Moreover, we establish that an RUC-basis exists in any symmetric space \(E(M)\) which admits a lower \(p\)-bound, \(1<p<2\), and is interpolational with respect to the pair \((L_{p_0}(M),L_{p_1}(M))\), \(1<p_0\leq p_1<\infty\).