[論文レビュー] Prime ends in the Heisenberg group $\mathbb{H}_{1}$ and the boundary behavior of quasiconformal mappings

Tomasz Adamowicz, Ben Warhurst|arXiv (Cornell University)|Dec 30, 2015

Geometric Analysis and Curvature Flows参考文献 55被引用数 5

ひとこと要約

この論文は、ユークリッド空間から部分リーマン多様体のハイゼンベルク群 $\mathbb{H}_1$ へのナッキの素因数理論の拡張を試み、均一的でローレンダー条件を満たす領域に対して、$p$-モジュラスに基づく素因数構成を導入する。クアサイソコンフォーマル写像の境界への拡張定理を確立し、カラテオドリ型の拡張、コーベの弧状極限、リンデルーフの主点収束、ツジの定理を、$\ell^4$-設定における $p$-モジュラスと可 rectifiable 曲線族を用いて示す。

ABSTRACT

We investigate prime ends in the Heisenberg group $\mathbb{H}_{1}$ extending Näkki's construction for collared domains in Euclidean spaces. The corresponding class of domains is defined via uniform domains and the Loewner property. Using prime ends we show the counterpart of Caratheodory's extension theorem for quasiconformal mappings, the Koebe theorem on arcwise limits, the Lindelöf theorem for principal points and the Tsuji theorem.

研究の動機と目的

• ユークリッド空間で発展したナッキの素因数理論を、部分リーマン多様体のハイゼンベルク群 $\mathbb{H}_1$ の設定に一般化すること。
• 特に $p=4$ の場合に、均一的かつローレンダー性質を持つ領域に対して、$p$-モジュラスによる曲線族に基づく強固な素因数境界を定義すること。
• クアサイソコンフォーマル写像の拡張定理を確立し、特に素因数コンactificationへのカラテオドリ型の同相的拡張を含むこと。
• クアサイソコンフォーマル写像に対して、古典的境界挙動定理（コーベ、リンデルーフ、ツジ）の類似を $\mathbb{H}_1$ で証明すること。
• ハイゼンベルク設定における素因数、境界における有限連結性、境界点への到達可能性の関係を明確にすること。

提案手法

• $\mathbb{H}_1$ における素因数のモジュラスに基づく定義を採用し、特に曲線族の $4$-モジュラスを用いる。これは、均一的領域では距離に基づく定義と同値である。
• 均一性とローレンダー性質を用いて、$\mathbb{H}_1$ における「コラージュドメイン」の概念を導入し、モジュラスに基づく素因数定義が適切に振る舞うことを保証する。
• $\ell^4$-モジュラスの定式化を用い、$\mathrm{Mod}_4\Gamma = \inf_{\varrho \in F_r(\Gamma)} \int_{\mathbb{H}_1} \varrho^4 \, d\lambda$ を証明する。これは可 rectifiable 曲線に対して有効である。
• $p$-モジュラスと曲線族の理論を応用し、適切な関数の $L^4$-ノルムの下界として素因数を特徴付ける。
• 付録を用いて、$\mathbb{H}_1$ における $p$-モジュラスの基本的性質を確立し、特に可 rectifiable 曲線に対して $\mathrm{Mod}_4\Gamma$ と $\mathrm{Mod}_4\Gamma_r$ が等価であることを示す。
• 境界における有限連結性と点の到達可能性を通じて、素因数を位相的境界構造に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド空間におけるナッキの素因数理論は、モジュラスに基づく定義を用いて、部分リーマン多様体のハイゼンベルク群 $\mathbb{H}_1$ に拡張可能か？
• RQ2 $\mathbb{H}_1$ の領域にどのような条件を課えると、モジュラスに基づく素因数が適切に振る舞う位相的性質と拡張定理をもたらすか？
• RQ3 ハイゼンベルク群 $\mathbb{H}_1$ の領域間のクアサイソコンフォーマル写像は、素因数境界に同相的に拡張可能か？ どのような領域の条件が必要か？
• RQ4 古典的境界挙動定理（コーベ、リンデルーフ、ツジ）は、$\mathbb{H}_1$ におけるクアサイソコンフォーマル写像に一般化可能か？
• RQ5 ハイゼンベルク設定における素因数は、有限連結性や到達可能性といった位相的境界構造とどのように関係するか？

主な発見

• 本論文はカラテオドリ型の拡張定理を確立した：$\mathbb{H}_1$ 内の領域間のクアサイソコンフォーマル写像は、素因数コンパクト化に同相的に拡張可能である。
• コーベ型の定理が証明された：境界で有限連結な領域において、クアサイソコンフォーマル写像は端のカットに沿って弧状極限を持つ。
• リンデルーフ型の定理が確立された。これは、写像の端カットに沿ったクラスターセットが、対応する素因数の主点と関係していることを示している。
• ツジの定理が $\mathbb{H}_1$ に一般化された。クアサイソコンフォーマル写像が境界点で径方向極限を持つのは、その素因数が単一の代表元を持つとき、かつそのときに限る。
• 非可 rectifiable 曲線が $\mathbb{H}_1$ で $4$-モジュラスがゼロであることが示され、$\mathrm{Mod}_4\Gamma = \inf_{\varrho \in F_r(\Gamma)} \int_{\mathbb{H}_1} \varrho^4 \, d\lambda$ が成り立つことが証明された。
• 可 rectifiable 曲線からなる族 $\Gamma_r$ に対して $\mathrm{Mod}_4\Gamma = \mathrm{Mod}_4\Gamma_r$ が証明され、$4$-モジュラスが可 rectifiable 曲線のみに依存することが示された。