It is known that $ℬ\left({\ell }^p\right)$ is not amenable for p = 1,2,∞, but whether or not $ℬ\left({\ell }^p\right)$ is amenable for p ∈ (1,∞) ∖ 2 is an open problem. We show that, if $ℬ\left({\ell }^p\right)$ is amenable for p ∈ (1,∞), then so are ${\ell }^{\infty }\left(ℬ\left({\ell }^p\right)\right)$ and ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$. Moreover, if ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$ is amenable so is ${\ell }^{\infty }(,\left(E\right))$ for any index set and for any infinite-dimensional ${ℒ}^p$-space E; in particular, if ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$ is amenable for p ∈ (1,∞), then so is ${\ell }^{\infty }\left(\left({\ell }^p\oplus \ell ²\right)\right)$. We show that ${\ell }^{\infty }\left(\left({\ell }^p\oplus \ell ²\right)\right)$ is not amenable for p = 1,∞, but also that our methods fail us if p ∈ (1,∞). Finally, for p ∈ (1,2) and a free ultrafilter over ℕ, we exhibit...

We prove an abstract comparison principle which translates gaussian cotype into Rademacher cotype conditions and vice versa. More precisely, let 2 < q < ∞ and T: C(K) → F a continuous linear operator. (1) T is of gaussian cotype q if and only if ${\left({\sum }_k{(\left(\parallel T{x}_k{\parallel }_F\right)/\left(\surd log(k+1)\right))}^q\right)}^{1/q}\le c\parallel {\sum }_k{\varepsilon }_k{x}_k{\parallel }_{L_2\left(C\left(K\right)\right)}$, for all sequences ${\left(x_k\right)}_{k\in \mathbb{N}}\subset C\left(K\right)$ with ${\left(\parallel T{x}_k\parallel \right)}_{k=1}^n$ decreasing. (2) T is of Rademacher cotype q if and only if $({\sum }_k{\left(\parallel T{x}_k{\parallel }_F\surd \left({\left(log(k+1)\right)}^q\right)\right)}^{1/q}\le c\parallel {\sum }_k{g}_k{x}_k{\parallel }_{L_2\left(C\left(K\right)\right)}$, for all sequences ${\left(x_k\right)}_{k\in \mathbb{N}}\subset C\left(K\right)$ with ${\left(\parallel T{x}_k\parallel \right)}_{k=1}^n$ decreasing. Our method allows a restriction to a fixed number of vectors and complements the corresponding results of Talagrand.

We study the presence of copies of $l_p^n$’s uniformly in the spaces ${\Pi }_2(C[0,1],X)$ and ${\Pi }_1(C[0,1],X)$. By using Dvoretzky’s theorem we deduce that if $X$ is an infinite-dimensional Banach space, then ${\Pi }_2(C[0,1],X)$ contains $\lambda \sqrt{2}$-uniformly copies of $l_{\infty }^n$’s and ${\Pi }_1(C[0,1],X)$ contains $\lambda$-uniformly copies of $l_2^n$’s for all $\lambda >1$. As an application, we show that if $X$ is an infinite-dimensional Banach space then the spaces ${\Pi }_2(C[0,1],X)$ and ${\Pi }_1(C[0,1],X)$ are distinct, extending the well-known result that the spaces ${\Pi }_2(C[0,1],X)$ and $𝒩\left(C\right[0,1],X)$ are distinct.