[论文解读] Rigidity of fiber-preserving quasisymmetric maps

Enrico Le Donne, Xiangdong Xie|arXiv (Cornell University)|Jan 10, 2015

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

一句话总结

该论文证明了在特定度量空间——具体而言，$(\alpha,L)$-纤维化拟度量空间——上，保持纤维的拟对称映射必然是双李普希茨的。关键结果表明，在平行性、非孤立性以及非平行纤维发散的条件下，保持纤维的拟对称映射必为拟相似，因而为双李普希茨。该刚性结果被应用于第一层可约的卡诺群及海森堡群，证明了保持竖直线的拟对称映射必为双李普希茨。

ABSTRACT

We show that fiber-preserving quasisymmetric maps are biLipschitz. As an application, we show that quasisymmetric maps on Carnot groups with reducible first stratum are biLipschitz.

研究动机与目标

• 建立一个一般性刚性条件，使得保持叶状结构（纤维）的拟对称映射为双李普希茨。
• 定义并分析$(\alpha,L)$-纤维化拟度量空间的结构，捕捉负曲率可解李群理想边界的关键几何特征。
• 将主要刚性结果应用于第一层可约的卡诺群上的拟对称映射，证明其为双李普希茨。
• 将结果推广至保持竖直线的海森堡群上的拟共形映射，证明其同样为双李普希茨。
• 为Dymarz关于$N \times \mathbb{Q}_m$上拟对称映射为双李普希茨的定理提供一个新的证明。

提出的方法

• 引入$(\alpha,L)$-纤维化拟度量空间的概念，要求纤维与无界测地空间雪花等价，并满足平行性与发散性条件。
• 定义保持纤维的拟对称映射，并通过控制拟度量常数以及参数$\alpha$、$L$和$\eta$，证明其为拟相似（因而为双李普希茨）。
• 利用卡诺群的结构，特别是其李代数的分层结构及保持分层的自同构作用，验证纤维化拟度量空间的公理。
• 将主定理应用于海森堡群$H^n$，其中纤维为竖直线，通过证明其与$\mathbb{R}$在$1/2$-雪花度量下为$L$-双李普希茨等价，得出保持纤维的拟对称映射为双李普希茨。
• 证明对于$N \times \mathbb{Q}_m$（其中$N$为卡诺群，$\mathbb{Q}_m$为$m$-进整数），所有拟对称映射均为双李普希茨，方法为验证纤维化拟度量空间的所有公理并应用定理1.1。
• 利用Baker–Campbell–Hausdorff公式及李括积的性质，分析群元素在共轭与伸缩下的行为，当假设子群与其共轭之间具有有限Hausdorff距离时，除非共轭元素正规化该子群，否则将导致矛盾。

实验结果

研究问题

• RQ1 在何种条件下，拟度量空间上的保持纤维的拟对称映射会成为双李普希茨？
• RQ2 能否将负曲率可解李群理想边界上拟对称映射的刚性性归结为保持纤维的结构？
• RQ3 在第一层可约的卡诺群上，拟对称映射是否必为双李普希茨？
• RQ4 在海森堡群上保持竖直线的拟共形映射是否必须为双李普希茨？
• RQ5 对于卡诺群$N$与$m$-进整数$\mathbb{Q}_m$的积空间$N \times \mathbb{Q}_m$，所有拟对称映射是否必为双李普希茨？

主要发现

• 任意$\eta$-拟对称映射$F: X \to Y$在$(\alpha,L)$-纤维化拟度量空间之间若保持纤维，则为$(K,C)$-拟相似，因而为双李普希茨，其中$K$仅依赖于$\eta$、$\alpha$、$L$以及$X$和$Y$的拟度量常数。
• 在海森堡群$H^n$中，任意保持竖直线的拟共形映射均为双李普希茨，因为竖直线与$\mathbb{R}$在$1/2$-雪花度量下为$L$-双李普希茨等价。
• 在配备最大度量的$N \times \mathbb{Q}_m$上，所有拟对称映射均为双李普希茨，因为纤维$N \times \{y\}$满足纤维化拟度量空间的所有公理。
• 平行纤维满足$d(u,V) = d(v,U) = a$的条件不能弱化为$HD(U,V) < \infty$；提供了反例以说明更强的平行性条件的必要性。
• 在第一层可约的卡诺群中，若对所有保持分层的自同构$A$，在$V_1$中存在非平凡的$A$-不变子空间，则当共轭元素$g$不正规化对应子群时，将导致矛盾，从而证明此类映射必为双李普希茨。