[논문 리뷰] New Invariants of Long Virtual Knots

Andrew Bartholomew, Roger Fenn외 2명|ArXiv.org|2007. 05. 31.

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

한 줄 요약

이 논문은 비가환 대수 $\mathcal{F}$와 그 표현(쿼터니언 및 와일 대수 포함)을 사용하여 장거리 가상 끈에 대한 네 가지 새로운 불변량—$\mathcal{M}_K$, $\widehat{\mathcal{M}}_K$, $\mathcal{M}^o_K$, $\mathcal{M}^n_K$—을 도입한다. 주요 기여는 연결에 대해 임계 차원 $r$ 행렬식에 대한 곱 공식을 도출하여 장거리 가상 끈에서의 비가환성 행동을 구분하며, 부다페스트 스위치와 행렬 표현을 통해 명시적인 불변량을 계산한다.

ABSTRACT

This paper extends the construction of invariants for virtual knots to virtual long knots and introduces two new invariant modules of virtual long knots. Several interesting features are described that distinguish virtual long knots from their classical counterparts with respect to their symmetries and the concatenation product.

연구 동기 및 목표

• 가상 끈의 불변량을 장거리 가상 끈으로 확장하기 위해 새로운 대수적 모듈을 구성함.
• 입력 또는 출력 생성자를 0으로 설정하여 새로운 불변량 $\mathcal{M}^o_K$와 $\mathcal{M}^n_K$를 정의함으로써 고유한 구조적 특징을 포착함.
• 이러한 모듈의 임계 차원 $r$ 행렬식이 연결 곱에 대해 곱 공식을 만족함을 증명함으로써 장거리 가상 끈에서의 비가환성 강조함.
• 와일 대수를 사용하여 평탄한 장거리 가상 끈로 이러한 불변량을 일반화하고, 계산 가능한 다항식 불변량을 제공함.

제안 방법

• 불변량은 비가환 대수 $\mathcal{F}$의 왼쪽 $\mathcal{F}$-모듈로 구성되며, $\mathcal{F}$는 생성자 $A, B$와 $A^{-1}B^{-1}AB - B^{-1}AB = BA^{-1}B^{-1}A - A$를 포함하는 특정 관계를 가진다.
• 표현 $\eta$를 통해 교환환 위의 행렬환으로의 사상이 이루어지는 표현 행렬 $P$에 대해, 임계 차원 $r$ 행렬식 $\det^{(r)}_\eta(P)$를 정의한다.
• 부다페스트 스위치 $S = \begin{pmatrix} 1+i & -tj \\ t^{-1}j & 1+i \end{pmatrix}$는 $\mathcal{F}$를 $\mathbb{C}[t,t^{-1}]$ 위의 $2 \times 2$ 행렬로 표현하며, 이는 다항식 불변량을 행렬 행렬식을 통해 가능하게 한다.
• 평탄한 장거리 가상 끈의 경우, 생성자 $u, v$가 $uv - vu = 1$를 만족하는 와일 대수를 사용하며, $u = \begin{pmatrix} x & a \\ 0 & x \end{pmatrix}$, $v = \begin{pmatrix} y & 0 \\ 1/a & y \end{pmatrix}$와 같은 행렬 표현을 통해 불변량을 계산한다.
• $\mathcal{M}_K$는 표준 가상 끈 모듈을 모방하며, $\widehat{\mathcal{M}}_K$는 $K$를 닫아 얻는 폐쇄 가상 끈의 모듈이다. 반면 $\mathcal{M}^o_K$와 $\mathcal{M}^n_K$는 새로운 구성으로 입력 또는 출력 생성자를 0으로 설정한다.
• 스위치와 행렬 표현을 사용하여 불변량을 계산하며, 명시적인 예시에서는 $FF$와 $\overline{FF}$에 대해 서로 다른 다항식을 보이며, 예를 들어 $p^{(0)}(FF) = x^2 + 1$ 및 $p^{(0)}(\overline{FF}) = x^6 + 1$를 보여준다.

실험 결과

연구 질문

• RQ1 가환 가상 끈의 불변량을 어떻게 새로운 대수적 모듈을 통해 장거리 가상 끈으로 확장할 수 있는가?
• RQ2 비가환 연결으로 인해 장거리 가상 끈에서 나타나는 새로운 구조적 특징는 무엇이며, 이를 어떻게 대수적으로 포착할 수 있는가?
• RQ3 $\mathcal{M}^o_K$와 $\mathcal{M}^n_K$는 입력 또는 출력 생성자를 0으로 설정하여 정의되며, 이는 유용한 대수적 성질을 지닌 새로운 불변량을 제공하는가?
• RQ4 이러한 모듈의 임계 차원 $r$ 행렬식이 연결 곱에 대해 곱 공식을 만족하는가? 그리고 이는 장거리 가상 끈 곱셈의 비가환성에 대해 무엇을 시사하는가?
• RQ5 이러한 불변량은 평탄한 장거리 가상 끈에서 장거리 가상 끈로의 투라에프 내림사영 맵에서 어떻게 행동하는가?

주요 결과

• $\mathcal{M}^o_K$는 입력 생성자를 0으로 설정하여 정의되며, 장거리 가상 끈의 비대칭성을 포착하는 새로운 불변량을 제공한다.
• $\mathcal{M}^n_K$는 출력 생성자를 0으로 설정하여 정의되며, $\mathcal{M}^o_K$와 $\mathcal{M}^n_K$ 모두 연결에 대해 곱 공식을 만족함으로써 비가환성 행동을 나타낸다.
• 가상 토르포이드의 경우 임계 차원 0 행렬식은 $1 + 2t^2 + t^4$이며, 킴쇼노 끈의 경우 0이고, 임계 차원 1 행렬식은 $1 + \frac{5}{2}t^2 + t^4$로 비자명한 불변량임을 보여준다.
• 평탄한 장거리 끈 $FF$의 경우 $p^{(0)}(FF) = x^2 + 1$이고 $p^{(0)}(\overline{FF}) = x^6 + 1$로, 이는 두 끈이 불변량에 대해 서로 다름을 증명한다.
• $F \cdot \overline{F}$의 곱은 $p^{(0)} = 6t^4 + 15t^2 + 6$을, $\overline{F} \cdot F$의 곱은 $p^{(0)} = 3t^4 + \frac{15}{2}t^2 + 3$을 얻어 정수 쿼터니언 위에서의 비가환성을 보여준다.
• 삼중 곱 $(F \cdot \overline{F}) \cdot F$와 $F \cdot (F \cdot \overline{F})$는 모두 $p^{(0)} = -12t^8 - 60t^6 - 99t^4 - 60t^2 - 12$를 가지나, $p^{(1)}$ 값은 각각 $9(t^2 + 1)$과 $-\frac{9}{2}(2t^2 + 1)(t^2 + 2)$로 다름을 확인하여 서로 다름을 확인한다.