[논문 리뷰] Non-Reidemeister Knot Theory and Its Applications in Dynamical Systems, Geometry, and Topology

Vassily Olegovich Manturov|arXiv (Cornell University)|2015. 01. 21.

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

한 줄 요약

이 논문은 끈 이론에서 기존의 Reidemeister 이동을 수평 삼등분선과 자유 $k$-브레이드 군에 기반한 불변량으로 대체하는 새로운 프레임워크를 제안한다. 이는 역학계, 브레이드, 기하 대상에 대한 그림 값 불변량을 가능하게 한다. 주요 기여는 $k$-좋음 성질(예: 3차원 공간에서의 공선성)이 임계 순간을 통해 안정적이고 계산 가능한 불변량을 유도함을 보여주는 일반 정리이다. 이는 위상수학, 기하학, 역학계에 응용된다.

ABSTRACT

Classical knot theory deals with {\em diagrams} and {\em invariants}. By means of horizontal {\em trisecants}, we construct a new theory of classical braids with invariants valued in {\em pictures}. These pictures are closely related to diagrams of the initial object. The main tool is the notion of {\em free $k$-braid group}. In the simplest case, for free $2$-braids, the word problem and the conjugacy problem can be solved by finding the minimal representative, which can be thought of as a graph, and is unique, as such. We prove a general theorem about invariants of dynamical systems which are valued in such groups and hence, in pictures. We describe various applications of the above theory: invariants of weavings (collections of skew lines in $\R^{3}$), and many other objects in geometry and topology. In general, provided that for some topological objects (considered up to isotopy, homotopy etc) some easy axioms (coming from some dimensional constraints) hold, one can construct similar dynamical systems and picture-valued invariants.

연구 동기 및 목표

• 도표 이동이 아닌 기하적 구성으로 인해 기존 Reidemeister 이동이 아닌 끈 및 브레이드 불변량을 개발하기 위해.
• 입자 구성의 $k$-좋음 성질에 기반한 역학계 불변량을 일반적으로 구축하기 위한 프레임워크를 수립하기 위해.
• 전통적인 끈 이론과 브레이드 이론을 조합적 그림과 자유 $k$-브레이드 군에 값이 있는 불변량을 포함하도록 확장하기 위해.
• Weavings, $\mathbb{R}P^3$에서의 사영선, 그리고 구면 위의 지오데식 구성과 같은 새로운 기하 대상에 이 이론을 적용하기 위해.
• 자연스러운 최소 대표 그래프를 통한 비틀림 문제와 공역 문제의 체계적 해결 방법을 제공하기 위해.

제안 방법

• 구성 공간 $\Sigma^n$ 상의 $n$개 입자 집합에 대해 $k$-좋음 성질을 정의하고, 유전성 및 전이 닫힘 조건을 만족시키기 위해.
• $k$개 입자가 $k$-좋음 성질 $\mathcal{P}$를 만족하는 임계 순간 $t \in [0,1]$을 식별하여 임계 구성의 다중첨자로 형성하기 위해.
• 각 역학계 $D$에 대해, 각 $k$-튜플 입자에 대한 순서된 임계 시간의 시퀀스인 타입 $\tau(D)$를 할당하기 위해.
• 삼등분선 교차와 이중삼각형 감소에서 유도된 생성자와 관계를 통해 자유 $k$-브레이드 군 $G_n^k$를 구성하기 위해.
• 반대 방향을 가진 인접한 교차를 제거하는 이중삼각형 감소를 사용하여 고유한 최소 대표 그래프를 계산하고, 이를 자유 $2$-브레이드의 완전한 불변량으로 사용하기 위해.
• 적절한 비퇴화 조건 하에 다양한 기하 설정에 이 프레임워크를 적용하기 위해: $\mathbb{R}^3$에서 비공선 직선(Weavings), $\mathbb{R}P^3$에서의 사영선, $S^2$에서의 지오데식 구성에 대해.

실험 결과

연구 질문

• RQ1 수치적 또는 대수적 불변량이 아닌 조합적 그림 값 불변량을 갖는 역학계 불변량을 구성할 수 있는가?
• RQ2 입자 구성에서 $k$-좋음 성질이 자유 $k$-브레이드 군의 맥락에서 안정적이고 계산 가능한 불변량을 유도하는 조건은 무엇인가?
• RQ3 수평 삼등분선 이론은 Reidemeister 이동에 의존하지 않고도 고전적 브레이드와 끈에 대한 불변량을 정의하는 데 어떻게 사용될 수 있는가?
• RQ4 자연스러운 불변량이 Weavings나 지오데식 구성과 같은 대상에 대해 비자명하게 유도되기 위한 위상수학적 및 기하학적 제약 조건은 무엇인가?
• RQ5 이중삼각형 감소를 통한 그래프 이론적 감소를 사용하여 자유 $2$-브레이드에서 단어 문제와 공역 문제를 알고리즘적으로 해결할 수 있는가?

주요 결과

• 자유 $2$-브레이드의 경우, 반복적인 이중삼각형 감소를 통해 얻는 고유한 최소 대표 그래프를 통해 단어 문제와 공역 문제가 해결 가능하다.
• 예쁘게 정의된 역학계의 타입 $\tau(D)$—즉, $k$-튜플에 대한 순서된 임계 시간의 시퀀스—는 동치성 하에서 완전한 불변량을 형성한다.
• 경우 $k=3$에서는 Weavings(\mathbb{R}^3 내 비공선 직선 집합)와 $\mathbb{R}P^3$ 내 사영선에 대한 불변량을 유도하며, 직선이 수평이 되면 추가 관계가 발생한다.
• 이 프레임워크는 고차원 구성으로 일반화될 수 있다: $\mathbb{R}P^{m+2}$ 내 $m$-차원 평면에 대해 $k=2m+1$이고, 공통의 일치선을 가진 $k$-좋음 성질이 정의된다.
• 2차원 구면에서는 반대점이 제외되고 지오데식이 쌍에 의해 유일하게 결정될 경우, 삼중 겹침에서 일관성이 보장되어 이 이론이 작동한다.
• 등식이 $k$-좋음 성질을 정의하는 Discriminant 공간의 기본군은 이 방법을 통해 연구될 수 있다.