Aron-Berner-type extension in complex Banach manifolds (Q6567134)

The author considers a compact Hausdorff topological space \(S\), a finite-dimensional connected complex manifold \(X\), uses \(C(S,X)\) to denote the space of all continuous functions \(f\colon S\to X\) and \(B(S,X)\) to denote the space of all Borel functions \(f\colon S\to X\) such that the closure of \(f(S)\) is closed in \(X\). Using the concept of a Borel vector bundle, \(B(S,X)\) is given the structure of a complex Banach manifold. Given a closed subset \(A\) of \(S\) and \(\tau_0\in C(S,X)\), \(\mathcal{B}=B(S,X,A,\tau_0)\) is defined as the set of all \(\tau\in B(S,X)\) such that \(\tau|_A=\tau_0|_A\) while \(\mathcal{C}=C(S,X,A, \tau_0)\) is defined as the connected component of \(\tau_0\) in \(\mathcal{B}\cap C(S,X)\). Given a Banach space \(Z\), it is shown that a holomorphic germ \(\mathbf{f}\colon (\mathcal{C},\tau_1)\to Z\) can be extended to a holomorphic germ \(\mathbf{f}^{ab}\colon (\mathcal{B},\tau_1)\to Z''\). The main result of the paper is if \(E\to \mathcal{B}\) is a holomorphic Banach bundle with a flat norm (a local condition on the norm on each fibre) such that an \(E|_{\mathcal{C}}\) valued holomorphic germ \(\mathbf{f}\) at some \(\tau\) in \(\mathcal{C}\) admits a bounded analytic continuation along any path in \(\mathcal{C}\) then the \(E''\) valued germ \(\mathbf{f}^{ab}\) admits an analytic continuation along any path in \(\mathcal{B}\) with the same bound as the continuation of \(\mathbf{f}\) along paths in \(\mathcal{C}\). In particular, this means that for any \(\tau_1\) in \(C(S,X)\) if a holomorphic germ \(\mathbf{f}\colon (C(S,X),\tau_1)\to \mathbb{C}\) can be analytically extended along any path in \(C(S,X)\) and these continuations are uniformly bounded then \(\mathbf{f}^{ab}\) can be extended along the path \(B(S,X)\) with initial point \(\tau_1\). In the case where \(X\) is simply connected, it is shown that if an \(E|_{\mathcal{C}}\) valued holomorphic germ \(\mathbf{f}\) admits a bounded analytic continuation along any path in \(\mathcal{C}\) then \(\mathbf{f}\) is the germ of a holomorphic section \(f\) of \(E|_{\mathcal{C}}\). Examples are provided to show that the boundedness condition on the extensions of \(\mathbf{f}\) along paths in \(\mathcal{C}\) is necessary in order to obtain the main result.