Banach analytic sets and a non-linear version of the Levi extension theorem (Q2255159)

The author proves a Levi-type extension theorem for meromorphic functions. Let \(\Delta\subset\mathbb C\) stand for the unit disc and let \(\Delta_r:=r\Delta\). For \(\varepsilon\in(0,1)\) define \(R_{1+\varepsilon}:=\{(\lambda,z)\in\Delta_{1+\varepsilon}\times\Delta: |\lambda|>1-\varepsilon\}\). Let \(\varPhi_k:\Delta_{1+\varepsilon}\to\Delta\), \(k\in\mathbb N_0\), be holomorphic functions such that \(\varPhi_k\to\varPhi_0\) uniformly on \(\Delta_{1+\varepsilon}\). We say that \((\varPhi)_{k=0}^\infty\) is a \textit{test sequence} if \(\varPhi_k-\varPhi_0\) has no zeros on \(\partial\Delta\) for \(k\gg1\) and \(\text{Var}_{\partial\Delta}\text{Arg}(\varPhi_k-\varPhi_0)\) is bounded when \(k\to+\infty\). The main result of the paper is the following non-linear version of the Levi theorem. Assume that \(f\) is meromorphic on \(R_{1+\varepsilon}\) and \((\varPhi_k)_{k=0}^\infty\) is a test sequence. Let \(C_k\) denote the graph of \(\varPhi_k\). Assume that for every \(k\), the function \(f|_{C_k\cap R_{1+\varepsilon}}\) extends to a meromorphic function \(f_k\) on \(C_k\) and the number of poles of \(f_k\) (counted with multiplicities) is uniformly bounded. Then there exists an analytic family of holomorphic graphs \((C_\alpha)_{\alpha\in\mathcal A}\) parametrized by an infinite dimensional Banach ball such that: (i) for every \(\alpha\in\mathcal A\), the function \(f|_{C_\alpha\cap R_{1+\varepsilon}}\) extends to a meromorphic function \(f_\alpha\) on \(C_\alpha\) and the number of poles of \(f_\alpha\) (counted with multiplicities) is uniformly bounded, (ii) \(f\) extends meromorphically to the domain \(\text{int}\bigcup_{\alpha\in\mathcal A}C_\alpha\). In particular, if moreover, for every point \(\lambda_0\in\Delta\) there exists a subsequence \((\varPhi_{k_p})_{p=1}^\infty\) such that the zeros of \(\varPhi_{k_p}-\varPhi_0\) do not accumulate to \(\lambda_0\), then \(f\) extends meromorphically to \(\Delta_{1+\varepsilon}\times\Delta\). The classical \textit{E. E. Levi}'s result [Annali di Mat. (3) 17, 61--87 (1910; JFM 41.0487.01)] is the case where \(C_k=\Delta_{1+\varepsilon}\times\{z_k\}\) with \(z_k\to 0\). The case of non-horizontal straight discs was proved by \textit{T.-C. Dinh} [Ann. Inst. Fourier 48, No. 5, 1483--1512 (1998; Zbl 0916.32011)].