Homomorphisms of infinitely generated analytic sheaves

Banach algebra techniques applied to functions of several complex variables (32A65) Analytic algebras and generalizations, preparation theorems (32B05) Analytic sheaves and cohomology groups (32C35) Infinite-dimensional holomorphy (46G20)

Abstract: We prove that every homomorphism

m a t h c a l O_{z}^{E} e t a o m a t h c a l O_{z}^{F} e t a

, with

E

and

F

Banach spaces and

z e t a i n m a t h b b C^{m}

, is induced by a

m a t h o p m a t h r m H o m (E, F)

-valued holomorphic germ, provided that

1 l e q m < i n f t y

. A similar structure theorem is obtained for the homomorphisms of type

m a t h c a l O_{z}^{E} e t a o m a t h c a l S_{z} e t a

, where

m a t h c a l S_{z} e t a

is a stalk of a coherent sheaf of positive

m a t h f r a k m_{z} e t a

-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.

Review text

\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.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Homomorphisms of infinitely generated analytic sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2431092)