[논문 리뷰] Garside structure for the braid group of G(e,e,r)

David Bessis, Ruth Corran|ArXiv.org|2003. 06. 11.

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

한 줄 요약

이 논문은 복소 반사군 $G(e,e,r)$ 의 브레인드 군 $B(e,e,r)$ 에 대해 새로운 양의 동차 표현을 제안하며, 반사로 사상되는 코너지드 생성자를 도입한다. 이 표현을 통해 저자들은 일반화된 코xeter 원소를 Garside 원소로 사용하는 Garside 구조를 수립함으로써, Garside 군의 알고리즘적 성질을 이용해 $B(e,e,r)$ 의 단어 문제와 코jugacy 문제를 해결한다.

ABSTRACT

We give a new presentation of the braid group $B$ of the complex reflection group $G(e,e,r)$ which is positive and homogeneous, and for which the generators map to reflections in the corresponding complex reflection group. We show that this presentation gives rise to a Garside structure for $B$ with Garside element a kind of generalised Coxeter element, and hence obtain solutions to the word and conjugacy problems for $B$.

연구 동기 및 목표

• 복소 반사군 $G(e,e,r)$ 의 브레인드 군 $B(e,e,r)$ 에 대한 단어 문제와 코jugacy 문제를 해결하는 열린 문제를 해결하기 위해.
• 원래 Broué-Malle-Rouquier(BMR) 생성자를 코너지드한 생성자로 구성된 새로운 양의 동차 표현을 제안하며, 이 생성자들이 반사로 사상됨을 보장하기 위해.
• 이 새로운 표현으로 정의된 모노이드가 Garside 모노이드임을 증명함으로써, 군이 Garside 군임을 보장하고, 따라서 단어 문제와 코jugacy 문제가 해법 가능함을 보장하기 위해.
• 원래 BMR 생성자에 대한 유한한 양의 동차 표현으로는 어떤 유한한 양의 동차 관계 집합도 $B(e,e,r)$ 에 모노이드 포함을 유도할 수 없음을 증명함으로써, 새로운 표현의 필요성을 정당화하기 위해.
• 새로운 군 표현이 $G(e,e,r)$ 의 브레인드 군과 대수적으로 동치임을 확립함으로써, 그 군론적 모델로서의 정확성을 확인하기 위해.

제안 방법

• 생성자 집합 $\mathcal{A} = \mathcal{A}_0 \cup \mathcal{A}_1$ 을 도입하며, 여기서 $a_{pq}$ 는 $0 \leq p < q < n$ 이고, $a_p^{(i)}$ 는 $0 \leq p < n$, $0 \leq i < e$ 이며, $n = r-1$ 이다.
• 브레인드 유사 관계와 교환 관계를 포함하는 여섯 종류의 관계를 정의하며, 이는 $n$-순환 순서로 정렬된 시퀀스에 의해 매개화되어 표현이 양적이고 동차가 되도록 보장한다.
• Garside 모노이드 이론을 활용: 좌우 나눗셈 하에서 취소법칙, 격자 구조, 그리고 좌우 약수들이 일치하고 모노이드를 생성하는 Garside 원소의 존재를 검증한다.
• Garside 모노이드의 구조를 활용해 분수 군이 Garside 군임을 유도하며, 이는 단어 문제와 코jugacy 문제의 해법 가능성을 보장한다.
• GAP 를 통한 계산적 검증을 통해 증명의 완전한 표현과 Garside 모노이드 공리의 사례별 점검을 수행하였지만, 후속 논문에서는 기하적 접근을 대안으로 언급한다.
• 원래 BMR 모노이드의 포함 불가능성을 입증하기 위해, 특정 무한한 관계 가닥들(예: $21^n3213 = 32132^n1$) 이 원래 생성자에 대한 어떤 유한한 양의 동차 표현에서도 유도될 수 없음을 보였다.

실험 결과

연구 질문

• RQ1 브레인드 군 $B(e,e,r)$ 에 대해, 그로 인해 정의된 모노이드가 군에 포함되는 양의 동차 표현을 구성할 수 있는가?
• RQ2 브레인드 군 $B(e,e,r)$ 는 Garside 구조를 갖는가? 만약 그렇다면, 그 Garside 원소의 성격은 어떠한가?
• RQ3 유한한 양의 동차 표현을 통해 $B(e,e,r)$ 의 단어 문제와 코jugacy 문제를 해결할 수 있는가?
• RQ4 원래 BMR 표현을 수정하여, 유한한 양의 동차 관계 집합을 통해 원래 생성자로 모노이드 포함을 $B(e,e,r)$ 에 유도할 수 있는가?
• RQ5 코너지드 생성자들(원래 BMR 생성자의 코너지드) 이며 $G(e,e,r)$ 의 반사로 사상되는 새로운 생성자들의 대수적 및 기하적 의미는 무엇인가?

주요 결과

• 저자들은 BMR 생성자의 코너지드이며 $G(e,e,r)$ 의 반사로 사상되는 생성자를 갖는 새로운 양의 동차 표현을 구성함으로써, 알고리즘적 성질에 대한 오랫동안 미해결된 격차를 해결하였다.
• 이 새로운 표현으로 정의된 모노이드는 취소법칙, 좌우 나눗셈 하에서의 격자 구조, 그리고 좌우 약수들이 일치하고 모노이드를 생성하는 Garside 원소를 갖기 때문에 Garside 모노이드이다.
• 이 Garside 모노이드의 분수 군은 $B(e,e,r)$ 와 동형이며, 이는 새로운 표현이 $G(e,e,r)$ 의 브레인드 군을 정확히 모델링함을 확인한다.
• Garside 구조는 $B(e,e,r)$ 의 단어 문제와 코jugacy 문제에 대해 명시적이고 알고리즘적인 해법을 제공하며, 이는 이전까지 알려지지 않았던 것이다.
• 논문은 원래 BMR 생성자에 대한 어떤 유한한 양의 동차 표현도 $B(e,e,r)$ 에 모노이드 포함을 유도할 수 없음을 증명하였으며, 이는 무한한 관계 가닥들(예: $21^n3213 = 32132^n1$) 이 유한하게 생성될 수 없기 때문이다.
• 이 구조에서의 Garside 원소는 일반화된 코xeter 원소이며, 고전적 개념을 복소 반사 설정으로 확장하여 군 원소에 대한 표준 정규형을 제공한다.