[论文解读] 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$ 的 braid 群 $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$ 的 braid 群 $B_n$ 中的 $\Delta^2$-分解，Hurwitz 等价问题不可判定。
• 通过群论约化方法，证明在 $F_2 \oplus F_2$ 中的1-分解的 Hurwitz 等价问题不可判定。
• 证明不存在统一算法可解决所有字问题可解的群中的 Hurwitz 等价问题，原因在于字问题的不可识别性。

提出的方法

• 将 Hurwitz 等价问题的不可判定性约化为有限表示群中字问题的不可判定性。
• 使用 Higman 的通用有限表示群 $K$，将任意有限表示群嵌入单个群结构中。
• 构造一个递归集合 $X$ 的 $\Delta^2$-分解，使得 $X$ 上 Hurwitz 等价的可解性蕴含字问题的可解性。
• 应用 Hurwitz braid 作用于分解以定义等价轨道并分析稳定子。
• 采用 braid monodromy 构造，将分解与代数曲线及其 braid monodromy 类型联系起来。
• 证明：仅当字问题可解时，与给定 $\Delta^2$-分解兼容的分解集合才是递归可枚举的，而这一条件是不可识别的。

实验结果

研究问题

• RQ1 是否存在一个有限算法，可判定 $B_n$（$n \geq 5$）中两个 $\Delta^2$-分解是否 Hurwitz 等价？
• RQ2 能否在算法上判定 $F_2 \oplus F_2$ 中 1-分解的 Hurwitz 等价问题？
• RQ3 是否存在一个统一算法，可解决所有字问题可解的群中的 Hurwitz 等价问题，这是否与已知结果矛盾？
• RQ4 识别两个分解是否 Hurwitz 等价的问题，是否等价于求解一个有限表示群中的字问题？
• RQ5 能否通过群嵌入将有限表示群中字问题的不可判定性传递到 Hurwitz 等价问题？

主要发现

• 在 $F_2 \oplus F_2$ 中的 1-分解的 Hurwitz 等价问题不可判定。
• 在 $n \geq 5$ 的 braid 群 $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 等价问题亦不可判定。