Discrete and continuous versions of the continuity principle (Q2149961): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q114221009, #quickstatements; #temporary_batch_1712286835472 |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 2112.05955 / rank | |||
Normal rank |
Revision as of 02:31, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Discrete and continuous versions of the continuity principle |
scientific article |
Statements
Discrete and continuous versions of the continuity principle (English)
0 references
27 June 2022
0 references
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.
0 references
continuity principle
0 references
holomorphic function
0 references
meromorphic function
0 references
analytic set
0 references
Hausdorff metric
0 references