Ideals of mid \(p\)-summing operators: a tensor product approach (Q6049468)

Given a Banach space \(X\) and \(1 \leq p \leq \infty\), a sequence \((x_j)\) in \(X\) is said to be absolutely \(p\)-summable whenever \(\sum_j \|x_j\|^p < \infty\), weakly \(p\)-summable whenever \(\sum_j |x^\ast(x_j)|^p < \infty\) for all \(x^\ast\in X^\ast\) (the topological dual of \(X\)), and mid \(p\)-summable whenever \(\sum_{k,j} |x_k^\ast(x_j)|^p < \infty\) for all weakly \(p^\ast\)-summable sequences \((x_k^\ast)\) in \(X^\ast\) (here \(p^\ast\) as usual stands for the conjugate of \(p\)). A (bounded linear) operator \(T:X \to Y\) is said to be absolutely \(p\)-summing if it maps weakly \(p\)-summable into absolutely \(p\)-summable sequences, and the theory of these operators today is at the very heart of modern Banach space theory. An operator \(T:X \to Y\) is weakly mid \(p\)-summing if it maps weakly \(p\)-summable into mid \(p\)-summable sequences, and \(T\) is absolutely mid \(p\)-summing, if it maps mid \(p\)-summable into absolutely \(p\)-summable sequences. Inspired by classical work of Chevet, Grothendieck and Saphar for spaces of absolutely \(p\)-summable operators, the authors define and study two tensor norms \(\alpha_p\) and \(\gamma_p\), which allows them to represent the Banach space \(W_p^{\text{mid}}(X, Y^\ast)\) of all weakly mid \(p\)-summable operators from \(X\) into \(Y^\ast\) as well as the Banach space \(\Pi_{p^\ast}^{\text{mid}}(X, Y^\ast)\) of all absolutely mid \(p^\ast\)-summable operators from \(X\) int \(Y^\ast\) as duals of \(X \otimes_{\alpha_p}Y\) and \(X \otimes_{\gamma_p}Y\), respectively.