[논문 리뷰] On equations in relatively hyperbolic groups

François Dahmani|arXiv (Cornell University)|2005. 05. 16.

Geometric and Algebraic Topology참고 문헌 16인용 수 2

한 줄 요약

이 논문은 비아벨성 없는 상대적으로 비틀림 없는 히퍼볼릭 군에서 계수를 가진 존재론적 일阶논리 이론의 결정 가능성을 확립하며, 각 파라볼릭 부분군의 존재론적 이론이 결정 가능할 경우 전체 디오판틴 이론으로의 확장을 이룬다. 이는 세라의 히퍼볼릭 군에 대한 결과를 일반화하고, 고립된 평탄한 카르탕(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

연구 동기 및 목표

• 비아벨성 있는 파라볼릭 부분군을 가진 비아벨성 없는 상대적으로 비틀림 없는 히퍼볼릭 군에서 계수를 가진 존재론적 일阶논리 이론의 결정 가능성을 규명한다.
• 각 파라볼릭 부분군의 존재론적 이론이 결정 가능할 조건 하에서 결정 가능성 결과를 전체 디오판틴 이론으로 확장한다.
• 세라의 히퍼볼릭 군에 대한 결과를 더 넓은 범위의 상대적으로 비틀림 없는 군으로 일반화한다.
• 결과를 고립된 평탄성을 가진 카르탕(0) 군에 적용하여, 제. 세라가 제기한 열린 질문에 답한다.
• 파파소글루의 알고리즘을 수정하여 상대적으로 비틀림 없는 군에서 방정정식의 결정 절차에 대한 알고리즘의 균일성을 향상시킨다.

제안 방법

• 군이 파라볼릭 부분군의 집합에 대해 상대적으로 히퍼볼릭이 되도록 하는 상대적으로 비틀림 없는 군의 구조를 활용한다.
• 모형 이론적 기법을 적용하여, 전체 군에서의 방정식과 부등식의 결정 가능성을 파라볼릭 부분군에서의 결정 가능성으로 환원한다.
• 각 파라볼릭 부분군이 존재론적 일阶논리 이론을 결정 가능하다는 가정을 핵심적인 기술적 요소로 활용한다.
• 파파소글루의 알고리즘을 수정하여, 다양한 군들 간의 결정 절차의 균일성과 효율성을 향상시킨다.
• 비아벨성 있는 파라볼릭 부분군을 가진 비아벨성 없는 상대적으로 비틀림 없는 군에서는 특정 맥락에서 효과적인 양자자르기 제거가 가능하다는 사실을 활용한다.
• 특히 고립된 평탄성을 가진 카르탕(0) 공간 이론을 포함한 기하군론의 결과를 적용하여, 이 틀의 적용 가능성을 검증한다.

실험 결과

연구 질문

• RQ1 비아벨성 있는 파라볼릭 부분군을 가진 비아벨성 없는 상대적으로 비틀림 없는 히퍼볼릭 군에서 계수를 가진 존재론적 일阶논리 이론은 결정 가능한가?
• RQ2 각 파라볼릭 부분군의 존재론적 이론이 결정 가능할 경우, 비아벨성 없는 상대적으로 비틀림 없는 히퍼볼릭 군에서 디오판틴 이론(방정식계의 만족 가능성)은 결정 가능한가?
• RQ3 이 틀은 세라의 히퍼볼릭 군에 대한 결정 가능성 결과를 더 넓은 범위의 상대적으로 비틀림 없는 군으로 확장하는가?
• RQ4 결과는 고립된 평탄성을 가진 카르탕(0) 군에 적용될 수 있는가, 특히 세라의 열린 질문인 이들의 결정 가능성에 대해 어떻게 답하는가?
• RQ5 상대적으로 비틀림 없는 군에서 방정식의 결정 절차에 있어서 알고리즘의 균일성은 어떻게 향상시킬 수 있는가?

주요 결과

• 비아벨성 있는 파라볼릭 부분군을 가진 비아벨성 없는 상대적으로 비틀림 없는 히퍼볼릭 군에서 계수를 가진 존재론적 일阶논리 이론은 결정 가능하다.
• 각 파라볼릭 부분군의 존재론적 일阶논리 이론이 결정 가능할 경우, 비아벨성 없는 상대적으로 비틀림 없는 히퍼볼릭 군에서 전체 디오판틴 이론은 결정 가능하다.
• 결과는 세라의 정리, 즉 비아벨성 없는 히퍼볼릭 군의 존재론적 이론의 결정 가능성에 대한 일반화이다.
• 이 틀은 비아벨성 없는 고립된 평탄성을 가진 카르탕(0) 군에 적용되며, 이들의 존재론적 및 디오판틴 이론의 결정 가능성을 확인한다.
• 파파소글루의 알고리즘의 수정은 다양한 군들 간의 결정 절차의 균일성과 구조적 일관성을 향상시킨다.
• 본 연구는 세라의 결과에 대한 새로운 증명과 일반화를 제공하며, 이를 히퍼볼릭 군을 초월하여 더 넓은 기하학적 제약 조건을 가진 군의 범주로 확장한다.