[论文解读] A Rigidity Property of Some Negatively Curved Solvable Lie Groups

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

Geometric Analysis and Curvature Flows参考文献 16被引用 4

一句话总结

本文建立了某些负曲率可解李群 $G_A$ 的刚性性质，通过证明所有自准等距映射均为几乎等距映射，从而实现该结果：即在抛物型视觉度量下，理想边界上的任意准对称自映射均为双-Lipschitz 映射。关键结果为：此类映射在有界误差范围内保持大尺度几何结构，将刚性结果从对称空间推广至更广范围。

ABSTRACT

We show that for some negatively curved solvable Lie groups, all self quasiisometries are almost isometries. We prove this by showing that all self quasisymmetric maps of the ideal boundary (of the solvable Lie groups) are bilipschitz with respect to the visual metric. We also define parabolic visual metrics on the ideal boundary of Gromov hyperbolic spaces and relate them to visual metrics.

研究动机与目标

• 建立一类负曲率可解李群 $G_A$ 的刚性性质。
• 证明当 $r \geq 2$ 时，$G_A$ 的所有自准等距映射均为几乎等距映射。
• 利用抛物型视觉度量分析 $G_A$ 理想边界上准对称映射的结构。
• 将 $G_A$ 的几何性质与边界上准对称映射的行为相关联，特别是固定无穷远点 $\xi_0$。

提出的方法

• 通过具有递增正特征值 $\alpha_i$ 的对角矩阵 $A$ 定义可解李群 $G_A = \mathbb{R}^n \rtimes_A \mathbb{R}$。
• 赋予 $G_A$ 一个左不变的黎曼度量，使其成为 Gromov 黑塞双曲空间，其截面曲率位于 $[-\alpha_r^2, -\alpha_1^2]$ 范围内。
• 在 $\partial G_A \setminus \{\xi_0\} \approx \mathbb{R}^n$ 上引入一个抛物型视觉度量 $D$，其定义为 $D(x,y) = \max_i |x_i - y_i|^{\alpha_1 / \alpha_i}$。
• 利用 Bruce Kleiner 的结果：$\partial G_A$ 的自准对称映射固定 $\xi_0$ 且保持水平叶状结构，从而将问题约化至配备度量 $D$ 的 $\mathbb{R}^n$。
• 通过群内准中心估计与距离比较，证明任意此类准对称映射在度量 $D$ 下均为双-Lipschitz 映射。
• 推导出点与其在准等距映射下像之间高度差的界，表明高度偏移是均匀有界的。

实验结果

研究问题

• RQ1 当 $r \geq 2$ 时，$G_A$ 的所有自准等距映射是否均为几乎等距映射？
• RQ2 在视觉度量下，$\partial G_A$ 的准对称自映射是否在抛物型视觉度量 $D$ 下成为双-Lipschitz 映射？
• RQ3 $\partial G_A \setminus \{\xi_0\}$ 上的抛物型视觉度量 $D$ 与 Gromov 黑塞双曲空间上的标准视觉度量有何关系？
• RQ4 即使映射非共形，是否仍可通过边界上的准对称映射建立 $G_A$ 的刚性？
• RQ5 在 $G_A$ 的准等距映射下，点的高度偏移是否存在统一有界？

主要发现

• 当 $r \geq 2$ 时，$G_A$ 的任意自准等距映射均为几乎等距映射，即距离畸变被统一有界。
• 所有配备视觉度量的 $\partial G_A$ 自准对称映射在 $\partial G_A \setminus \{\xi_0\}$ 上的抛物型视觉度量 $D$ 下均为双-Lipschitz 映射。
• 任意点 $(x,t) \in G_A$ 及其在准等距映射下像的高度差至多为仅依赖于准等距常数与群参数的统一常数。
• $G_A$ 的准等距映射 $f$ 的边界映射 $\partial f$ 固定点 $\xi_0$（对应于 $t \to \infty$ 的垂直测地线），并保持水平叶状结构。
• 任意两点在 $G_A$ 中的距离及其在准等距映射下像的距离之差至多为统一常数，该常数可显式用 $\alpha_1, \alpha_r$, $L$, $A$, 和 $\delta$ 表示。
• 证明依赖于准中心估计与边界上的双-Lipschitz 控制，表明 $G_A$ 的大尺度几何在准等距映射下具有刚性。