[논문 리뷰] Alternating subgroups of Coxeter groups

Francesco Brenti, Victor Reiner외 1명|ArXiv.org|2007. 02. 07.

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

한 줄 요약

이 논문은 고정된 생성자 $s_0$에 대해 $r_i = s_0s_i$를 통해 생성되는 Bourbaki의 표현을 사용하여 Coxeter 군 $W$의 교대 부분군 $W^+$의 조합론적 구조를 조사한다. 주요 기여는 $s_0$가 짝수 잎(즉, 짝수로 끝나고 Coxeter 다이어그램에서 잎이 되는)일 경우 $W^+$가 거의 Coxeter 표현을 통해 $W'$라는 Coxeter 군과 밀접히 연결되어 있음을 보여주며, 이는 $W'$에서 $W^+$로 길이, 내림세트, 약한 및 강한 순서와 같은 모든 조합론적 불변량을 전달할 수 있음을 의미한다. 이는 유형 $B_n$, $ ilde{B}_n$, $C_n$, $ ilde{C}_n$에서 $W^+$를 연구하는 통일된 프레임워크를 제공한다.

ABSTRACT

We study combinatorial properties of the alternating subgroup of a Coxeter group, using a presentation of it due to Bourbaki.

연구 동기 및 목표

• Coxeter 군 $W$의 교대 부분군 $W^+$의 조합론적 성질, 특히 그 구조와 불변량을 이해하는 것.
• 특정 생성자 $s_0 \in S$의 선택이 $W^+$의 표현과 조합론에 미치는 영향를 분석하는 것.
• $s_0$가 짝수 잎(짝수로 끝나고 잎임)일 경우, $W^+$와 비정규 반사 부분군 $W'$ 사이의 깊은 연결 고리 밝혀내기.
• $W^+$의 불변량—길이, 내림세트, 약한 및 강한 순서—을 $W'$를 통해 잘 알려진 Coxeter 군의 프레임워크로 환원하는 것.

제안 방법

• 생성자 $r_i = s_0s_i$ ($i = 1,\dots,n$)를 사용한 Bourbaki의 $W^+$ 표현을 사용하며, 관계 $r_i^{m_{0i}} = (r_i^{-1}r_j)^{m_{ij}} = e$를 만족한다.
• 표준 Coxeter 군에서 반사의 해석과 유사한, $W^+$ 내의 팰린드롬 개념을 도입한다.
• $R \cup R^{-1}$을 생성집합으로 사용하여 약한 및 강한 부분순서를 정의함으로써, Coxeter 군에서의 약한 순서를 일반화한다.
• 짝수 잎 $s_0$의 경우, $W'$가 $W$의 반사 부분군이 되는 거의 Coxeter 표현을 통해 관련된 Coxeter 체계 $(W', S')$를 구성한다.
• $W^+$와 $W'$ 사이의 길이 보존 이분사 사상이 존재함을 증명하며, 내림세트 및 부분순서를 유지함으로써 조합론적 자료를 전달할 수 있음을 보장한다.
• 예를 들어 $B_3$를 통해, 줄임어형과 내림세트 표를 통한 $W^+$와 $W'$ 간의 대응을 설명함으로써 이론을 구체화한다.

실험 결과

연구 질문

• RQ1 생성자 $s_0$의 선택이 교대 부분군 $W^+$의 표현과 조합론에 어떤 영향을 미치는가?
• RQ2 $s_0$가 짝수로 끝나거나 잎일 경우, $W^+$의 구조적 및 순서론적 성질(예: 약한 및 강한 순서)은 어떻게 되는가?
• RQ3 $W^+$의 조합론적 불변량—길이, 내림세트, 줄임어형 등—을 표준 Coxeter 군의 불변량으로 환원할 수 있는가?
• RQ4 $s_0$를 $-1$로, 나머지 생성자를 $+1$로 보내는 호모모르피즘의 핵 $W'$와 $W^+$ 사이의 정확한 관계는 무엇인가?
• RQ5 $W^+$가 거의 Coxeter 표현을 갖는 조건은 무엇이며, 언제는 Coxeter 군과 동형이 되는가?

주요 결과

• $s_0$가 짝수 잎일 경우, $W^+$는 $W'$와 동형이 아니지만, 길이를 보존하는 이분사 사상이 존재하며, 내림세트와 약한/강한 순서를 유지한다.
• $W'$는 $W$의 비정규 반사 부분군이며, 원래 $(W, S)$와 밀접히 관련된 Coxeter 표현 $(W', S')$를 가진다.
• 짝수 잎의 경우, $W^+$의 모든 원소는 강한 교환 성질을 만족하는 팰린드롬으로 유일하게 인수분해되며, 이는 약한 및 강한 순서의 완전한 특성화를 가능하게 한다.
• $W$가 유형 $B_n$, $ ilde{B}_n$, $C_n$, $ ilde{C}_n$일 경우, $s_0$를 짝수 잎으로 선택하면 $W^+$에 대해 거의 Coxeter 표현이 성립하며, 이때 $W'$는 유형 $D_n$ 또는 $A_{n-1}$이 된다.
• $W^+$의 Poincaré 다항식은 길이 및 내림세트 통계량에 대한 생성함수를 통해 계산 가능하며, 특히 짝수로 끝나고 잎인 경우에 유용하다.
• $B_3$ 예시에서, $W^+$와 $W'$의 줄임어형 및 내림세트 표는 이분사 사상의 정당성을 확인한다: 대응 원소에 대해 $\ell_{R\cup R^{-1}}(w) = \ell_{S'}(w')$ 및 $\widehat{\rm{Nasc}}_R(w) = \widehat{\rm{Des}}_R(w)$가 성립한다.