[论文解读] Geometric quasi-isometric embeddings into Thompson's group F

Sean Cleary, Jennifer Taback|arXiv (Cornell University)|Nov 15, 2002

Geometric and Algebraic Topology参考文献 6被引用 7

一句话总结

本文通过树对图和移位映射，构造了子群 $F^m \times \mathbb{Z}^n$ 到汤普森群 $F$ 的显式几何拟等距嵌入。利用移位映射 $\phi$ 的度量性质以及 Fordham 的词长估计方法，作者证明了这些嵌入是拟等距的，揭示了 $F$ 及其子群的复杂几何结构。

ABSTRACT

We use geometric techniques to investigate several examples of quasi-isometrically embedded subgroups of Thompson's group F. Many of these are explored using the metric properties of the shift map phi in F. These subgroups have simple geometric but complicated algebraic descriptions. We present them to illustrate the intricate geometry of Thompson's group F as well as the interplay between its standard finite and infinite presentations. These subgroups include those of the form F^m cross Z^n, for integral non-negative m and n, which were shown to occur as quasi-isometrically embedded subgroups by Burillo and Guba and Sapir.

研究动机与目标

• 通过显式构造拟等距嵌入的子群，研究汤普森群 $F$ 的几何结构。
• 利用树对图，为 $F$ 的代数上复杂的子群（特别是 $F^m \times \mathbb{Z}^n$）提供几何解释。
• 通过基于克隆子群和移位映射的构造性方法，证明子群 $F^m \times \mathbb{Z}^n$ 在 $F$ 中是拟等距嵌入的。
• 通过正常形式的几何实现，阐明 $F$ 的有限与无限表示之间的相互作用。
• 为纯代数的拟等距嵌入证明提供几何替代方案，此前由 Burillo、Guba 和 Sapir 建立。

提出的方法

• 使用树对图表示 $F$ 的元素，即具有相同数量外露叶子的有限根二叉树对。
• 应用移位映射 $\phi$ 将 $F^m \times \mathbb{Z}^n$ 的嵌入生成到 $F$ 中，其中 $\phi$ 通过移动树结构发挥作用。
• 采用 Fordham 的方法，通过树对图中的枝数 $N(w)$ 估计有限表示 $\mathcal{F}$ 中的词长 $|w|_{\mathcal{F}}$。
• 建立边界：$N(w) - 2 \leq |w|_{\mathcal{F}} \leq 4N(w) - 4$，用于控制嵌入中的扭曲。
• 通过不相交的克隆子群 $C_{s_i}$ 构造嵌入，其中地址 $s_i$ 选择为前缀无关，以确保交集平凡。
• 定义映射 $\Psi: F^m \times \mathbb{Z}^n \to F$，结合移位映射下的像与特定生成元的幂，确保交换性与单射性。

实验结果

研究问题

• RQ1 能否通过几何方法将形如 $F^m \times \mathbb{Z}^n$ 的子群拟等距嵌入汤普森群 $F$？
• RQ2 移位映射 $\phi$ 和树对图的度量性质如何促进此类嵌入的构造？
• RQ3 嵌入映射 $\Psi$ 的扭曲行为如何？是否可以建立边界以确认拟等距性？
• RQ4 $F$ 的有限表示与无限表示在正常形式的几何实现与子群嵌入中如何相互作用？
• RQ5 能否在 $F$ 中构造出多个不同的 $F^m \times \mathbb{Z}^n$ 的拟等距嵌入？其几何结构由什么决定？

主要发现

• 通过不相交克隆子群与移位映射定义的映射 $\Psi: F^m \times \mathbb{Z}^n \to F$ 是一个拟等距嵌入。
• 词长 $|\Psi(w_1, \dots, w_m, t_1, \dots, t_n)|_{\mathcal{F}}$ 满足 $|\Psi|_{\mathcal{F}} \leq 4|(w_1, \dots, t_n)|_{F^m \times \mathbb{Z}^n} + C'$，其中 $C'$ 为某常数，建立了上界扭曲。
• 推导出下界 $|\Psi|_{\mathcal{F}} \geq |(w_1, \dots, t_n)|_{F^m \times \mathbb{Z}^n} - C''$，确认该嵌入是拟等距的。
• 该构造产生了一族无限多个拟等距嵌入的子群 $F^m \times \mathbb{Z}^n$ 在 $F$ 中，其参数为前缀无关地址 $s_1, \dots, s_{m+1}$。
• 嵌入的几何简洁性——基于树移位与枝数——与正常形式的代数复杂性形成鲜明对比，展示了 $F$ 的丰富几何结构。
• 该方法确认并几何实现了 Burillo、Guba 和 Sapir 早期关于此类嵌入存在的代数结果。