[论文解读] Chain groups of homeomorphisms of the interval

Sang-Hyun Kim, Thomas Koberda+1 more|arXiv (Cornell University)|Oct 13, 2016

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

一句话总结

本文引入了区间上保向同胚的链群作为汤普森群 F 的推广，证明其具有二分性：要么其换位子群是单群，要么其作用具有游动区间，并可导出一个具有单换位子群的典范商群。关键贡献在于，Homeo⁺(I) 的每个有限生成子群均可嵌入至一个极小链群中，从而得出存在不可数多个同构类型的单子群及无非平凡 C¹ 作用于区间的群。

ABSTRACT

We introduce and study the notion of a chain group of homeomorphisms of a one-manifold, which is a certain generalization of Thompson's group $F$. The resulting class of groups exhibits a combination of uniformity and diversity. On the one hand, a chain group either has a simple commutator subgroup or the action of the group has a wandering interval. In the latter case, the chain group admits a canonical quotient which is also a chain group, and which has a simple commutator subgroup. On the other hand, every finitely generated subgroup of $\operatorname{Homeo}^+(I)$ can be realized as a subgroup of a chain group. As a corollary, we show that there are uncountably many isomorphism types of chain groups, as well as uncountably many isomorphism types of countable simple subgroups of $\operatorname{Homeo}^+(I)$. We consider the restrictions on chain groups imposed by actions of various regularities, and show that there are uncountably many isomorphism types of $3$--chain groups which cannot be realized by $C^2$ diffeomorphisms, as well as uncountably many isomorphism types of $6$--chain groups which cannot be realized by $C^1$ diffeomorphisms. As a corollary, we obtain uncountably many isomorphism types of simple subgroups of $\operatorname{Homeo}^+(I)$ which admit no nontrivial $C^1$ actions on the interval. Finally, we show that if a chain group acts minimally on the interval, then it does so uniquely up to topological conjugacy.

研究动机与目标

• 定义并研究链群作为区间上保向同胚群中汤普森群 F 的自然推广。
• 分析链群的正规子群结构，揭示极小作用下换位子群为单群与存在游动区间作用之间的二分性。
• 证明 Homeo⁺(I) 的每个有限生成子群均可嵌入至一个极小链群中，从而揭示其丰富且多样的子群结构。
• 研究链群通过微分同胚实现时的正则性约束，特别是证明某些链群无法通过 C¹ 或 C² 微分同胚实现。
• 利用鲁宾定理和局部稠密性性质，建立链群极小作用的唯一性（模拓扑共轭）。

提出的方法

• 将 n-链群定义为由具有重叠支集的 n 个同胚生成的群，其中每对相邻同胚生成一个汤普森群 F 的副本。
• 引入预链群的概念，并证明高次幂的生成元可生成链群，从而证明定理 1.1。
• 应用鲁宾定理，证明任意两个极小链群之间的同构均由拓扑共轭诱导。
• 构造 Homeo⁺(I) 中任意有限生成子群到 (n+2)- 或 (n+1)-链群的嵌入，从而证明定理 1.4。
• 通过轨道闭包与支集结构分析链群的动力行为，区分极小作用与存在游动区间的动作。
• 运用共轭论证与支集控制，证明动作的局部稠密性与极小性，尤其在极小链群情形下。

实验结果

研究问题

• RQ1 Homeo⁺(I) 的每个有限生成子群是否均可嵌入至链群中？若是，其最小链规模为何？
• RQ2 链群的换位子群结构如何？其何时为单群？
• RQ3 在何种正则性条件下，链群可由 C¹ 或 C² 微分同胚实现？是否存在不可数多个不可实现类型？
• RQ4 链群在区间上的极小作用是否唯一（模拓扑共轭）？
• RQ5 动力行为（如游动区间）与链群的代数结构之间存在何种关系？

主要发现

• Homeo⁺(I) 的每个有限生成子群均可嵌入至 (n+2)-链群中；若第一个生成元的支集有有限多个分支，则可嵌入至 (n+1)-链群中。
• 存在不可数多个链群的同构类型，且存在不可数多个 Homeo⁺(I) 的可数单子群的同构类型。
• 存在不可数多个 3-链群的同构类型，其无法通过 C² 微分同胚实现。
• 存在不可数多个 6-链群的同构类型，其无法通过 C¹ 微分同胚实现。
• 若链群在区间上极小作用，则该作用在拓扑共轭意义下唯一。
• 链群要么其换位子群为单群，要么可导出一个换位子群为单群的典范商群。