Discrete and continuous versions of the continuity principle (Q2149961)

Let \(X\) be a complex manifold. By an analytic set with boundary in \(X\) we mean \((X,\partial C)\), where \(C\) is an analytic set in some open set \(U\subset X\) and \(\partial C:=\overline C\cap\partial U\). If \(U\subset\subset X\), then we say that \((C,\partial C)\) is a compact analytic set with boundary in \(X\). Let \(\{(C_k,\partial C_k)\}_{k\in\mathbb N_0}\) be family of compact analytic sets with boundary in \(X\). We write \((C_k,\partial C_k)\longrightarrow(C_0,\partial C_0)\) if \(C_k\longrightarrow C_0\) and \(\partial C_k\longrightarrow\partial C_0\) with respect to the Hausdorff distance. Let \(D\) be a domain in a Stein manifold \(X\), let \((\widehat D,\pi)\) be the envelope of holomorphy of \(D\), and let \(i:D\longrightarrow\widehat D\) be the canonical inclusion. The author proves the following two general versions of the Kontinuitätssatz principle. \begin{itemize} \item[Discrete version.] Let \(\{(C_k,\partial C_k )\}_{k\in\mathbb N}\) be a sequence of pure \(q\)-dimensional compact analytic sets with boundary in \(D\), \(1\leq q<n=\dim X\). Assume that \((C_k,\partial C_k)\longrightarrow(C_0,\partial C_0)\), where \((C_0,\partial C_0)\) is a pure \(q\)-dimensional compact analytic set with boundary in \(X\) such that \(\partial C_0\subset\subset D\). Then there exists a compact analytic set with boundary \((\widehat C_0,\partial\widehat C_0)\) in \(\widehat D\) such that: (i) the mapping \(\pi|_{\widehat C_0}:\widehat C_0\longrightarrow C_0\) is proper surjective and one-to-one near the boundaries, (ii) \((i(C_k),i(\partial C_k))\longrightarrow(\widehat C_0,\partial\widehat C_0)\) with respect to the Hausdorff distance. \item[Continuous version.] Let \(\{(C_t,u_t)\}_{t\in[0,1]}\) be a family of compact complex curves with boundary over \(X\) which is continuous in the Gromov topology. Assume that \(u_0(C_0)\subset D\) and \(u_t(C_t)\subset D\), \(t\in[0,1]\). Then there exist holomorphic mappings \(\widehat u_t:C_t\longrightarrow\widehat D\) such that: (i) the family \(\{(C_t,\widehat u_t)\}_{t\in[0,1]}\) is continuous in the Gromov topology over \(\widehat D\); (ii) \(\pi\circ\widehat u_t=u_t\), \(t\in[0,1]\). \end{itemize} Both theorems are illustrated by various examples and open problems.