[论文解读] Rigidity for $C^1$ actions on the interval arising from hyperbolicity I: solvable groups

Christian Bonatti, Ignacio Monteverde+2 more|arXiv (Cornell University)|Sep 20, 2013

Mathematical Dynamics and Fractals参考文献 15被引用 9

一句话总结

该论文在循环生成元在阿贝尔子群上以双曲方式作用的条件下，建立了单连通可解、阿贝尔-循环群在区间上的 $C^1$ 作用的刚性。证明了此类作用在缺乏光滑共轭的情况下，仍与仿射作用拓扑共轭，且对乘数有精确控制；并利用双曲动力系统与次指数增长性质，排除了异常极小集与有限轨道的存在。

ABSTRACT

We consider Abelian-by-cyclic groups for which the cyclic factor acts by hyperbolic automorphisms on the Abelian subgroup. We show that if such a group acts faithfully by $C^1$ diffeomorphisms of the closed interval with no global fixed point at the interior, then the action is topologically conjugated to that of an affine group. Moreover, in case of non-Abelian image, we show a rigidity result concerning the multipliers of the homotheties, despite the fact that the conjugacy is not necessarily smooth. Some consequences for non-solvable groups are proposed. In particular, we give new proofs/examples yielding the existence of finitely-generated, locally-indicable groups with no faithful action by $C^1$ diffeomorphisms of the interval.

研究动机与目标

• 在双曲性条件下，对阿贝尔-循环群在区间上的 $C^1$ 作用进行分类。
• 即使缺乏光滑共轭，也建立与仿射群的拓扑共轭关系。
• 通过迭代作用下平移向量与导数的动力学分析，排除异常极小集的存在。
• 通过控制乘数行为，将刚性结果推广至非阿贝尔像的情形。
• 提供新的群示例与证明，说明某些局部可指示的群无法在区间上存在忠实的 $C^1$ 作用。

提出的方法

• 利用作用在阿贝尔子群上的矩阵 $A$ 的双曲性，控制导数增长与轨道扩张。
• 通过唯一遍历性与 $\log(Da)$ 的零均值，应用 $Da^n$ 的次指数增长估计。
• 构造归一化的平移向量 $\vec{\tau}_{x_n}$ 及其在稳定/不稳定子空间上的累积。
• 在对偶范数 $\|\cdot\|_*$ 下使用锥场与锥的扩张/收缩性质，控制向量方向。
• 利用 $|Da^n|$ 的次指数增长性质，当平移向量在不稳定方向累积时导出矛盾。
• 将 Thurston 稳定性与 Cantwell-Conlon 的技术适应于具有非平凡动力学的 $C^1$ 作用。

实验结果

研究问题

• RQ1 在何种条件下，阿贝尔-循环群在区间上的 $C^1$ 作用与仿射作用拓扑共轭？
• RQ2 在阿贝尔子群上作用的双曲性如何影响 $C^1$ 群作用的刚性？
• RQ3 能否通过导数控制与次指数增长性质，证明有限轨道与异常极小集的不存在性？
• RQ4 对非阿贝尔 $C^1$ 作用，平移变换的乘数施加了何种约束？
• RQ5 哪些局部可指示、有限生成的群无法在区间上存在忠实的 $C^1$ 作用？原因是什么？

主要发现

• 若 $C^1$ 作用 $G = \mathbb{Z} \ltimes_A H$ 在区间上无内部全局不动点，且 $A$ 为双曲矩阵，则该作用与仿射作用拓扑共轭。
• 对于非阿贝尔像，即使缺乏光滑共轭，平移变换的乘数仍受到严格约束。
• 通过反证法证明异常极小集的不存在性：若平移向量在不稳定方向累积，则导数增长将与 $Da^n$ 的次指数增长矛盾。
• 归一化的平移向量 $\vec{\tau}_{x_n}$ 依初始方向累积于 $A^T$ 的不稳定或稳定子空间。
• 证明依赖于对偶范数 $\|\cdot\|_*$ 下的锥论证，表明在 $E^u$ 附近的小锥内向量在反向迭代下被扩张。
• 在 $A$ 无模为 1 的特征值且 $H$ 具有全 $\mathbb{Q}$-秩 $d$ 的假设下，结论成立，以确保充分的动力学行为。