[论文解读] Seesaw words in Thompson's group F

Sean Cleary, Jennifer Taback|arXiv (Cornell University)|Oct 29, 2003

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

一句话总结

本文引入了汤普森群 F 中的“跷跷板词”——即仅具有两种可能的长测地后缀 $x_0^k$ 和 $x_0^{-k}$ 的元素，证明了在标准生成集 $\{x_0, x_1\}$ 下，凯莱图对任意 $k$ 均不满足 $k$-同行为者性质，从而证明 $F$ 无法通过测地线实现组合化。该构造揭示了最小长度代表元中固有的非唯一性，使规范词约化变得复杂。

ABSTRACT

We describe a family of words in Thompson's group F which present a challenge to the question of finding canonical minimal length representatives, and which show that F is not combable by geodesics. These words have the property that there are only two possible suffixes of long lengths for geodesic paths to the word from the identity; one is of the form $g^k$ and the other of the form $g^{-k}$ where g is a generator of the group.

研究动机与目标

• 证明在标准生成集 $\{x_0, x_1\}$ 下，汤普森群 F 的群元素无法一致构造出规范的最小长度代表元。
• 证明在 $\{x_0, x_1\}$ 生成下的 F 的凯莱图对任意 $k$ 均不满足 $k$-同行为者性质，表明该图无法通过测地线实现组合化。
• 通过构造具有高度受限测地路径的元素，分析 F 的几何复杂性，揭示其组合化过程中的结构性障碍。
• 通过展示具有发散测地行为的显式元素族，扩展对 F 的非几乎凸性与非组合化的理解。

提出的方法

• 通过特定的枝型配置构造 F 中的一族元素，称为“跷跷板词”，以控制乘以生成元时词长的变化。
• 应用福特汉德算法计算 F 中的词长，通过追踪树对图中枝类型（如 $L_L$、$R_{NI}$）的变化来实现。
• 利用树对图的约化条件确保唯一性，并分析 $x_0^\pm$ 和 $x_1^\pm$ 如何通过改变枝配对类型来影响词长。
• 分析从单位元到跷跷板词的测地路径，表明只有 $x_0^k$ 或 $x_0^{-k}$ 可能为长后缀，具体取决于路径。
• 通过比较经过 $wx_0$ 和 $wx_0^{-1}$ 的测地路径之间的距离，证明其 $k$-同行为者距离随摆动幅度 $k$ 增大而增长，违反有界性。
• 通过反证法证明不存在测地线组合化：假设存在此类组合化将导致大摆动幅度的跷跷板词的同行为者距离无界。

实验结果

研究问题

• RQ1 能否在标准生成集下，为汤普森群 F 的元素一致构造出规范的最小长度代表元？
• RQ2 在 $\{x_0, x_1\}$ 生成下，F 的凯莱图是否对任意常数 $k$ 满足 $k$-同行为者性质？
• RQ3 F 的词度量中哪些结构性特征阻碍其通过测地线实现组合化？
• RQ4 树对图的几何性质如何影响生成元乘法下的词长约化？
• RQ5 是否存在仅能通过两个生成元减少词长的元素？这对测地线路径有何影响？

主要发现

• 本文构造了 F 中的一族‘跷跷板词’，其中只有 $x_0^k$ 和 $x_0^{-k}$ 可能为长测地后缀，且摆动幅度 $k$ 可任意大。
• 对任意 $k$，均存在跷跷板词，使得通往 $w$ 的测地路径必须以 $x_0^k$ 或 $x_0^{-k}$ 结尾，且经过 $wx_0$ 和 $wx_0^{-1}$ 的路径之间同行为者距离无界。
• 经过 $wx_0$ 和 $wx_0^{-1}$ 的测地路径之间的距离为 $2k$，随 $k$ 增大而无界增长，违反了 $k$-同行为者性质。
• 这表明汤普森群 F 无法通过测地线实现组合化，因为不存在一致的测地路径族能同时满足有界同行为者条件。
• 该构造表明 F 中的最小长度代表元并非唯一或规范的，因为存在多条测地路径通往同一元素，且它们之间无有界距离。
• 通过树对图分析和生成元乘法下的词长追踪，显式证明了 $k$-同行为者性质的失效。