[论文解读] Algebraic & definable closure in free groups

Abderezak Ould Houcine, Daniele Vallino|arXiv (Cornell University)|Aug 29, 2011

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

一句话总结

本文研究自由群与无 torsion 的双曲群中的代数闭包与可定义闭包，证明在秩 ≥4 的自由群中，可定义闭包是代数闭包的真子群——回答了 Sela 提出的问题。本文建立代数闭包为非交换子群时是有限生成、拟凸且双曲的，并与相对于该子群的广义非正则循环 JSJ 分解中的顶点群一致。

ABSTRACT

We study algebraic closure and its relation with definable closure in free groups and more generally in torsion-free hyperbolic groups. Given a torsion-free hyperbolic group G and a nonabelian subgroup A of G, we describe G as a constructible group from the algebraic closure of A along cyclic subgroups. In particular, it follows that the algebraic closure of A is finitely generated, quasiconvex and hyperbolic. Suppose that G is free. Then the definable closure of A is a free factor of the algebraic closure of A and the rank of these groups is bounded by that of G. We prove that the algebraic closure of A coincides with the vertex group containing A in the generalized cyclic JSJ-decomposition of G relative to A. If the rank of G is bigger than 4, then G has a subgroup A such that the definable closure of A is a proper subgroup of the algebraic closure of A. This answers a question of Sela.

研究动机与目标

• 解决 Sela 提出的问题：在自由群中，可定义闭包是否与代数闭包重合？
• 刻画自由群中以及更一般地在无 torsion 双曲群中代数闭包与可定义闭包的结构。
• 证明在无 torsion 双曲群中，非交换子群的代数闭包是有限生成、拟凸且双曲的。
• 证明在自由群中，可定义闭包是代数闭包的自由因子，且两者的秩均受环境群秩的限制。
• 证明在自由群中，子群 A 的代数闭包与相对于 A 的广义非正则循环 JSJ 分解中的顶点群一致。

提出的方法

• 利用一阶逻辑中群上的模型论概念，即代数闭包与可定义闭包。
• 应用无 torsion 双曲群的 JSJ 分解理论，特别是相对于子群的广义非正则循环 JSJ 分解。
• 通过在循环子群上进行 HNN 扩张与楔积自由积，从代数闭包构造环境群。
• 应用 Sela 在无 torsion 双曲群中关于稳定性和消去虚像性质的结果。
• 使用涉及循环约化字、共轭关系与阿贝尔化的关系的群论论证，分析字方程并导出矛盾。
• 应用关键引理（引理 5.4）于 HNN 扩张，以分类共轭特定元素的自同构，从而对自由群模子群的可能自同构进行分类。

实验结果

研究问题

• RQ1 在有限秩的自由群中，子群的可定义闭包是否与代数闭包重合？
• RQ2 在无 torsion 双曲群中，非交换子群的代数闭包与环境群之间的结构关系如何？
• RQ3 代数闭包如何与相对于子群的自由群的 JSJ 分解相关联？
• RQ4 在更高秩的自由群中，可定义闭包是否可能成为代数闭包的真子群？
• RQ5 在自由群模子群的自同构作用下，何时其作用为恒等或对换一个生成元？

主要发现

• 在秩 ≥4 的自由群中，子群的可定义闭包是其代数闭包的真子群，从而对 Sela 的问题给出了否定回答。
• 在无 torsion 双曲群中，非交换子群的代数闭包是有限生成、拟凸且双曲的。
• 环境自由群可通过有限步的在循环子群上的楔积自由积与 HNN 扩张，从代数闭包构造而成。
• 在自由群中，子群 A 的代数闭包与相对于 A 的广义非正则循环 JSJ 分解中包含 A 的顶点群一致。
• 在秩为 2 的自由群中，任意子群的可定义闭包与代数闭包重合。
• 在秩 ≥4 的自由群中，存在子群 A，使得 A 的可定义闭包是其代数闭包的真子群。