A composition theorem for multiple summing operators (Q2581032)

Let \(X\) be a Banach space. The weak \(p\)-norm of a finite family \((x_i)_{i=1}^m \subseteq X\) is denoted by \(w_p(x_i)\). Let \(X_1,\dots,X_n,Y\) be Banach spaces, \(1\leq p < \infty \), and let \(T\) be a continuous multilinear operator from \(X_1 \times \dots \times X_n\) into \(Y\). (a) The operator \(T\) is said to be multiple \(p\)-summing if there is a constant \(C\) such that \[ \biggl(\sum_{i_1=1}^{m_1} \cdots \sum_{i_n=1}^{m_n} \| T(x_{i_1},\dots,x_{i_n})\| ^p \biggr)^{1/p} \leq C\cdot w_p(x_{i_1})\cdot \dots \cdot w_p(x_{i_n}) \tag{1} \] for all finite families \((x_{i_1})_{i_1=1}^{m_1} \subseteq X_1,\dots,(x_{i_n})_{i_n=1}^{m_n} \subseteq X_n\). The associated norm is defined by \(\pi_p(T) = \inf\{C:C\) as in (1)\(\}\). (b) The operator \(T\) is said to be nuclear if there are sequences \((\phi _i^j)_{i=1}^\infty \subseteq X_j'\) and \((y_i)_{i=1}^\infty \subseteq Y\) such that, for every \(x_j \in X_j\), \[ T(x_1,\dots,x_n) = \sum_{i=1}^\infty \phi ^1_i(x_1) \cdots \phi ^n_i(x_n)y_i \tag{2} \] and \[ \sum\limits_{i=1}^\infty \| \phi ^1_i\| \cdots \| \phi ^n_i\| \| y_i\|<\infty . \tag{3} \] The associated norm \(\nu (T)\) is defined as the infimum of the numbers (3) for all possible representations (2). The following main result generalizes an important result due to A.~Grothendieck, namely, that the composition of two absolutely 2-summing linear operators is nuclear. Theorem. Let \(n\in {\mathbb N}\), let \(u_j:X_j \rightarrow Y_j\) be absolutely 2-summing operators, \(1\leq j\leq n\), and let \(S:Y_1 \times \cdots \times Y_n \rightarrow Z\) be a multiple 2-summing multilinear operator. Then \(T:=S(u_1,\dots,u_n)\) is nuclear and \(\nu(T)\leq \pi_2(u_1) \cdots \pi_2(u_n)\).