Homomorphisms of infinitely generated analytic sheaves (Q2431092): Difference between revisions

\textit{L. Lempert} and \textit{I. Patyi} introduced in [Ann. Sci. Éc. Norm. Supér. (4) 40, No.~3, 453--486 (2007; Zbl 1135.32008)] the notion of cohesive sheaves, a class of analytic sheaves in complex Banach spaces, which are meant to generalize coherent sheaves from finite-dimensional complex analysis. They proved the analogues of Cartan's theorems A and B for such cohesive sheaves on pseudoconvex open subsets of Banach spaces with an unconditional Schauder basis. Note that in infinite-dimensional analytic geometry coherence is irrelevant, as most sheaves associated with infinite-dimensional complex manifolds are not even finitely generated over the structure sheaf, let alone coherent. A special kind of cohesive sheaves are the so-called plain sheaves; these are the sheaves \(\mathcal{O}^{E}\) of germs of holomorphic sections in a fixed Banach space \(E\), where the base space is an open set in \(\mathbb{C}^n\). Let \(\mathcal{O}^{E}\) and \(\mathcal{O}^{F}\) be two plain sheaves over an open set \(\Omega\subset\mathbb{C}^n\). An \(\mathcal{O}\)-homomorphism \(\mathcal{O}^{E}\rightarrow\mathcal{O}^{F}\) is called plain, if it is induced by a holomorphic map \(\Omega\rightarrow \Hom(E,F)\), and a homomorphism of stalks \(\mathcal{O}^{E}_\zeta\rightarrow\mathcal{O}^{F}_\zeta\) is called plain if it is induced by a \(\Hom(E,F)\)-valued holomorphic germ in the point \(\zeta\in\Omega\). The main results of the present paper are as follows: If \(0<n<\infty\) and \(\zeta\in\mathbb{C}^n\), then every \(\mathcal{O}_\zeta\)-homomorphism of plain modules \(\mathcal{O}^{E}_\zeta\rightarrow\mathcal{O}^{F}_\zeta\) is plain. From this also follows the global version: If \(0<n<\infty\) and \(\Omega\subset\mathbb{C}^n\) is open, then every \(\mathcal{O}\)-homomorphism of plain sheaves \(\mathcal{O}^{E}\rightarrow \mathcal{O}^{F}\) is plain. Similar structure theorems are also obtained (in local and global versions) for homomorphisms of type \(\mathcal{O}^{E}\rightarrow S\), where \(S\) is a coherent sheaf of positive depth in each stalk. The author deduces a condition on coherent sheaves which guarantees the sheaf to be equipped with a unique analytic structure in the sense of Lempert-Patyi.