Holomorphic mappings associated to composition ideals of polynomials (Q991046)

Given a Banach operator ideal \({\mathcal I}\), the composition polynomial ideal \({\mathcal I}\circ {\mathcal P}\) is the collection of homogeneous polynomials \(P\) which can be written as \(P=u\circ Q\), where \(Q\) is a homogeneous polynomial and \(u\) belongs to the Banach ideal \({\mathcal I}\). A holomorphic function \(f: U\to F\) (\(U\) open in a Banach space \(E\)) is said to be associated to \({\mathcal I}\circ {\mathcal P}\) if, for each \(a\) in \(U\), all of its derivatives about \(a\), \({\hat d}^kf(a)\), belong to \({\mathcal I}\circ{\mathcal P}\) and satisfy \(\left\|{\hat d}^kf(a)/k!\right\|_{{\mathcal I}\circ {\mathcal P}}\leq Cc^k\) for some \(C,c\geq 0\), all \(a\) in \(U\) and \(k\) in \({\mathbb N}\). The authors prove that, when \({\mathcal I}\) is a closed surjective ideal, then \(f\) is associated to \({\mathcal I}\circ {\mathcal P}\) if and only if \(f=u\circ g\) with \(g\) holomorphic and \(u\) a bounded linear operator belonging to the ideal \({\mathcal I}\). Moreover, a local factorisation of the form \(f_a=u_a\circ g_a\) or even a factorisation in a neighbourhood of \(0\) of the form \(u\circ g\) is sufficient to guarantee such a global decomposition of \(f\). A counterexample shows that there are bounded holomorphic functions associated with the ideal \({\mathcal K}\circ {\mathcal P}\) which do not admit a factorisation of the form \(u\circ g\) with \(u\) compact and \(g\) bounded. For the ideals of compact and weakly compact operators, the authors prove that, for \(U\) arbitrary open, \(f: U\to F\) of bounded type being associated to \({\mathcal I}\circ {\mathcal P}\) is equivalent to \(f\) having a global (local) factorisation of the form \(u\circ g\). When either \(U\) is absolutely convex or belongs to a separable Banach space, this is also true for arbitrary holomorphic functions and the ideal of compact operators.