The polynomial dual of an operator ideal (Q2436045)

Let \(E\) and \(F\) be Banach spaces and \(n\) be a positive integer. A (continuous) mapping \(P: E\to F\) is said to be an \(n\)-homogeneous polynomial if there exists a (continuous) symmetric \(n\)-linear mapping \({\buildrel\vee\over P}: E \times E\times\ldots\times E\to F\) such that \(P(x)={\buildrel\vee\over P}(x, \dots,x)\) for all \(x\) in \(E\). The space of all \(n\)-homogeneous polynomials from \(E\) into \(F\) is denoted by \({\mathcal P}(^nE,F)\). The adjoint of \(P\) in \({\mathcal P}(^nE,F)\) is defined as the continuous linear operator \(P^*: F' \to {\mathcal P}(^nE)\) given by \(P^*(\varphi)(x)=\varphi(P(x))\). Given an operator ideal \({\mathcal I}\), the authors define the polynomial dual of \({\mathcal I}\), \({\mathcal I}^{{\mathcal P}-\text{dual}}\), by \({\mathcal I}^{{\mathcal P}-\text{dual}}(^nE,F)=\left\{P\in {\mathcal P}(^n E,F):P^*\in {\mathcal I}(F',{\mathcal P}(^nE))\right\}\). It is shown that \(P\) belongs to \({\mathcal I}^{{\mathcal P}-\text{dual}}(^nE,F)\) if and only if \(P\) can be written as \(P=u\circ Q\) with the adjoint of \(u\) belonging to \({\mathcal I}\). The concept of polynomial dual allows the authors to give a characterisation of Cohen strongly \(p\)-summing polynomials and new examples of spaces of polynomials of \(\pi_1\)-holomorphy type. In the final section, it is shown that, if \(F\) is a reflexive Banach space, then \({\overline{\mathcal I}}^{{\mathcal P}-\text{dual}}(^nE,F)= \overline{{\mathcal I}^{{\mathcal P}-\text{dual}}}(^nE,F)\) for every operator ideal \({\mathcal I}\) and every Banach space \(E\).