Completely bounded and ideal norms of multiplication operators and Schur multipliers (Q989950): Difference between revisions

The author estimates the completely bounded (c.b.)\ counterparts of the plain, the \(p\)-summing and the \(p\)-nuclear norm of multiplication operators \(M_{A,B}: T\mapsto ATB\) and Schur multipliers acting on the Schatten class~\(\mathcal S^p\) of operators on the Hilbert space~\(\ell^2\). Note that if \(A\) and \(B\) are diagonal, then \(M_{A,B}\) is a so-called \textit{elementary} Schur multiplier: the matrix of~\(M_{A,B}T\) is~\((A_{ii}B_{jj}T_{ij})\). The author endows~\(\mathcal S^p\) with its usual operator space structure, which gives the twist that the inclusion \(\mathcal S^p\subseteq\mathcal S^{p'}\) is not a c.b.\ operator for \(1\leq p<2\), while the transposition operator is. The author proves that the c.b.\ norm of~\(M_{A,B}\) from~\(\mathcal S^{p_1}\) to~\(\mathcal S^{p_2}\) is \(\|A\|_{\mathcal S^{2r}}\|B\|_{\mathcal S^{2r}}\), where \(1/r=|1/p_1-1/p_2|\). He further obtains the expression \(\|A\|_{\mathcal S^{2r}}\|B\|_{\mathcal S^{2r}}\) as upper bounds for its completely \(p\)-nuclear norm with \(r\)~two functions of \(p_1\),~\(p_2\) and~\(p\), and similarly as two lower bounds for its completely \(p\)-summing norm; as the latter norm is always bounded by the former norm, these bounds yield that these norms are equal to \(\|A\|_{\mathcal S^{2r}}\|B\|_{\mathcal S^{2r}}\) in a number of cases which escape a simple description (for example, if \(p_1=\infty\) and \(1/r=1/p+|1/p-1/p_2|\)). He then provides the c.b.\ counterpart to the description by \textit{A. Pełczyński} and \textit{F. Sukochev} [Stud. Math. 175, No. 2, 175--204 (2006; Zbl 1105.47025)] of Schur multipliers from~\(\mathcal S^\infty\) to~\(\ell^1(\mathbb N\times\mathbb N)\) and to their results on Toeplitz Schur multipliers from~\(\mathcal S^1\) to~\(\ell^1(\mathbb N\times\mathbb N)\). He finally proves in the case \(1\leq p\leq2\) that a completely \(p\)-summing Schur multiplier from~\(\mathcal S^\infty\) to~\(\mathcal S^p\) of norm~1 is pointwise dominated by an elementary Schur multiplier of norm~1: its coefficients~\(\phi_{ij}\) satisfy \(|\phi_{ij}|\leq|a_ib_j|\) for some sequences \(a\),~\(b\) with \(\|(a_i)\|_{\ell^{2p}}\|(b_i)\|_{\ell^{2p}}\leq1\). The converse holds if \(p=2\), in which case the completely \(p\)-summing and the c.b.\ norm are proven to be equivalent; the author points out that this is false if \(p=1\).