[论文解读] Thompson's Group F is not Minimally Almost Convex

James Belk, Kai‐Uwe Bux|ArXiv.org|Jan 14, 2003

Geometric and Algebraic Topology参考文献 5被引用 4

一句话总结

本文证明了理查德·汤普森群 F 关于生成集 {x₀, x₁} 不是极小几乎凸的，使用森林图表示法分析凯莱图中的字长和路径距离。关键结果表明，对于所有偶数 n ≥ 4，存在长度为 n 的元素 f 和 g，它们之间的距离为 2，但其最短路径在 n-球内长度达到 2n，违反了极小几乎凸条件。

ABSTRACT

We prove that Richard Thompson's group F is not minimally almost convex with respect to the two standard generators. This improves upon a recent result of S. Cleary and J. Taback. We make use of the forest diagrams for elements of F introduced by J. Belk and K. Brown. These diagrams seem particularly well-suited for understanding the Cayley graph for the two standard generators.

研究动机与目标

• 确定汤普森群 F 是否关于生成集 {x₀, x₁} 是极小几乎凸的，以改进先前的研究结果。
• 解决对 F 的几何与算法性质，特别是其凸性行为的理解中的空白。
• 将森林图作为计算与结构工具，用于分析凯莱图中的字长与测地线路径。
• 证明凸性函数 c(n) 在无穷多个 n 上超过 2n−1，从而违反极小几乎凸条件。
• 提供一个具体反例，表明即使两点距离很近，其最短路径仍可能被迫穿越整个 n-球。

提出的方法

• 使用约化的森林图——将群元素表示为具有保序叶双射的双无限二叉森林对——以建模 F 的元素及其乘法。
• 利用森林图的长度公式计算凯莱图中的字长与距离，借助枝条的约化与展开操作。
• 定义关键结构概念：左端元素、宽度 w(f) 与关键叶，以分析路径约束及相对于关键线的位置。
• 应用 x₂ = x₀⁻¹x₁x₀ 与左端元素的交换性质，关联路径段并估计距离。
• 构造特定元素 l 和 r，其长度为 2n+2，满足 d(l,r)=2，但任何在 B₂ₙ₊₂ 内从 l 到 r 的路径长度至少为 4n+4。
• 基于三角不等式与一个关键引理：对于路径上某些顶点 hₗ 和 hᵣ，有 d(hₗ,hᵣ) ≥ 2n+3，从而得出主要的下界估计。

实验结果

研究问题

• RQ1 汤普森群 F 是否关于生成集 {x₀, x₁} 是极小几乎凸的？
• RQ2 在 F 中，对于足够大的 n，凸性函数 c(n) 是否能被 2n−1 所限制？
• RQ3 F 的凯莱图的哪些结构特性阻止了在 n-球内实现靠近元素间的短路径？
• RQ4 森林图如何促进对 F 中字长与测地线路径的分析？
• RQ5 是否可能在两个长度为 n 且距离为 2 的元素之间强制生成长度为 2n 的路径，从而违反极小几乎凸条件？

主要发现

• 汤普森群 F 关于 {x₀, x₁} 不是极小几乎凸的，因为对于所有偶数 n ≥ 4，凸性函数 c(n) 超过 2n−1。
• 对于每个偶数 n ≥ 4，存在 F 中长度为 n 的元素 f 和 g，满足 d(f,g) = 2，但其在 n-球内的最短路径长度为 2n。
• 证明构造了一条从 l 到 r 的长度为 2n 的路径，位于 Bₙ 内，其中 l 和 r 是长度为 2n+2 的元素，且 d(l,r) = 2，但任何此类路径的长度至少为 4n+4。
• 关键步骤在于证明：对于任何从 l 到 r 的路径上的某些顶点 hₗ 和 hᵣ，有 d(hₗ, hᵣ) ≥ 2n+3，从而强制总路径长度至少为 4n+4。
• 利用左端元素与元素 x₂ = x₀⁻¹x₁x₀ 的性质，使作者能够控制复合元素的长度，并建立所需的距离下界。
• 该结果表明，F 的凯莱图的几何结构比先前认为的更复杂，即使在靠近的点之间，当限制在 n-球内时，仍需经历长距离迂回。