[논문 리뷰] A partial order on the set of prime knots with up to 11 crossings

Keiichi Horie, Teruaki Kitano외 2명|ArXiv.org|2009. 06. 22.

Geometric and Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 11개의 교차를 가진 801개의 소수 뭉치에 대해 그 뭉치 군 간의 전사 호모모르피즘을 이용하여 완전한 부분순서를 수립한다. 애슬러 및 트위스트 애슬러 다항식을 통한 명시적 호모모르피즘 구성과 존재하지 않는 증명을 조합하여, 640,800개의 쌍별 관계를 모두 해결하였으며, 이는 이전의 10개의 교차까지의 결과를 확장하여 이 범위 내의 뭇치 군 간의 군 전사형 사상에 대한 종합적인 분류를 제공한다.

ABSTRACT

Let $K$ be a prime knot in $S^3$ and $G(K)=π_1(S^3-K)$ the knot group. We write $K_1 \geq K_2$ if there exists a surjective homomorphism from $G(K_1)$ onto $G(K_2)$. In this paper, we determine this partial order on the set of prime knots with up to 11 crossings. There exist such 801 prime knots and then $640,800$ should be considered. The existence of a surjective homomorphism can be proved by constructing it explicitly. On the other hand, the non-existence of a surjective homomorphism can be proved by the Alexander polynomial and the twisted Alexander polynomial. This work is an extension of the result of \cite{KS1}.

연구 동기 및 목표

• 10개의 교차에서 11개의 교차로의 소수 뭇치의 부분순서를 전사 호모모르피즘을 통해 확장하기.
• 11개의 교차까지의 801개의 소수 뭇치에 대해 모든 쌍에 대해 전사 호모모르피즘의 존재 또는 비존재를 해결하기.
• 알제브라적 불변량과 명시적 구성의 활용으로 이 범위 내의 뭇치 군 간의 군 전사형 사상에 대한 완전한 분류 제공하기.
• Horie 등(2008)의 10개의 교차 뭇치에 대한 이전 결과를 11개의 교차 경우로 검증하고 확장하기.

제안 방법

• 군 표현과 계산적 검증을 이용한 뭇치 군 간의 전사 호모모르피즘의 명시적 구성.
• 전사 호모모르피즘의 존재에 대한 필요 조건으로 애슬러 다항식의 적용.
• 전사 호모모르피즘의 비존재 기준을 강화하기 위해 트위스트 애슬러 다항식의 사용.
• 11개의 표(Table surj-31부터 surj-63까지)와 하나의 비존재 표를 포함한 체계적 계산 및 결과 정리.
• 이전의 10개의 교차 뭇치 결과를 활용하여 11개의 교차 뭇치를 포함하는 쌍들에 집중함으로써 총 경우의 수를 579,084로 감소시키기.
• 일관된 11개의 교차 뭇치 레이블링을 위해 KnotInfo 표기법 채택.

실험 결과

연구 질문

• RQ1 11개의 교차까지의 소수 뭇치 중에서 다른 뭇치 군에서 전사 호모모르피즘을 갖는 것은 무엇인가?
• RQ2 트위스트 애슬러 다항식은 어떻게 뭇치 군 간의 전사 호모모르피즘의 비존재를 배제하는 데 사용될 수 있는가?
• RQ3 전사 호모모르피즘 관계에 따라 11개의 교차까지의 소수 뭇치 집합 위에서 부분순서의 완전한 구조는 무엇인가?
• RQ4 11개의 교차 뭇치에 대한 결과는 10개의 교차까지의 기존 부분순서를 어떻게 확장하는가?
• RQ5 부분순서 내의 640,800개의 쌍별 관계를 모두 검증하기 위해 필요한 계산적 및 이론적 프레임워크는 무엇인가?

주요 결과

• 11개의 교차까지의 소수 뭇치에 대한 부분순서는 완전히 결정되었으며, 801개의 뭇치와 640,800개의 쌍별 관계가 모두 해결되었다.
• 정리 1.2에 나열된 119개의 쌍에 대해 명시적 전사 호모모르피즘이 구성되었으며, 이는 surj-31부터 surj-63까지의 표에 기록되어 있다.
• 나머지 모든 쌍에 대해 트위스트 애슬러 다항식과 관련 불변량을 이용하여 전사 호모모르피즘의 비존재가 확인되었다.
• 이전에 10개의 교차 뭇치에 대한 분류(801개의 쌍)를 11개의 교차로 확장하였으며, 579,084개의 새로운 케이스를 분석하였다.
• 논문은 11a_{352} ≥ 6₁, 11a_{351} ≥ 6₂, 그리고 11a_{47}, 11a_{239} ≥ 6₃임을 확인하여 이전에 열려 있던 케이스를 해결하였다.
• 11n_{139}의 뭇치 군은 10_{147}과 11a_{352}를 포함한 총 37개의 다른 뭇치로부터 전사 호모모르피즘을 갖는 것으로 나타났으며, 이는 데이터 표에 의해 보여진다.