[論文レビュー] The Hurwitz Equivalence Problem is Undecidable

Eran Liberman, Mina Teicher|ArXiv.org|Nov 7, 2005

Advanced Algebra and Logic参考文献 6被引用数 5

ひとこと要約

この論文は、有限生成群における未決定性の語問題へ還元することにより、群 $F_2 \oplus F_2$ 内の1因子分解に関するHurwitz同値問題が未決定であることを証明している。その結果、$n \geq 5$ のブレッド群 $B_n$ における $\Delta^2$-因子分解に関するHurwitz同値問題も未決定であることが示され、代数幾何学および幾何的群論における長年の予想が解決された。

ABSTRACT

In this paper, we prove that the Hurwitz equivalence problem for 1-factorizations in $F_2 \oplus F_2$ is undecidable, and as a consequence, the Hurwitz equivalence problem for $Δ^2$-factorizations in the braid groups $B_n, n\geq 5$ is also undecidable.

研究の動機と目的

• 長年の予想であるHurwitz同値問題が未決定であることを解決すること。
• Hurwitz同値問題と有限生成群における語問題との間の関係を確立すること。
• $n \geq 5$ のブレッド群 $B_n$ における $\Delta^2$-因子分解に関するHurwitz同値問題が未決定であることを示すこと。
• 群論的還元を用いて、$F_2 \oplus F_2$ 内の1因子分解に関するHurwitz同値問題が未決定であることを示すこと。
• 語問題が解ける群に対して一様なアルゴリズムがHurwitz同値問題を解くことができないことを示すこと、これは語問題の認識不能性に起因する。

提案手法

• 有限生成群における語問題の未決定性を、Hurwitz同値問題の未決定性へ還元する。
• Higmanの普遍的有限生成群 $K$ を用いて、任意の有限生成群を単一の群構造へ埋め込む。
• 語問題の可解性がHurwitz同値問題の可解性を示すような、$\Delta^2$-因子分解の再帰的集合 $X$ を構成する。
• 因子分解におけるHurwitzブレッド作用を用いて同値類とその安定化部分群を定義し、分析する。
• ブレッドモノドロミー構成を用いて因子分解と代数曲線のブレッドモノドロミー型を結びつける。
• 与えられた $\Delta^2$-因子分解と整合する因子分解の集合が、語問題が可解である場合にのみ再帰的可算であることを示し、これは認識不能である。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 5$ の $B_n$ における2つの $\Delta^2$-因子分解がHurwitz同値であるかどうかを判定する有限のアルゴリズムは存在するか？
• RQ2 $F_2 \oplus F_2$ 内の1因子分解に関するHurwitz同値問題は、アルゴリズム的に決定可能か？
• RQ3 語問題が解けるすべての群に対してHurwitz同値問題を解く一様なアルゴリズムが存在する場合、既知の結果と矛盾するか？
• RQ4 2つの因子分解がHurwitz同値であるかどうかを認識する問題は、有限生成群における語問題を解くことと同値か？
• RQ5 有限生成群における語問題の未決定性を、群の埋め込みによってHurwitz同値問題へ転送できるか？

主な発見

• $F_2 \oplus F_2$ 内の1因子分解に関するHurwitz同値問題は未決定である。
• $n \geq 5$ のブレッド群 $B_n$ における $\Delta^2$-因子分解に関するHurwitz同値問題は未決定である。
• 語問題が解けるすべての有限生成群に対してHurwitz同値問題を解く一様な部分アルゴリズムは存在しない。
• Hurwitz同値問題が決定可能である $\Delta^2$-因子分解の集合は、語問題が解ける群とちょうど一致し、その集合は認識不能である。
• $FTL_n(G,A)$ および $\Delta^{2k}$ 要素を用いた因子分解の再帰的構成により、Hurwitz同値問題の可解性が語問題の可解性を示すことが保証される。
• この未決定性の結果は、$F_2 \oplus F_2$ を含む任意の群 $G$ および任意の中心的元 $g$ に対して一般化され、$g$-因子分解におけるHurwitz同値問題も未決定である。