Localization of global existence of holomorphic solutions to holomorphic differential equations with infinite dimensional parameter (Q4515331)

As the title of the paper already shows all considerations are in the holomorphic framework. The parameter space \(S\) is the direct limit \(\lim_{p\to \infty }\mathbb C^p\), and the authors consider a pseudoconvex domain \(\Omega \) in the product space \(\mathbb C\times S\). Let \(a(z,s)\) be an \(m\)-dimensional square matrix valued holomorphic function on \(\Omega \), and let \(T:\mathcal O^m\to \mathcal O^m\) be the differential operator \(T=\frac{d}{dz}-a(z,s)\). The main aim of the paper is to investigate under which conditions the equation \(Tf=g\) on \(\Omega \) has a global solution for any \(g\). This is equivalent to the vanishing \(H^1(\Omega ,\text{Ker }T)=0\) of the cohomology group of the first degree with coefficients in the sheaf \(\text{Ker }T\). We denote \(\pi :\mathbb C\times S\to S\) the projection. For any \((z,s)\in \Omega \) let \(\Omega (z,s)\) be the connected component of \(\pi ^{-1}(s)\) containing \((z,s)\). We shall call it cut through \((z,s)\). The authors show that if the condition of global existence of a solution for any \(g\) is satisfied, then all cuts \(\Omega (z,s)\) are either simultaneously simply connected domains for all points \((z,s)\in \Omega \) or simultaneously doubly connected domains with \(H^0(\Omega (z,s),\text{Ker }T)=0\) for all points \((z,s)\in \Omega \). Under an additional condition the authors then present necessary and sufficient conditions for the existence of global solutions for any \(g\) (depending on the type of the cuts).