[논문 리뷰] Alexander and Markov theorems for virtual doodles

Neha Nanda, Mahender Singh|arXiv (Cornell University)|2020. 06. 12.

Geometric and Algebraic Topology참고 문헌 19인용 수 7

한 줄 요약

이 논문은 임의의 종수를 가진 닫힘 양측 표면 위의 도어들에 대해 앨리오크산드어 및 마크로프 정리의 가상 동치를 수립한다. 가상 트윈 군을 도입하여 트윈 군을 일반화하는 기본 대수적 구조로 삼으며, 모든 가상 도어가 가상 트윈의 닫힘임을 증명하고, 가상 도어의 동치류가 마크로프 이동 하에 가상 트윈의 쌍대류와 일대일 대응됨을 보이며, 고전 결과를 고차원 표면으로 확장한다.

ABSTRACT

Study of certain isotopy classes of a finite collection of immersed circles without triple or higher intersections on closed oriented surfaces can be thought of as a planar analogue of virtual knot theory where the genus zero case corresponds to classical knot theory. Alexander and Markov theorems for the genus zero case are known where the role of groups is played by twin groups, a class of right angled Coxeter groups with only far commutativity relations. The purpose of this paper is to prove Alexander and Markov theorems for higher genus case where the role of groups is played by a new class of groups called virtual twin groups which extends twin groups in a natural way.

연구 동기 및 목표

• 2차 구면 위의 도어에 대한 고전적 앨리오크산드어 및 마크로프 정리를 고차원 표면으로 일반화한다.
• 가상 도어의 동치류를 모델링하기 위해 트윈 군의 자연스러운 일반화로서 가상 트윈 군을 도입한다.
• 평면 내 브레이딩 과정을 통해 가상 트윈의 위상적 실현을 확보한다.
• 가상 도어 다이어그램에 대한 가우스 자료를 정의하고, 이를 가상 트윈 표현과 연결한다.
• 가상 도어의 동치류가 마크로프 이동 하에 가상 트윈의 쌍대류와 일대일 대응됨을 증명한다.

제안 방법

• 가상 트윈 군 $VT_n$을 트윈 군 $T_n$의 추상적 확장으로 정의하며, 추가 생성자 $\rho_i$를 도입하여 가상 교차를 모델링한다.
• 가상 교차를 允許하는 $\mathbb{R} \times [0,1]$ 내에서 $n$개의 호의 구성으로서 가상 트윈의 위상적 모델을 구축한다.
• 모든 가상 도어 다이어그램을 닫힌 가상 트윈 다이어그램으로 변환하는 브레이딩 과정을 사용하며, 이 과정에서 가우스 자료가 동치류에 대해 유지된다.
• 다이어그램을 연결하기 위해 가상 리드미스터 이동($VR_1, VR_2, VR_3$, $MVR_1$, $MVR_2$)과 고전 이동($R_1, R_2$)의 순서를 적용한다.
• 두 가상 트윈 다이어그램이 동치인 가상 도어를 나타내는 것은 $M0$–$M5$ 이동에 의해 관련되어 있을 때이고, 그 반대도 성립함을 증명한다.
• 가상 트윈 군 $VT_n$에서 대칭군 $S_n$으로의 전성사상의 존재를 활용하여 순수 가상 트윈 군을 그 핵으로 정의하며, 고전적 순수 트윈 군과 유사한 성질을 갖는다.

실험 결과

연구 질문

• RQ1 2차 구면 위의 도어에 대한 앨리오크산드어 정리는 고차원 표면으로 일반화될 수 있는가?
• RQ2 고차원 표면의 경우 가상 도어에 대해 트윈 군이 대체되는 대수적 구조는 무엇인가?
• RQ3 종수 $g \geq 1$인 표면 위의 도어에서 가상 교차는 동치 분류에 어떻게 영향을 미치는가?
• RQ4 가상 루프에 대해 고전적 가상 루프의 마크로프 정리와 유사한 마크로프 유형 정리는 존재하는가?
• RQ5 가상 도어의 동치류는 가상 트윈의 쌍대류로 완전히 특징지을 수 있는가?

주요 결과

• 가상 트윈 군 $VT_n$은 생성자 $\rho_i$를 통해 가상 교차를 포함하는 트윈 군 $T_n$의 자연스러운 확장으로 도입된다.
• 임의의 종수 $g$를 가진 닫힘 양측 표면 위의 모든 가상 도어는 가상 트윈의 닫힘으로 표현되며, 고전적 앨리오크산드어 정리를 일반화한다.
• 두 가상 도어가 동치일 조건은 그에 대응하는 가상 트윈 다이어그램이 $M0$–$M5$ 이동에 의해 연결되어 있을 때이며, 이는 가상 마크로프 정리를 수립한다.
• 가상 도어 다이어그램의 가우스 자료는 $M0$ 및 $M2$ 이동을 제외한 나머지 이동에 대해 가상 트윈을 유일하게 결정하며, 이는 대수적 불변성을 보장한다.
• 브레이딩 과정을 통해 어떤 가상 도어 다이어그램이라도 닫힌 가상 트윈 다이어그램으로 변환되며, 이 과정에서 동치류가 유지되어 대수적 분류가 가능해진다.
• 가상 트윈 군 $VT_n$에서 대칭군 $S_n$으로의 전성사상의 핵으로 정의된 순수 가상 트윈 군은 고전적 순수 트윈 군과 유사한 역할을 한다.