[論文レビュー] Quantitative notions of rectifiability in the Heisenberg groups

Séverine Rigot|arXiv (Cornell University)|Apr 15, 2019

Advanced Topology and Set Theory参考文献 9被引用数 8

ひとこと要約

この論文は、ヘイゼンベルク群において、大きな内在的リプシッツグラフの断片（BPiLG）条件を満たす集合が、定量的可微分性における主要な条件である二重弱幾何学的補題（BWGL）を満たすことを確立する。証明は二段階に分けられる：まず、内在的リプシッツグラフが一様な境界つきでBWGLを満たすことを示し、次に、BWGLが「大きな断片関手」の下で安定であることを証明することで、ヘイゼンベルク設定におけるBPiLG ⇒ BWGLを確立する。

ABSTRACT

Several quantitative notions of rectifiability in the Heisenberg groups have emerged in the recent literature. In this paper we study the relationship between two of them, the big pieces of intrinsic Lipschitz graphs (BPiLG) condition and the bilateral weak geometric lemma (BWGL), and show that sets with BPiLG satisfy the BWGL.

研究の動機と目的

• ヘイゼンベルク群における二つの定量的可微分性条件、BPiLGとBWGLの関係を明確化すること。
• BPiLGがBWGLを含意することを示し、既知のユークリッド空間での結果を部分リーマン幾何の設定に拡張すること。
• BWGLが「大きな断片関手」の下で安定であるという安定性結果を証明すること。これはユークリッド空間においても新規である。
• パrameterに明示的な依存関係を持つ、BPiLG ⇒ BWGLの定量的版を提供すること。

提案手法

• まず、$\mathbb{H}^k$ における内在的リプシッツグラフが、幾何的および測度論的推定を用いて一様な境界つきでBWGLを満たすことを証明する。
• 次に、安定性結果を確立する：集合 $E$ が内在的リプシッツグラフの大きな断片を持つならば、$E$ はBWGLを満たす。これは、大きな断片条件と $\beta$-数のCarleson型制御との相互作用を分析することで得られる。
• $\epsilon$-閾値を二重 $\beta$-数に用い、フラットネスの過剰を制御するための関連集合 $\widetilde{A}_\epsilon$、$B_\varepsilon$、$\widetilde{B}_\varepsilon$ を定義する。
• 集合 $\{(p,s) \in \widetilde{E} \times \mathbb{R}^+ : \text{フラットネスの過剰} > \varepsilon\}$ にCarleson測度条件を適用し、アーフォルズ正則性と倍加性の性質を活用する。
• dyadic立方体分割とウィットニー型立方体における積分推定を用いて、フラットネス過剰が大きい点の集合の $\mathcal{H}^{2k+1}$-測度を上から抑える。
• 安定性の議論をユークリッド空間の設定に再解釈することで、新たな結果を得る：$\mathbb{R}^n$ においても、BWGLは大きな断片関手の下で安定であり、これは文献において以前に未知であった。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク群 $\mathbb{H}^k$ において、大きな内在的リプシッツグラフの断片（BPiLG）条件は、二重弱幾何学的補題（BWGL）を含意するか？
• RQ2 「大きな断片関手」の下でBWGLの安定性がヘイゼンベルク設定で確立できるか？
• RQ3 パrameterに明示的な依存関係を持つ、BPiLG ⇒ BWGL の定量的版は存在するか？
• RQ4 ヘイゼンベルク設定におけるBWGLの安定性はユークリッド設定に拡張可能か？この結果は既存の文献において新規であるか？

主な発見

• ヘイゼンベルク群 $\mathbb{H}^k$ においてBPiLG条件を満たす集合は、二重弱幾何学的補題（BWGL）を満たす。これは定量的可微分性における重要な含意を確認する。
• ヘイゼンベルク群 $\mathbb{H}^k$ における内在的リプシッツグラフは、リプシッツ定数と次元にのみ依存する一様な境界つきでBWGLを満たす。
• BWGL条項は「大きな断片関手」の下で安定である：集合が内在的リプシッツグラフの大きな断片を持つならば、その集合はBWGLを満たす。
• 主要結果の定量的版が確立された：任意の $C \geq 1$、$\lambda \in (0,1)$、$\theta > 0$ に対して、$\gamma(\epsilon)$ が存在し、$\operatorname{BPiLG}(C,\lambda,\theta) \subset \operatorname{BWGL}(C,\gamma)$ が成り立つ。
• 証明技法により、ユークリッド空間においても新たな結果が得られた：任意の次元のアーフォルズ正則集合に対して、BWGLは大きな断片関手の下で安定であり、これは以前に未知であった。
• 二重 $\beta$-数のCarleson型制御は、大きな断片構成の下でも保たれ、すべてのスケールで一様なフラットネス制御が保証される。