Absolute Schauder decompositions and linearization of holomorphic mappings of bounded type (Q2329643)

Let \(\mathcal H_b(U;F)\) be the space of holomorphic functions of bounded type on an open set \(U\) of a Banach space \(E\) with values in a Banach space \(F\). This nice and interesting paper gives an explicit description of the linearization \(T_f\) of a mapping \(f\in \mathcal H_b(E;F)\) by means of the linearization \(T_{\hat d^mf(0)}\) of its derivatives \(\hat d^mf(0)\). In order to do that, the authors give a direct detailed proof of the fact that the preduals \(Q(^mE)\) of spaces of \(m\)-homogeneous polynomials form an \(\mathcal S\)-absolute Schauder decomposition for the predual \(G_b(U)\) of \(\mathcal H_b(U)\) (as mentioned in the paper, this fact could be deduced from [\textit{M.~Venkova}, Math. Scand. 101, No. 1, 65--82 (2007; Zbl 1177.46002)]). The elegant description of the linearization \(T_f\) of \(f\in \mathcal H_b(E;F)\) is as follows: \[ T_f(w)=\sum_{m=0}^\infty \frac{1}{m!} (T_{\hat d^mf(0)}\circ \Pi_m)(w) \] for every \(w\in G_b(E)\), where \(\Pi_m\) is the projection from \(G_b(E)\) to \(Q(^mE)\). Indeed, some situations where the above convergence occurs not only pointwise but also in the strong topology are shown. Another application of the former result on Schauder decomposition for preduals of spaces of holomorphic functions of bounded type is given in the context of closed operator ideals. It is characterized when the identity operator on \(G_b(U)\) belongs to a given closed operator ideal. This general characterization is motivated by the result proved in [\textit{G. Botelho} and \textit{P. Rueda}, Proc. Am. Math. Soc. 137, No. 1, 219--225 (2009; Zbl 1168.46042)] that states that \(G_b(U)\) has the Schur property if and only \(Q(^mE)\) has the Schur property for every \(m\), a fact that can be rephrased by saying that the identity on \(G_b(U)\) belongs to the ideal of completely continuous operators if and only if the identity on \(Q(^mE)\) does as well.