[论文解读] On equations in relatively hyperbolic groups

François Dahmani|arXiv (Cornell University)|May 16, 2005

Geometric and Algebraic Topology参考文献 16被引用 2

一句话总结

该论文证明了在抛物子群为阿贝尔群的无 torsion 相对双曲群中，带系数的存在性一阶理论的可判定性，并在每个抛物子群的存在性理论可判定的条件下，将该结果推广至完整的丢番图理论。该工作推广了 Sela 对双曲群的结果，并适用于具有孤立平坦的 CAT(0) 群，通过适配 Papasoglu 的算法以提升算法的一致性。

ABSTRACT

We investigate the problem of deciding the Diophantine theory (resp. the existential first order theory), of some torsion free relatively hyperbolic group (i.e. the problems of satisfiability of finite systems of equations (resp. of equations and inequations) with coefficients). We give a positive answer to the second problem when the parabolic subgroups are abelian, and to the first problem, more generally, when the existential first order theory of each parabolic subgroup is decidable. This, for example, applies to torsion free CAT(0) groups with isolated flats, answering a question of Z. Sela. This also gives another proof, and a generalization of a result of Sela on the decidability of the existential first order theory, with coefficients, of a torsion free hyperbolic group. Finally, we adapt an algorithm described by Papasoglu, to be run preliminarily, to get more uniformity for our algorithms. Relatively hyperbolic groups were introduced by M. Gromov [20], and the theory was initially developed by B. Farb [18] and independently by B. Bowditch [3]. There is now a rich growing literature on this subject. The idea of their definition is to generalize the class of geometrically finite Kleinian groups, in Gromov’s hyperbolicity spirit. Such groups differ from hyperbolic ones by the presence of parabolic subgroups, analogous to the cusp subgroups of the fundamental groups of finite volume hyperbolic manifolds. There is no algebraic restriction on what can be the parabolic subgroups. Nevertheless, the case of virtually abelian ones is of particular interest. There are many examples that arise naturally: fundamental groups of finite

研究动机与目标

• 确定在无 torsion 相对双曲群中，带系数的存在性一阶理论的可判定性。
• 在每个抛物子群的存在性理论可判定的条件下，将可判定性结果推广至完整的丢番图理论。
• 将 Sela 对双曲群的结果推广至更广泛的相对双曲群类。
• 将结果应用于具有孤立平坦的 CAT(0) 群，回答 Z. Sela 提出的开放问题。
• 通过适配 Papasoglu 的算法，改进相对双曲群中方程决策过程的算法一致性。

提出的方法

• 利用相对双曲群的结构，其中群相对于一组抛物子群是双曲的。
• 应用模型论技术，将环境群中方程与不等方程的可判定性归约为抛物子群中的可判定性。
• 采用每个抛物子群的存在性一阶理论可判定的假设作为关键技术要素。
• 适配 Papasoglu 的算法，以增强不同群之间决策过程的一致性与效率。
• 利用无 torsion 相对双曲群且抛物子群为阿贝尔群的性质，使在某些情境下可实现有效的消去量词。
• 应用几何群论中的结果，特别是具有孤立平坦的 CAT(0) 空间理论，以验证该框架的适用性。

实验结果

研究问题

• RQ1 当抛物子群为阿贝尔群时，无 torsion 相对双曲群中带系数的存在性一阶理论是否可判定？
• RQ2 如果每个抛物子群的存在性理论可判定，无 torsion 相对双曲群中的丢番图理论（方程组的可满足性）是否可判定？
• RQ3 该框架是否可将 Sela 对双曲群的存在性理论可判定性的结果推广至更广泛的相对双曲群类？
• RQ4 这些结果能否应用于具有孤立平坦的 CAT(0) 群，特别是针对 Sela 提出的关于其可判定性的开放问题？
• RQ5 如何在相对双曲群的方程决策过程中改进算法的一致性？

主要发现

• 当抛物子群为阿贝尔群时，无 torsion 相对双曲群中带系数的存在性一阶理论是可判定的。
• 如果每个抛物子群的存在性一阶理论可判定，则无 torsion 相对双曲群中的完整丢番图理论是可判定的。
• 该结果推广了 Sela 关于无 torsion 双曲群存在性理论可判定性的定理。
• 该框架适用于无 torsion 的具有孤立平坦的 CAT(0) 群，确认了其存在性理论与丢番图理论的可判定性。
• 对 Papasoglu 算法的适配增强了不同群之间决策过程的一致性与结构连贯性。
• 该工作为 Sela 的结果提供了新的证明与推广，将其从双曲群扩展至更广泛的几何约束群类。