[论文解读] No-splitting property and boundaries of random groups

François Dahmani, Vincent Guirardel+1 more|arXiv (Cornell University)|Apr 24, 2009

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

一句话总结

该论文证明了在格罗莫夫密度模型中，任意密度 d < 1/2 的随机群均满足性质 (FA)，即它们在树上的作用非平凡，因此不能在有限或拟循环子群上分裂。作为推论，其在密度小于 1/2 时的格罗莫夫边界为梅热曲线，即一个通用的 1 维紧致度量空间。

ABSTRACT

We prove that random groups in the Gromov density model, at any density, satisfy property (FA), i.e. they do not act non-trivially on trees. This implies that their Gromov boundaries, defined at density less than 1/2, are Menger curves.

研究动机与目标

• 建立在格罗莫夫密度模型中，任意密度 d < 1/2 的随机群均满足性质 (FA)。
• 证明该性质 (FA) 暗示此类群的格罗莫夫边界为梅热曲线。
• 将先前仅在密度 d < 1/24 时成立的梅热曲线边界结果推广至所有 d < 1/2。
• 证明随机群不能在有限或拟循环子群上分裂，这是分类其边界拓扑的关键。
• 提供一种适用于所有低于 1/2 的密度的统一证明方法，结合自动机理论与小扩张论证。

提出的方法

• 使用 ε-自动机与大自动机来建模随机群可能的分裂结构。
• 构造一个 (1/2n min{δ+β, δ+α}, ε)-大 ε-自动机，其语言避免长度 ≥3 的字 relators。
• 基于循环语言的 I₀-增长率，应用增长率论证，证明随机 relators 几乎必然与此类自动机语言相交。
• 使用反证法：假设存在分裂，推导出对 ε 的一个界，该界与构造中 ε 的选择矛盾。
• 利用小扩张理论及随机 relators 的结构已知结果，证明自动机语言不可能与 relator 集相交。
• 利用性质 (FA) 在商映射下保持不变的性质，并应用里普斯理论与贝斯特维娜-保林论证，排除在 R-树上的作用。

实验结果

研究问题

• RQ1 在格罗莫夫密度模型中，任意密度 d < 1/2 的随机群是否满足性质 (FA)？
• RQ2 是否可将梅热曲线确立为所有密度 d < 1/2 时随机群的格罗莫夫边界，而不仅限于 d < 1/24？
• RQ3 随机群的何种结构性质阻止其在有限或拟循环子群上分裂？
• RQ4 证明中所用的自动机理论方法如何确保不存在在树上的非平凡作用？
• RQ5 在较高密度下 C’(1/12) 小扩张条件不成立时，是否可通过其他群论性质补偿，以仍保证 (FA)？

主要发现

• 任意密度 d < 1/2 的随机群均满足性质 (FA)，即它们在树上的作用非平凡，且不能在有限或拟循环子群上分裂。
• 在密度 d < 1/2 时，随机群的格罗莫夫边界为梅热曲线，即一个通用的 1 维紧致度量空间。
• 该结果将先前仅在 d < 1/24 时成立的梅热曲线边界结果推广至所有 d < 1/2。
• 证明依赖于构造一个大 ε-自动机，其语言以高概率避开 relator 集，从而暗示不存在非平凡分裂。
• 关键矛盾源于对 ε 的界，该界违反了所需的增长率条件，从而排除了任何分裂的可能性。
• 作为推论，此类随机群的外自同构群是有限的，且其同态到无 torsion 的双曲群的类在共轭意义下也是有限的。