[논문 리뷰] Quotients of the Artin braid groups and crystallographic groups

Daciberg Lima Gonçalves, John Guaschi외 1명|arXiv (Cornell University)|2015. 03. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 4

한 줄 요약

이 논문은 $B_n/[P_n, P_n]$의 몫군이 $n \geq 3$일 때 결정군임을 조사하며, 유일하게 홀수 토크션을 가짐을 보임. 이 논문은 몫군 내 유한 순서 원소의 공轭류와 $S_n$ 내 홀수 순서 원소의 공轭류 사이에 일대일 대응을 수립하고, 모든 $n \geq 7$에서 순서 21인 프로베누스 군이 $B_n/[P_n, P_n]$에 임베드됨을 증명하며, 홀수 순서 부분군의 실현을 완전히 특성화함.

ABSTRACT

Let n be greater than or equal to 3. We study the quotient group B\_n/[P n,P\_n] of the Artin braid group B\_n by the commutator subgroup of its pure Artin braid group P\_n. We show that B\_n/[P n,P\_n] is a crystallographic group, and in the case n=3, we analyse explicitly some of its subgroups. We also prove that B\_n/[P n,P\_n] possesses torsion, and we show that there is a one-to-one correspondence between the conjugacy classes of the finite-order elements of B\_n/[P n,P\_n] with the conjugacy classes of the elements of odd order of the symmetric group S\_n, and that the isomorphism class of any Abelian subgroup of odd order of S\_n is realised by a subgroup of B\_n/[P n,P\_n]. Finally, we discuss the realisation of non-Abelian subgroups of S\_n of odd order as subgroups of B\_n/[P n,P\_n], and we show that the Frobenius group of order 21, which is the smallest non-Abelian group of odd order, embeds in B\_n/[P n,P\_n] for all n greater than or equal to 7.

연구 동기 및 목표

• 아르틴 브레이드 군의 순수 브레이드 군의 교환자부군에 대한 몫 $B_n/[P_n, P_n]$의 대수적 구조를 분석하기.
• $B_n/[P_n, P_n]$ 내 유한 순서 원소가 홀수 순서로 제한되는지, 그 공轭류를 분류하기.
• $B_n/[P_n, P_n]$의 부분군으로서 홀수 순서의 유한군, 특히 아벨이 아닌 군들의 실현을 조사하기.
• $S_n$ 내 홀수 순서 원소의 공轭류와 $B_n/[P_n, P_n]$ 내 홀수 순서 원소의 공轭류 사이의 정확한 대응을 수립하기.
• 모든 $n \geq 7$에서 순서 21인 프로베누스 군이 $B_n/[P_n, P_n]$에 임베드됨을 증명하고, 다른 아벨이 아닌 홀수 순서 군들의 실현 가능성 조사하기.

제안 방법

• 짧은 정확한 수열 $1 \to \mathbb{Z}^{n(n-1)/2} \to B_n/[P_n, P_n] \to S_n \to 1$을 사용하여 $B_n/[P_n, P_n]$가 결정군임을 보임.
• $S_n$이 $P_n/[P_n, P_n] \cong \mathbb{Z}^{n(n-1)/2}$ 위에 작용하는 방식을 분석하여 군 확장의 구조를 규명함.
• $\alpha_{0,r}$ 원소들이 $P_n/[P_n, P_n]$의 기저 $\{A_{i,j}\}$에 유도하는 작용을 연구하여 토크션과 궤도의 구조를 분석함.
• 예를 들어 식 (52)와 (53)과 같은 선형 방정식계를 구성하여 $B_n/[P_n, P_n]$ 내 순서 $n$의 원소 존재 조건을 표현함.
• 표현 이론과 군론 기법(특히 $A_7$ 내 최대 부분군의 분류)을 활용하여 아벨이 아닌 홀수 순서 부분군의 실현 가능성을 규명함.
• 기존의 동형관계, 예를 들어 $B_n/[P_n, P_n] \cong PS_n$를 활용하여 의사대칭 브레이드 분야 및 강화된 대칭군 이론과 연결함.

실험 결과

연구 질문

• RQ1 $B_n/[P_n, P_n]$가 결정군인지, 그 기하학적 및 대수적 구조는 무엇인지?
• RQ2 $B_n/[P_n, P_n]$가 짝수 순서의 원소를 포함하는지, 아니면 토크션이 홀수 순서로 제한되는지?
• RQ3 $B_n/[P_n, P_n]$ 내 유한 순서 원소의 공轭류와 $S_n$ 내 홀수 순서 원소의 공轭류 사이에 일대일 대응이 존재하는가?
• RQ4 $B_n/[P_n, P_n]$의 부분군으로서 실현 가능한 홀수 순서의 유한군은 무엇인가?
• RQ5 모든 $n \geq 7$에서 순서 21인 프로베누스 군이 $B_n/[P_n, P_n]$에 임베드되는가? 그리고 이는 이 몫군 내에서 실현 가능한 가장 작은 아벨이 아닌 홀수 순서 군인가?

주요 결과

• $B_n/[P_n, P_n]$는 모든 $n \geq 3$에서 결정군이며, 짧은 정확한 수열 $1 \to \mathbb{Z}^{n(n-1)/2} \to B_n/[P_n, P_n] \to S_n \to 1$을 가짐.
• $B_n/[P_n, P_n]$는 짝수 순서의 원소를 가지지 않으며, 모든 토크션은 홀수 순서임.
• $B_n/[P_n, P_n]$ 내 유한 순서 원소의 공轭류와 $S_n$ 내 홀수 순서 원소의 공轭류 사이에 일대일 대응이 존재하며, 이 대응은 순서를 유지함.
• $S_n$ 내 홀수 순서 아벨 부분군의 모든 동형류가 $B_n/[P_n, P_n]$의 부분군으로 실현됨.
• 모든 $n \geq 7$에서 순서 21인 프로베누스 군이 $B_n/[P_n, P_n]$에 임베드되며, 이는 이 몫군 내에서 실현 가능한 가장 작은 아벨이 아닌 홀수 순서 군임.
• $n \geq 7$일 때, $B_n/[P_n, P_n]$ 내 순서 $n$의 원소 존재 여부는 $\mathbb{Z}$ 위에서의 선형 방정식계의 해가 존재하는지 여부와 동치이며, 이러한 원소는 무한히 많이 존재함.