[논문 리뷰] Calculus of the first non-trivial 1-cocycle of the space of long knots

Victor Tourtchine|ArXiv.org|2005. 02. 24.

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

한 줄 요약

이 논문은 Vassiliev의 조합적 공식을 사용하여 $ℂ^3$ 속의 장점 링크 공간에서 첫 번째 비자명한 1-코호몰로지류 $v_3^1$ 의 mod 2 값을 계산한다. 이는 1-사이클 위에서 코호몰로지류의 값을 계산할 때, 특정한 점들의 구성—예를 들어 오버/언더 교차점과 접선 벡터 방향—을 2를 법으로 세는 것으로 결정되며, 그 결과는 세 가지 서로 다른 기하 조건의 기여의 합으로 나타나며, 다중 조건이 동시에 만족될 경우 그 수를 더해 계산한다.

ABSTRACT

For the space of long knots in R^3, Vassiliev's theory defines the so called finite order cocycles. Zero degree cocycles are finite type knot invariants. The first non-trivial cocycle of positive dimension in the space of long knots has dimension one and order three. We apply Vassiliev's combinatorial formula, and find the value mod 2 of this cocycle on the 1-cycles that are obtained by dragging knots one along the other or by rotating around a fixed line.

연구 동기 및 목표

• 장점 링크 공간에서의 첫 번째 비자명한 유한순서 1-코호몰로지류 $v_3^1$ 의 mod 2 값을 계산하는 것.
• 결과적으로 링크의 점들에 대한 기하적 구성과 함께 $v_3^1$ 에 대한 명시적이고 조합적인 공식을 제공하는 것.
• Vassiliev의 판별식 해소와 관련된 스펙트럴 시퀀스에 대해 코호몰로지류가 잘 정의되어 있고 안정적임을 입증하는 것.
• 코호몰로지류의 값과 Arf 불변량, 프레임 수와 같은 위상수학적 불변량 간의 연결 고리를 설정하는 것.

제안 방법

• 장점 링크의 맥락에서 유한형 코호몰로지류에 대한 Vassiliev의 조합적 공식을 적용한다.
• 1-사이클이 $v_3^1$ 에 기여하는 데 영향을 주는 세 가지 기하 조건 (i), (ii), (iii) 를 정의한다.
• 교차점과 접선 벡터 방향을 다이어그램적으로 모델링하고, 구성 유형에 따라 다중성을 할당한다.
• Knot S 와 B 의 복합에 대해 곱셈 규칙을 적용하여, 각 링크의 기여 수를 곱한다.
• mod 2 대수적 간소화를 활용하여, 최종 값에 비자명하게 영향을 주는 다이어그램이 오직 하나의 다이어그램 (III) 뿐임을 보여준다.
• 무한차원 코homology 에 대한 엄밀한 의미 부여를 위해 스펙트럴 시퀀스의 안정성과 유한차원 근사치를 활용한다.

실험 결과

연구 질문

• RQ1 장점 링크 공간의 일반적인 1-사이클 위에서 첫 번째 비자명한 1-코호몰로지류 $v_3^1$ 의 mod 2 값은 무엇인가?
• RQ2 오버/언더 교차점과 접선 벡터 방향과 같은 기하적 구성은 $v_3^1$ 의 값에 어떻게 영향을 주는가?
• RQ3 $v_3^1$ 은 특정한 점 구성의 기여의 합으로 표현될 수 있는가? 이때 각 기여에는 정의된 다중성이 존재하는가?
• RQ4 $[k_1,k_2]$ 또는 $\hat{k}$ 와 같은 특정 1-사이클 위에서 $v_3^1$ 의 값은 $ℤ$ 위에서 유한형 불변량인가?
• RQ5 시작점으로부터 회전을 통해 얻은 1-사이클 $\tilde{k}$ 에서의 코호몰로지류 값은 유한형 불변량을 이룬다 할 수 있는가?

주요 결과

• $v_3^1$ 의 mod 2 값은 세 가지 기하 조건 (i), (ii), 또는 (iii) 를 만족하는 점의 수를 다중성으로 세었을 때의 합과 같다.
• 조건 (i) 는 다섯 개의 점 $a<b<c<d<e$ 가 $f(a)$ 가 $f(d)$ 위에 있고, $f(e)$ 가 $f(b)$ 위에 있으며, $f(c)$ 가 존재할 때 기여하며, $a$ 와 $d$ 의 비유일성에 의해 다중성이 결정된다.
• 조건 (ii) 는 네 개의 점 $a<b<c<d$ 가 $f(a)$ 가 $f(c)$ 위에 있고, $f(b)$ 가 $f(d)$ 아래에 있으며, $f'(b)$ 의 투영이 오른쪽을 향할 때 기여하며, 다중성은 1이다.
• 조건 (iii) 는 세 개의 점 $a<b<c$ 가 $f(a)$ 가 $f(b)$ 위에 있지만 $f(c)$ 아래에 있으며, $f'(a)$ 와 $f'(b)$ 의 투영 사이의 각이 오른쪽 방향을 포함하지 않을 때 기여하며, 다중성은 1이다.
• $II + IV + VI \equiv 0 \pmod{2}$ 이고 $I + V \equiv 0 \pmod{2}$ 이므로 mod 2 계산에서 유일하게 비자명한 기여는 다이어그램 III 뿐이다.
• 1-사이클 위에서 $v_3^1$ 의 최종 값은 큰 링크 B 의 평탄한 프레임 수와 작은 링크 S 의 Arf 불변량의 곱이며, 이는 mod 2로 표현된다.