[논문 리뷰] Homotopy invariants of Gauss words

Andrew Gibson|ArXiv.org|2009. 01. 31.

Geometric and Algebraic Topology참고 문헌 3인용 수 17

한 줄 요약

이 논문은 가우스 단어에 대한 호모토피 불변량 $ z $ 를 도입하여, 모든 가우스 단어가 빈 단어와 호모토피적으로 동치가 아니라는 것을 증명함으로써 투라에프의 추측을 반증한다. 이 불변량과 커버링 기반의 높이 불변량을 사용하여, 가우스 단어의 호모토피류가 무한히 많음을 보이며, 이는 호모토피의 비자명성을 입증하고, 열린 호모토피와의 구별을 확립한다.

ABSTRACT

By defining combinatorial moves, we can define an equivalence relation on Gauss words called homotopy. In this paper we define a homotopy invariant of Gauss words. We use this to show that there exist Gauss words that are not homotopically equivalent to the empty Gauss word, disproving a conjecture by Turaev. In fact, we show that there are an infinite number of equivalence classes of Gauss words under homotopy.

연구 동기 및 목표

• 모든 가우스 단어가 열린 호모토피적으로 자명하다는 투라에프의 추측을 반증하기.
• 가우스 단어의 비자명성을 탐지할 수 있는 호모토피 불변량 $ z $ 를 구성하기.
• 가우스 단어의 호모토피와 열린 호모토피가 서로 다른 관계임을 보여주기.
• 높이 불변량을 사용하여 무한히 많은 가우스 단어의 호모토피류가 존재함을 보여주기.
• 결과를 가상 끈 이론의 관점에서 해석하여, 교차점 변경과 가상 스위치만으로 모든 가상 끈을 풀 수 없음을 보여주기.

제안 방법

• 일반화된 라이드마이스터 이동, 이동 이동, 그리고 동형사상으로 구성된 조합적 이동을 통해 가우스 단어의 호모토피를 정의하기.
• 헤니치의 스무딩 불변량을 변형하여, 호모토피에 대해 불변을 유지하도록 하는 불변량 $ z $ 를 도입하기.
• 투라에프의 커버링 구성법을 사용하여 높이 불변량을 정의하고, 이가 호모토피 불변량임을 보이기.
• 호모토피와 유사한 열린 호모토피 불변량 $ z_o $ 를 정의하여, 열린 호모토피와 호모토피를 비교하기.
• 특정 가우스 단어 $ ABACDCBD $ 에 불변량 $ z $ 를 적용하여 $ z \neq 0 $ 임을 보이고, 비자명성을 증명하기.
• 높이 불변량을 사용하여 상호 호모토피적으로 동치가 아닌 가우스 단어의 무한한 가중치를 구성하기.

실험 결과

연구 질문

• RQ1 빈 단어와 호모토피적으로 동치가 되지 않는 가우스 단어가 존재하는가?
• RQ2 가우스 단어의 호모토피가 열린 호모토피보다 엄격히 더 강한 관계인가?
• RQ3 높이 불변량을 사용하여 무한히 많은 가우스 단어의 호모토피류를 구성할 수 있는가?
• RQ4 불변량 $ z $ 는 호모토피 하에서 가우스 단어의 비자명성을 탐지할 수 있는가?
• RQ5 가우스 단어의 호모토피와 교차점 변경 및 가상 스위치에 의한 가상 끈 불변량 사이의 관계는 무엇인가?

주요 결과

• 불변량 $ z $ 는 가우스 단어 $ ABACDCBD $ 에 대해 비자명하며, $ z \neq 0 $ 이므로 투라에프의 추측을 반증한다.
• 높이 불변량은 호모토피 불변량이며, 가우스 단어의 무한한 호모토피류를 구성하는 데 사용할 수 있다.
• 정리 5.9는 가우스 단어의 호모토피류가 무한히 많음을 보여준다.
• 열린 호모토피 불변량 $ z_o $ 는 $ z $ 보다 엄격히 강력하여, 열린 호모토피와 호모토피가 서로 다름을 보여준다.
• 가우스 단어 $ ABACDCBD $ 는 호모토피 하에서는 높이가 0이지만, 열린 호모토피 하에서는 높이가 1이 되어, 두 관계의 차이를 명확히 보여준다.
• 교차점 변경과 가상 스위치만으로는 모든 가상 끈을 풀 수 없으며, 이는 호모토피류의 비자명성에 의해 입증된다.