[논문 리뷰] Mutation and the colored Jones polynomial

A. Stoimenow, T. Tanaka|ArXiv.org|2006. 07. 31.

Geometric and Algebraic Topology참고 문헌 42인용 수 8

한 줄 요약

이 논문은 색칠된 조지 다항식(CJP)이 모든 비변형 hyperbolic 뭍을 구별하지 못함을 보이며, 동일한 CJP를 가진 변형이 아닌 무한히 많은 쌍의 hyperbolic 뭍을 명시적으로 구성한다. 바실리에프 불변량과 이중 분지 덮개의 기본군의 표현—특히 GAP를 통한 계산 기반의 군 이론에 의해 도움을 받아—CJP가 변형을 감지하지 못함을 보이며, 초평면 부피, HOMFLY, 카우퍼, 2-케이블 다항식과 같은 다른 불변량과 조합되어도 마찬가지로 실패함을 보여준다.

ABSTRACT

We show examples of knots with the same polynomial invariants and hyperbolic volumes, with variously coinciding 2-cable polynomials and colored Jones polynomials, which are not mutants.

연구 동기 및 목표

• 색칠된 조지 다항식(CJP)이 비변형 뭍을 감지하는 데 보편적인 불변량인지 조사하는 것.
• CJP와 다른 불변량을 조합했을 때 모든 비변형 뭍을 구별할 수 있는지 판단하는 것.
• 특히 hyperbolic 뭍에서 CJP가 변형을 감지하는 데 가지는 한계를 탐구하는 것.
• 계산 기반 군 이론과 바실리에프 불변량을 활용해 동일한 CJP를 가진 뭇을 구별하는 것.
• 이중 분지 덮개의 기본군이 변형을 감지하는 데 수행하는 역할을 검토하는 것.

제안 방법

• 스킨 이론과 위성 구조를 이용해 CJP가 동일한 hyperbolic 뭍의 쌍을 명시적으로 구성하는 것.
• 다항식에서 유도된 바실리에프 불변량을 활용해 동일한 CJP를 가진 비변형 쌍을 감지하는 것.
• GAP를 사용해 뭍 군에서 유한군(예: PSL(2,7), Alt(6))으로의 전사 사상 계산 및 핵의 아벨화 분석하는 것.
• 이중 분지 덮개 구조를 적용하고 기본군 표현을 분석하여 뭍을 구별하는 것.
• 초평면 부피, HOMFLY, 카우퍼, 2-케이블 HOMFLY 다항식 등의 불변량을 뭍 쌍 간에 비교하는 것.
• 다니엘 마티의 군론적 방법을 활용해 유한군으로의 호모모르피즘의 핵 아벨화를 분석하며, 특히 고색인 하위군에 대해 고려하는 것.

실험 결과

연구 질문

• RQ1 색칠된 조지 다항식은 모든 비변형 hyperbolic 뭍을 구별할 수 있는가?
• RQ2 초평면 부피, HOMFLY, 카우퍼, 2-케이블 HOMFLY 다항식 등과 함께 CJP가 동일할 경우, 변형을 감지할 수 있는가?
• RQ3 이중 분지 덮개의 기본군은 동일한 CJP를 가진 비변형 뭍을 구별할 수 있는가?
• RQ4 AJ 및 부피 추측에 따르면, CJP는 A다항식 또는 그로모프 노름을 결정하는 데 충분한가?
• RQ5 케이블 다항식에서 유도된 바실리에프 불변량은 동일한 CJP를 가진 비변형 뭍을 감지할 수 있는가?

주요 결과

• 색칠된 조지 다항식이 동일한 비변형 hyperbolic 뭍의 무한히 많은 쌍이 존재한다.
• 색칠된 조지 다항식은 HOMFLY, 카우퍼, 또는 그 2-위성 다항식을 결정하지 못한다.
• 초평면 부피, 이중 분지 덮개, 2-케이블 HOMFLY 다항식은 조합되어도 CJP를 결정하지 못한다.
• 변형 여부는 CJP, 초평면 부피, HOMFLY, 카우퍼, 그리고 2-위성 또는 이중 분지 덮개의 공 coincidence로는 결정되지 않는다.
• (14_41721, 14_42125) 및 (15_148731, 15_156433)와 같은 쌍에서 CJP는 동일하지만, 핵 부분군의 아벨화가 다름으로써 기본군이 서로 이sovolumetric하지 않음을 보여준다.
• PSL(2,7)로의 호모모르피즘의 핵 아벨화는 (14_41721, 14_42125)를 구별한다: 한 쪽의 핵은 3- torsion을 가지며, 다른 쪽은 그렇지 않다.