Homomorphisms of infinitely generated analytic sheaves

TL;DR

This paper characterizes homomorphisms between certain infinite-dimensional analytic sheaves as being induced by holomorphic germs, extending to sheaf homomorphisms with conditions for unique analytic structures.

Contribution

It provides a structure theorem for homomorphisms of infinite-dimensional analytic sheaves and extends these results to sheaf homomorphisms with conditions for unique analytic structures.

Findings

Homomorphisms between $ ext{O}^E_ ext{zeta}$ and $ ext{O}^F_ ext{zeta}$ are induced by holomorphic germs.

Structure theorem for homomorphisms into sheaves of positive depth.

Conditions for sheaves to have a unique analytic structure.

Abstract

We prove that every homomorphism $\mathcal{O}^E_\zeta\to\mathcal{O}^F_\zeta$, with $E$ and $F$ Banach spaces and $\zeta\in\mathbb{C}^m$, is induced by a $\mathop{\mathrm{Hom}}(E,F)$-valued holomorphic germ, provided that $1\leq m<\infty$. A similar structure theorem is obtained for the homomorphisms of type $\mathcal{O}^E_\zeta\to\mathcal{S}_\zeta$, where $\mathcal{S}_\zeta$ is a stalk of a coherent sheaf of positive $\mathfrak{m}_\zeta$-depth. We later extend these results to sheaf homomorphisms, obtaining a condition on coherent sheaves which guarantees the sheaf to be equipped with a unique analytic structure in the sense of Lempert-Patyi.