[論文レビュー] Semmes surfaces and intrinsic Lipschitz graphs in the Heisenberg group

Katrin Fässler, Tuomas Orponen+1 more|arXiv (Cornell University)|Mar 13, 2018

Mathematical Dynamics and Fractals参考文献 33被引用数 19

ひとこと要約

この論文は、ヘイゼンベルク群 H^k における Semmes 表面が下位アーフォルス正則であり、内在的リプシッツ写像の大きな断片（BPiLG）を持つことを確立している。これは、デイヴィッドによる古典的なユークリッド空間における結果を拡張するものである。証明は、量的非単調性と、亜リーマン幾何的設定に適合させた二重弱幾何補題を用い、ユークリッド空間における Semmes 表面に対しても BPiLG 性質の新たな証明をもたらす。

ABSTRACT

A Semmes surface in the Heisenberg group is a closed set $S$ that is upper Ahlfors-regular with codimension one and satisfies the following condition, referred to as Condition B. Every ball $B(x,r)$ with $x \in S$ and $0 < r < \operatorname{diam} S$ contains two balls with radii comparable to $r$ which are contained in different connected components of the complement of $S$. Analogous sets in Euclidean spaces were introduced by Semmes in the late $80$'s. We prove that Semmes surfaces in the Heisenberg group are lower Ahlfors-regular with codimension one and have big pieces of intrinsic Lipschitz graphs. In particular, our result applies to the boundary of chord-arc domains and of reduced isoperimetric sets.

研究の動機と目的

• ヘイゼンベルク群 H^k における Semmes 表面の下位アーフォルス正則性と BPiLG 性質を確立すること。
• 内在的リプシッツ写像を構成要素として用いて、亜リーマン幾何的設定への定量的可測性理論の拡張を図ること。
• 同じ幾何的・解析的道具を用いて、ユークリッド空間における Semmes 表面の BPiLG 性質に対する新たな証明を提供すること。
• H^k における弦-アーク領域の境界および縮小された等周的集合が、BPiLG 条件を満たすことを示すこと。

提案手法

• チーラー、クラインァー、ノアール、ヤングが提唱した量的非単調性の概念を、ヘイゼンベルク群の設定に適応すること。
• H^k における超平面に関する水平幅および非単調性の概念を導入し、直線の空間に自然な測度を用いること。
• H^k における垂直超平面に対して二重弱幾何補題（BWGL）を証明し、集合がすべてのスケールで平坦さからどれほど逸脱しているかを制御すること。
• BWGL と下位アーフォルス正則性を組み合わせ、内在的リプシッツ写像に基づく被覆議論により BPiLG 性質を導出すること。
• BPiLG および下位正則性条件における定数が、次元 k および上位アーフォルス正則性と条件 B の定数にのみ依存することを確立すること。
• この手法をユークリッド空間に適用し、R^n における Semmes 表面の BWGL および BPiLG 性質に対する新たな証明を提示すること。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク群 H^k における Semmes 表面は、ユークリッド空間のそれらに類似した BPiLG 性質を満たすか？
• RQ2 量的非単調性の概念は、H^k の亜リーマン幾何に効果的に適応可能であり、可測性の結果を証明できるか？
• RQ3 H^k における Semmes 表面の下位アーフォルス正則性は、環境幾何に依存せず、条件 B のみに起因するか？
• RQ4 H^k における内在的リプシッツ写像に対して二重弱幾何補題が成り立つのか？ そして、それが BPiLG を導くのに利用可能か？
• RQ5 H^k で用いられた同じ幾何的・解析的枠組みを、ユークリッド空間における既知の結果（例：Semmes 表面の BWGL および BPiLG）を回復するために応用できるか？

主な発見

• H^k における Semmes 表面は次元 2k+1 の下位アーフォルス正則性を示し、下位正則性定数は k および条件 B 定数にのみ依存する。
• H^k における Semmes 表面は BPiLG 性質を満たし、定数 L および c は k および上位アーフォルス正則性と条件 B 定数にのみ依存する。
• 証明により、H^k における垂直超平面に対して二重弱幾何補題（BWGL）が確立され、表面がすべてのスケールで平坦さからどれほど逸脱しているかが制御される。
• この手法により、ユークリッド空間における Semmes 表面の BWGL および BPiGL 性質に対する新たな証明が得られ、元々の局所的対称性に基づく議論とは独立している。
• BPiGL 性質は、H^k における (2k+1) 次元の H-可測性を意味する。これは、集合が可測ゼロを除いて可算個の内在的リプシッツ写像の和で被覆可能であることを示す。
• 結果は、弦-アーク領域の境界および H^k における縮小された等周的集合に適用可能であり、これらは条件 B および上位アーフォルス正則性を満たすことが知られている。