[논문 리뷰] Singularization of knots and closed braids

Thomas Fiedler|arXiv (Cornell University)|2014. 05. 21.

Geometric and Algebraic Topology참고 문헌 55인용 수 4

한 줄 요약

이 논문은 서칭된 장긴 루프의 경우에 대해 $ℚ[x,x^{-1}]$-모듈러스에 값을 갖는 첫 번째 비자명한 조합론적 1-코호몰로지류를 구성한다. 이는 장긴 루프의 위상적 모듈리 공간에서 비자명한 코호몰로지 클래스를 나타내며, 서식형 및 복합 루프(예: Fox-Hatcher 루프와 트리플 드래깅 루프 포함)의 비자명한 위상을 탐지한다. 또한 1-코호몰로지류로부터 유도된 표준 2차형식에 대해 Kauffman-Vogel HOMFLYPT 다항식을 평가함으로써 새로운 3변수 루프 다항식을 도출한다.

ABSTRACT

We construct the first combinatorial 1-cocycle with values in the $ \mathbb{Z} [x,x^{-1}]$-module of isotopy classes of singular long knots in 3-space with a signed planar double point, and which represents a non trivial cohomology class in the topological moduli space of long knots. It can be interpreted as an invariant with values in a $ \mathbb{Z} [x,x^{-1}]$-module generated by 3-manifolds for each element of infinite order of the mapping class group of the complement of a satellite knot in $S^3$. The 1-cocycle seems to be trivial on all loops for long knots which are not satellites but it is already non trivial on the Fox-Hatcher loop of any composite knot, on the loop which consists of {\em dragging} a trefoil through another trefoil and on the {\em scan-arc} for the 2-cable of the trefoil. The {\em canonical resolution} of the value of the 1-cocycle for dragging a knot through another knot leads to a symmetric bilinear form on the free $ \mathbb{Z} [x,x^{-1}]$-module of all unframed oriented knot types into itself. We conjecture that its radical contains only the trivial knot. Evaluating e.g. the Kauffman-Vogel HOMFLYPT polynomial for singular knots on the value of the 1-cocycle applied to the associated quadratic form, leads to a couple of new 3-variable knot polynomials. We construct also the first non trivial 1-cocycle for those closed positive 4-braids which contain a half-twist. It takes its values in a symmetric power of the $ \mathbb{Z}$-module of isotopy classes of closed positive 4-braids with a double point.

연구 동기 및 목표

• 서칭된 장긴 루프의 경우에 대해 부호가 있는 평면 이중점이 있는 $ℚ[x,x^{-1}]$-모듈러스에 값을 갖는 조합론적 1-코호몰로지류를 구성하는 것.
• 이 1-코호몰로지류가 장긴 루프의 위상적 모듈리 공간에서 비자명한 코호몰로지 클래스를 나타낸다는 것을 보여주는 것.
• 복합 루프 및 서식형 루프와 관련된 루프(예: Fox-Hatcher 루프와 트리플 드래깅 루프 포함)에서 이 1-코호몰로지류가 비자명한지 보여주는 것.
• 1-코호몰로지류의 값에 대한 표준 해석을 정의하여, 프레임이 없는 방향 루프 유형의 자유 $ℚ[x,x^{-1}]$-모듈러스 위에 대칭 이차형식을 정의하는 것.
• 이 이차형식의 근이 오직 자명한 루프만을 포함한다는 추측을 제기하고, 이로부터 유도된 Kauffman-Vogel HOMFLYPT 다항식의 평가를 통해 새로운 3변수 루프 다항식을 탐색하는 것.

제안 방법

• 서칭된 장긴 루프의 동치류와 부호가 있는 평면 이중점을 갖는 경우에 대해 조합론적으로 1-코호몰로지류를 구성한다.
• 코호몰로지류의 값은 $S^3$ 내의 서식형 루프의 여집합의 매핑 클래스군에서 무한 순서를 갖는 원소들과 관련된 3차원 다각형으로 생성된 $ℚ[x,x^{-1}]$-모듈러스에 속한다.
• 1-코호몰로지류의 값에 대한 표준 해석은 프레임이 없는 방향 루프 유형의 자유 $ℚ[x,x^{-1}]$-모듈러스 위에 대칭 이차형식을 생성한다.
• 이 이차형식은 2차형식을 정의하는 데 사용되며, 이는 Kauffman-Vogel HOMFLYPT 다항식에 의해 평가되어 새로운 3변수 루프 다항식을 도출한다.
• 반드시 반전이 있는 양의 4브레드의 경우, 이중점을 갖는 브레드의 동치류의 $ℤ$-모듈러스의 대칭 거듭제곱에 값을 갖는 비자명한 1-코호몰로지류를 구성한다.
• 이 구성은 루프 이론에서의 위상적 불변량과 대수적 구조에 기반하며, 특히 서칭된 루프와 브레드에 중점을 둔다.

실험 결과

연구 질문

• RQ1 장긴 루프의 모듈리 공간에서 비자명한 코호몰로지 클래스를 나타내는, 부호가 있는 평면 이중점을 갖는 $ℚ[x,x^{-1}]$-모듈러스에 값을 갖는 비자명한 조합론적 1-코호몰로지류가 존재하는가?
• RQ2 복합 루프 또는 서식형 루프와 관련된 루프(예: Fox-Hatcher 루프 또는 트리플 드래깅 루프 포함)에서 이 1-코호몰로지류가 비자명한가?
• RQ3 1-코호몰로지류의 값에 대한 표준 해석을 통해 프레임이 없는 방향 루프 유형의 모듈러스 위에 대칭 이차형식을 정의할 수 있으며, 그의 근의 의미는 무엇인가?
• RQ4 Kauffman-Vogel HOMFLYPT 다항식을 이로부터 유도된 2차형식에 평가하면 새로운 3변수 루프 다항식이 도출되며, 그가 분류 능력을 갖는가?
• RQ5 반전이 있는 양의 4브레드에 대해 비자명한 1-코호몰로지류를 구성할 수 있으며, 그 타겟 모듈러스는 무엇인가?

주요 결과

• 구성된 1-코호몰로지류는 임의의 복합 루프의 Fox-Hatcher 루프에서 비자명하며, 복합 구조에 대한 민감성을 보여준다.
• 1-코호몰로지류는 한 트리플을 다른 트리플을 통해 끌고 가는 루프에서 비자명하며, 비자명한 브레드 유사 역학을 탐지함을 나타낸다.
• 1-코호몰로지류는 트리플의 2-케이블에 대한 스캔 아크에서 비자명하며, 케이블 구조에 대한 민감성을 보여준다.
• 1-코호몰로지류의 값에 대한 표준 해석은 프레임이 없는 방향 루프 유형의 자유 $ℚ[x,x^{-1}]$-모듈러스 위에 대칭 이차형식을 생성한다.
• 논문은 이 이차형식의 근이 오직 자명한 루프만을 포함한다고 추측하며, 이는 잠재적인 유일성과 강력한 불변성을 시사한다.
• 1-코호몰로지류로부터 유도된 2차형식에 대해 Kauffman-Vogel HOMFLYPT 다항식을 평가하면, 잠재적인 분류 능력을 갖는 새로운 3변수 루프 다항식이 도출된다.