[論文レビュー] On equations in relatively hyperbolic groups

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

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

ひとこと要約

この論文は、双曲的でない相対的双曲的群において、その包あたま部分群がアーベルであるとき、係数を含む存在的1階理論の決定可能性を確立し、各包あたま部分群の存在的理論が決定可能である場合に、全ディオファントス理論への拡張を行う。これはセラの双曲的群に関する結果を一般化し、孤立したフラットを持つCAT(0)群にも適用可能であり、パパソグルのアルゴリズムを適合させることで、一様性が向上している。

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

研究の動機と目的

• 捩れのない相対的双曲的群における係数付き存在的1階理論の決定可能性を特定すること。
• 各包あたま部分群の存在的理論が決定可能であるという条件下で、決定可能性結果を全ディオファントス理論へ拡張すること。
• セラの双曲的群に関する結果を、より広いクラスの相対的双曲的群へ一般化すること。
• 結果を孤立したフラットを持つCAT(0)群に適用し、Z. セラが提起した未解決問題に答えること。
• パパソグルのアルゴリズムを適合させることで、相対的双曲的群における方程式の決定手続きのアルゴリズム的均一性を向上させること。

提案手法

• 群が包あたま部分群の族に関して双曲的であるという相対的双曲的群の構造を活用する。
• モデル理論的技法を用いて、周囲の群における方程式と不等式の決定可能性を、包あたま部分群における決定可能性に還元する。
• 各包あたま部分群が決定可能な存在的1階理論を持つという仮定を、主要な技術的要素として用いる。
• パパソグルが提案したアルゴリズムを適合させ、異なる群にわたる決定手続きの均一性と効率性を向上させる。
• 捩れのない相対的双曲的群で包あたま部分群がアーベルである場合には、特定の文脈で有効な量化子除去が可能であるという事実を用いる。
• 特に孤立したフラットを持つCAT(0)空間の理論を用いた幾何群論の結果を応用し、フレームワークの適用可能性を検証する。

実験結果

リサーチクエスチョン

• RQ1 包あたま部分群がアーベルである場合、捩れのない相対的双曲的群における係数付き存在的1階理論は決定可能か？
• RQ2 各包あたま部分群の存在的理論が決定可能であるならば、捩れのない相対的双曲的群におけるディオファントス理論（方程式系の満たし可能性）は決定可能か？
• RQ3 このフレームワークは、セラの双曲的群に関する決定可能性結果を、より広いクラスの相対的双曲的群へ拡張するか？
• RQ4 結果は、孤立したフラットを持つCAT(0)群に適用可能か。特に、セラの未解決問題であるその決定可能性についての考察を含むか？
• RQ5 相対的双曲的群における方程式の決定手続きにおいて、アルゴリズム的均一性はどのように向上させられるか？

主な発見

• 包あたま部分群がアーベルである場合、捩れのない相対的双曲的群における係数付き存在的1階理論は決定可能である。
• 各包あたま部分群の存在的1階理論が決定可能な場合、捩れのない相対的双曲的群における全ディオファントス理論は決定可能である。
• 結果は、セラの定理（捩れのない双曲的群の存在的理論の決定可能性）を一般化している。
• フレームワークは、孤立したフラットを持つ捩れのないCAT(0)群に適用可能であり、その存在的理論およびディオファントス理論の決定可能性を確認している。
• パパソグルのアルゴリズムの適合により、異なる群にわたる決定手続きの均一性と構造的整合性が向上している。
• 本研究は、セラの結果の新たな証明と一般化を提供し、双曲的群を越えて、より広い幾何的制約を受ける群のクラスへと拡張している。