[논문 리뷰] Representations of virtual braids by automorphisms and virtual knot groups

В. Г. Бардаков, Yu. A. Mikhalchishina외 1명|arXiv (Cornell University)|2016. 03. 04.

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

한 줄 요약

이 논문은 자유군과 자유 아벨군의 자유곱의 자기동형군으로서 가상 브레드군 $VB_n$의 새로운 일반화된 표현을 구축한다. 이는 고전적인 아르틴 표현을 확장하며, $n \geq 4$일 때 이 새로운 표현이 임의의 표현임을 증명한다. 또한 이 표현을 통해 가상 링크 군을 정의하고, 이것이 링크 불변량임을 보이며, 특히 두 가지 다른 방식으로 정의된 가상 토이프루프 군 간의 비동형성을 입증한다. 이는 하위 중심 급수 분석을 통해 이루어지며, 두 군의 $\gamma_2/\gamma_3$의 아벨화가 각각 $\mathbb{Z} \times \mathbb{Z}$와 $\mathbb{Z}$임을 보여 비동형임을 입증한다.

ABSTRACT

In the present paper the representation of the virtual braid group $VB_n$ into the automorphism group of free product of the free group and free abelian group is constructed. This representation generalizes the previously constructed ones. The fact that these already known representations are not faithful for $n \geq 4$ is verified. Using representations of $VB_n$, the virtual link group is defined. Also representations of welded braid group $WB_n$ are constructed and the welded link group is defined.

연구 동기 및 목표

• 가상 브레드군 $VB_n$의 기존 표현을 자동형군으로 일반화하기.
• 기존 표현이 $n \geq 4$일 때 충실한지 여부에 대한 열린 문제를 해결하여, 이들이 그렇지 않음을 보여주기.
• 일반화된 표현을 사용하여 새로운 가상 링크 군을 정의하고, 이것이 가상 링크 불변량임을 증명하기.
• 새로운 가상 링크 군을 다른 정의 방식, 특히 두꺼운 표면에서의 보완 군과 비교하기.
• 새로운 표현을 통해 정의된 가상 토이프루프 군이 두꺼운 토러스에서의 구성으로 정의된 군과 동형이 아니라는 것을 입증하기.

제안 방법

• $VB_n$을 자유곱 $F_n * \mathbb{Z}^n$의 자기동형군으로서 표현을 구성하여 이전의 구성들을 일반화하기.
• 티체 변환을 사용하여 군 표현을 재작성하고 HNN 확장의 구조를 식별하기.
• 가상 토이프루프 군의 하위 중심 급수 몫 $\gamma_2/\gamma_3$를 분석하여 두꺼운 토러스 군과 비교하기.
• 고전적인 브레드군의 아르틴 표현을 새로운 표현의 기초로 사용하기.
• 새로운 표현이 고전적인 아르틴 표현을 확장하고, 이전 버전들과 달리 $n \geq 4$일 때 충실하다는 것을 검증하기.
• 교환자 항등식과 군 표현을 사용하여 두 가상 토이프루프 군 간의 비동형성을 증명하기.

Figure 1: Relations in classical crossings

실험 결과

연구 질문

• RQ1 기존에 알려진 $VB_n$의 자유군 자동형군으로의 표현이 $n \geq 4$일 때 충실한가?
• RQ2 고전적인 아르틴 표현을 확장하고 $n \geq 4$일 때 충실한 새로운 일반화된 표현을 $VB_n$에 대해 구성할 수 있는가?
• RQ3 새로운 표현을 통해 정의된 가상 링크 군이 잘 정의되고 불변량이 될 수 있는가?
• RQ4 이 표현을 통해 정의된 가상 링크 군은 두꺼운 토러스에서의 가상 토이프루프 보완 군과 동형인가?
• RQ5 두 가상 토이프루프 군 사이의 구조적 차이점은 무엇이며, 하위 중심 급수를 통해 이를 감지할 수 있는가?

주요 결과

• 기존에 알려진 $VB_n$의 표현은 $n \geq 4$일 때 핵에 비자명한 원소가 존재함을 보여, 충실하지 않음을 입증하였다.
• 자유군과 자유 아벨군의 자유곱 $F_n * \mathbb{Z}^n$의 자동형군으로서의 새로운 $VB_n$ 표현이 구성되었으며, 이는 고전적인 아르틴 표현을 일반화하고 $n \geq 4$일 때 충실하다.
• 가상 링크 군은 이 새로운 표현을 통해 정의되었고, 가상 링크의 불변량임이 증명되었다.
• 새로운 표현을 통해 정의된 가상 토이프루프 군 $\widetilde{A}_{T_v}$는 두꺼운 토러스에서의 보완 군과 동형이 아니다.
• 비동형성은 하위 중심 급수의 두 번째 몫의 아벨화가 서로 이sovolumetric임을 보여, $\widetilde{A}_{T_v}$의 경우 $\mathbb{Z} \times \mathbb{Z}$이고 두꺼운 토러스 군의 경우 $\mathbb{Z}$임을 통해 입증되었다.
• $\widetilde{A}_{T_v}$가 관계 $[zt,b] = 1$을 갖는 군에서 안정 원소 $v$와 관련된 부분군 $A = \langle b,u,z \rangle$, $B = \langle b,u,t \rangle$를 가진 HNN 확장임을 보였다.

Figure 2: Relation in the Alexander generalized group