[논문 리뷰] On the singular braid monoid

V. V. Vershinin|arXiv (Cornell University)|2003. 09. 20.

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

한 줄 요약

이 논문은 특이 브레인드 모노이드에 대해 가르시드의 기초적 결과—특히 게으른 정규형의 존재와 단어 문제의 해법—을 확립한다. 이는 비르만-코-리의 브레인드 그룹에 대한 표현을 특이한 설정으로 확장한 것이다. 주요 기여는 특이 생성자 $x_i$와 통제된 방식으로 가환하는 기본 단어 $\Delta$를 통해 특이 브레인드 모노이드가 가르시드 구조를 갖는다는 것을 증명한 것이다. 이는 단어 문제와 정규형에 대한 알고리즘적 해법을 가능하게 한다.

ABSTRACT

Garside's results and the existense of the greedy normal form for braids are shown to be true for the singular braid monoid. An analogue of the presentation of J. S. Birman, K. H. Ko and S. J. Lee for the braid group is also obtained for this monoid.

연구 동기 및 목표

• 브레인드 그룹의 가르시드 이론—특히 게으른 정규형의 존재와 단어 문제의 해법 가능성—을 특이 브레인드 모노이드 $SB_n$로 확장한다.
• 브레인드 그룹의 비르만-코-리 표현의 유사체를 생성자 $a_{ts}$와 $b_{ts}$를 사용하여 특이 브레인드 모노이드에 수립한다. 이는 브레인드 그룹의 구조를 일반화한다.
• 특이 브레인드 모노이드의 기본 단어 $\Delta$가 브레인드 그룹에서의 역할과 유사하게 행동함을 보여주며, 특히 $\Delta x_i \doteq x_{n-i} \Delta$를 통해 특이 생성자 $x_i$와의 가환성 관계를 밝힌다.
• 양의 동치와 약수 관계를 사용하여 구조적이고 가르시드 스타일의 단어 문제 해법을 제공함으로써, 이전 접근 방식의 기술적 복잡성에서 벗어난다.

제안 방법

• 브레인드 그룹에 대한 가르시드의 원래 논증을 특이 브레인드 모노이드에 적용하며, 역원을 포함하지 않는 양의 특이 브레인드 모노이드 $SB_n^+$와 생성자 $\sigma_i, x_i$를 중심으로 다룬다.
• 기본 단어 $\delta$를 $\delta \equiv a_{n(n-1)}a_{(n-1)(n-2)}\cdots a_{21}$로 정의하며, 이가 임의의 생성자 $a_{ts}$로 시작하거나 끝나는 단어와 양의 동치임을 보여주어 약수 관계를 가능하게 한다.
• 말체프 규칙과 단어 길이에 대한 귀납법을 사용하여, 특히 $\sigma_i A \doteq \sigma_k B$, $\sigma_i A \doteq x_k B$, $x_i A \doteq x_k B$의 경우에 대해 취소 및 단순화 규칙을 증명함으로써 유일한 정규형을 확립한다.
• 기본 단어 $\delta$와 생성자 $a_{ts}$, $b_{ts}$ 사이의 가환성 관계를 증명하여 $a_{ts}\delta \doteq \delta a_{(t+1)(s+1)}$ 및 $b_{ts}\delta \doteq \delta b_{(t+1)(s+1)}$ (단, $1\leq s<t<n$)임을 보이며, 비르만-코-리의 결과를 일반화한다.
• 브레인드 그룹의 비르만-코-리 표현의 관계들이 특이 브레인드 모노이드의 관계들로부터 유도됨을 보여주어 그 프레임워크의 확장 타당성을 검증한다.
• 기하적 직관과 기호 연산을 적용하여 특이 브레인드 모노이드가 가르시드 성질을 상속함을 입증하며, 특히 왼쪽 및 오른쪽 약수 관계를 통한 게으른 정규형 존재성을 보여준다.

실험 결과

연구 질문

• RQ1 특이 브레인드 모노이드 $SB_n$은 기본 단어 $\Delta$와 함께 가르시드 구조를 갖는가? 게으른 정규형이 존재하는가?
• RQ2 브레인드 그룹과 유사한 가르시드 스타일 알고리즘을 사용하여 $SB_n$에서 단어 문제를 해결할 수 있는가?
• RQ3 생성자 $a_{ts}$와 $b_{ts}$를 사용하여 특이 브레인드 모노이드에 비르만-코-리 표현의 유사체가 존재하는가?
• RQ4 특이 브레인드 모노이드의 기본 단어 $\delta$는 특이 생성자 $x_i$와 어떻게 상호작용하는가? 그리고 $x_i \delta \doteq \delta x_{n-i}$를 만족하는가?
• RQ5 비르만-코-리 표현의 관계들은 특이 브레인드 모노이드의 정의 관계들로부터 유도될 수 있는가?

주요 결과

• 특이 브레인드 모노이드 $SB_n$은 가르시드 이론을 특이 설정으로 확장한 게으른 정규형을 갖는다.
• 기본 단어 $\delta$는 임의의 생성자 $a_{ts}$로 시작하거나 끝나는 모든 단어와 양의 동치이므로, 약수 기반의 정규형 구성이 가능하다.
• 기본 단어 $\delta$는 생성자 $a_{ts}$와 $b_{ts}$와 가환하며, $a_{ts}\delta \doteq \delta a_{(t+1)(s+1)}$ 및 $b_{ts}\delta \doteq \delta b_{(t+1)(s+1)}$ (단, $1\leq s<t<n$)를 만족한다. 이는 브레인드 그룹의 가환성 관계를 일반화한다.
• $SB_n$에서 단어 문제는 $\sigma_i$, $x_i$ 및 그 조합을 포함하는 양의 단어에 대한 취소 및 단순화 규칙을 사용하여 가르시드 스타일 알고리즘으로 해결 가능하다.
• 비르만-코-리 표현은 특이 브레인드 모노이드로 확장되며, 그 모든 관계들이 특이 브레인드 모노이드의 정의 관계들로부터 유도된다.
• 특이 브레인드 모노이드는 가르시드 성질을 상속한다: 모든 원소는 유일한 정규형을 가지며, 기본 단어 $\delta$는 가르시드 원소로서 단어 문제의 해법 가능성과 정규형 존재성을 보장한다.