Complemented subspaces and interpolation properties in spaces of polynomials (Q1359598)

At first the author proves the following Theorem 1: Given \(1\leq r\), \(p_1,\dots,p_m< \infty\); \(m>1\) with \(\frac{1}{p_1}+ \frac{1}{p_2} +\cdots+ \frac{1}{p_m}=\frac{1}{r}\), let \((e_{jn})_n\) be a Schauder basis in \(\ell_{p_j}\) equivalent to the unit vector basis of this space \((j=1,\dots, m)\). If \(Y\) is the closed linear hull of \[ (e_{1n}\otimes e_{2n}\otimes\cdots\otimes e_{mn})_n \tag \(*\) \] in \(X:= \ell_{p_1} \widehat{\otimes}_\pi \ell_{p_2} \widehat{\otimes}_\pi\dots\widehat{\otimes}_\pi \ell_{p_m}\), then \(Y\) is isomorphic to \(\ell_r\), has a topological complement, and \((*)\) is a Schauder basis for \(Y\) equivalent to the unit vector basis of \(\ell_r\). From this follows that (1) \(T\) defined by \(Tg:= (g(e_{1n}, e_{2n},\dots, e_{mn}))_n\) is a continuous linear map from \({\mathcal L}(\ell_{p_1},\dots, \ell_{p_m})\) onto \(\ell_s\) and (2) \(S\) defined by \[ (Sg)(x_1,\dots, x_m):= \sum_{n=1}^\infty g(e_{1n},\dots, e_{mn}) \langle x_1,e_{1n}^*\rangle\langle x_2,e_{2n}^*\rangle\cdots \langle x_m,e_{mn}^*\rangle \] is a continuous projection in \({\mathcal L}(\ell_{p_1},\dots,\ell_{p_m})\) whose range is isomorphic to \(\ell_s\). Here \(1<p_1,\dots, p_m\), \(r,s<\infty\) with \(\frac{1}{p_1} +\cdots+ \frac{1}{p_m}+ \frac1s= \frac1r+ \frac1s =1\). Using the isomorphism between \({\mathcal P}({}^mX)\) and \({\mathcal L}_s({}^mX)\) it follows for \(1<m<p\) and \(\frac mp+\frac1s =1\) that (3) \(T\) defined by \(TP:= (P(e_n))_n\) is a continuous linear map from \({\mathcal P}({}^m\ell_p)\) onto \(\ell_s\) and (4) \(S\) defined by \((SP)(x):= \sum_{n=1}^\infty P(e_n)\langle x,e_n^*\rangle^m\) is a continuous projection in \({\mathcal P}({}^m\ell_p)\) whose range is isomorphic to \(\ell_s\). Here \((e_n)\) is the unit vector basis of \(\ell_p\). At next, the author generalizes these results from \(\ell_{p_j}\)-spaces to Banach spaces admitting a Schauder basis with a lower \(p_j\)-estimate. Afterwards he gets analogous results for \(m\)-homogeneous polynomials on \(c_0\) using the concept of \(\tau_\alpha\)-convergence due to Pełczynski. In the last part the author proves results analogous to Theorem 1, (1), and (2) for Banach spaces \(X_j\) with seminormalized basic sequences \((x_{jn})_n\) weakly convergent to 0, \((f_{jn})_n\) bounded sequences in \(X_j^*\) such that \((x_{jn}, f_{jn})_n\) is a biorthogonal system, and \((f_{jn})_n\) has an upper \(p_j\)-estimate with \(\frac{p_1-1}{p_1}+ \frac{p_2-1}{p_2} +\cdots+ \frac{p_m-1}{p_m}\geq 1\), and results analogous to (3) and (4) for Banach spaces \(X\) such that \(X^*\) has type \(p\in (1,2]\). All proofs are in detail accomplished.