[论文解读] 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

一句话总结

本文刻画了负曲率可解李群 $G_A$ 的理想边界上所有拟对称映射，证明其恰好为形如 $F(x,y) = (ax + c(y), ay + b)$ 的双Lipschitz映射，其中 $a \neq 0$，$b$ 为常数，$c$ 为Lipschitz函数。作为关键结果，本文证明了 $G_A$ 的每个自拟等距映射都是几乎等距映射，且 $G_A$ 的拟等距群同构于一个包含Lipschitz函数空间与对称性的半直积。

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.

研究动机与目标

• 对特定负曲率可解李群 $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)$ 分析边界映射。
• 应用拟对称映射保持水平叶状结构的性质，通过几何与群论论证加以证明。
• 将 $(\mathbb{R}^2, D)$ 上的拟对称映射刻画为形如 $F(x,y) = (ax + c(y), ay + b)$ 的映射，其中 $c$ 为Lipschitz函数，$a \neq 0$。
• 通过拟等距映射的边界延拓，建立 $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 $G_A$ 的拟等距群 $QI(G_A)$ 的结构是什么？
• RQ5 所有 $G_A$ 的拟等距映射是否都是几乎等距映射？它们是否保持高度函数？

主要发现

• 每个映射 $F: (\mathbb{R}^2, D) \to (\mathbb{R}^2, D)$ 若为拟对称，则其为双Lipschitz映射，且具有形式 $F(x,y) = (ax + c(y), ay + b)$，其中 $a \neq 0$，$b$ 为常数，$c: \mathbb{R} \to \mathbb{R}$ 为Lipschitz函数。
• 每个 $G_A$ 拟等距映射的边界映射均为拟对称映射，且 $\partial G_A \setminus \{\xi_0\}$ 上每个拟对称映射均可作为某类拟等距映射的边界映射实现。
• 每个 $G_A$ 的自拟等距映射都是几乎等距映射，即其与某个等距映射或平移与对称的有限复合在一致距离内。
• $G_A$ 的拟等距群 $QI(G_A)$ 同构于 $\overline{L \rtimes \mathbb{R}} \rtimes (\mathbb{R} \times Z_2)$，其中 $L$ 为Lipschitz函数空间。
• 所有 $G_A$ 的自拟等距映射均为高度保持映射，即 $|h(f((x,y),t)) - t|$ 一致有界。
• 每个共形映射 $f: (\mathbb{R}^2, D) \to (\mathbb{R}^2, D)$ 均为 $G_A$ 的等距映射的边界映射，从而证明了一个Liouville型定理。