Inverses depending holomorphically on a parameter in a Banach space (Q2497909): Difference between revisions

This paper is concerned with holomorphic selection theorems for right inverses, inverses and surjections of algebra- and operator-valued holomorphic functions defined on a pseudo-convex domain in a Banach space with an unconditional basis. Let \(\Omega\) be a pseudo-convex open subset of a Banach space with an unconditional basis and \(f_1,\dots, f_n\) holomorphic functions on \(\Omega\) with values in a unital Banach algebra \({\mathcal A}\) such that, for each \(z\) in \(\Omega\), the \(n\)-tuple \((f_1(z),\ldots, f_n(z))\) is right invertible (i.e., there are \(a_1^z,\dots,a_n^z\) in \({\mathcal A}\) such that \(\sum_{i=1}^nf_i(z)a_i^z=e\)). The authors show that there are \({\mathcal A}\)-valued holomorphic functions \(g_1,\dots, g_n\) on \(\Omega\) such that \(\sum_{i=1}^nf_i(z)g_i(z)=e\) for all \(z\) in \(\Omega\). The authors then suppose that \(X\) and \(Y\) are Banach spaces and \(f\) is a holomorphic function in \(\Omega\) with values in \({\mathcal L}(X;Y)\) such that \(f(z)\) is surjective for each \(z\) in \(\Omega\). They prove that if either (a) \(\ker f(z)\) is finite-dimensional for each \(z\) in \(\Omega\), or (b) \(X/\ker f(z)\) is finite-dimensional for each \(z\) in \(\Omega\), or (c) \(X\) is a Hilbert space, or (d) \(Y\) is \(\ell_1(\Gamma)\) for some cardinal \(\Gamma\), then there is a holomorphic function \(g\) on \(\Omega\) with values in \({\mathcal L}(Y,X)\) such that \(f(z)\circ g(z)=\text{ Id}_Y\) for all \(z\) in \(\Omega\). Holomorphic selection theorems for surjections on pseudo-convex domains in \(\ell_1\) and holomorphic functions of nuclear type are also obtained. To establish their results, the authors show that the kernel of certain functions or sheaf homomorphisms are holomorphic sub-bundles of a trivial bundle and use a result of \textit{L. Lempert} [J. Am. Math. Soc. 12 (3), 775--793 (1999; Zbl 0926.32048)] on the vanishing of sheaf cohomology groups for sheafs of sections.