Absolutely summing multipolynomials (Q1729907)

The author takes Banach spaces $X_1,\dots, X_m$ and $Y$ and an $m$-tuple of positive integers $(n_1,\dots,n_m)$ and defines an $(n_1,\dots, n_m)$-multipolynomial as a mapping $T: X_1\times X_2\times\dots\times X_m \to Y$ such that, for $1\le k\le m$, $T$ is an $n_k$-homogeneous polynomial in $X_k$ when the remaining $m-1$ variables are kept fixed. An $(n_1,\dots,n_m) $-multipolynomial is said to be $(p,q)$-summing if $(T(x_1^j,\dots,x_m^j))_j$ is strongly $p$-summable in $Y$, whenever $(x_k^j)_j$ are weakly $q$-summable in $X_k$ for $1\le k\le m$. \par The focus of this paper is to study when all $(n_1, \dots,n_m)$-multipolynomials are $(p,q)$-summing. For the main result in the paper, the author assumes that $X_1,\dots ,X_m$ have unconditional bases $(x^1_j)_j,\dots, (x^m_j)_j$, respectively, and lets \[ \eta=\inf\left\{t:\prod_{k=1}^m(a_j^{(k)})^{n_k}\in\ell_t \text{ whenever } x_k =\sum_{j=1}^\infty a_j^{(k)}x_j^k\in X_k\right\}. \] He proceeds to show that, if there are $C_1,C_2>0$ and $p\ge 1$ such that, for every $n\in \mathbb{N}$, there are $y_1,\dots, y_n$ in $Y$ with $\|y_j\|\ge C_1$, $1\le j \le n$, and \[ \left\|\sum_{j=1}^n a_jy_j\right\|\le \left(\sum_{j=1}^n|a_j|^p\right)^{1/p}, \] and if all $(n_1,\dots,n_m)$-multipolynomial are $(q,1)$-summing for $q<p$, then $\eta\le q$. From this, results on the geometry of Banach spaces (mainly cotype) are deduced.