[论文解读] Schreier graphs of actions of Thompson's group F on the unit interval and on the Cantor set

Dmytro Savchuk|arXiv (Cornell University)|May 20, 2011

Mathematical Dynamics and Fractals被引用 5

一句话总结

本论文利用标准生成元 {x₀, x₁} 构造了 Thompson 群 F 在单位区间和康托集上的施莱尔图。证明了 (0,1) 中点的施莱尔图是可约的，具有无限多条端点，且两两非同构；非带点图同构当且仅当点位于同一轨道中。施莱尔动力系统的完美核与 F 在康托集上的标准作用拓扑共轭。

ABSTRACT

Schreier graphs of the actions of Thompson's group $F$ on the orbits of all points of the unit interval and of the Cantor set with respect to the standard generating set $\\{x_0,x_1\\}$ are explicitly constructed. The closure of the space of pointed Schreier graphs of the action of $F$ on the orbits of dyadic rational numbers and corresponding Schreier dynamical system are described. In particular, we answer the question of Grigorchuk on the Cantor-Bendixson rank of the underlying space of the Schreier dynamical system in the context of $F$. As applications we prove that the pointed Schreier graphs of points from $(0,1)$ are amenable, have infinitely many ends, and are pairwise non-isomorphic. Moreover, we prove that points $x,y\\in(0,1)$ have isomorphic non-pointed Schreier graphs if and only if they belong to the same orbit of $F$.

研究动机与目标

• 显式构造 Thompson 群 F 在单位区间和康托集上点的轨道作用下的施莱尔图。
• 描述二进制有理点的带点施莱尔图空间的闭包，并分析相关的施莱尔动力系统。
• 解决格里戈里奇关于 F 的施莱尔动力系统底层空间的康托-本迪克斯通秩的问题。
• 建立施莱尔图的同构判别准则，并刻画其可约性与端点数等结构性质。
• 证明由单个轨道构建的施莱尔动力系统可恢复 F 在康托集上的完整作用。

提出的方法

• 使用 Thompson 群 F 的标准生成集 {x₀, x₁} 构造施莱尔图。
• 利用 F 在二进制有理数和康托集上的作用定义轨道及相应的施莱尔图。
• 通过递归的树状构造和二进制展开的顶点标记分析施莱尔图的结构。
• 应用拓扑共轭论证，将施莱尔动力系统的完美核与 F 在康托集上的标准作用联系起来。
• 使用邻域同构论证和路径提升技术，证明不同点的带点图非同构。
• 利用迭代单值群和施莱尔图收敛到朱利亚集的结果，获得结构洞见。

实验结果

研究问题

• RQ1 Thompson 群 F 在 (0,1) 和康托集上点的轨道作用下的施莱尔图具有何种结构？
• RQ2 F 的施莱尔动力系统中带点施莱尔图空间的康托-本迪克斯通秩为何？
• RQ3 何时两个 (0,1) 中点的带点施莱尔图同构？
• RQ4 何时两个 (0,1) 中点的非带点施莱尔图同构？
• RQ5 由单个轨道构建的施莱尔动力系统是否能恢复 F 在康托集上的完整作用？

主要发现

• (0,1) 中点的施莱尔图是可约的，具有无限多条端点，且作为带点图两两非同构。
• 二进制有理点轨道的带点施莱尔图空间闭包的完美核与 F 在康托集上的标准作用拓扑共轭。
• (0,1) 中点 x 和 y 的非带点施莱尔图同构当且仅当 x 和 y 在 F 作用下位于同一轨道。
• 由任意 x ∈ (0,1) 的轨道构建的施莱尔动力系统的完美核与 F 在 {0,1}^ω 上的标准作用拓扑共轭。
• 康托集上有限子集的稳定子的施莱尔图是可约的，原因在于存在边界大小为 2 的任意长线段。
• 非带点施莱尔图的同构类仅依赖于点的轨道，由二进制展开的尾等价性决定。