[论文解读] Groups of diffeomorphisms of one-manifolds, III: Nilpotent subgroups

Benson Farb, John Franks|arXiv (Cornell University)|Aug 13, 2001

Geometric and Algebraic Topology参考文献 3被引用 9

一句话总结

本文证明了每个有限生成的、无挠的幂零群都可以嵌入到一维流形（$\mathbb{R}$、$S^1$ 或 $[0,1]$）上的 $C^1$ 微分同胚群中，这与 $C^2$ 情况下此类群必须是交换群的刚性形成鲜明对比。关键贡献在于通过 $\mathbb{Z}^n$ 上的词典序和一个平移数同态，构造出在直线上作用的显式 $C^1$ 作用。

ABSTRACT

Plante-Thurston proved that every nilpotent subgroup of $\Diff^2(S^1)$ is abelian. One of our main results is a sharp converse: $\Diff^1(S^1)$ contains every finitely-generated, torsion-free nilpotent group.

研究动机与目标

• 理解一维流形上微分同胚群中幂零子群的结构，特别是与正则性（r）和拓扑（M）的关系。
• 解决 $C^2$ 刚性（Plante-Thurston：幂零子群必须是交换群）与 $C^1$ 灵活性之间的对比。
• 在 $\mathbb{R}$、$S^1$ 和 $[0,1]$ 上显式构造有限生成、无挠幂零群的 $C^1$ 作用。
• 通过推广该构造，将结果扩展到剩余无挠幂零群。
• 在更高正则性下，特别是 $C^2$ 情况下，建立幂零作用的拓扑与动力学约束。

提出的方法

• 通过赋予 $\mathbb{Z}^n$ 词典序，并利用保持该序的群作用，在 $\mathbb{R}$ 上构造一个 $C^1$ 作用。
• 使用与 $N$-不变的 Borel 测度 $\mu$ 相关联的平移数同态 $\tau_\mu: N \to \mathbb{R}$ 来分析不动点行为。
• 应用如下事实作为关键约束：$\operatorname{Diff}^2(I)$、$\operatorname{Diff}^2([0,1))$ 或 $\operatorname{Diff}^2(S^1)$ 中的 $C^2$ 幂零子群是交换群（Plante-Thurston）。
• 利用下中心列结构和换位子恒等式（例如 $[g^m, f^{-n}] = h^{mn}$）在非交换假设下导出矛盾。
• 应用 Denjoy 定理于 $S^1$ 上的 PL同胚，证明 $S^1$ 上的 PL 幂零作用必须是交换群。
• 通过分析不动点集并利用区间上 $C^2$ 幂零作用是交换群的事实，将 $\mathbb{R}$ 上的 $C^2$ 情况约化为区间情况。

实验结果

研究问题

• RQ1 对于一维流形 $M$，$\operatorname{Diff}^1(M)$ 中幂零子群的最大可能幂零类是多少？
• RQ2 微分同胚群的正则性（$C^1$ 与 $C^2$）如何影响幂零子群的结构？
• RQ3 每个有限生成、无挠幂零群是否都能实现为 $M = \mathbb{R}, S^1, [0,1]$ 的 $\operatorname{Diff}^1(M)$ 的子群？
• RQ4 当一个幂零群以 $C^2$ 微分同胚作用于 $\mathbb{R}$ 且所有元素都有不动点时，会引发何种拓扑约束？
• RQ5 该 $C^1$ 作用的构造在多大程度上可推广到更广的群类，如剩余无挠幂零群？

主要发现

• 每个有限生成、无挠幂零群都可作为子群嵌入到 $M = \mathbb{R}, S^1, [0,1]$ 的 $\operatorname{Diff}^1(M)$ 中。
• $C^1$ 正则性是精确的：存在有限生成、无挠幂零群无法嵌入到 $\operatorname{Diff}^2(M)$ 中。
• 每个 $\operatorname{Diff}^2(\mathbb{R})$ 中的幂零子群都是幂交换群，即其换位子群是交换群。
• 若 $\operatorname{Diff}^2(\mathbb{R})$ 中一个幂零子群的所有元素都有不动点，则整个群是交换群。
• 每个有限生成、剩余无挠幂零群都可嵌入到 $M = \mathbb{R}, S^1, [0,1]$ 的 $\operatorname{Diff}^1(M)$ 中。
• $n \times n$ 下三角整数矩阵群 $\mathcal{N}_n$（主对角线上为 1）在 $\mathbb{R}$ 上存在 $C^1$ 作用，但当 $n > 3$ 时不存在 $C^2$ 作用。