[논문 리뷰] Recognizing geometric 3-manifold groups using the word problem

Daniel Groves, Jason Fox Manning외 1명|arXiv (Cornell University)|2012. 10. 07.

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

한 줄 요약

이 논문은 단어 문제의 해가 제공된다고 가정할 때, 유한 군 표현이 닫힌 기하 3차원 다각형의 기본군을 정의하는지 인식하는 알고리즘을 제시한다. $ \mathrm{SL}(2,\mathbb{C})$로의 이산적이고 충실하며 기하학적으로 비가역적인 표현을 탐지하는 알고리즘을 활용하고, 이러한 표현들이 강한 정칙성과 대수적 성질을 가지므로, 이 알고리즘은 그들의 대수적 및 동역학적 성질을 기반으로 기하 3차원 다각형 군을 재귀적으로 식별한다. 최종적으로, 기하 3차원 다각형 군의 클래스는 단어 문제에 대해 재귀적임을 증명한다.

ABSTRACT

Adyan and Rabin showed that most properties of groups cannot be algorithmically recognized from a finite presentation alone. We prove that, if one is also given a solution to the word problem, then the class of fundamental groups of closed, geometric 3-manifolds is algorithmically recognizable. In our terminology, the class of geometric 3-manifold groups is `recursive modulo the word problem'.

연구 동기 및 목표

• 유한 군 표현이 닫힌 기하 3차원 다각형의 기본군을 정의하는지 결정하는 것.
• 단어 문제의 해가 주어진다면 이러한 인식이 가능하다는 것을 확립하는 것.
• 기하 3차원 다각형 군의 클래스가 단어 문제에 대해 재귀적임을 증명하는 것.
• 삼각분할로부터 닫힌 3차원 다각형의 기하 유형을 알고리즘적으로 복원하는 것.
• 표현 이론과 단어 문제의 가역성에 기반한 구축 가능한 방법을 통해 군이 3차원 다각형 군인지 탐지하는 것.

제안 방법

• 주어진 유한 표현에 대한 강한 대수적 표현의 유한 목록을 생성하기 위해 계산 기하학을 활용하는 것.
• $\overline{\mathbb{Q}}$에서 정확한 산술을 사용하여 $\mathrm{SL}(2,\overline{\mathbb{Q}})$의 행렬을 표현하고 조작하는 것.
• 핵심, 기하학적 비가역성, 포물선/타원형 원소 또는 Margulis 레미마 위반을 기반으로, 주어진 대수적 표현이 이산적이지도 않고 충실하지도 않으며 기하학적으로 비가역적이지도 않은지(비-DFIL)를 테스트하는 알고리즘을 적용하는 것.
• 단어 문제의 해를 사용하여 군 내의 소속성과 동치성을 테스트함으로써 표현 성질의 알고리즘적 검증을 가능하게 하는 것.
• 표현의 열거와 비-DFIL 탐지 알고리즘을 조합하여, 기하 3차원 다각형 군을 정의하는 표현과 그렇지 않은 표현을 재귀적으로 분리하는 것.
• 기하 3차원 다각형 군의 표현 집합이 단어 문제에 대해 재귀적임을 증명하기 위해, 클래스를 분할하는 재귀적으로 열거 가능한 집합을 구성하는 것.

실험 결과

연구 질문

• RQ1 닫힌 기하 3차원 다각형의 기본군의 클래스는 유한 표현으로부터 알고리즘적으로 인식될 수 있는가?
• RQ2 단어 문제가 해를 갖는 유한 표현이 주어졌을 때, 이것이 기하 3차원 다각형 군을 나타내는지 결정할 수 있는가?
• RQ3 닫힌 3차원 다각형의 기하 유형은 삼각분할로부터 알고리즘적으로 결정될 수 있는가?
• RQ4 단어 문제의 해가 존재할 경우, 표현 이론적 기준을 통해 3차원 다각형 군을 인식할 수 있는가?
• RQ5 기하 3차원 다각형 군의 클래스는 단어 문제에 대해 재귀적으로 특징지을 수 있는가?

주요 결과

• 기하 3차원 다각형 군의 클래스는 단어 문제에 대해 재귀적이다. 즉, 단어 문제의 해가 주어지면, 주어진 유한 표현이 이러한 군을 정의하는지 알고리즘적으로 결정할 수 있다.
• Thurston의 여덟 기하 유형 각각은 단어 문제의 해를 이용하여 개별적으로 인식 가능하므로, 3차원 다각형의 기하 유형을 분류할 수 있다.
• 알고리즘은 군 표현에 대한 강한 대수적 표현의 유한 목록을 구성하고, 각 표현에 대해 비-DFIL 성질을 테스트하며, 종료 시 비기하 상태를 나타낸다.
• 이 증명은 기하화, Mostow 정칙성, 수렴군 정리, Zimmermann의 3차원 다각형 위의 군 작용에 관한 정리와 같은 깊은 결과에 기반한다.
• 핵심 중간 결과 중 하나는, 유한 지수 부분군이 닫힌 기하학적으로 비가역적인 3차원 다각형의 기본군과 동형이면, 그 군 자체가 이러한 다각형의 기본군임을 보여주는 것이다.
• 이 방법은 추론 1.2를 복원한다: 주어진 닫힌 3차원 다각형의 삼각분할로부터, 그 다각형이 기하적임을 알고리즘적으로 결정할 수 있고, 만약 그렇다면 여덟 기하 유형 중 어느 것을 포함하는지 확인할 수 있다.