[论文解读] Isometric endomorphisms of free groups

Danny Calegari, Alden Walker|arXiv (Cornell University)|Jan 21, 2011

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

一句话总结

该论文证明了在自由群之间，随机同态在稳定交换子长度（scl）下几乎必然为等距映射，揭示了自由群的scl单位球中存在大量奇异等距映射。通过脂肪图技巧与顶点拟同态，作者证明了在交换子长度至多为 $ n $ 的自由群中，随机元素的scl恰好为 $ n - \frac{1}{2} $，并提供了可计算的拟同态以证实这些结果。

ABSTRACT

An arbitrary homomorphism between groups is nonincreasing for stable commutator length, and there are infinitely many (injective) homomorphisms between free groups which strictly decrease the stable commutator length of some elements. However, we show in this paper that a random homomorphism between free groups is almost surely an isometry for stable commutator length for every element; in particular, the unit ball in the scl norm of a free group admits an enormous number of exotic isometries. Using similar methods, we show that a random fatgraph in a free group is extremal (i.e. is an absolute minimizer for relative Gromov norm) for its boundary; this implies, for instance, that a random element of a free group with commutator length at most n has commutator length exactly n and stable commutator length exactly n-1/2. Our methods also let us construct explicit (and computable) quasimorphisms which certify these facts.

研究动机与目标

• 研究自由群之间同态在稳定交换子长度（scl）下成为等距映射的普遍性，挑战人们普遍认为scl在同态下非增的预期。
• 证明随机同态 $ F_k \to F_l $ 以概率 $ 1 - O(C^{-n}) $ 成为scl的等距映射，揭示了scl单位球中丰富的奇异等距映射结构。
• 构建显式且可计算的拟同态，以证实随机脂肪图的极值性，并证明在交换子长度有界的自由群中，随机元素可达到最大scl。
• 开发高效算法，利用局部条件与三价脂肪图上的对撞法技术，验证极值拟同态。

提出的方法

• 通过为 $ F_k $ 的生成元分配长度至多为 $ n $ 的随机元素，定义随机同态 $ \varphi: F_k \to F_l $，并渐近分析其成为scl等距映射的概率。
• 论文利用广义Bavard对偶性将scl与齐次拟同态联系起来，聚焦于从脂肪图导出的顶点拟同态，以验证极值性。
• 引入一个组合条件（条件B），用于验证脂肪图标记是否生成顶点拟同态，其依赖于子词避免与小扰动性质。
• 应用对撞法算法搜索满足拟同态条件的三价脂肪图的有效标记，显著提升了搜索效率。
• 将同态应用于脂肪图，以将非极值标记转化为极值标记，从而提高找到极值拟同态的成功率。
• 利用每张脂肪图50万次随机标记的实证数据，估算失败率，并拟合成功概率的指数模型。

实验结果

研究问题

• RQ1 自由群之间随机同态保持稳定交换子长度的概率是多少？
• RQ2 能否高效计算自由群中随机脂肪图的极值拟同态？
• RQ3 在交换子长度至多为 $ n $ 的自由群中，随机元素是否达到最大可能的稳定交换子长度 $ n - \frac{1}{2} $？
• RQ4 通过将随机同态应用于脂肪图，能否降低找到顶点拟同态的失败率？
• RQ5 脂肪图标记的何种组合条件可保证极值拟同态的存在？

主要发现

• 长度为 $ n $ 的随机同态 $ \varphi: F_k \to F_l $ 以概率 $ 1 - O(C(k,l)^{-n}) $ 成为scl的等距映射，其中 $ C(k,l) > 1 $，证明了scl单位球中奇异等距映射的存在。
• 在交换子长度至多为 $ n $ 的自由群中，随机元素的稳定交换子长度恰好为 $ n - \frac{1}{2} $，且由极值脂肪图所证实。
• 对于具有四个顶点的三价脂肪图，找到顶点拟同态的成功率建模为 $ P(\text{success}) \geq 1 - 82.3971(3.19827)^{-n} $，失败率随标记长度呈指数衰减。
• 将随机同态应用于脂肪图可使找到极值拟同态的成功率提高约5倍，尤其在较短标记中效果显著。
• 通过局部子词与常数条件，可在多项式时间内验证顶点拟同态的缺陷，而一般拟同态则需指数时间。
• 等距猜想提出：任何从 $ F_2 \to F $ 的单射同态均为scl的等距映射，该猜想得到大量计算证据与理论推理的支持。