[논문 리뷰] The Coxeter element and the branching law for the finite subgroups of SU(2)

Bertram Kostant|ArXiv.org|2004. 11. 07.

Advanced Algebra and Geometry인용 수 6

한 줄 요약

이 논문은 유한 부분군 $ \Gamma \subset SU(2) $에 대한 분기 법칙을 완전히 해결한다. $ SU(2) $의 기약 표현을 $ \widetilde{\rho} $에 제한했을 때의 다중도 급수 $ m(t)_i $ 를 유리 함수 $ \frac{z(t)_i}{(1-t^a)(1-t^b)} $ 형태로 표현하며, 여기서 $ z(t)_i $ 는 코xeter 원소에 의한 궤도와 헤이젠베르크 계열 $ \Phi \subset \Delta_+ $ 의 교차로 정의된 다항식이다. 핵심 결과는 정리 1.13로, $ z(t)_i $ 의 명시적 공식을 궤도 구조와 루트 데이터에 따라 제시하며, $ z(t)_i $ 의 계수는 0 또는 1이며, $ z(1)_i = 2d_i $ 를 만족한다.

ABSTRACT

Let $Γ$ be a finite subgroup of SU(2) and let $\widetilde Γ = \{γ_i\mid i\in J\}$ be the unitary dual of $Γ$. The unitary dual of SU(2) may be written $\{π_n\mid n\in \Bbb Z_+\}$ where $dim π_n = n+1$. For $n\in \Bbb Z_+$ and $j\in J$ let $m_{n,j}$ be the multiplicity of $γ_j$ in $π_n|Γ$. Then we collect this branching data in the formal power series, $m(t)_j = \sum_{n=0}^{\infty}m_{n,j} t^n$. One shows that there exists a polynomial $z(t)_j$ and known positive integers $a,b$ (independent of $j$) such that $m(t)_j = {z(t)_j \over (1-t^a)(1-t^b)}$. The problem is the determination of the polynomial $z(t)_j$. If $o\in J$ is such that $γ_o$ is the trivial representation, then it is classical that $z(t)_o = 1 +t^h$ for a known integer $h$. The problem reduces to case where $γ_j$ is nontrivial. The McKay correspondence associates to $Γ$ a complex simple Lie algebra $\g$ of type A-D-E. We explicitly determine $z(t)_j$ for $j\in J-\{o\}$ using the orbits of a Coxeter element on the set of roots of $\frak{g}$. Mysteriously the polynomial $z(t)_j$ has arisen in a completely different context in some papers of Lusztig. Also Rossmann has recently shown that the polynomial $z(t)_j$ yields the character of $γ_j$.

연구 동기 및 목표

• SU(2)의 기약 표현을 유한 부분군 $ \Gamma \subset SU(2) $에 제한했을 때의 분해를 다루며, 특히 $ \gamma_i \in \widehat{\Gamma} $ 가 $ \pi_n|\Gamma $ 에서 나타나는 다중도 $ m_{n,i} $ 를 분석한다.
• 모든 $ i \in I_{\text{ext}} $ 에 대해 생성 급수 $ m(t)_i = \sum_{n=0}^\infty m_{n,i} t^n $ 를 계산하는 문제를 해결하며, 비자명한 $ i \in I $ 에 특별한 초점을 맞춘다.
• 이전 연구에서 암묵적으로 제시되었던 유리식 $ m(t)_i = \frac{z(t)_i}{(1-t^a)(1-t^b)} $ 에서의 다항식 $ z(t)_i $ 를 단순화하고 명시적인 형태로 제시한다.
• 코xeter 원소 $ \sigma $ 가 루트 체계를 정렬하고 표현 이론과 리 이론적 자료를 궤도 구조를 통해 연결하는 데서 수행하는 역할을 명확히 한다.
• 헤이젠베르크 계열 $ \Phi \subset \Delta_+ $ 이 $ z(t)_i $ 의 계수와 어떻게 연결되어 있으며, 특히 특별한 노드 $ i_* $ 에서의 관계를 규명한다.

제안 방법

• 유한 부분군 $ \Gamma \subset SU(2) $ 를 복소 단순 리 대수 $ \mathfrak{g} $ 의 형식 $ A $, $ D $, 또는 $ E $ 와 매프링하는 메이크비의 대응을 사용하며, $ \widehat{\Gamma} $ 는 확장된 다이킨 다이어그램의 노드로 색인화된다.
• 코xeter 원소 $ \sigma $ 는 루트 체계 $ \Delta $ 에 작용하는 순환군의 생성자로 정의되며, $ \sigma $-궤도의 크기는 코xeter 수 $ h $ 와 같다.
• 헤이젠베르크 계열 $ \Phi = \{ \varphi \in \Delta_+ \mid (\psi, \varphi) > 0 \} $ 를 정의하며, 여기서 $ \psi $ 는 최고 루트이다. 이때 $ \text{card}(\Phi) = 2h - 3 $ 이며, 이는 구성의 핵심이다.
• 다항식 $ z(t)_i $ 는 $ \sum_{\varphi \in \Phi^i} t^{n(\varphi)} $ 로 구성되며, 여기서 $ \Phi^i = \Phi \cap (Z \cdot \beta_i)_+ $ 이고, $ n(\varphi) $ 는 $ \sigma^{n(\varphi)/2} $ 또는 $ \sigma^{(n(\varphi)-1)/2} $ 가 $ \varphi $ 를 $ \beta_i $ 로 옮기는 최소의 양의 정수이다. 짝수/홀수에 따라 다름.
• 궤도 분해 $ \Delta_+ = \sqcup_{i \in I} (Z \cdot \beta_i)_+ $ 와 $ (Z \cdot \beta_i)_+ $ 와 $ \{0,1,\dots,g-1\} $ 또는 $ \{1,\dots,g\} $ 사이의 전단사 사상으로 $ n(\varphi) $ 를 매개변수화한다.
• identitiy $ \sigma^g = \kappa $ (웨일 군의 장 원소) 를 적용하여 대칭성을 분석하고, $ i_* $ 에서 특별한 행동을 규명하며, 특히 $ z(t)_{i_*} $ 에서 $ t^g $ 의 계수가 2임을 밝힌다.

실험 결과

연구 질문

• RQ1 다중도 생성 급수 $ m(t)_i = \frac{z(t)_i}{(1-t^a)(1-t^b)} $ 에서 $ z(t)_i $ 의 명시적 형태는 무엇인가? 이는 $ \pi_n|\Gamma $ 에서 $ \gamma_i $ 의 다중도에 해당한다.
• RQ2 코xeter 원소 $ \sigma $ 가 루트 체계 $ \Delta $ 에서 생성하는 궤도는 $ z(t)_i $ 의 계수를 어떻게 결정하는가?
• RQ3 정의 $ (\psi, \varphi) > 0 $ 에 따라 정의된 헤이젠베르크 계열 $ \Phi \subset \Delta_+ $ 는 $ z(t)_i $ 의 구성에서 어떤 역할을 하는가?
• RQ4 왜 $ z(t)_{i_*} $ 에서 $ t^g $ 의 계수는 2이며, 나머지 계수들은 모두 0 또는 1인가? 이는 리 대수 $ \mathfrak{g} $ 의 구조와 어떻게 관련되어 있는가?
• RQ5 특수한 노드 $ i_* $ (D/E의 분기점 또는 A의 중심점) 는 $ z(t)_{i_*} $ 의 형태에 어떻게 영향을 주는가?

주요 결과

• 다중도 생성 급수는 $ m(t)_i = \frac{z(t)_i}{(1-t^a)(1-t^b)} $ 로 주어지며, 여기서 $ a = 2d_{i_*} $, $ b $ 는 $ ab = 4|F| $ 를 만족하며, $ z(t)_i $ 는 차수 $ h $ 이하의 다항식이다.
• $ i \neq i_* $ 일 때, $ z(t)_i = \sum_{\varphi \in \Phi^i} t^{n(\varphi)} $ 이며, 모든 계수는 0 또는 1이므로 $ z(1)_i = 2d_i $ 이다.
• $ i = i_* $ 일 때, $ z(t)_{i_*} = 2t^g + \sum_{\varphi \in \Phi^{i_*}, \varphi \neq \psi} t^{n(\varphi)} $ 이며, $ t^g $ 의 계수는 2이고 나머지는 0 또는 1이며, $ z(1)_{i_*} = 2d_{i_*} = a $ 이다.
• 집합 $ \Phi^i $ 의 원소 수는 $ 2d_i $ 이므로, $ \text{card}(\Phi^i) = 2d_i $ 이며, 이는 표현 이론과 루트 체계 기하학 사이의 깊은 연결을 확인한다.
• 표현 $ z(t)_{i_*} $ 는 $ t^g $ 를 중심으로 대칭적이며, $ z(t)_{i_*} = t^{g-a+2} + \cdots + 2t^g + \cdots + t^{g+a-2} $ 로 표현되며, 이는 $ \sigma^g = \kappa $ 에 의한 시스템의 자기 dual 성질을 반영한다.
• 특히 $ \sigma $ 가 $ \Delta $ 에서 작용하는 궤도 구조, 특히 분해 $ \Delta_+ = \sqcup_{i \in I} (Z \cdot \beta_i)_+ $ 는 $ n(\varphi) $ 가 잘 정의되어 있으며, $ z(t)_i $ 가 $ \sigma $-궤도와 $ \Phi $ 의 교차로 완전히 결정됨을 보장한다.