[論文レビュー] A solution of Gromov's Hölder equivalence problem for the Heisenberg group

Roger Züst|arXiv (Cornell University)|Jan 5, 2016

Geometric Analysis and Curvature Flows参考文献 10被引用数 3

ひとこと要約

この論文は、ヘイゼンベルク群におけるグロモフの Hölder 同値問題を解決し、一様凸性を持つ距離空間で第一リプシッツホモロジーが自明な空間からヘイゼンベルク群への Hölder 継続的写像で指数 >1/2 のものが、木へと因数分解されることを証明する。これは、ドメインに円板を含む場合にはそのような写像が単射でないことを示し、最も単純な非自明な場合にグロモフの問いに否定的な答えを与える。同様の手法により、$\alpha > 1/2$ のとき、正の曲率をもつ曲面の $C^{1,\alpha}$ 等長埋め込みに対する外在的曲率の上限についてボリソフの結果も改善される。

ABSTRACT

We show that a map with Hölder exponent bigger than $1/2$ from a quasi-convex metric space with vanishing first Lipschitz homology into the Sub-Riemannian Heisenberg group factors through a tree. In particular, if the domain contains a disk, such a map can't be injective. This gives an answer to a question of Gromov for the simplest nontrivial case. The same tools allow to improve on a result of Borisov and it is shown that an isometric immersion of class $C^{1,α}$ of a Riemannian surface with positive Gauss curvature into $\mathbb{R}^3$ has bounded extrinsic curvature if $α> 1/2$.

研究の動機と目的

• ヘイゼンベルク群におけるグロモフの未解決問題を、最も単純な非自明な場合に解決すること。
• 一様凸性を持つ空間で第一リプシッツホモロジーが自明な空間からヘイゼンベルク群への Hölder 写像（指数 >1/2）が木へと因数分解されることを確立すること。
• ドメインに位相的円板を含む場合、そのような写像が単射でないことを証明すること。
• 同様の分析を用いて、リーマン面の $C^{1,\alpha}$ 等長埋め込みが $\mathbb{R}^3$ に埋め込まれる際の外在的曲率の上限に関するボリソフの結果を改善すること。
• 非等長埋め込みの解析に用いる統一的な枠組みを、メトリックとホモロジー的道具を用いて構築すること。

提案手法

• リプシッツホモロジー理論を用いて、ヘイゼンベルク群への写像にかかる位相的制約を解析する。
• 準凸性の概念を用いて、ドメイン空間における十分な幾何的制御を保証する。
• 第一リプシッツホモロジーが自明であることから、指数 >1/2 の Hölder 写像の像に木に似た構造が存在することを用いる。
• メトリック微分法を用いて、サブリーマン幾何的設定における Hölder 写像の挙動を解析する。
• このような写像の構造定理を適用し、それが木へと因数分解されることを導き出し、ドメインに円板を含む場合には単射性が失われることを示す。
• 同様の手法を用いて、正のガウス曲率をもつ曲面の $\mathbb{R}^3$ への $C^{1,\alpha}$ 等長埋め込みの外在的曲率を解析する。

実験結果

リサーチクエスチョン

• RQ1 一様凸性を持つ距離空間で第一リプシッツホモロジーが自明な空間からヘイゼンベルク群への Hölder 継続的写像（指数 >1/2）が、ドメインに円板を含む場合に単射である可能性はあるか？
• RQ2 このような写像の構造的制約は何か？ そして、それが木への因数分解を意味するか？
• RQ3 第一リプシッツホモロジーの消滅が、ヘイゼンベルク群への Hölder 写像の幾何に与える影響は何か？
• RQ4 グロモフの問題を解くのと同じ手法を用いて、$\mathbb{R}^3$ への曲面の等長埋め込みにおける曲率の上限を改善できるか？
• RQ5 $C^{1,\alpha}$ 正則性における $\alpha$ の鋭い閾値は何か？ これは正の曲率をもつ曲面に対して外在的曲率が有界であることを保証する。

主な発見

• 一様凸性を持つ距離空間で第一リプシッツホモロジーが自明な空間からヘイゼンベルク群への Hölder 継続的写像（指数 >$1/2$）は、木へと因数分解される。
• ドメインに位相的円板を含む場合、そのような写像は単射でない。これは、最も単純な非自明な場合にグロモフの問いに否定的な答えを与える。
• 同様の手法により、正のガウス曲率をもつリーマン面の $C^{1,\alpha}$ 等長埋め込みが $\mathbb{R}^3$ に埋め込まれる場合、$\alpha > 1/2$ のとき外在的曲率が有界であることが示される。
• ボリソフの以前の結果を改善し、外在的曲率が有界であるための鋭い閾値 $\alpha = 1/2$ を確立した。
• 木への因数分解は、指数 >1/2 の Hölder 写像がサブリーマン幾何的設定において単射性に位相的障害をもたらすことを示唆する。
• 解析により、メトリック幾何、リプシッツホモロジー、およびサブリーマン的・ユークリッド的空間における等長埋め込みの正則性の間の深い関係が明らかになった。