[論文レビュー] Quasisymmetric Maps on the Boundary of a Negatively Curved Solvable Lie Group

Xiangdong Xie|arXiv (Cornell University)|Dec 31, 2009

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

ひとこと要約

この論文は、負に曲がった可解Lie群 $G_A$ の理想境界上のすべての準対称写像を特徴づけ、それらが $a \neq 0$、$b$ が定数、$c$ がリプシッツ連続であるような形 $F(x,y) = (ax + c(y), ay + b)$ の双リプシッツ写像であることを証明している。主な結果として、$G_A$ の自己準等長写像はすべてほぼ等長写像であり、$G_A$ の準等長写像群は、リプシッツ関数の空間と対称性を含む半直積と同型であることが示された。

ABSTRACT

We describe all the self quasisymmetric maps on the ideal boundary of a particular negatively curved solvable Lie group. As applications, we prove a Liouville type theorem, and derive some rigidity properties for quasiisometries of the solvable Lie group.

研究の動機と目的

• 特定の負に曲がった可解Lie群 $G_A$ の理想境界上のすべての自己準対称写像を分類すること。
• 境界力学を用いて、$G_A$ の準等長写像に対する剛性結果を確立すること。
• 境界上の自己同型写像に対してLiouville型定理を証明すること。
• 境界対応を介して、準等長写像群 $QI(G_A)$ の構造を特定すること。

提案手法

• 測地線と水平超曲面距離を用いて、$\partial G_A \setminus \{\xi_0\} \cong \mathbb{R}^2$ 上に放物型視覚的準距離 $D$ を定義する。
• 準対称写像条件 $\frac{d(F(x),F(y))}{d(F(x),F(z))} \leq \eta\left(\frac{d(x,y)}{d(x,z)}\right)$ を用いて境界写像を分析する。
• 幾何的および群論的議論により、準対称写像が水平foliationを保存することを応用する。
• $(\mathbb{R}^2, D)$ 上の準対称写像を、$c$ がリプシッツ連続で $a \neq 0$ である形 $F(x,y) = (ax + c(y), ay + b)$ として特徴づける。
• 準等長写像の境界への拡張を介して、$QI(G_A)$ と $QS(\mathbb{R}^2, D)$ の間の群同型を確立する。
• 高さを尊重する準等長写像の群 $QI'(G_A)$ を構成し、$\overline{L \rtimes \mathbb{R}} \rtimes (\mathbb{R} \times Z_2)$ と同型であることを示し、すべての準等長写像がこのような写像から有界距離内に存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 $G_A$ の理想境界上でのすべての準対称自己写像の正確な構造は何か？
• RQ2 $\partial G_A \cong \mathbb{R}^2$ 上で、放物型視覚的準距離 $D$ に関してどの写像が準対称的であるか？
• RQ3 境界上の準対称写像は $G_A$ の準等長写像とどのように関係するか？
• RQ4 準等長写像群 $QI(G_A)$ の構造は何か？
• RQ5 すべての $G_A$ の準等長写像はほぼ等長写像であるか？また、高さ関数を保存するか？

主な発見

• すべての準対称写像 $F: (\mathbb{R}^2, D) \to (\mathbb{R}^2, D)$ は双リプシッツであり、$a \neq 0$、$b$ が定数、$c: \mathbb{R} \to \mathbb{R}$ がリプシッツ連続である形 $F(x,y) = (ax + c(y), ay + b)$ に表せる。
• $G_A$ のすべての準等長写像の境界写像は準対称的であり、$\partial G_A \setminus \{\xi_0\}$ 上のすべての準対称写像は、このような境界写像として現れる。
• $G_A$ のすべての自己準等長写像はほぼ等長写像である。つまり、等長写像または平行移動と対称性の有限回の合成に一様に近い。
• 準等長写像群 $QI(G_A)$ は $\overline{L \rtimes \mathbb{R}} \rtimes (\mathbb{R} \times Z_2)$ と同型であり、ここで $L$ はリプシッツ関数の空間である。
• $G_A$ のすべての自己準等長写像は高さを尊重する。すなわち、$|h(f((x,y),t)) - t|$ は一様に有界である。
• すべての自己同型写像 $f: (\mathbb{R}^2, D) \to (\mathbb{R}^2, D)$ は $G_A$ の等長写像の境界写像である。これはLiouville型定理を証明する。