[논문 리뷰] Fusion procedure for Coxeter groups of type B and complex reflection groups G(m,1,n)

O. Ogievetsky, Loïc Poulain d’Andecy|arXiv (Cornell University)|2011. 11. 27.

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

한 줄 요약

이 논문은 스펙트럴 매개변수에 대한 유리 함수를 사용하여 복소 반사군 $G(m,1,n)$, 특히 초정사면체군 $B_n$에 대한 통일된 융합 절차를 제시한다. 버택스라이즈드 생성자와 줄리우스–머피 요소로 구성된 유리 함수를 순차적으로 평가함으로써, 군 대수에서 완전한 서로 수직인 원시 이드포텐트의 체계를 구성한다. 이는 모레프의 대칭군에 대한 융합 절차를 유형 B 및 복소 반사군으로 일반화한 것이다.

ABSTRACT

A complete system of primitive pairwise orthogonal idempotents for the Coxeter groups of type $B$ and, more generally, for the complex reflection groups $G(m,1,n)$ is constructed by a sequence of evaluations of a rational function in several variables with values in the group ring. The evaluations correspond to the eigenvalues of the two arrays of Jucys--Murphy elements.

연구 동기 및 목표

• 기존에 대칭군 및 히크 대수에 대해 알려진 융합 절차를 복소 반사군 $G(m,1,n)$, 특히 유형 B의 코xeter 군으로 확장하기 위해.
• 모든 $m \geq 1$ 에 대해 군 대수 $\mathbb{C}G(m,1,n)$에서 완전한 원시 이드포텐트 체계를 통일적으로 구성하기 위해.
• 이들 이드포텐트가 군 링에 값이 있는 단일 유리 함수의 순차적 평가를 통해 얻어질 수 있음을 보여주기 위해.
• 표준 $m$-테이블로의 노드 위치와 내용을 각각 표현하는 두 배열의 줄리우스–머피 요소 ($j_i$ 및 $\tilde{j}_i$)가 이드포텐트 구성에 어떻게 기여하는지 명확히 하기 위해.

제안 방법

• 스펙트럴 매개변수 $v_1,\dots,v_{n+1},u_1,\dots,u_{n+1}$를 사용하여 버택스라이즈드 생성자 $\mathbf{s}_i$ 및 $\mathbf{t}$를 포함하는 유리 함수 $\Phi(v_1,\dots,v_{n+1},u_1,\dots,u_{n+1})$를 구성하며, 비가환 인자들은 내림차순 인덱스 순서로 배열된다.
• 함수 $\Phi$ 는 $\tilde{\phi}_{k+1}$ 를 통해 재귀적으로 구축되며, 이는 생성자 $t$ 의 직접적 사용을 피하고 $s_i$ 와 스펙트럴 매개변수로 유리 함수를 표현한다.
• 이드포텐트는 먼저 $v_i = p_i$ (표준 $m$-테이블로에서 노드의 위치) 에 대해 $\Phi$ 를 평가하고, 그 다음 $u_i = c_i$ (노드의 내용) 에 대해 평가함으로써 얻어지며, 이 과정에서 정규화 인자 $F_{\mathcal{T}}(u)$ 가 사용된다.
• 이 구성은 $\mathbb{C}G(m,1,n)$ 내에서 $\{j_i, \tilde{j}_i\}$ 가 최대성을 가지므로, 모든 대각선 행렬 단위가 이 요소들로 표현 가능하다는 사실에 의존한다.
• 절차는 두 단계 평가를 사용한다: 위치 매개변수 $p_i$ 는 동시에 평가되고, 내용 매개변수 $c_i$ 는 $1$ 에서 $n$ 으로 순차적으로 평가되며, 이는 수렴성과 수직성을 보장한다.
• 유리 함수 $\Phi$ 는 $G(m,1,n)$ 의 정규형에서 가장 긴 원소에 대한 단어로 해석되며, 이는 유형 A와 유사하게 '버택스라이즈드'된 방식으로 구성된다.

실험 결과

연구 질문

• RQ1 모레프의 대칭군에 대한 융합 절차와 유사한 절차를 초정사면체군 $B_n$ 으로 확장할 수 있는가?
• RQ2 모든 $m \geq 1$ 에 대해 $\mathbb{C}G(m,1,n)$ 의 완전한 원시 이드포텐트 체계를 통일적으로 구성할 수 있는가?
• RQ3 두 배열의 줄리우스–머피 요소 ($j_i$ 와 $\tilde{j}_i$) 는 이드포텐트를 매개변수화하는 데 어떤 역할을 하는가?
• RQ4 유리 함수 $\Phi$ 는 스펙트럴 매개변수 평가를 통해 어떻게 표준 $m$-테이블로의 구조를 인코딩하는가?
• RQ5 복소 반사군 $G(m,1,n)$ 의 융합 과정을 뒷받침하는 통일된 대수적 구조—예를 들어 '가장 긴 원소' 단어에 버택스라이즈드 항목이 포함된 것—가 존재하는가?

주요 결과

• 융합 절차는 군 링에 값이 있는 유리 함수 $\Phi$ 의 순차적 평가를 통해 $\mathbb{C}G(m,1,n)$ 에서 완전한 서로 수직인 원시 이드포텐트 체계를 구성한다.
• 모든 $m=1$ 인 경우, 절차는 대칭군 $S_n$ 에 대한 모레프의 융합 절차로 축소되며, 이는 이전 결과와의 일致성을 확인한다.
• 모든 $m=2$ 인 경우, 표준 2-테이블로 $(\framebox{1}\framebox{3}, \framebox{2})$ 에 대해 이드포텐트 $s_2(1+s_1)s_2 \mathbf{j}_1(1)\mathbf{j}_2(-1)\mathbf{j}_3(1)/16$ 를 도출하며, 직접 검증되었다.
• 평가 순서는 핵심적이다: $v_i = p_i$ (위치) 는 동시에 평가되고, $u_i = c_i$ (내용) 는 $1$ 에서 $n$ 으로 순차적으로 평가되며, 이는 수렴성을 보장한다.
• 유리 함수 $\Phi$ 는 $G(m,1,n)$ 의 정규형에서 가장 긴 원소에 대한 단어임을 보여주며, 이는 유형 A와 유사하게 '버택스라이즈드'된 방식으로 구성된다.
• 정규화 인자 $F_{\mathcal{T}}(u)$ 는 $u = c_{n+1}$ 에서 정칙이며, $f_{\lambda^{(m)}}(f_{\mu^{(m)}})^{-1}$ 로 평가되며, 이는 이드포텐트의 정규화가 올바르게 이루어짐을 보장한다.