[논문 리뷰] Non-crossing partitions of type (e,e,r)

David Bessis, Ruth Corran|ArXiv.org|2004. 03. 23.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 10

한 줄 요약

이 논문은 $(e,e,r)$ 유형의 교차하지 않는 분할의 새로운 격자인 $NCP(e,e,r)$를 제안하며, 이는 브레인드 군 $B(e,e,r)$에 대한 가르시드 구조를 제공하여 단어 문제와 쌍대 문제를 해결할 수 있게 한다. 이 구성은 고전적 교차하지 않는 분할을 일반화하고, 복소 반사군의 이중 브레인드 모노이드 프레임워크를 $G(e,e,r)$ 유형으로 확장한다. 응용 분야로는 브레인드 군 이론, 클러스터 대수, 자유 확률론 등이 있다.

ABSTRACT

We investigate a new lattice of generalised non-crossing partitions, constructed using the geometry of the complex reflection group $G(e,e,r)$. For the particular case $e=2$ (resp. $r=2$), our lattice coincides with the lattice of simple elements for the type $D_n$ (resp. $I_2(e)$) dual braid monoid. Using this lattice, we construct a Garside structure for the braid group $B(e,e,r)$. As a corollary, one may solve the word and conjugacy problems in this group.

연구 동기 및 목표

• 브레인드 군 $B(e,e,r)$를 위한 조합적 프레임워크를 $(e,e,r)$ 유형의 교차하지 않는 분할을 이용해 개발한다.
• 이중 브레인드 모노이드 구성법을 복소 반사군 $G(e,e,r)$로 일반화하며, 이는 $D_r$ 및 $I_2(e)$를 특수 케이스로 포함한다.
• 사례별 컴퓨터 분석에 의존하지 않고도 $B(e,e,r)$에 대한 가르시드 구조를 제공한다.
• 교차하지 않는 분할의 격자와 클러스터 대수 및 자유 확률론과 같은 표현 이론적 구조 사이의 관계를 수립한다.
• 브뢰에-말-루키에르 생성자들이 유한한 표현을 갖지 못함을 가르시드 구조를 통해 증명한다.

제안 방법

• 복소 반사군 $G(e,e,r)$의 기하학을 이용하여 교차하지 않는 분할의 격자 $NCP(e,e,r)$를 구성한다.
• 격자 내 단순 원소들의 집합을 통해 $B(e,e,r)$ 위에 가르시드 모노이드 구조를 정의한다.
• 가르시드 모노이드 내의 $a$-체인과 나눗셈을 이용해 단어의 축소 가능성과 취소 성질을 분석한다.
• 오른쪽 및 왼쪽 취소 원리를 적용하여 브레인드 군 내의 관계 $21^k3213 = 32132^k1$ 등을 유도한다.
• 형식 $A$ 브레인드 군인 $B_n$으로의 전사 사상 $B(e,e,n+1) \to B_n$을 사용하여 $2^k1$ 및 $32132^k$와 같은 단어의 행동을 분석한다.
• 싱글턴 동치류와 나눗셈 검사를 통해 브뢰에-말-루키에르 생성집합 위에서의 핵심 단어의 재작성 불가능성을 증명한다.

실험 결과

연구 질문

• RQ1 브레인드 군 $B(e,e,r)$에 대해 교차하지 않는 분할의 격자를 이용해 가르시드 구조를 구성할 수 있는가?
• RQ2 격자 $NCP(e,e,r)$는 $D_r$ 및 $I_2(e)$ 유형의 이중 브레인드 모노이드와 어떻게 관련이 있는가?
• RQ3 $NCP(e,e,r)$의 수치적 구조는 무엇이며, 고전적 카탈란 수 공식을 일반화하는가?
• RQ4 가르시드 프레임워크를 사용하여 브뢰에-말-루키에르 표현이 유한한 표현을 갖지 못하는 것으로 보일 수 있는가?
• RQ5 $NCP(e,e,r)$와 클러스터 대수 또는 자유 확률론과 같은 다른 분야 사이에 연결 고리가 존재하는가?

주요 결과

• 격자 $NCP(e,e,r)$는 단순 원소들이 $B(e,e,r)$에 대해 가르시드 모노이드 구조를 형성하는 가르시드 격자이다.
• $NCP(e,e,r)$의 기수는 일반화된 카탈란 수이며, $NCP(1,1,r)$에 대한 고전적 공식을 일반화한다.
• $e=2$인 경우 격자 $NCP(2,2,r)$는 유형 $D_r$의 이중 브레인드 모노이드와 일치한다; $r=2$인 경우는 유형 $I_2(e)$의 이중 브레인드 모노이드와 일치한다.
• 브뢰에-말-루키에르 표현으로 정의된 모노이드는 가르시드이므로, $B(e,e,r)$에서 단어 문제와 쌍대 문제를 효율적으로 해결할 수 있다.
• 브뢰에-말-루키에르 생성자들에 의해 생성된 부분모노이드는 $21^k3213 = 32132^k1$와 같은 무한 길이의 관계로 인해 유한한 표현을 갖지 못한다.
• $32132^k$라는 단어는 생성집합 $\{1,2,3\}$ 위에서 재작성될 수 없으며, 이는 어떤 유한한 관계 집합으로도 모노이드의 전체 구조를 포괄할 수 없음을 증명한다.