[论文解读] Almost all one-relator groups with at least three generators are residually finite

Mark Sapir, Iva Špakulová|ArXiv.org|Sep 26, 2008

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

一句话总结

该论文通过证明几乎所有具有三个或更多生成元的一 relator 群几乎必然嵌入到自由群的上升 HNN 扩张中，从而证明了这些群几乎必然具有剩余有限性、对大素数 p 虚拟剩余 (有限 p)-群性质，且是同调的。证明结合了组合群论与概率方法，包括布朗运动结果和自由群上的非回溯随机游走，利用几何群论和代数几何中的深刻结果，确立了典型有限性性质。

ABSTRACT

We prove that with probability tending to 1, a 1-relator group with at least 3 generators and relator of length n is residually finite, virtually residually (finite p)-group for all sufficiently large p, and coherent. The proof uses both combinatorial group theory and non-trivial results about Brownian motions, bridges and excursions in R^k.

研究动机与目标

• 确定至少具有三个生成元的一 relator 群的典型剩余有限性与同调性质。
• 确立此类群几乎必然嵌入到具有已知有限性性质的关键结构类——自由群的上升 HNN 扩张中。
• 在三种概率模型（NR、CR、IC）下分析随机一 relator 群的渐近行为，表明概率收敛于 1。
• 解决一 relator 群是否在典型情况下具有剩余有限性的问题，特别是针对三个或更多生成元的情形。
• 通过概率与几何技术，扩展对一 relator 群的同构问题与结构性质的理解。

提出的方法

• 使用三种概率模型（NR、CR、IC）定义具有 k ≥ 3 个生成元和关系长度 r 的随机一 relator 群，分析当 r → ∞ 时概率的极限。
• 应用几何群论中的结果，包括 Feighn 与 Handel 关于自由群上升 HNN 扩张的同调性结果。
• 采用 Borisov 与 Sapir 的结果：此类 HNN 扩张对大素数 p 是剩余有限的，且虚拟剩余 (有限 p)-群。
• 利用 Cranston、Hsu 与 March 关于维纳测度下布朗运动路径凸包边界光滑性的结果，分析随机游走的几何结构。
• 应用 Olshanskii 的双曲群同余扩张性质，以及 Kapovich-Schupp-Shpilrain 关于一 relator 群中典型同构问题可解性的结果。
• 使用自由群上的非回溯随机游走，并定义“坏”游走（即在关联的范·坎本图中无唯一投影到 0-胞状的游走），证明当 k > 2 时其概率趋于零。

实验结果

研究问题

• RQ1 当 relator 长度 r → ∞ 时，具有 k ≥ 3 个生成元的随机一 relator 群具有剩余有限性的渐近概率是多少？
• RQ2 具有 k ≥ 3 个生成元的随机一 relator 群是否以趋于 1 的概率嵌入到自由群的上升 HNN 扩张中？
• RQ3 具有 k ≥ 3 个生成元的一 relator 群的典型行为是否意味着当 relator 长度增加时，其在极限下具有同调性与剩余有限性？
• RQ4 为何两生成元情形在典型行为上有所不同？在该情形下，剩余有限性是否仍可能以概率 1 成立？
• RQ5 所有形如 H(k,i,w) 的 HNN 扩张是否均为剩余有限？这是否意味着两生成元一 relator 群具有典型剩余有限性？

主要发现

• 当 relator 长度 r → ∞ 时，具有 k ≥ 3 个生成元的随机 k-生成元一 relator 群（k ≥ 3）以趋于 1 的概率嵌入到有限生成自由群的上升 HNN 扩张中。
• 作为推论，此类群以趋于 1 的概率是剩余有限的，并且对所有充分大的素数 p 虚拟剩余 (有限 p)-群。
• 具有 k > 2 的随机 k-生成元一 relator 群为“坏”群（即在关联的范·坎本图中无唯一投影到 0-胞状）的概率渐近趋于零。
• 该结果表明，无法用加法常数来限制关系长度的增加以保持非剩余有限性，这与 Baumslag-Miller-Traeger 的一个猜想相矛盾。
• 对于 k ≥ 3，所有三种概率模型（NR、CR、IC）下，剩余有限性与同调性的概率均收敛于 1，这是由于极限概率的等价性所致。
• 两生成元情形仍为开放问题，尽管经验证据与理论工作表明 H(k,i,w) 扩张是典型的，且其剩余有限性若成立，将意味着该情形下具有典型剩余有限性。