[論文レビュー] On the Dimension of Kakeya Sets in the First Heisenberg Group

Jiayin Liu|arXiv (Cornell University)|Jun 22, 2021

Advanced Harmonic Analysis Research被引用数 4

ひとこと要約

本稿では、水平線分をR⁴内の部分集合へ写像する双対性原理を用い、Marstrand型の射影定理と共面積不等式を適用することで、第一ヘイゼンベルク群における任意のカケヤ集合がヘイゼンベルクヒルベルト次元で少なくとも3以上であることを確立している。この下界は、{xoy}-平面がちょうど次元3を達成するため、鋭いものである。

ABSTRACT

We define Kakeya sets in the Heisenberg group and show that the Heisenberg Hausdorff dimension of Kakeya sets in the first Heisenberg group is at least 3. This lower bound is sharp since, under our definition, the $\{xoy\}$-plane is a Kakeya set with Heisenberg Hausdorff dimension 3.

研究の動機と目的

• 第一ヘイゼンベルク群におけるカケヤ集合のヘイゼンベルクヒルベルト次元の下界を求める。
• 標準的なユークリッド空間の射影論法が、コルニャイ距離のリプシッツ的でない性質のため、機能しないという課題に対処する。
• 次元に対する鋭い下界を確立し、3が最適であることを示す。
• ヘイゼンベルク群におけるカケヤ集合が3次元ヘイゼンベルクヒルベルト測度0をとるかどうかを検討し、未解決問題を提示する。

提案手法

• カケヤ集合を、水平平面内のすべての方向に長さ1の線分を含む集合として定義する。
• カケヤ集合Eに属する各水平線分をR⁴内の四つ組として符号化し、L(E) ⊂ R⁴を形成する。
• 双対性原理を用いて、Eと垂直平面の交わりを、L(E)をR³に射影することと関連付ける。
• R³におけるMarstrand型射影定理（Käenmäki-Orponen-Venieri, 2014）を適用し、射影集合の次元を解析する。
• Eilenberg-Harrold, Jr.の共面積不等式を用い、断面のヒルベルト次元と全体の次元との関係を関係づける。
• t軸への射影φの1リプシッツ性を活用し、R³からの次元の上限をヘイゼンベルク群へ移す。

実験結果

リサーチクエスチョン

• RQ1 第一ヘイゼンベルク群におけるカケヤ集合の最小のヘイゼンベルクヒルベルト次元は何か？
• RQ2 カケヤ集合のヘイゼンベルクヒルベルト次元に対する下界3は、改善可能か、それとも鋭いか？
• RQ3 第一ヘイゼンベルク群に、3次元ヘイゼンベルクヒルベルト測度が0であるカケヤ集合は存在するか？
• RQ4 ヘイゼンベルク群の非ユークリッド幾何的性質は、ユークリッド空間と比較してカケヤ集合の次元論にどのように影響を与えるか？
• RQ5 標準的な射影および切断技法が、ユークリッド幾何的測度論からヘイゼンベルク設定へどの程度拡張可能か？

主な発見

• 第一ヘイゼンベルク群における任意のカケヤ集合は、ヘイゼンベルクヒルベルト次元で少なくとも3以上である。
• 下界3は鋭い。{xoy}-平面は、ヘイゼンベルクヒルベルト次元がちょうど3であるカケヤ集合として、この事実を示している。
• コンパクト区間[c₀, c₀ + 1/4]内のほとんどすべてのcについて、断面{x = c} ∩ Eはヘイゼンベルクヒルベルト次元で少なくとも2以上である。
• 任意のα < 2について、断面{x = c} ∩ Eのα次元ヘイゼンベルクヒルベルト測度は無限大である。
• F = E ∩ {(x,y,t) ∈ H | x ∈ [c₀, c₀ + 1/4]}の3次元ヘイゼンベルクヒルベルト測度は無限大であり、したがってdimₕ(H)(F) ≥ 3である。
• 証明は、水平線分とR⁴内での射影との間の双対性に加え、R³における幾何的測度論の高度な道具に依存している。