A note on envelopes of holomorphy (Q2347945)

Let \((X, p)\) be a Riemann domain over a fixed \(\mathbb{C}\)-analytic manifold \(M\subset\mathbb{C}^n\) and let \({\mathcal F}\subset{\mathcal O}(X)\). Then \(\phi: (X,p)\to(Y,q)\) is said to be the envelope of holomorphy of \((X,p)\) in the sense of Riemann domains over \(M\), if \(\phi:X\to Y\) is a local biholomorphic mapping such that \(q\circ\phi= p\), where \(p\in{\mathcal O}(X)\) and \(q\in{\mathcal O}(Y)\). Now let \(\phi:(X,{\mathcal F})\to(\widetilde X,\widetilde{{\mathcal F}})\) be the \({\mathcal F}\)-envelope of holomorphy in the sense of manifolds and let \(\widetilde p\in\widetilde{{\mathcal F}}^N\) be such that \(\widetilde p\circ\phi= p\). Notice that \(\phi^*(\widetilde{{\mathcal F}})={\mathcal F}\) and \(\widetilde p: \widetilde X\to M\) is a Riemann domain (Theorem 2.4). Now let \(Z_p:= \{a\in\widetilde X\mid\widetilde p\) is not biholomorphic near \(a\}\). Then \(Z_p\) is an analytic subset of \(\widetilde X\) with \(\mathrm{dim} Z_p <n\). Then \((\widetilde X\setminus Z_p, \widetilde p\mid\widetilde X\setminus Z_p)\) is a Riemann domain over \(M\). Then the main result of this paper is Theorem: From the above notations, one has: (a) \(\phi: (X,p)\to (\widetilde X\setminus Z_p, \widetilde p\mid\widetilde X\setminus Z_p)\) is the \({\mathcal F}\)-envelope of holomorphy in the sense of Riemann domains over \(M\). (b) \(Z_p= 0\) iff the \({\mathcal F}\)-envelope of holomorphy in the sense of Riemann and in the sense of manifolds coincide. (c) If \({\mathcal F}={\mathcal O}(X)\), then the \({\mathcal O}(X)\)-envelope of holomorphy in the sense of Riemann domains and in the sense of manifolds coincide.