[논문 리뷰] Sub-chord diagrams of knot projections

Noboru Ιτο, Yusuke Takimura|arXiv (Cornell University)|2020. 05. 01.

Geometric and Algebraic Topology인용 수 8

한 줄 요약

이 논문은 링크 투영의 현수도 안에 특정한 부분 현수도(⊗, 3, 및 )를 세는 데서 유도된 새로운 정수 값 불변량 λ(P)을 제안한다. 이러한 수의 변화를 다섯 종류의 리드미스터 이동(RI 및 강한 RI​I​I)에 대해 분석함으로써, 저자들은 λ(P)가 RI 및 강한 RI​I​I에 대해 불변임을 입증하며, 이는 최대 7개의 이중점까지의 소수 감소 링크 투영을 완전히 분류할 수 있게 하고, RI 및 강한 RI​I​I 이동을 통해 단순한 닫힌 곡선으로 감소 가능한지 여부에 대한 필요충분조건을 제공한다.

ABSTRACT

A chord diagram is a circle with paired points with each pair of points connected by a chord. Every generic immersed spherical curve provides a chord diagram by associating each chord with two preimages of a double point. Any two spherical curves can be related by a finite sequence of three types of local replacement RI, RII, and RIII, called Reidemeister moves. This study counts the difference in the numbers of sub-chord diagrams embedded in a full chord diagram of any spherical curve by applying one of the moves RI, strong RII, weak RII, strong RIII, and weak RIII defined by connections of branches related to the local replacements (Theorem 1). This yields a new integer-valued invariant under RI and strong RIII that provides a complete classification of prime reduced spherical curves with up to at least seven double points (Theorem 2, Fig. 24): there has been no such invariant before. The invariant expresses the necessary and sufficient condition that spherical curves can be related to a simple closed curve by a finite sequence of RI and strong RIII moves (Theorem 3). Moreover, invariants of spherical curves under flypes are provided by counting sub-chord diagrams (Theorem 4).

연구 동기 및 목표

• 제한된 리드미스터 이동 하에서 링크 투영을 분류하기 위한 새로운 불변량을 개발하는 것.
• RI 및 강한 RI​I​I 이동을 통해 단순한 닫힌 곡선으로 감소 가능한 링크 투영이 되기 위한 필요충분조건을 규명하는 것.
• 강한 및 약한 RI​I 및 RI​I​I 이동을 구분하는 것으로 현수도 이론을 확장하는 것.
• 플라이프 이동 하에서도 유지되는 불변량을 제공함으로써, 구면 곡선에서의 위상적 동치관계를 이해하는 데 기여하는 것.
• 새로운 불변량 λ(P)을 사용하여 최대 7개의 이중점을 가진 소수 감소 링크 투영을 완전히 분류하는 것.

제안 방법

• 링크 투영 P의 전체 현수도 CD_P 내에 포함된 임베딩된 부분 현수도를 정의한다.
• 지역적 치환에서 분지 연결성에 기반하여 다섯 종류의 리드미스터 이동(RI, 약한 및 강한 RI​I, 약한 및 강한 RI​I​I)을 도입한다.
• 각 이동에서 부분 현수도(⊗, 3, 및 )의 수의 변화를 계산하여 정수 증감을 보여준다.
• RI 및 강한 RI​I​I에 대해 불변이며 정수 값을 가지는 불변량 λ(P) = |3·3(P) - 3·(P) + ⊗(P)| / 4를 구성한다.
• Polyak의 공식을 이용하여 RI 이동이 부호가 붙은 부분 현수도의 수에 영향을 주지 않음을 검증한다.
• 불변량 λ(P)를 사용하여 최대 7개의 이중점을 가진 모든 소수 감소 링크 투영을 분류하며, 그림 22~24의 표와 그림을 활용한다.

실험 결과

연구 질문

• RQ1 RI 및 강한 RI​I​I 이동 하에서 링크 투영을 분류할 수 있는 새로운 정수 값 불변량을 구성할 수 있는가?
• RQ2 RI 및 강한 RI​I​I 이동만을 사용하여 링크 투영을 단순한 닫힌 곡선으로 감소시킬 수 있는 조건은 무엇인가?
• RQ3 약한 및 강한 RI​I 및 RI​I​I 이동 버전에서 특정 부분 현수도(⊗, 3, 및 )의 수는 어떻게 변화하는가?
• RQ4 플라이프 이동 하에서도 유지되는 불변량이 존재하는가? 이러한 불변량은 링크 투영의 동치류를 구분하는 데 도움이 되는가?
• RQ5 새로운 불변량 λ(P)는 최대 7개의 이중점을 가진 소수 감소 링크 투영을 완전히 분류할 수 있는가?

주요 결과

• λ(P) = |3·3(P) - 3·(P) + ⊗(P)| / 4는 정수이며 RI 및 강한 RI​I​I 이동 하에서 변화하지 않으며, 새로운 비자명한 불변량을 제공한다.
• λ(P)는 그림 24에서 보듯이 RI 및 강한 RI​I​I 이동 하에서 최대 7개의 이중점을 가진 모든 소수 감소 링크 투영을 완전히 분류한다.
• 링크 투영 P가 RI 및 강한 RI​I​I 이동을 통해 단순한 닫힌 곡선으로 감소 가능할 조건은 H(P) = 0 이고 λ(P) = 0 인 것인데, 여기서 H(P)는 3(P) = 0 으로 정의된다.
• ⊗-유형 부분 현수도의 수는 플라이프 이동 하에서도 유지되며, 플라이프 동치에 대한 새로운 불변량을 제공한다.
• 불변량 λ(P)는 제1의 정리에서 밝혀진 바와 같이 가역적임을 입증하여, 링크 투영의 분류 및 조합에 응용할 수 있다.
• 최대 7개의 이중점을 가진 모든 소수 감소 링크 투영에 대해 λ(P) 값이 계산되고 표로 정리되었으며, 유일한 한 쌍(7_B, 7_4)만이 RI 및 강한 RI​I​I 이동으로 연결되지 않았다.