Discrete and continuous versions of the continuity principle

Abstract: The goal of this paper is to present a certain generalization of the classical Kontinuit"atssatz of Behnke for holomorphic/meromorphic functions in terms of the lift to the envelope of holomorphy. We consider two non-equivalent formulations: "discrete" and "continuous" ones. Giving a proof of the "discrete" version we, somehow unexpectedly, construct a counterexample to the "continuous" one when convergence/continuity of analytic sets is considered in Hausdorff topology or, even in the stronger topology of currents. But we prove the "continuous" version of the Kontinuit"atssatz if continuity is understood with respect to the Gromov topology. Our formulations seem to be not yet existing in the literature. A number of relevant examples and open questions is given as well.

Review text

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.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Discrete and continuous versions of the continuity principle

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