[论文解读] Conjugation-invariant norms on groups of geometric origin

Dmitri Burago, Sergei O. Ivanov+1 more|arXiv (Cornell University)|Oct 7, 2007

Geometric and Algebraic Topology参考文献 21被引用 28

一句话总结

本文研究了源自几何的微分同胚群上的共轭不变范数，特别关注其有界性性质。研究证明，对于球面、紧致连通的三维流形以及环形区域，光滑紧支集微分同胚群的单位连通分支上的每个共轭不变范数均等价于平凡范数，这意味着这些群是有界的。其核心贡献在于通过同伦修改与c-生成范数的结构化证明，表明此类范数不可能是无界的。

ABSTRACT

A group is said to be bounded if it has a finite diameter with respect to any bi-invariant metric. In the present paper we discuss boundedness of various groups of diffeomorphisms.

研究动机与目标

• 确定在某些流形上，光滑微分同胚群是否允许存在无界的共轭不变范数。
• 研究各种流形 $M$ 的微分同胚群 $\mathrm{Diff}_0(M)$ 的单位连通分支的有界性。
• 分析交换子子群与c-生成范数在决定几何群有界性中的作用。
• 建立范数为稳定无界或等价于平凡范数的条件。
• 解决特定几何情形下的有界性现象，包括球面、三维流形及环形区域。

提出的方法

• 通过有限集 $K$ 的c-生成定义共轭不变范数，其中范数 $q_K(h)$ 为表达 $h$ 所需的 $K$ 中元素的共轭的最小数量。
• 应用c-生成范数的极值性质：任何在 $K$ 上有界的范数，均被 $q_K$ 的某个倍数所控制。
• 在流形上使用同伦技术修改嵌入路径，利用平行六面体中的局部坐标隔离交叉点，并执行II型修改。
• 构造一列在固定集合 $K$ 外支集的微分同胚 $\phi_i$，使得其复合将局部微分同胚 $h_i$ 共轭到互不相交的球内。
• 利用范数的稳定化：$\nu_\infty(f) = \lim_{n\to\infty} \nu(f^n)/n$ 来分析稳定无界性。
• 依赖于如下事实：若 $\nu_\infty(f) \neq 0$，则范数为稳定无界；并证明此类行为在所研究的几何群中不可能发生。

实验结果

研究问题

• RQ1 对于 $M = S^n$、紧致连通的三维流形或环形区域，$\mathrm{Diff}_0(M)$ 上的所有共轭不变范数是否均等价于平凡范数？
• RQ2 交换子子群在决定微分同胚群有界性中起什么作用？
• RQ3 当 $M$ 为亏格 $\geq 1$ 的紧致曲面或莫比乌斯带时，$\mathrm{Diff}_0(M)$ 上是否可能存在无界的共轭不变范数？
• RQ4 在何种条件下，共轭不变范数为稳定无界？
• RQ5 同伦修改与有限集的c-生成如何控制微分同胚群的有界性？

主要发现

• 对于球面、紧致连通的三维流形及环形区域，$\mathrm{Diff}_0(M)$ 上的每个共轭不变范数均等价于平凡范数，意味着这些群是有界的。
• $\mathrm{Diff}_0(M)$ 有界当且仅当c-生成范数 $q_K$ 有界，前提是 $K$ 为有限集。
• 在 $SL(n,\mathbb{R})$ 与 $SL(n,\mathbb{Z})$（$n \geq 3$）中，由初等矩阵生成的c-生成范数有界，从而表明这些群是有界的。
• 群 $G$ 的交换子长度 $G'$ 无界当且仅当 $G$ 无界，建立了交换子结构与有界性之间的关键联系。
• 对于 $M = S^n$、紧致连通的三维流形及环形区域，不存在无界的共轭不变范数，该结论通过同伦修改与c-生成论证得以证明。
• 证明构造了分解 $f_1|_\Gamma = h \phi|_\Gamma$，其中 $h$ 支集于一个球内，$\phi$ 支集于固定集合 $K$ 之外，表明该同伦可分解为有界部分。