[논문 리뷰] The Hurwitz Equivalence Problem is Undecidable

Eran Liberman, Mina Teicher|ArXiv.org|2005. 11. 07.

Advanced Algebra and Logic참고 문헌 6인용 수 5

한 줄 요약

이 논문은 유한 생성된 군에서의 단어 문제의 결정 불가능성에 기반하여, 군 $F_2 \oplus F_2$ 내 1-분해에 대한 허르비츠 동치 문제의 결정 불가능성을 증명한다. 그 결과로, $n \geq 5$ 인 브레이드 군 $B_n$ 내 $\Delta^2$-분해에 대한 허르비츠 동치 문제 역시 결정 불가능하다는 것이 밝혀지며, 이는 대수기하학과 기하군론 분야에서 오랫동안 남아있던 추측을 해결한다.

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.

연구 동기 및 목표

• 허르비츠 동치 문제의 결정 불가능성에 대한 오랜 동안의 추측을 해결하기 위해.
• 허르비츠 동치와 유한 생성 군에서의 단어 문제 사이의 연결 고리를 설정하기 위해.
• $n \geq 5$ 인 브레이드 군 $B_n$ 내 $\Delta^2$-분해에 대한 허르비츠 동치 문제의 결정 불가능성을 보여주기 위해.
• 군론적 환원을 사용하여, $F_2 \oplus F_2$ 내 1-분해에 대한 허르비츠 동치 문제의 결정 불가능성을 입증하기 위해.
• 단어 문제의 결정 가능성을 가진 군들에 대해 허르비츠 동치 문제를 해결하는 통일된 알고리즘이 존재하지 않는다는 것을 증명하기 위해, 단어 문제의 식별 불가능성 때문이기 때문이다.

제안 방법

• 허르비츠 동치 문제의 결정 불가능성을, 유한 생성 군에서의 단어 문제의 결정 불가능성으로 환원한다.
• 하이그먼의 보편적인 유한 생성 군 $K$를 사용하여 임의의 유한 생성 군을 단일 군 구조에 통합한다.
• 허르비츠 동치의 가역성에 대한 해법이 존재할 경우 단어 문제의 가역성이 보장되는, $\Delta^2$-분해의 재귀적 집합 $X$를 구성한다.
• 브레이드 동치 작용을 분해에 적용하여 동치 궤도를 정의하고 안정자군을 분석한다.
• 브레이드 모노드로미 구조를 활용하여 분해를 대수적 곡선과 그 브레이드 모노드로미 유형에 연결한다.
• 주어진 $\Delta^2$-분해와 호환되는 분해의 집합이 재귀적으로 열거 가능할 수 있는 경우, 단어 문제의 가역성이 보장되며, 이는 인식 불가능하다.

실험 결과

연구 질문

• RQ1 브레이드 군 $B_n$ ($n \geq 5$) 내 두 $\Delta^2$-분해가 허르비츠 동치인지 여부를 판단할 수 있는 유한 알고리즘이 존재하는가?
• RQ2 $F_2 \oplus F_2$ 내 1-분해에 대한 허르비츠 동치 문제는 알고리즘적으로 결정 가능한가?
• RQ3 단어 문제의 결정 가능성을 가진 모든 군에 대해 허르비츠 동치 문제를 해결하는 통일된 알고리즘이 존재하는가? 이는 기존 결과와 모순되는가?
• RQ4 두 분해가 허르비츠 동치인지 여부를 식별하는 문제는, 유한 생성 군에서의 단어 문제를 해결하는 것과 동치인가?
• RQ5 유한 생성 군에서의 단어 문제의 결정 불가능성을 군의 통합을 통해 허르비츠 동치 문제로 이전할 수 있는가?

주요 결과

• $F_2 \oplus F_2$ 내 1-분해에 대한 허르비츠 동치 문제의 결정 불가능성.
• $n \geq 5$ 인 브레이드 군 $B_n$ 내 $\Delta^2$-분해에 대한 허르비츠 동치 문제의 결정 불가능성.
• 모든 유한 생성 군 중 단어 문제의 결정 가능성을 가진 군들에 대해 허르비츠 동치 문제를 해결하는 통일된 부분 알고리즘이 존재하지 않는다.
• 허르비츠 동치 문제의 결정 가능성이 보장되는 $\Delta^2$-분해의 집합은 정확히 단어 문제의 결정 가능성을 가진 군들과 일치하며, 이 집합은 인식 불가능하다.
• $FTL_n(G,A)$와 $\Delta^{2k}$ 원소를 사용한 분해의 재귀적 구성은, 허르비츠 동치 문제의 가역성이 보장될 경우 단어 문제의 가역성이 보장됨을 보장한다.
• 이 결정 불가능성 결과는, $F_2 \oplus F_2$를 포함하는 임의의 군 $G$와 임의의 중심 원소 $g$에 대해 일반화되며, $g$-분해에 대해서도 허르비츠 동치 문제의 결정 불가능성이 유지된다.