[논문 리뷰] Braid groups and Artin groups

Luis Paris|ArXiv.org|2007. 11. 15.

Geometric and Algebraic Topology참고 문헌 109인용 수 16

한 줄 요약

이 논문은 브레이드 군, 아르틴 군, 가르시드 군에 대한 종합적인 서베이를 제공하며, 이들의 대수적, 위상적, 기하적 구조에 중점을 둔다. 비순환 호모모르피즘 B_n → M(Σ_{k,r})가 공轭에 관해 분류되며, 표준 표현의 전위(전위)로 나타나며, 표면 위의 위상 구조에 따라 단순성 조건이 결정됨을 보여주며, 이는 브레이드 군과 매핑 클래스 군의 외부 자명형 군 분류에 대한 새로운 증명을 이끌어낸다.

ABSTRACT

This article is a survey on the braid groups, the Artin groups, and the Garside groups. It is a presentation, accessible to non-experts, of various topological and algebraic aspects of these groups. It is also a report on three points of the theory: the faithful linear representations, the cohomology, and the geometrical representations.

연구 동기 및 목표

• 비전문가를 대상으로 브레이드 군, 아르틴 군, 가르시드 군에 대한 자율적이고 접근 가능한 서베이를 제공하기 위해.
• 브레이드 군, 매핑 클래스 군, 기하적/위상적 표현 간의 관계를 통합하고 설명하기 위해.
• 표면의 매핑 클래스 군으로의 비순환 호모모르피즘을 분류하고, 특히 전위와 중심화자 관점에서 설명하기 위해.
• 이 분류를 바탕으로 브레이드 군과 매핑 클래스 군의 외부 자명형 군 결과를 재유도하기 위해.

제안 방법

• 가르시드 군 이론을 활용하여 브레이드 군 내의 단어 문제와 공轭 문제 등의 알고리즘 문제를 분석한다.
• 살베티 복합체 구조를 적용하여 초평면 배열을 통해 아르틴 군의 코homology를 연구한다.
• 위상적 및 대수적 방법을 활용하여 브레이드 군의 선형 표현을 구성하며, 비케이와 크라머의 표현을 포함한다.
• 특히 표면 위의 드레인 투습을 통한 매핑 클래스 군으로의 기하적 표현을 활용한다.
• 매핑 클래스 군 내에서 이미지 부분군의 중심화자를 분석하여 가능한 호모모르피즘을 분류한다.
• 표준 표현의 전위를 도입하여 비순환 호모모르피즘을 생성하고 분류하는 수단으로 활용한다.

실험 결과

연구 질문

• RQ1 표면의 매핑 클래스 군으로의 브레이드 군에서의 비순환 호모모르피즘의 구조는 무엇인가?
• RQ2 매핑 클래스 군 내에서 이미지 부분군의 중심화자가 이러한 호모모르피즘의 분류에 어떻게 기여하는가?
• RQ3 표준 표현 ρ_M: B_n → M(Σ_{k,r})가 매핑 클래스 군으로의 단순성 조건은 어떤 위상적 조건에 의해 결정되는가?
• RQ4 호모모르피즘의 분류를 어떻게 활용하여 외부 자명형 군 결과를 재유도할 수 있는가?
• RQ5 표준 표현의 전위는 모든 비순환 호모모르피즘을 생성하는 데 어떤 역할을 하는가?

주요 결과

• 홀수 n ≥ 5일 때, B_n에서 M(Σ_{k,r})로의 모든 비순환 호모모르피즘은 표준 표현 ρ_M의 전위와 공轭이다.
• 표준 표현 ρ_M: B_n → M(Σ_{k,r})는 r ≥ 1일 때에만 단순하다.
• 짝수 n ≥ 6일 때, B_n에서 M(Σ_{k,r})로의 모든 비순환 호모모르피즘은 ρ_M(r₁,r₂)의 전위와 공轭이다. 여기서 r₁ + r₂ = r 이고 r₁,r₂ ≥ 1이다.
• 표현 ρ_M(r₁,r₂): B_n → M(Σ_{k,r})는 r₁ ≥ 1 및 r₂ ≥ 1일 때에만 단순하다.
• r > 0일 때, ρ_M(r₁,r₂)의 이미지의 중심화자는 M(Ω₁) × M(Ω₂)와 동형이며, r = 0일 때는 순서 2의 순환군이다.
• 이 분류 결과들은 새로운 증명을 이끌어내며, Out(B_n) ≅ ℤ/2ℤ (n ≥ 5), Out(M(Σ_{g,r}))는 r ≥ 1이면 자명군, r = 0 및 g ≥ 3이면 ℤ/2ℤ, r = 0 및 g = 2이면 (ℤ/2ℤ)²이다.