[論文レビュー] CONJUGACY PROBLEM IN GROUPS OF NON-ORIENTABLE 3-MANIFOLDS

Jean-Philippe Préaux|arXiv (Cornell University)|Aug 16, 2016

Geometric and Algebraic Topology被引用数 4

ひとこと要約

この論文は、非可換幾何的3次元多様体の基本群における共軛問題が、方向性被覆を介して可換な部分に帰着される明示的なアルゴリズムを構築することによって、解けることを確立している。主な貢献は、非可換を含むすべての幾何的3次元多様体群における共軛問題の構成的解法の提供であり、3次元多様体位相および群論における長年の未解決問題を解決し、表面-巡回およびねじれ共軛問題への応用を有する。

ABSTRACT

Abstract. We prove that fundamental groups of non-orientable 3-manifolds have a solvable conjugacy problem, and construct an algorithm. Together with our earlier work on the conjugacy prob-lem in groups on orientable geometrizable 3-manifolds, all pi1 of (geometrizable) 3-manifolds have a solvable conjugacy problem. As corollaries, both the twisted conjugacy problem in closed sur-face groups and the conjugacy problem in closed surface-by-cyclic groups, are solvable.

研究の動機と目的

• 非可換幾何的3次元多様体の基本群における共軛問題を解くこと。
• 可換な3次元多様体群における共軛問題の可解性を非可換な3次元多様体群に拡張すること。
• 共軛要素を明示的に計算することができる構成的アルゴリズムを提供すること。
• 閉じた表面群におけるねじれ共軛問題の可解性および表面-巡回群における共軛問題の可解性を、補題として確立すること。
• 指数2の部分群で共軛問題が可解であっても、その群全体で共軛問題が可解であるとは限らないことの証明を示し、非可換ケースに特化した新たなアプローチの必要性を示すこと。

提案手法

• 非可換3次元多様体群における共軛問題を、その方向性二重被覆（可換な幾何的3次元多様体）における共軛問題に還元する。
• 非可換幾何的3次元多様体の方向性被覆が再び幾何的であることを利用し、可換ケースに関する先行研究の適用を可能にする。
• 双自動構造を介して、セイフェルトファイバード空間および有限体積の双曲的3次元多様体における語問題および共軛問題のアルゴリズムを適用する。
• v²の中心化群を基本群内で分類し、それがセイフェルト頂点群、辺群、またはそのいずれにも属さないかに基づく場合分けを実施する。
• グラフの群分解と結合積構造を用いて、頂点群および辺群における共軛を分析する。
• 明示的な群の提示および正規形（例：クラインボトル群）を用い、指数の偶奇性に基づく条件を用いて辺群における共軛の決定を実施する。

実験結果

リサーチクエスチョン

• RQ1 指数2の部分群で共軛問題が可解であっても、その群全体で共軛問題が可解でないことがあるにもかかわらず、非可換幾何的3次元多様体の基本群における共軛問題は解けるのか？
• RQ2 共軛要素を生成する明示的アルゴリズムが、非可換3次元多様体群における共軛性を決定するのに利用可能か？
• RQ3 可換な幾何的3次元多様体群における共軛問題の可解性は、方向性被覆を介して非可換ケースに拡張可能か？
• RQ4 3次元多様体幾何学および幾何化定理を用いて、表面-巡回群における共軛問題を解くことができるか？
• RQ5 非可換3次元多様体群におけるv²の中心化群が、vの共軛類を決定する構造的条件は何か？

主な発見

• 非可換幾何的3次元多様体の基本群における共軛問題は、明示的なアルゴリズムが与えられることで可解である。
• uとvが共軛である場合、u = h v h⁻¹を満たす共軛要素hを構成的に構築する。
• すべての幾何的3次元多様体群における共軛問題は可解であり、可換および非可換ケースが統合される。
• 閉じた表面群におけるねじれ共軛問題は、主結果の系として可解である。
• 閉じた表面-巡回群における共軛問題は可解であり、その証明は幾何化定理および主アルゴリズムに依存する。
• 辺群がクラインボトル群に同型である場合、提示 <a,b,t | [a,b]=1, t²=a, bt=b⁻¹> における指数ペアの偶奇性に基づく条件により、共軛性が決定可能である。