Pietsch's factorization theorem for dominated polynomials (Q868932): Difference between revisions

Let \(E\) be a Banach space and \(n\) be a positive integer. A (continuous) mapping \(P: E\to {\mathbb K} \), \({\mathbb K}={\mathbb R}\) or \({\mathbb C}\), is said to be an \(n\)-homogeneous polynomial if there a (continuous) symmetric \(n\)-linear mapping \({\check P}: E\times E\times\ldots\times E\to {\mathbb K}\) such that \(P(x)={\check P}(x,\ldots,x)\) for all \(x\) in \(E\). The space of all \(n\)-homogeneous polynomials on \(E\) is denoted by \({\mathcal P}(^nE)\). An \(n\)-homogeneous polynomial \(P\) on \(E\) is said to be absolutely \((p;q)\)-summing if \({P}(x_j)\) belongs to \(\ell_p\) whenever \(\sup_{\phi\in B_{E'}}(\sum_{j=1}^\infty| \phi(x_j)| ^q)^{1/q}<\infty\). Absolutely \(({p\over n};p)\)-summing polynomials are called \(p\)-dominated polynomials. In this paper, the authors prove that an \(n\)-homogeneous polynomial \(P: E\to F\) is \(p\)-dominated if and only if there is a regular Borel probability measure \(\mu\) on \((B_{E'},\sigma(E',E))\) and a continuous linear mapping \(u: E^{p/n}\to F\) such that \(P=u\circ j^{E_n}_{p/n}\circ \delta\circ\delta_n\). Here, \(\delta\circ\delta_n\) is the \(n\)-homogeneous polynomial from \(E\) onto a subspace \(E_n\) of \(C(B_{E'})\) given by \(\delta\circ\delta_n(x)(\phi)=\phi(x)^n\), \(j^{E_n}_{p/n}\) is the restriction of the canonical inclusion of \(C(B_{E'})\) into \(L_{p/n}(\mu)\) to \(E_n\), and \(E^{p/n}\) is a vector subspace of \(L_{p/n}(\mu)\) renormed with a projective-type norm. Using this result, the authors prove that it is also possible to characterise \(p\)-dominated \(n\)-homogeneous polynomials as those polynomials \(P\) for which there is a regular Borel probability measure \(\mu\) on \((B_{E'},\sigma(E',E))\) and a continuous linear mapping \(u: E^{p/n}\to F\) such that \(P=u\circ (j^e_{p/n})^n\circ e\), where \(e\) is the canonical embedding of \(E\) into \(C(B_{E'})\), \(j^e_{p/n}\) is the restriction of the canonical inclusion of \(C(B_{E'})\) into \(L_{p/n}(\mu)\) to \(e(E)\), and \((j^e_{p/n})^n(f)=(j^e_{p/n})(f)^n\). Finally, they show that it is not possible to obtain a factorisation of the form \(P=u\circ (j^e_{p/n})^n\circ e\), where the space \(E^{p/n}\) is replaced by a topological subspace of \(L_{p/n}\).