[논문 리뷰] Irreducible representations of untwisted affine Kac-Moody algebras

Xiangqian Guo, Kaiming Zhao|arXiv (Cornell University)|2013. 05. 17.

Algebraic structures and combinatorial models참고 문헌 11인용 수 13

한 줄 요약

이 논문은 순환 모듈러스와 특수한 성질을 가진 모듈러스를 조합하여, 최고 가중치 모듈러스와 윌리엄스 모듈러스를 일반화하는, 비틀어지지 않은 아핀 카크-무디 대수에서 새로운 불가약한 모듈러스의 클래스를 구축한다. 양의 부분에서 각 루트 벡터의 작용이 국소적으로 유한한 모든 불가약한 모듈러스를 완전히 분류하고, 통합 가능한 최고 가중치 모듈러스와 순환 모듈러스의 텐서곱의 단순성을 위한 필요 및 충분 조건을 확립한다.

ABSTRACT

In this paper we construct a class of new irreducible modules over untwisted affine Kac-Moody algebras $\widetilde{\mathfrak{g}}$, generalizing and including both highest weight modules and Whittaker modules. These modules allow us to obtain a complete classification of irreducible $\widetilde{\mathfrak{g}}$-modules on which the action of each root vector in $\widetilde{\mathfrak{n}}_+$ is locally finite, where $\widetilde{\mathfrak{n}}_+$ is the locally nilpotent subalgebra (or positive part) of $\widetilde{\mathfrak{g}}$. The necessary and sufficient conditions for two such irreducible $\widetilde{\mathfrak{g}}$-modules to be isomorphic are also determined. In the second part of the paper, we use the "shifting technique" to obtain a necessary and sufficient condition for the tensor product of irreducible integrable loop $\widetilde{\mathfrak{g}}$-modules and irreducible integrable highest weight $\widetilde{\mathfrak{g}}$-modules to be simple. This tensor product problem was originally studied by Chari and Pressley 28 years ago.

연구 동기 및 목표

• 비틀어지지 않은 아핀 카크-무디 대수에서 최고 가중치 모듈러스와 윌리엄스 모듈러스를 모두 일반화하는 새로운 불가약한 모듈러스를 구축하는 것.
• 양의 부분에서 각 루트 벡터의 작용이 국소적으로 유한한 모든 불가약한 모듈러스를 분류하는 것.
• 통합 가능한 최고 가중치 모듈러스와 순환 모듈러스의 텐서곱의 불가약성을 위한 필요 및 충분 조건을 규명하는 것.
• 유한 차원 가중 공간을 초월하여 무한 차원의 경우를 포함하는 불가약한 모듈러스의 분류를 확장하는 것.
• 차리와 프레슬리가 28년 전에 제기한, 이러한 텐서곱의 단순성 문제를 해결하는 것.

제안 방법

• 특수한 성질을 가진 모듈러스(예: 최고 가중치 또는 윌리엄스 모듈러스)와 $\mathfrak{g} \otimes \mathbb{C}[t,t^{-1}]$의 불가약한 평가 모듈러스의 텐서곱에서 유도하여 새로운 불가약한 모듈러스를 구성한다.
• 유도된 모듈러스 $\mathrm{Ind}_{\widehat{\mathfrak{g}}}^{\widetilde{\mathfrak{g}}}(E \otimes L)$를 사용하여 불가약한 $\widetilde{\mathfrak{g}}$-모듈러스를 생성한다.
• 통합 가능한 최고 가중치 모듈러스와 순환 모듈러스의 텐서곱의 구조를 분석하기 위해 '이동 기법(Shifting technique)'을 적용한다.
• 특정 가중 공간에서의 차원 비교를 통해 $e \otimes t^{-1}$의 작용을 분석하여 불가약성 조건을 규명한다.
• 특정 가중 공간에서 $ (e \otimes t^{-1})^j (V(\epsilon) \otimes V(2\epsilon)) $의 명시적 계산을 통해 $ W^{(j)} = W $가 성립하는지 평가함으로써, 불가약성에 대한 핵심 기준을 평가한다.
• 베르마 유형 모듈러스, 비표준 루트 체계 분할로부터 유도된 보렐 부분대수, 가중 공간 분해와 같은 표현 이론적 도구를 활용한다.

실험 결과

연구 질문

• RQ1 양의 부분 $\widetilde{\mathfrak{n}}_+$의 각 루트 벡터의 작용이 국소적으로 유한한 모든 불가약한 $\widetilde{\mathfrak{g}}$-모듈러스의 완전한 분류는 무엇인가?
• RQ2 통합 가능한 최고 가중치 모듈러스와 통합 가능한 순환 모듈러스의 텐서곱이 단순해지는 조건은 무엇인가?
• RQ3 평가 모듈러스와 특수한 $\widehat{\mathfrak{g}}$-모듈러스로부터 유도된 모듈러스의 불가약성은 명시적 가중 공간 차원 비교를 통해 결정될 수 있는가?
• RQ4 불가약성 조건을 제어하는 함수 $\kappa(\boldsymbol{\lambda}, \mathbb{a}, \Lambda)$는 파라미터 $\boldsymbol{\lambda}, \mathbb{a}, \Lambda$에 따라 어떻게 의존하는가?
• RQ5 최고 가중치와 파라미터 $a_i$에 대해 $\kappa(\boldsymbol{\lambda}, \mathbb{a}, \Lambda)$에 대한 명시적 공식은 존재하는가?

주요 결과

• 논문은 $\widetilde{\mathfrak{n}}_+$의 각 루트 벡터의 작용이 국소적으로 유한한 모든 불가약한 $\widetilde{\mathfrak{g}}$-모듈러스를 완전히 분류하며, 이는 최고 가중치 모듈러스, 윌리엄스 모듈러스, 그리고 새로운 비가중치 모듈러스를 포함한다.
• $\mathfrak{sl}_2^{(1)}$의 경우, $E((\epsilon,2\epsilon);(a_1,a_2);b) \otimes \widetilde{V}(i\epsilon + k\Lambda_0)$의 불가약성은 $W^{(k-i+1)} = W$일 때이고, 여기서 $W^{(j)}$는 $ (e \otimes t^{-1})^j (V(\epsilon) \otimes V(2\epsilon)) \otimes u $의 스칼라 결합이다.
• $i=0$인 경우, 모든 서로 다른 $a_1, a_2 \in \mathbb{C}^*$에 대해 $\kappa((\epsilon,2\epsilon);(a_1,a_2);0) = 2$이며, 이는 텐서곱이 $k=1$일 때에만 불가약하다는 의미이다.
• $i=1$인 경우, $\kappa((\epsilon,2\epsilon);(a_1,a_2);\epsilon) = 2$이므로, 불가약성은 $k=1$일 때에만 성립한다.
• $i \geq 2$인 경우, $\kappa((\epsilon,2\epsilon);(a_1,a_2);i\epsilon) = i$이므로, 불가약성은 $k \geq i$일 때 실패한다.
• 함수 $\kappa$는 파라미터 $a_1$과 $a_2$에 독립적이며, 이는 불가약성 조건에서 놀라운 불변성을 보여준다.