Ideal structures in vector-valued polynomial spaces (Q307028)

Given Banach spaces \(E\) and \(F\), a function \(P: E\to F\) is said to be an \(n\)-homogeneous polynomial if there is a (unique) symmetric continuous \(n\)-linear mapping \(L: \underbrace{E\times\cdots\times E}_{n\text{-times}}\to F\) such that \(P(x)=L(x,\dots,x)\) for all \(x\) in \(E\). The norm of \(P\) is defined as \(\|P\|=\sup\{\|P(x)\|:\|x\|=1\}\). The authors use \({\mathcal P}(^nE,F)\) to denote the space of all \(n\)-homogeneous polynomials from \(E\) to \(F\) and \({\mathcal P}_w(^nE,F)\) to denote the subspace of all \(n\)-homogeneous polynomials which are weakly continuous on bounded sets. A subspace \(J\) of a Banach space \(X\) is said to be an ideal in \(X\) if there is a norm-one projection \(q: X^*\to X^*\) with \(\ker q=J^\perp\). If in addition, for each \(f\) in \(X^*\) with \(qf\not=f\), \(\|qf\|<\|f\|\) and \(\|f-qf\|\leq \|f\|\), then \(J\) is said to be an HB-subspace of \(X\). Given \(C\in(0,1]\), an ideal \(J\) of \(X\) is said to be an \(M(1,C)\)-ideal if \(\|qf\|+C\|f-qf\|\leq \|f\|\) for all \(f\) in \(X\). In this paper, the authors give conditions on \(E\) and \(F\) which ensure that \({\mathcal P}_w(^nE,F)\) is an ideal (resp., HB-subspace, \(M(1,C)\)-ideal) in \({\mathcal P}(^nE,F)\). These conditions are in terms of the compact metric approximation property and the moduli of asymptotic uniform smoothness or convexity. In addition, the authors also investigate conditions that imply the property that \({\mathcal P}_w(^nE,F)\) is an ideal (resp., HB-subspace, \(M(1,C)\)-ideal) in \({\mathcal P}(^nE,F)\) is inherited by \(F\) in \(F^{**}\).