Fredholm-valued holomorphic mappings on a Banach space (Q2270506): Difference between revisions

Given Banach spaces \(X\) and \(Y\), let \(\Phi(X,Y)\) denote the space of Fredholm linear operators from \(X\) into \(Y\). A linear mapping \(S: Y\to X\) is said to be a regulariser of a linear operator \(T: X\to Y\) if both \(ST-I_X\) and \(TS-I_Y\) are compact. Given \(\Omega\) open in a Banach space \(E\), a holomorphic mapping \(g: \Omega\to \Phi(Y,X)\) is said to be a holomorphic regulariser of a holomorphic function \(f:\Omega\to \Phi(X,Y)\) if \(g(z)\) is a regulariser of \(f(z)\) for every \(z\) in \(\Omega\). The authors show that when \(\Omega\) is a pseudo-convex open subset of a Banach space with an unconditional basis, then every holomorphic function \(f:\Omega\to \Phi(X,Y)\) has a holomorphic regulariser. A function \(f:\Omega\to {\mathcal L}(X,Y)\) is a finite meromorphic function if each \(z_o\) in \(\Omega\) has a neighbourhood, \(V\), such that on \(V\), \(f(z)=g(z)+{1\over h(z)}k_2(z)\circ P\circ k_1(z)\) where \(P\) is a projection onto a finite-dimensional subspace of \(Y\), \(g,k_1,k_1\) are, respectively, \({\mathcal L}(X,Y), {\mathcal L}(X,X), {\mathcal L}(X,Y)\) valued functions on \(V\) and \(h\) is a scalar-valued function on \(V\) which is not identically \(0\). The authors show that, if \(\Omega\) is a connected open subset of a Banach space \(E\) and \(f:\Omega\to{\mathcal L}(X,X)\) is a holomorphic function with \(f(z_o)\) invertible for some \(z_o\) in \(\Omega\), then the function \(z\to f(z)^{-1}\) defines a finite meromorphic function on \(\Omega\). The conclusions can be improved when \(\Omega\) is a pseudo-convex open subset of a Banach space with an unconditional basis. Moreover, when \(\Omega\) is a pseudo-convex open subset of a Banach space with an unconditional basis and there is \(z_o\) in \(\Omega\) such that \(f(z_o)\) has a right inverse, then \(f\) has a finite meromorphic right inverse on \(\Omega\). The proofs use projections onto the range and kernel of operators on \(X\) and \(Y\) and sheaf cohomology results of \textit{L. Lempert} [Invent. Math. 142, No.~3, 579--603 (2000; Zbl 0983.32010)].