[논문 리뷰] McKay correspondence and the branching law for finite subgroups of $\mathbf{SL}_3\mathbb{C}$

Frédéric Butin, Gadi S. Perets|arXiv (Cornell University)|2009. 09. 03.

Algebraic structures and combinatorial models참고 문헌 8인용 수 4

한 줄 요약

이 논문은 유한부분군 $ \Gamma \subset \mathrm{SL}_3\mathbb{C} $ 에 대해 각각 일반화된 카르탕 행렬 $ C_{\Gamma} $ 를 부여하고, $ \mathrm{SL}_3\mathbb{C} $ 의 기약 표현을 $ \Gamma $ 에 제한할 때의 분해 규칙이 유리 생성함수에 의해 코딩됨을 증명함으로써 매큐이 채택을 3차원으로 일반화함. 핵심 결과는 특성과 관련된 행렬의 동시에 대각화를 통한 행렬 기반 방법을 통해 이러한 중복도를 계산하는 것으로, 모든 유한부분군에 대해 명시적인 유리함수를 도출함.

ABSTRACT

Given $Γ$ a finite subgroup of $\mathbf{SL}_3\mathbb{C}$, we determine how an arbitrary finite dimensional irreducible representation of $\mathbf{SL}_3\mathbb{C}$ decomposes under the action of $Γ$. To the subgroup $Γ$ we attach a generalized Cartan matrix $C_Γ$. Then, inspired by B. Kostant, we decompose the Coxeter element of the Kac-Moody algebra attached to $C_Γ$ as a product of reflections of a special form, thereby suggesting an algebraic form for the McKay correspondence in dimension 3.

연구 동기 및 목표

• 모든 유한부분군 $ \Gamma \subset \mathrm{SL}_3\mathbb{C} $ 에 대해 일반화된 카르탕 행렬 $ C_{\Gamma} $ 를 구성함으로써 매큐이 채택을 차원 2에서 차원 3으로 확장하는 것.
• $ \mathrm{SL}_3\mathbb{C} $ 의 유한차원 기약 표현 $ V(m,n) $ 이 $ \Gamma $ 에서 작용할 때의 분해를 결정하는 것, 즉 $ V(m,n) $ 에서 $ \Gamma $ 의 각 기약 특성의 중복도를 계산하는 것.
• $ \Gamma $ 에 대한 중복도를 코딩하는 생성함수 $ P_{\Gamma}(t,u)_i = \sum_{m,n} m_i(m,n) t^m u^n $ 이 유리함수임을 증명하는 것.
• 행렬 분해와 특성표 데이터를 이용하여 $ \mathrm{SL}_3\mathbb{C} $ 의 모든 유한부분군, 특히 예외적 유형 $ A, B, C, D, L $ 에 대해 명시적인 유리함수를 제공하는 것.

제안 방법

• 표준 표현과의 텐서곱을 통한 재귀식을 사용하여 기약 표현 $ V(m,n) $ 의 중복도 $ m_i(m,n) $ 에 대한 선형 시스템을 도출함.
• 특성표에서 구성된 두 행렬의 동시에 대각화를 통해 재귀식을 역으로 풀며, 그 고유값은 군의 특성임.
• 생성함수 $ P_{\Gamma}(t,u)_i $ 는 스칼라 행렬과 유리함수를 포함하는 행렬 곱으로 표현되어 문제를 행렬 곱셈으로 환원함.
• 각 $ \Gamma $ 에 일반화된 카르탕 행렬 $ C_{\Gamma} $ 를 부여하고, 해당 카크-무디 대수의 코스터 원소를 서로 수직인 루트계에서 온 반사들의 곱으로 분해함.
• 코스타ント의 방법을 $ \mathrm{SL}_2\mathbb{C} $ 경우에서 일반화하여, 비슷한 행렬 기법을 통해 유리성의 증명을 수행함.
• 모든 유한부분군에 대해 명시적인 유리함수를 계산하였으며, 유형 $ A, B, C, D $ 와 $ L $ 에 대해 분모와 분자를 명시적으로 제시함.

실험 결과

연구 질문

• RQ1 유한부분군 $ \Gamma \subset \mathrm{SL}_3\mathbb{C} $ 에 대해 $ \mathrm{SL}_3\mathbb{C} $ 의 기약 표현의 분해 규칙을 체계적으로 계산할 수 있는 방법은 무엇인가?
• RQ2 특성표를 포함한 행렬 기법을 통해 중복도 함수의 생성함수의 유리성은 어떻게 확립할 수 있는가?
• RQ3 3차원 매큐이 채택의 배경이 되는 대수적 구조는 무엇이며, 2차원 경우와 어떻게 일반화되는가?
• RQ4 $ \Gamma $ 와 관련된 카크-무디 대수의 코스터 원소는 어떻게 서로 수직인 루트계에서 온 반사들의 곱으로 분해될 수 있는가?
• RQ5 모든 유한부분군, 특히 예외적 유형에 대해 중복도 생성함수를 기술하는 명시적인 유리함수는 무엇인가?

주요 결과

• $ \Gamma \subset \mathrm{SL}_3\mathbb{C} $ 의 모든 유한부분군에 대해 $ V(m,n) $ 에서 $ \Gamma $ 의 기약 특성의 중복도를 코딩하는 생성함수 $ P_{\Gamma}(t,u)_i $ 는 유리함수임을 증명함.
• $ A_1 $ 유형(순환군)의 경우, 유리함수는 $ \widehat{P}_A(t) = \frac{1 - t^3}{(1 - t)^2(1 + t + t^2)} $ 이며, 분모는 $ (1 - t)^2(1 + t + t^2) $ 이다.
• $ D_4 $ 유형의 경우, 생성함수의 분모는 $ (t - 1)^3(t^2 + t + 1)^3(t^2 + 1)(t^4 - t^2 + 1)(t^4 + t^3 + t^2 + t + 1)(t^8 - t^7 + t^5 - t^4 + t^3 - t + 1)(t + 1)^2(t^2 - t + 1)^2 $ 이다.
• 예외적 $ L $-유형 군의 경우, 분모는 $ (t - 1)^3(t^2 + t + 1)^3(t^2 + 1)(t^4 - t^2 + 1)(t^4 + t^3 + t^2 + t + 1)(t^8 - t^7 + t^5 - t^4 + t^3 - t + 1)(t + 1)^2(t^2 - t + 1)^2 $ 이다.
• $ L $-유형 군의 유리함수는 $ \widehat{P}_L(t) = \frac{-t^{30} + t^{15} - 1}{(t - 1)^3(t^2 + t + 1)^3(t^2 + 1)(t^4 - t^2 + 1)(t^4 + t^3 + t^2 + t + 1)(t^8 - t^7 + t^5 - t^4 + t^3 - t + 1)(t + 1)^2(t^2 - t + 1)^2} $ 이다.
• 이 방법은 모든 부분군에 대해 명시적인 유리함수를 도출하며, $ M_L(t,u)_3 = M_L(u,t)_2 $ 와 같은 대칭 관계를 통해 분해 규칙의 쌍대성의 존재를 보여줌.