[论文解读] Quasiconformal maps on non-rigid Carnot groups

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

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

一句话总结

本文证明，尽管大多数非刚性Carnot群缺乏经典刚性，但它们具有拟对称刚性：所有此类群上的拟共形映射均为双Lipschitz映射。利用李代数结构与齐次距离，作者证明了非刚性Carnot群上的拟共形映射受双Lipschitz畸变控制，但存在两类例外——Heisenberg积群与复Heisenberg积群——在这些群上，此类映射可能非双Lipschitz。

ABSTRACT

We study quasiconformal maps on non-rigid Carnot groups equipped with Carnot metric. We show that for most non-rigid Carnot groups N, all quasiconformal maps on N must be biLipschitz.

研究动机与目标

• 研究配备Carnot度量的非刚性Carnot群上拟共形映射的刚性问题。
• 确定在缺乏经典 $ C^2 $-刚性的情况下，非刚性Carnot群上的拟共形映射是否必然为双Lipschitz映射。
• 对拟共形映射可能非双Lipschitz的例外非刚性Carnot群进行分类。
• 通过证明所有非刚性Carnot群上拟共形自映射均为畸变受控的拟相似映射，建立拟对称刚性。
• 分析李代数结构与群作用，以识别可通过第一层上的Lipschitz函数构造双Lipschitz映射的条件。

提出的方法

• 本文使用非刚性Carnot群上的Carnot度量，通过齐次距离下映射的畸变性质研究拟共形映射。
• 应用李代数技术，特别是伴随表示 $ ext{ad} hinspace X $，分析线性映射的秩，并通过李代数的复化确定非刚性。
• 双Lipschitz映射 $ F_h $ 的构造依赖于定义映射 $ F_h(x) = x * ig( extstyleigsum_{j=2}^{n+1} h_j(x_1)e_jig) $，其中 $ h_j $ 为第一层上的Lipschitz函数。
• 证明使用Baker–Campbell–Hausdorff公式展开距离 $ d(F_h(x), F_h(\tilde{x})) $，并与 $ d(x, \tilde{x}) $ 比较，通过三角不等式与范数估计证明其可比较性。
• 关键估计涉及 $ e_1 $ 的系数 $ \tilde{x}_1 - x_1 $，其控制畸变，并利用引理6.2处理涉及 $ [e_1, \tilde{y}] $ 的交换子项。
• 论证区分了模型Filiform群 $ F^n $ 与一般非刚性群，表明相同估计适用于 $ F^n $，从而可将结果推广。

实验结果

研究问题

• RQ1 尽管缺乏 $ C^2 $-刚性，非刚性Carnot群上的拟共形映射是否必然为双Lipschitz映射？
• RQ2 Carnot群的李代数具有何种结构特征，可允许存在非双Lipschitz的拟共形映射？
• RQ3 哪些非刚性Carnot群不具备拟对称刚性？它们与一般情况有何本质区别？
• RQ4 群作用与不变性性质（如 $ G_2 $-不变性在 $ \tilde{V}_2 $ 上）如何影响双Lipschitz映射的存在性？
• RQ5 能否通过第一层上的Lipschitz函数在非刚性Carnot群上构造双Lipschitz映射？其畸变由何控制？

主要发现

• 对于大多数非刚性Carnot群，所有拟共形映射均为双Lipschitz映射，即畸变受拟对称函数 $ \eta $ 控制的拟相似映射。
• 拟共形映射可能非双Lipschitz的例外非刚性Carnot群恰好为Heisenberg积群与复Heisenberg积群。
• 本文通过第一层上的Lipschitz函数 $ h_j $ 显式构造了非刚性Carnot群上的一族双Lipschitz映射 $ F_h $，其畸变有界于 $ L+1 $，其中 $ L $ 为第一层上映射 $ G_h $ 的Lipschitz常数。
• 关键估计 $ ||Y|| \leq L \cdot |\tilde{x}_1 - x_1| $ 确保BCH展开中扰动项 $ Y $ 的控制，从而实现双Lipschitz有界性。
• 在模型Filiform群 $ F^n $ 中，相同构造产生双Lipschitz映射，畸变有界于 $ L+1 $，其中 $ L $ 为相关映射 $ G_h $ 的双Lipschitz常数。
• 证明表明 $ d(F_h(x), F_h(\tilde{x})) \leq (L+1) \cdot d(x, \tilde{x}) $ 且 $ d(x, \tilde{x}) \leq (L+1) \cdot d(F_h(x), F_h(\tilde{x})) $，从而确认了双Lipschitz性质。