Removability, rigidity of circle domains and Koebe's conjecture (Q323730): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(10 intermediate revisions by 8 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.aim.2016.08.039 / rank | |||
Property / review text | |||
A domain \(\Omega\) in the Riemann sphere \(\hat{\mathbb C}\) is a circle domain if every connected component of its boundary is either a circle or a point. Koebe's classical theorem states that any finitely connected domain is conformally equivalent to a circle domain, unique up to Möbius equivalence. Koebe's result has been extended by He and Schramm for domains with at most countably many bounded components. Koebe conjectured that any domain in \(\hat{\mathbb C}\) is conformally equivalent to a circle domain. A circle domain \(\Omega\) in \(\hat{\mathbb C}\) is said to be conformally rigid if every conformal map of \(\Omega\) onto another circle domain is the restriction of a Möbius transformation. Similarly, \(\Omega\) is quasiconformally rigid if every quasiconformal map of \(\Omega\) onto another circle domain is the restriction of a quasiconformal map of the whole sphere. A compact set \(E\subset\mathbb C\) is said to be conformally removable if every homeomorphism of \(\hat{\mathbb C}\) which is conformal outside \(E\) is conformal everywhere, hence is a Möbius transformation. Similarly, \(E\) is quasiconformally removable if every homeomorphism of \(\hat{\mathbb C}\) which is quasiconformal outside \(E\) is quasiconformal everywhere. The following conjecture was proposed by He and Schramm. Rigidity Conjecture: Let \(\Omega\) be a circle domain. Then the following are equivalent. (A) \(\Omega\) is conformally rigid; (B) the boundary of \(\Omega\) is conformally removable; (C) any Cantor set contained in the boundary of \(\Omega\) is conformally removable. The author studies this conjecture and proves, as first main result, the following. Theorem 3. Let \(\Omega\) be a circle domain whose boundary is the union of countably many circles, Cantor sets and singletons. Then conditions (B) and (C) of the Rigidity Conjecture are equivalent. Theorem 4. Let \(E\) be a compact plane set of the form \[ E=(\cup_{j=1}^{\infty}\Gamma_j)\cup(\cup_{k=1}^{\infty}C_k)\cup(\cup_{l=1}^{\infty}\{z_l\}), \] where each \(\Gamma_j\) is a quasicircle, each \(C_k\) is a Cantor set and each \(z_l\) is a complex number. Then \(E\) is conformally removable if and only if every \(C_k\) is conformally removable. The second main result of the paper is related to the equivalence of conditions (A) and (B) in the Rigidity Conjecture. Theorem 5. A circle domain \(\Omega\) is conformally rigid if and only if it is quasiconformally rigid. The author applies a new technique involving David maps which are referred to as trans-quasiconformal deformations of Schottky groups. | |||
Property / review text: A domain \(\Omega\) in the Riemann sphere \(\hat{\mathbb C}\) is a circle domain if every connected component of its boundary is either a circle or a point. Koebe's classical theorem states that any finitely connected domain is conformally equivalent to a circle domain, unique up to Möbius equivalence. Koebe's result has been extended by He and Schramm for domains with at most countably many bounded components. Koebe conjectured that any domain in \(\hat{\mathbb C}\) is conformally equivalent to a circle domain. A circle domain \(\Omega\) in \(\hat{\mathbb C}\) is said to be conformally rigid if every conformal map of \(\Omega\) onto another circle domain is the restriction of a Möbius transformation. Similarly, \(\Omega\) is quasiconformally rigid if every quasiconformal map of \(\Omega\) onto another circle domain is the restriction of a quasiconformal map of the whole sphere. A compact set \(E\subset\mathbb C\) is said to be conformally removable if every homeomorphism of \(\hat{\mathbb C}\) which is conformal outside \(E\) is conformal everywhere, hence is a Möbius transformation. Similarly, \(E\) is quasiconformally removable if every homeomorphism of \(\hat{\mathbb C}\) which is quasiconformal outside \(E\) is quasiconformal everywhere. The following conjecture was proposed by He and Schramm. Rigidity Conjecture: Let \(\Omega\) be a circle domain. Then the following are equivalent. (A) \(\Omega\) is conformally rigid; (B) the boundary of \(\Omega\) is conformally removable; (C) any Cantor set contained in the boundary of \(\Omega\) is conformally removable. The author studies this conjecture and proves, as first main result, the following. Theorem 3. Let \(\Omega\) be a circle domain whose boundary is the union of countably many circles, Cantor sets and singletons. Then conditions (B) and (C) of the Rigidity Conjecture are equivalent. Theorem 4. Let \(E\) be a compact plane set of the form \[ E=(\cup_{j=1}^{\infty}\Gamma_j)\cup(\cup_{k=1}^{\infty}C_k)\cup(\cup_{l=1}^{\infty}\{z_l\}), \] where each \(\Gamma_j\) is a quasicircle, each \(C_k\) is a Cantor set and each \(z_l\) is a complex number. Then \(E\) is conformally removable if and only if every \(C_k\) is conformally removable. The second main result of the paper is related to the equivalence of conditions (A) and (B) in the Rigidity Conjecture. Theorem 5. A circle domain \(\Omega\) is conformally rigid if and only if it is quasiconformally rigid. The author applies a new technique involving David maps which are referred to as trans-quasiconformal deformations of Schottky groups. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30C20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30C35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30C62 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30F40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6636670 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
circle domain | |||
Property / zbMATH Keywords: circle domain / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
conformal maps | |||
Property / zbMATH Keywords: conformal maps / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
quasiconformal maps | |||
Property / zbMATH Keywords: quasiconformal maps / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Schottky groups | |||
Property / zbMATH Keywords: Schottky groups / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Dmitry Vladimirovich Prokhorov / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2962891993 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q123142967 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1511.07348 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Confromal invariants and function-theoretic null-sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity of Schottky sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasiconformal Surgery in Holomorphic Dynamics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Solutions de l'equation de Beltrami avec ||\mu||_\infty = 1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Untersuchungen zur Durchführung der konformen Abbildung mehrfach zusammenhängender Gebiete / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5574105 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fixed points, Koebe uniformization and circle packings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rigidity of circle domains whose boundary has \(\sigma\)-finite linear measure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Koebe Uniformization for "Almost Circle Domains" / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On removable sets for quasiconformal mappings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5685358 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transboundary extremal length / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Remarks on the Koebe Kreisnormierungsproblem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639992 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On removable sets for holomorphic functions / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.AIM.2016.08.039 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:20, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Removability, rigidity of circle domains and Koebe's conjecture |
scientific article |
Statements
Removability, rigidity of circle domains and Koebe's conjecture (English)
0 references
10 October 2016
0 references
A domain \(\Omega\) in the Riemann sphere \(\hat{\mathbb C}\) is a circle domain if every connected component of its boundary is either a circle or a point. Koebe's classical theorem states that any finitely connected domain is conformally equivalent to a circle domain, unique up to Möbius equivalence. Koebe's result has been extended by He and Schramm for domains with at most countably many bounded components. Koebe conjectured that any domain in \(\hat{\mathbb C}\) is conformally equivalent to a circle domain. A circle domain \(\Omega\) in \(\hat{\mathbb C}\) is said to be conformally rigid if every conformal map of \(\Omega\) onto another circle domain is the restriction of a Möbius transformation. Similarly, \(\Omega\) is quasiconformally rigid if every quasiconformal map of \(\Omega\) onto another circle domain is the restriction of a quasiconformal map of the whole sphere. A compact set \(E\subset\mathbb C\) is said to be conformally removable if every homeomorphism of \(\hat{\mathbb C}\) which is conformal outside \(E\) is conformal everywhere, hence is a Möbius transformation. Similarly, \(E\) is quasiconformally removable if every homeomorphism of \(\hat{\mathbb C}\) which is quasiconformal outside \(E\) is quasiconformal everywhere. The following conjecture was proposed by He and Schramm. Rigidity Conjecture: Let \(\Omega\) be a circle domain. Then the following are equivalent. (A) \(\Omega\) is conformally rigid; (B) the boundary of \(\Omega\) is conformally removable; (C) any Cantor set contained in the boundary of \(\Omega\) is conformally removable. The author studies this conjecture and proves, as first main result, the following. Theorem 3. Let \(\Omega\) be a circle domain whose boundary is the union of countably many circles, Cantor sets and singletons. Then conditions (B) and (C) of the Rigidity Conjecture are equivalent. Theorem 4. Let \(E\) be a compact plane set of the form \[ E=(\cup_{j=1}^{\infty}\Gamma_j)\cup(\cup_{k=1}^{\infty}C_k)\cup(\cup_{l=1}^{\infty}\{z_l\}), \] where each \(\Gamma_j\) is a quasicircle, each \(C_k\) is a Cantor set and each \(z_l\) is a complex number. Then \(E\) is conformally removable if and only if every \(C_k\) is conformally removable. The second main result of the paper is related to the equivalence of conditions (A) and (B) in the Rigidity Conjecture. Theorem 5. A circle domain \(\Omega\) is conformally rigid if and only if it is quasiconformally rigid. The author applies a new technique involving David maps which are referred to as trans-quasiconformal deformations of Schottky groups.
0 references
circle domain
0 references
conformal maps
0 references
quasiconformal maps
0 references
Schottky groups
0 references
0 references