[論文レビュー] Quasiconformal maps on model Filiform groups

Xiangdong Xie|arXiv (Cornell University)|Aug 14, 2013

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

ひとこと要約

本稿では、Carnot計量を備えた高段階の実および複素モデルFiliform群上の準等角写像を完全に分類し、それらがすべて左平行移動、階数同型、および特定のリプシッツ制御された変形の有限合成であることを示している。主な結果として、複素数の場合、準等角写像は極めて剛体的である——複素共役を除き、それらは正則的であり、多項式写像とその逆写像を持つ必要がある。

ABSTRACT

We describe all quasiconformal maps on the higher (real and complex) model Filiform groups equipped with the Carnot metric, including non-smooth ones. These maps have very special forms. In particular, they are all biLipschitz and preserve multiple foliations. The results in this paper have implications to the large scale geometry of nilpotent Lie groups and negatively curved solvable Lie groups.

研究の動機と目的

• Carnot計量を備えた高段階の実および複素モデルFiliform群上のすべての準等角写像を分類すること。
• 非剛体なCarnot群上の準等角写像の幾何学的・解析的剛体性を理解すること。
• これらの群上の準等角写像が滑らかであるか、非滑らかである可能性があるか、どのような形を取るかを特定すること。
• これらの結果が、可解Lie群および冪零Lie群の大規模幾何に与える影響を探索すること。
• 滑らかさや正則性の仮定をせず、準等角写像の完全な特徴付けを確立すること。

提案手法

• モデルFiliform群 $F_K^n$（$K = \mathbb{R}$ または $\mathbb{C}$）における群構造および左不変なCarnot計量を使用する。
• リプシッツ関数 $h:\mathbb{R} \to \mathbb{R}$ の繰り返し積分によって写像 $F_h$ を定義し、高次層における変形を生成する。
• 冪零群上の準等角写像について、Pansuのほとんど everywhere での微分可能性理論を適用する。
• 商群構造（例：$F_{\mathbb{C}}^n / H_3 \cong H_{\mathbb{C}}^1$）を用いて、問題を低次元の場合に還元する。
• 準等化性と準等角性を活用し、商群上の誘導写像が準等化的であることを示す。Tysonの補題を用いる。
• 基底層上の誘導写像が複素アフィン写像でなければならないことを証明し、複素数の場合にすべての写像が左平行移動と階数同型の合成であるという結論に至る。

実験結果

リサーチクエスチョン

• RQ1 Carnot計量を備えた高段階の実モデルFiliform群上の準等角写像の完全な構造は何か？
• RQ2 滑らかさの仮定がない場合、複素モデルFiliform群上の準等角写像はどのように振る舞うか？
• RQ3 非剛体Carnot群上の準等角写像の剛体性は、群の代数的および計量的構造によってどの程度決定されるか？
• RQ4 非滑らかな準等角写像がこれらの群上に存在する可能性はあり、その場合どのような形を取るか？
• RQ5 冪零Lie群にCarnot計量が定義された状況において、準等角写像と双リプシッツ写像の関係は何か？

主な発見

• すべての準等角写像 $F_{\mathbb{R}}^n$（$n \geq 3$）は、左平行移動、階数同型、およびリプシッツ関数 $h$ によって誘導される写像 $F_h$ の有限合成である。
• 複素数の場合、すべての準等角写像 $F_{\mathbb{C}}^n$（$n \geq 3$）は、複素共役を除き、左平行移動と階数同型の有限合成である。
• $F_{\mathbb{C}}^n$ 上の準等角写像は双リプシッツ的であり、リー代数の層によって定義される複数のfoliation（葉層構造）を保存する。
• 任意の $F_{\mathbb{C}}^n$ 上の準等角写像のPansu微分は、ほとんど everywhere で恒等写像である。これは、写像が階数同型と合成することで左平行移動になることを示唆する。
• 階数同型と左平行移動の合成を経て、写像は多項式的であり、逆写像も多項式的である。これは、複素共役を含む可能性があるが、階数同型と左平行移動の構造のおかげである。
• これらの結果は、非剛体なCarnot群でさえ、準等角写像が強い剛体性を示すことを示しており、ヘイゼンベルク群（$n=2$）の場合に見られる柔軟性とは対照的である。