On holomorphic mappings with compact type range (Q2683159)

The Mujica Linearization Theorem [\textit{J. Mujica}, Trans. Am. Math. Soc. 324, No.~2, 867--887 (1991; Zbl 0747.46038)] states that if \(U\) is an open subset of a complex Banach space \(E\), then there are a complex Banach space \(G^\infty(U)\) and a holomorphic function \(\delta_U\colon U\to G^\infty(U)\) with the following universal property: given any complex Banach space \(F\) and any bounded holomorphic function \(f\colon U\to F\), there is a unique continuous linear operator \(T_f\colon G^\infty(U)\to F\) such that \(f(x)=T_f\circ\delta_U( x)\) for all \(x\) in \(U\). Furthermore, \(f\) is compact (resp. weakly compact) in the sense that \(\overline{f(U)}\) is compact (resp. weakly compact) if and only if \(T_f\) is a compact (resp. weakly compact) operator. In this paper the authors extend these results to other ideals, showing that \(f\) has finite-dimensional range (resp. separable range, is approximable, Rosenthal, Asplund) if and only if \(T_f\) has finite-dimensional range (resp. separable range, is approximable, Rosenthal, Asplund). Given \(f\colon U\to F\), a bounded holomorphic function, the authors use \(f^t\) to denote the transpose of \(f\), the linear operator from \(F'\) into \(\mathcal{H}^\infty(U)\) defined by \(f^t(\varphi)= \varphi\circ f\). They show that \(f\) is compact (resp. weakly compact, has separable range, is approximable, Asplund) if and only if \(f^f\) is compact (resp. weakly compact, has separable range, is approximable, a Radon-Nikodým operator). In addition, the authors show that three of these ideals can be characterised by factorisation results. Namely, \(f\) is weakly compact if and only if \(f\) factors as \(f=T\circ g\) through a reflexive Banach space, \(f\) is Rosenthal if and only if \(f\) factors as \(f=T\circ g\) through a Banach space not containing \(\ell_1\) while \(f\) is Asplund if and only if \(f\) factors as \(f=T\circ g\) through an Asplund Banach space.