[논문 리뷰] Non-cancellable elements in type affine $C$ Coxeter groups

Dana C. Ernst|arXiv (Cornell University)|2009. 10. 06.

Advanced Combinatorial Mathematics참고 문헌 21인용 수 4

한 줄 요약

이 논문은 히프 이론과 유형 I/II 원소 분해를 사용하여 약한 별 축소에 대해 불가분인 아핀 $C$ 코xeter 군의 비취소 가능한 원소를 분류한다. 이 분류는 이전의 유형 $B$ 군에 대한 결과를 확장하며, 일반화된 템퍼리–리브 대수의 유형 $;{C}$에 대한 다이어그램 표현의 충실성 증명을 위한 기초 틀을 제공하여 무한차원 설정에서의 귀납적 추론을 가능하게 한다.

ABSTRACT

Let $(W,S)$ be a Coxeter system and suppose that $w \in W$ is fully commutative (in the sense of Stembridge) and has a reduced expression beginning (respectively, ending) with $s \in S$. If there exists $t\in S$ such that $s$ and $t$ do not commute and $tw$ (respectively, $wt$) is no longer fully commutative, we say that $w$ is left (respectively, right) weak star reducible by $s$ with respect to $t$. In this paper, we classify the fully commutative elements in Coxeter groups of types $B$ and affine $C$ that are irreducible under weak star reductions. In a sequel to this paper, the classification of the weak star irreducible elements in a Coxeter system of type affine $C$ will provide the groundwork for inductive arguments used to prove the faithfulness of a generalized Temperley--Lieb algebra of type affine $C$ by a particular diagram algebra.

연구 동기 및 목표

• 유형 $\widetilde{C}$ 코xeter 군에서 약한 별 축소에 대해 불가분인 비취소 가능한 원소를 분류하는 것.
• 유한형 $B$ 에서의 비취소 가능한 원소 분류를 무한 아핀 $\widetilde{C}$ 경우로 확장하는 것.
• 일반화된 템퍼리–리브 대수의 유형 $\widetilde{C}$에 대한 다이어그램 표현의 충실성에 대한 귀납적 증명을 위한 구조적 기초를 제공하는 것.
• 내림차순 집합에 취소 가능한 생성자가 없는 유형 $B$ 코xeter 군의 완전 공유 원소에 대한 판 팬의 증명되지 않은 주장이 맞는지 확인하는 것.
• 히프와 별 연산을 사용한 조합론적 틀을 구축하여 비취소 가능한 원소를 이원세포와 칸잔–류스타그 이론과 연결하는 것.

제안 방법

• 유형 $B$ 와 $\widetilde{C}$ 에서 완전 공유 원소의 축소 표현을 모델링하기 위해 히프 이론을 활용하여 생성자 상호작용의 시각화와 분석을 가능하게 하는 것.
• 비교가 불가능한 생성자 쌍 $s,t$ 를 통해 왼쪽 및 오른쪽 약한 별 축소 가능성을 정의하며, $tw$ 또는 $wt$ 가 완전 공유성을 잃는 경우를 고려하는 것.
• 유형 $\widetilde{C}$ 에서의 비취소 가능한 원소를 분류하기 위한 구조적 기본 요소로 유형 I 및 유형 II 원소를 도입하는 것.
• 히프 층화와 커버링 관계를 기반으로 한 귀납적 추론을 통해 축소 가능한 구성요소를 배제하고 불가분 형태를 식별하는 것.
• 히프 구조에 관한 보조정리(예: 보조정리 5.2.2–5.2.8)를 적용하여 축소 표현에서 생성자의 가능한 구성요소를 제약하는 것.
• 유한형 $B$ 의 비취소 가능한 원소 분류를 기본 사례로 삼아 아핀 $\widetilde{C}$ 의 경우로의 분류를 구축하는 것.

실험 결과

연구 질문

• RQ1 약한 별 축소에 대해 비취소 가능한 원소는 아핀 $C$ 코xeter 군에서 어떻게 특징지어지나?
• RQ2 유형 $B$ 코xeter 군의 비취소 가능한 원소는 아핀 $\widetilde{C}$ 경우의 그것과 어떻게 관련이 있는가?
• RQ3 히프 이론적 방법과 귀납적 분해를 통해 $\widetilde{C}$ 의 비취소 가능한 원소 분류가 가능할 수 있는가?
• RQ4 유형 I 및 유형 II 원소는 $\widetilde{C}$ 의 비취소 가능한 원소 집합을 어떻게 구성하는가?
• RQ5 비취소 가능한 원소의 분류는 어떻게 일반화된 템퍼리–리브 대수의 유형 $\widetilde{C}$ 에 대한 다이어그램 표현의 충실성 증명을 지원하는가?

주요 결과

• 유형 $B$ 코xeter 군에서의 비취소 가능한 원소는 서로 가환하는 생성자의 곱과 특정 교대 곱으로 완전히 특징지어지며, 이는 판 팬의 증명되지 않은 주장이 참임을 입증한다.
• 유형 $\widetilde{C}$ 에서는 비취소 가능한 원소가 정확히 $\mathsf{x}_{\mathcal{O}}$ 와 $\mathsf{x}_{\mathcal{E}}$ 의 교대 곱으로 이루어져 있으며, 이는 무한하지만 완전히 분류된 집합을 이룬다.
• 분류의 핵심은 히프 기반의 구조적 제약, 특히 생성자 커버리지와 층화에 기반하여 모든 가능한 약한 별 축소를 배제하는 데 있다.
• 증명은 $\widetilde{C}$ 의 임의의 비취소 가능한 원소가 $\mathsf{x}_{\mathcal{O}}$ 와 $\mathsf{x}_{\mathcal{E}}$ 의 교대 블록으로만 구성되어야 하며, 축약 가능한 구성요소가 존재할 수 없다는 것을 보여준다.
• 이 분류는 일반화된 템퍼리–리브 대수의 유형 $\widetilde{C}$ 에 대한 다이어그램 표현의 충실성에 대한 귀납적 증명을 위한 기초가 된다.
• 결과적으로 비취소 가능한 원소는 템퍼리–리브 대수에서 단항기초 계산이 잘 정의되는 원소들임을 보여준다.