[논문 리뷰] Three talks in Cuautitlan under the general title: Topología algebraica basada sobre nudos

Józef H. Przytycki|ArXiv.org|2001. 09. 05.

Geometric and Algebraic Topology참고 문헌 16인용 수 11

한 줄 요약

이 논문은 끈 이론의 기초적인 열린 문제들을 다루며, 특히 모든 링크가 3-이동 동치로 귀결되는 몬테스이나스-나카니시 추측을 중심으로 한다. 포크 n-색칠법과 스케인 모듈과 같은 대수적 위상수학 도구를 도입하고, 다항수 불변량과 9개 이하의 교차수를 가진 링크에 대한 미해결 추측을 위한 프레임워크를 제공하기 위해 $(2,2)$-이동을 위한 새로운 스케인 모듈 ${\cal S}_{\frac{5}{2}}(M;R)$를 제안한다.

ABSTRACT

Talk 1: Open problems in knot theory that everyone can try to solve. Knot theory is more than two hundred years old; the first scientists who considered knots as mathematical objects were A.Vandermonde (1771) and C.F.Gauss (1794). However, despite the impressive grow of the theory, there are simply formulated but fundamental questions, to which we do not know answers. I will discuss today several such open problems, describing in detail the 20 year old Montesinos-Nakanishi conjecture. Our problems lead to sophisticated mathematical structures (I will describe some of them in tomorrows talks), but today's description will be absolutely elementary. Talk 2: Lagrangian approximation of Fox $p$-colorings of tangles. The talk will culminate in the introduction of the symplectic structure on the boundary of a tangle in such a way that tangles yields Lagrangians in the symplectic space. Talk 3: Historical Introduction to Skein Modules. I will discuss, in my last talk of the conference, skein modules, or as I prefer to say more generally, algebraic topology based on knots. I would like to discuss today, in more detail, skein modules related to the (deformations) of 3-moves and the Montesinos-Nakanishi conjecture but first I will give the general definition and I will make a short tour of the world of skein modules.

연구 동기 및 목표

• 3-이동 동치로 귀결되는 모든 링크가 임의의 단순 링크임을 입증하기 위해 기본적인 이동과 불변량을 사용하여 몬테스이나스-나카니시 추측을 조사한다.
• 3-이동을 초월하여 모든 링크가 $(2,2)$-이동 동치로 귀결되는 일반화된 추측을 검토한다.
• 유리수 이동을 기반으로 한 새로운 스케인 모듈 ${\cal S}_{\frac{5}{2}}(M;R)$를 개발하여 기존의 스케인 이론을 일반화한다.
• 특히 소수 $p$-색칠에 대해 존스, 캐필런 다항수 불변량과 포크 색칠법 간의 관계를 탐구한다.
• 추측의 최소 잠재적 반례를 특정한다. 예를 들어 $9_{49}$ 끈과 5브레이드 링크 $(\sigma_1\sigma_2\sigma_3\sigma_4)^{10}$.

제안 방법

• n-이동을 국소적 링크 변환으로 사용하며, 위상적 동치성은 등가성에 대해서만 유지되며, 호위상에 대해서는 유지되지 않는다.
• 링크 다이어그램의 등가성을 정의하기 위해 라이드마이스터 이동을 적용하고, 이를 n-이동과 조합하여 링크 다이어그램의 n-이동 동치를 정의한다.
• n-이동에 대해 유지되는 불변량으로 포크 n-색칠법을 도입하며, 3-색칠법을 사용해 단순 링크를 구별한다.
• 링크 $L_2, L_1, L_0, L_\infty, L_{-1}, L_{-1/2}$ 와 프레임링 조건을 포함하는 6항관계를 가진 새로운 스케인 모듈 ${\cal S}_{\frac{5}{2}}(M;R)$를 제안한다.
• 초기 조건 $P_{\frac{5}{2}}(T_n) = t^n$ 과 두 개의 대칭 스케인 관계를 만족하는 다항수 불변량 $P_{\frac{5}{2}}(L)$ 를 정의한다.
• 호프 링크의 거울 대칭성과 반사적 퇄체를 활용하여 스케인 관계의 계수에 대한 제약 조건을 유도한다.

실험 결과

연구 질문

• RQ1 모든 링크가 3-이동 동치로 단순 링크와 동치인가? (몬테스이나스-나카니시 추측)
• RQ2 모든 링크가 $(2,2)$-이동 동치로 단순 링크와 동치인가? (하리카에-나카니시 추측)
• RQ3 주어진 스케인 관계와 초기 조건을 만족하는 다항수 불변량 $P_{\frac{5}{2}}(L)$ 를 구성할 수 있는가?
• RQ4 ${\cal S}_{\frac{5}{2}}(M;R)$ 스케인 모듈의 구조는 어떠한가? 기존의 불변량과의 관계는 무엇인가?
• RQ5 최소 반례는 존재하는가? 예를 들어 $9_{49}$ 끈이나 5브레이드 링크 $(\sigma_1\sigma_2\sigma_3\sigma_4)^{10}$?

주요 결과

• 몬테스이나스-나카니시 추측은 모든 2-대수적 링크와 많은 특수 가족에 대해 성립하며, $(\sigma_1\sigma_2\sigma_3\sigma_4)^{10}$ 를 제외한 모든 5브레이드 링크에 대해 성립한다.
• 5브레이드 링크 $(\sigma_1\sigma_2\sigma_3\sigma_4)^{10}$ 는 3-이동 추측에 대한 가장 작은 알려진 잠재적 반례이며, 3-이동 동치인 20개의 교차수를 가진 링크를 발견하였다.
• $8_{18}$ 끈은 $(2,2)$-이동을 통해 단순 2성분 링크로 축소 가능하며, 부체츠키와 베베에 의해 증명되었다.
• $9_{49}$ 끈은 여전히 $(2,2)$-이동 동치성에 대해 증명되지 않아 향후 연구의 대상이 될 가능성이 있다.
• 스케인 모듈 ${\cal S}_{\frac{5}{2}}(M;R)$ 는 6항관계와 프레임링 조건을 통해 정의되며, 이는 이전의 스케인 모듈을 일반화한다.
• 초기 조건 $P_{\frac{5}{2}}(T_n) = t^n$ 과 두 개의 대칭 스케인 관계를 만족하는 다항수 불변량 $P_{\frac{5}{2}}(L)$ 가 제안되었으며, 핵심 항등식은 $P_{\frac{5}{2}}(L_2) - P_{\frac{5}{2}}(L_{-2}) = P_{\frac{5}{2}}(L_{1/2}) - P_{\frac{5}{2}}(L_{-1/2})$ 이다.