[论文解读] Groups acting freely on $Λ$-trees

Olga Kharlampovich, Alexei Myasnikov+1 more|arXiv (Cornell University)|Nov 1, 2009

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

一句话总结

本文证明，任何具有在有序阿贝尔群 Λ 上的自由 Lyndon 长度函数的有限生成群，均可嵌入到一个在 Λ 上具有正则自由长度函数的有限生成群中，且保持原始长度函数不变。此外，还证明了在 Λ 上具有正则自由长度函数的此类群可嵌入到配备字典序的 ℝⁿ 中，并可通过一系列具有极大阿贝尔关联子群和长度同构同构的 HNN-扩张构造而成。

ABSTRACT

A group is called $Λ$-free if it has a free Lyndon length function in an ordered abelian group $Λ$, which is equivalent to having a free isometric action on a $Λ$-tree. A group has a regular free length function in $Λ$ if and only if it has a free isometric action on a $Λ$-tree so that all branch points belong to the orbit of the base point. In this paper we prove that every finitely presented $Λ$-free group $G$ can be embedded into a finitely presented group with a regular free length function in $Λ$ so that the length function on $G$ is preserved by the embedding. Next, we prove that every finitely presented group $\widetilde G$ with a regular free Lyndon length function in $Λ$ has a regular free Lyndon length function in ${\mathbb R}^n$ ordered lexicographically for an appropriate $n$ and can be obtained from a free group by a series of finitely many HNN-extensions in which associated subgroups are maximal abelian and length isomorphic.

研究动机与目标

• 通过刻画任意有序阿贝尔群 Λ 上的有限生成 Λ-自由群，解决 Alperin-Bass 计划中的关键部分。
• 证明每个有限生成的 Λ-自由群均可通过保持长度函数不变的方式嵌入到一个在 Λ 上具有正则自由长度函数的群中。
• 证明在 Λ 上具有正则自由长度函数的有限生成群同构于通过一系列具有极大阿贝尔关联子群和长度同构同构的 HNN-扩张所构造的群。
• 建立此类群可作为在配备字典序的 ℝⁿ-树上自由且正则作用的实现。
• 通过在 Lyndon 长度函数框架中引入正则性和完备性，弥合抽象长度函数与 Λ-树上几何作用之间的差距。

提出的方法

• 使用广义方程和消去过程分析作用在 Λ-树上的群的结构。
• 在直线消去过程中应用初等变换，以控制无穷小长度并保持长度函数不变。
• 通过 Rips 机理和带有 Λ 上测度 foliation 的叶状带复形构造群嵌入。
• 通过将有序阿贝尔群分解为 ℝ-子群的直和，将长度函数从 Λ 降低到配备字典序的 ℝⁿ。
• 使用具有极大阿贝尔关联子群和长度同构同构的 HNN-扩张来构建目标群结构。
• 通过消去过程中层级数的归纳法，证明长度函数的正则性及其在 ℝⁿ 中重定义下的不变性。

实验结果

研究问题

• RQ1 每个有限生成的 Λ-自由群是否都能在保持原始长度函数的前提下，嵌入到一个在 Λ 上具有正则自由长度函数的有限生成群中？
• RQ2 在任意有序阿贝尔群 Λ 上，具有正则自由 Lyndon 长度函数的有限生成群的结构特征是什么？
• RQ3 此类群能否通过具有特定性质的自由群 HNN-扩张来构造？
• RQ4 是否可以将 Λ-自由群在 Λ-树上的作用实现为在配备字典序的 ℝⁿ-树上的正则作用？
• RQ5 正则性条件在确保 Λ 中的长度函数可通过具有极大阿贝尔关联子群的 HNN-扩张实现中起到何种作用？

主要发现

• 每个有限生成的 Λ-自由群均可嵌入到一个在 Λ 上具有正则自由长度函数的有限生成群中，且保持原始长度函数不变。
• 在 Λ 上具有正则自由 Lyndon 长度函数的有限生成群，可在某个 n 下实现为在配备字典序的 ℝⁿ 上具有正则自由长度函数的群。
• 此类群可作为一系列 HNN-扩张构造而成，其中关联子群为极大阿贝尔群，且同构为长度同构。
• 在重新定义后，ℝⁿ 中的长度函数与 Lyndon 长度函数一致，且在相应的 ℝⁿ-树上作用自由且正则。
• 群的结构完全由消去过程及其生成的广义方程的坐标群决定，且在初等变换下保持秩不变。
• 长度函数的正则性确保原始 Λ 中的无穷小长度元素必须属于一个子群 Λ′′，且该子群在嵌入过程中被保持。