On composition ideals of multilinear mappings and homogeneous polynomials (Q945591): Difference between revisions

Given an operator ideal \(\mathcal I\) there is a natural procedure, based on composition, to generate multi and polynomial ideals. In the paper under review, a particular case of this procedure is considered. The authors focus their attention on the study of \(\mathcal{I}\circ \mathcal{L}\) and \(\mathcal{I}\circ \mathcal{P}\), where \(\mathcal{L}\) stands for multilinear mappings and \(\mathcal{P}\) for polynomials. The article starts with the proof of the following: any continuous multilinear mapping \(A: E_1\times\cdots\times E_n\to F\) belongs to \(\mathcal{I}\circ \mathcal{L}\) if and only if its linearization, \(A_L: E_1\widehat \bigotimes_\pi\cdots\widehat \bigotimes_\pi E_n\to F\), belongs to the operator ideal \(\mathcal{I}\). An analogous result holds for the polynomial case via the symmetric tensor product. This allows the authors to prove that a (closed) operator ideal \(\mathcal{I}\) produces a symmetric (closed) multi-ideal \(\mathcal{I}\circ \mathcal{L}\) and a (closed) polynomial ideal \(\mathcal{I}\circ \mathcal{P}\). It is also shown that \(\mathcal{I}\circ \mathcal{L}\) and \(\mathcal{I}\circ \mathcal{P}\) extend typical linear behavior to the nonlinear case. For instance, if \(\mathcal{I}_1\) and \(\mathcal{I}_2\) are two operator ideals and \(\mathcal{I}_1\circ \mathcal{P}(^n E; F)\subset \mathcal{I}_2\circ \mathcal{P}(^n E; F)\), then \(\mathcal{I}_1(E;F) \subset \mathcal{I}_2(E;F)\). The converse of this result does not hold true as the authors show for the ideal of strictly singular polynomials (an \(n\)-homogeneous polynomial \(P\) is said to be strictly singular if \(P=u\circ Q\) for some strictly singular operator \(u\) and some continuous \(n\)-homogeneous polynomial \(Q\)). Let \(\Pi(E;F)\) denote the space of all absolutely summing linear operators from \(E\) to \(F\). The final part of the article is dedicated to the study of the relationships between the multilinear ideal \(\Pi\circ \mathcal{L}\) and three other classes of multilinear mappings which generalize the absolutely summing linear operators: semi-integral, dominated and strongly summing multilinear mappings.