[論文レビュー] Recognizing geometric 3-manifold groups using the word problem

Daniel Groves, Jason Fox Manning+1 more|arXiv (Cornell University)|Oct 7, 2012

Geometric and Algebraic Topology参考文献 37被引用数 6

ひとこと要約

この論文は、語呪問題の解が与えられたものと仮定して、有限群提示が閉じた幾何的3次元多様体の基本群を定義するかを認識するアルゴリズムを提示する。$ \mathrm{SL}(2,\mathbb{C})$ への離散的で、忠実かつ既約な表現を検出するためのアルゴリズムを活用し、このような表現が剛性があり代数的であることを利用することで、この方法は代数的および力学的性質に基づいて幾何的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次元多様体群であるかを構成的に検出する方法を提供すること。

提案手法

• 与えられた有限提示の剛性のある代数的表現の有限リストを生成するための計算的代数幾何の使用。
• $\overline{\mathbb{Q}}$ における正確な算術を用いて、$\mathrm{SL}(2,\overline{\mathbb{Q}})$ の行列を表現・操作すること。
• 核、可約性、放物型／楕円型要素、またはマーガリスの補題の違反に基づいて、与えられた代数的表現が非離散的で、忠実で、既約でない（非DFIL）かどうかをテストするアルゴリズムの適用。
• 語呪問題の解を用いて、群内の属するか、等価性をテストし、表現の性質をアルゴリズム的に検証可能にする。
• 表現の列挙と非DFIL検出アルゴリズムを組み合わせ、幾何的3次元多様体群を定義する提示とそうでないものを再帰的に分離すること。
• クラスを分割する再帰的可算集合を構成することで、語呪問題に関して再帰的であることが示される。

実験結果

リサーチクエスチョン

• RQ1 閉じた幾何的3次元多様体の基本群のクラスは、有限提示からアルゴリズム的に識別可能か？
• RQ2 語呪問題が可解である有限提示が与えられた場合、それが幾何的3次元多様体群を提示するかを決定可能か？
• RQ3 閉じた3次元多様体の幾何構造タイプは、その三角形分割からアルゴリズム的に決定可能か？
• RQ4 語呪問題の解の存在が、表現論的基準を用いた3次元多様体群の識別を可能にするか？
• RQ5 語呪問題に関して再帰的と見なせるか、幾何的3次元多様体群のクラスは再帰的と特徴付けられるか？

主な発見

• 語呪問題に関して再帰的であることが示された。つまり、語呪問題の解が与えられれば、有限提示がそのような群を定義するかをアルゴリズム的に決定可能である。
• ターフォンの8つの幾何構造のそれぞれが、語呪問題の解を用いて個別に識別可能であり、3次元多様体の幾何構造タイプの分類が可能である。
• アルゴリズムは群提示の剛性のある代数的表現の有限リストを構成し、それぞれについて非DFIL性をテストする。終了は非幾何的状態を示す。
• 証明は、幾何化予想、モストウの剛性定理、収束群定理、および3次元多様体上への群作用に関するジンマーマンの定理といった深い結果に依存している。
• 重要な中間的結果として、任意のねじれのない群で、有限指数部分群が閉じた、非分解的3次元多様体の基本群に同型であるような群は、自身がそのような多様体の基本群であることが示された。
• 本手法により、補題1.2が回復される：閉じた3次元多様体の三角形分割が与えられたとき、それが幾何的であるか、そしてもしそうであれば、8つの幾何構造のうちどれを実現するかをアルゴリズム的に決定可能である。