[논문 리뷰] Existential questions in (relatively) hyperbolic groups {\it and} Finding relative hyperbolic structures

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

Geometric and Algebraic Topology참고 문헌 18인용 수 6

한 줄 요약

이 논문은 약한 아벨 부분군을 갖는 토르션 없는 상대적으로 쌍곡군에 대한 존재론적 이론과 매개변수의 결정 가능성을 확립한다. 특히, 상대적으로 쌍곡군이 아벨 부분군에 대해 쌍곡적일 경우, 이를 인식하는 알고리즘을 제시한다. 이 알고리즘은 단어 문제 해결, 아벨 부분군 탐지, 선형 등고선 불등식을 통한 검증을 통합한다.

ABSTRACT

This arXived paper has two independant parts, that are improved and corrected versions of different parts of a single paper once named "On equations in relatively hyperbolic groups". The first part is entitled "Existential questions in (relatively) hyperbolic groups". We study there the existential theory of torsion free hyperbolic and relatively hyperbolic groups, in particular those with virtually abelian parabolic subgroups. We show that the satisfiability of systems of equations and inequations is decidable in these groups. In the second part, called "Finding relative hyperbolic structures", we provide a general algorithm that recognizes the class of groups that are hyperbolic relative to abelian subgroups.

연구 동기 및 목표

• 토르션 없는 상대적으로 쌍곡군에서 매개변수를 포함한 존재론적 이론의 결정 가능성을 증명하는 것, 특히 가상 아벨 평행 부분군을 갖는 경우에 초점함.
• 유한 표기법이 주어졌을 때, 아벨 부분군에 대해 상대적으로 쌍곡적인 군을 식별하는 일반적인 알고리즘을 제공하는 것.
• 토르션 없는 쌍곡군에서 디오판틴 이론과 존재론적 이론의 결정 가능성을 더 일반적인 프레임워크에 기반해 재정립하는 데 있어, 잠재적으로 더 단순한 증명을 제공하는 것.
• 균일한 방법을 통해 극한 군과 완전 잔여 자유 군에서의 방정정식 해를 재구성하고 재유도하는 것.
• 상대적으로 쌍곡군에서 평행 부분군과 정확한 상대적 표기법을 구축하는 구축 가능한 방법을 개발하는 것.

제안 방법

• 상대적으로 쌍곡군이 쌍곡 기하 공간에서 이격된 호로볼을 갖는 동작을 하며, 이들의 안정자군이 평행 부분군이 된다는 사실을 활용한다.
• 자동 군에서 단어 문제의 해법(토드-코젠 및 자동 구조 알고리즘을 통한)을 이용해 유한한 군 원소 집합 간의 교환성과 토르션 여부를 테스트한다.
• 유한하고 상호 교환 가능한 원소 집합으로 생성된 후보 아벨 부분군을 열거하고, 단어 문제의 해법을 통해 그들의 차수를 검증한다.
• 유한 원소 집합의 차수를 토대로 생성자에 차수를 할당하여 후보 상대적 표기법을 구성하며, 군의 구조와 일관성을 확보한다.
• 제안된 상대적 표기법이 선형 등고선 불등식을 만족하는지 검증하는 알고리즘을 적용하여 정확성과 상대적 쌍곡성을 확인한다.
• 쌍곡성 상수와 드레인 함수 추정치를 활용해 반복 다이어그램의 복잡도를 제한하고, 콘된 캐일리 그래프에서 단순 순환을 열거한다.

실험 결과

연구 질문

• RQ1 토르션 없는 군이 존재론적 이론이 결정 가능한 부분군에 대해 상대적으로 쌍곡적일 경우, 매개변수를 포함한 존재론적 이론이 결정 가능한가?
• RQ2 주어진 유한 표기법이 아벨 부분군에 대해 상대적으로 쌍곡적인 군을 정의하는지 식별하는 알고리즘이 존재하는가?
• RQ3 상대적으로 쌍곡군의 평행 부분군의 구조가 유한 표기법으로부터 알고리즘적으로 결정될 수 있는가?
• RQ4 쌍곡군에서 디오판틴 이론의 결정 가능성은 상대적으로 쌍곡군에 적용 가능한 더 일반적인 프레임워크에서 유도될 수 있는가?
• RQ5 이러한 군에서 방정식 및 부등식 시스템의 해집합은 알고리즘적으로 기술되거나 복잡도가 제한되는가?

주요 결과

• 모든 토르션 없는 군에서, 존재론적 이론과 매개변수의 결정 가능성이, 존재론적 이론이 결정 가능한 부분군에 대해 상대적으로 쌍곡적인 군에서 성립한다.
• 모든 토르션 없는 쌍곡군에서 존재론적 이론과 매개변수의 결정 가능성이 성립하며, 세라의 결과를 다른 방법으로 재확인한다.
• 아벨 부분군에 대해 상대적으로 쌍곡적인 군의 경우, 유한 표기법으로부터 상대적 쌍곡성의 구조를 인식하는 알고리즘이 존재한다.
• 유한한 교환 가능한 원소 집합을 열거하고, 주어진 한계 이하의 순서를 갖는 원소가 존재하지 않음을 검증함으로써 최대 아벨 부분군을 탐지할 수 있다.
• 제안된 표기법이 선형 등고선 불등식을 만족하고 아벨 부분군의 사상이 단사일 경우 정확한 상대적 표기법을 식별할 수 있다.
• 콘된 캐일리 그래프의 쌍곡성 상수와 고정 길이 이하의 단순 순환 목록은 효과적으로 계산 가능하며, 이는 상대적 쌍곡성의 알고리즘적 검증을 가능하게 한다.