[논문 리뷰] On q-analog of McKay correspondence and ADE classification of sl^(2) conformal field theories

Alexander Kirillov, Viktor Ostrik|ArXiv.org|2001. 01. 26.

Advanced Algebra and Geometry인용 수 28

한 줄 요약

이 논문은 von Neumann 대수에 의존하지 않고, 유한 차원 표현의 카테고리에서의 가환 결합 대수를 사용하여, 근의 일치에서 $U_q(\mathfrak{sl}_2)$의 유한 부분군을 범주론적으로 정의한다. 이는 $q$-아날로그 형태의 McKay 대응을 수립하며, Coxeter 수 $l$를 가진 ADE 다이녹린 다이어그램을 통해 이러한 부분군을 분류하고, $ \widehat{\mathfrak{sl}}_2$ 초등 이론에서 수준 $k = l-2$인 모듈라 불변량과 연결한다. 이는 부분인자 이론에 의존하지 않는, 자가 포함된 표현론적 접근을 제공한다.

ABSTRACT

The goal of this paper is to classify ``finite subgroups in U_q sl(2)'' where $q=e^{\piı/l}$ is a root of unity. We propose a definition of such a subgroup in terms of the category of representations of U_q sl(2); we show that this definition is a natural generalization of the notion of a subgroup in a reductive group, and that it is also related with extensions of the chiral (vertex operator) algebra corresponding to sl^(2) at level k=l-2. We show that ``finite subgroups in U_q sl(2)'' are classified by Dynkin diagrams of types A_n, D_{2n}, E_6, E_8 with Coxeter number equal to $l$, give a description of this correspondence similar to the classical McKay correspondence, and discuss relation with modular invariants in (sl(2))_k conformal field theory.

연구 동기 및 목표

• 표현론적 도구를 사용하여 von Neumann 대수에 의존하지 않고, $q = e^{\pi i/l}$에서의 $U_q(\mathfrak{sl}_2)$에서의 유한 부분군을 정의한다.
• 표현론적 카테고리 $U_q(\mathfrak{sl}_2)$를 통해 고전적 McKay 대응을 양자적 상황으로 일반화한다.
• 이러한 양자 부분군과 Coxeter 수 $l$를 가진 ADE 다이옥린 다이어그램 사이의 대응을 수립하며, $ \widehat{\mathfrak{sl}}_2$ 초등 이론에서의 모듈라 불변량 분류와 유사성을 보인다.
• 부분인자 이론에 의존하지 않는 자가 포함된 표현론적 증명을 통해 분류를 제공한다.

제안 방법

• 표현의 카테고리 $\mathcal{C}$에서 유한 차원 $U_q(\mathfrak{sl}_2)$의 표현을 고려하고, $q$가 단위근일 때, '양자 부분군'을 $\mathcal{C}$ 내의 가환 결합 대수로 정의한다.
• 간단한 대상 $V_0, \dots, V_k$, $k = l-2$를 가진, 단순 가역 부분카테고리 $\mathcal{C}$를 구성하며, 이는 수준 $k$에서의 정수 $\widehat{\mathfrak{sl}}_2$-모듈과 동치이다.
• 대수 $A$ 위의 모듈의 카테고리를, 텐서곱과 코인variant 구성 $X \otimes_A Y = (X \otimes Y)/\operatorname{Im}(\mu_1 - \mu_2)$를 사용하여 구성한다.
• 카테고리 $\mathcal{C}$에서의 강성과 쌍대성 조건을 적용하여, 특히 비자기쌍대인 단순 모듈 $X_{2m}^{\pm}$를 포함한 텐서곱의 구조를 규명한다.
• 두 사상의 차이 $\mu_1 - \mu_2$가 $k \mod 8$에 따라 부호에 따라 0이 되는 핵심 보조정리를 사용하여, 텐서곱의 분해를 계산한다.
• 결과로 얻어진 융합 규칙을 ADE 분류와 연결하여, $V_1$과의 텐서곱에 의한 기약 표현의 그래프가 $A_n$, $D_{2n}$, $E_6$, $E_8$ 유형의 확장된 다이옥린 다이어그램과 일치함을 확인한다.

실험 결과

연구 질문

• RQ1 von Neumann 대수에 의존하지 않고, $q = e^{\pi i/l}$에서의 양자군 $U_q(\mathfrak{sl}_2)$에서 '유한 부분군'의 개념을 어떻게 정의할 수 있는가?
• RQ2 $q$-아날로그 형태의 McKay 대응은 무엇이며, $ \widehat{\mathfrak{sl}}_2$ 초등 이론의 ADE 분류와 어떻게 관련이 있는가?
• RQ3 카테고리 $\mathcal{C}$ 내의 가환 대수 $A = \mathbf{1} \oplus \delta$ 위의 모듈의 융합 규칙은 어떻게 ADE 유형의 확장된 다이옥린 다이어그램을 재현하는가?
• RQ4 대수 $A$ 위에서 두 비동형의 단순 모듈 $X_{2m}^{\pm}$ 사이의 차이점은 무엇이며, 그들의 자가쌍대성은 $k \mod 8$에 따라 어떻게 달라지는가?
• RQ5 $k = l-2$ 수준에서 $ \widehat{\mathfrak{sl}}_2$-초등 이론의 모듈라 불변량 분류는 이 범주론적 구성으로 복원될 수 있는가?

주요 결과

• 유한 부분군은 $q = e^{\pi i/l}$에서 $U_q(\mathfrak{sl}_2)$의 표현 카테고리를 통해 Coxeter 수 $l$를 가진 ADE 다이옥린 다이어그램으로 분류된다.
• 분류는 카테고리 $\mathcal{C}$ 내의 가환 결합 대수를 식별하여 달성되며, $k = 4m$일 때 대수 $A = \mathbf{1} \oplus \delta$는 $D_{2n}$ 유형 다이어그램에 대응한다.
• 대수 $A$ 위의 단순 모듈은 $i = 1, \dots, 2m-1$에 대해 $X_i = V_i \oplus V_{k-i}$이며, 추가로 두 개의 비동형 모듈 $X_{2m}^{\pm}$이 있으며, 이들은 $\mathcal{C}$ 내에서 $V_{2m}$과 동치이다.
• 모듈 $X_1 \otimes_A X_i$는 $i = 1, \dots, 2m-2$일 때 $X_{i-1} \oplus X_{i+1}$과 동형이며, $X_1 \otimes_A X_{2m-1} \simeq X_{2m-2} \oplus X_{2m}^{+} \oplus X_{2m}^{-}$와 일치하여 $D_{2n}$ 유형의 확장된 다이옥린 다이어그램을 재현한다.
• $k \equiv 0 \mod 8$일 때, $X_{2m}^{\pm} \otimes_A X_{2m}^{\pm} \simeq X_0 \oplus X_4 \oplus \cdots \oplus X_{2m-4} \oplus X_{2m}^{\pm}$이며, $X_{2m}^{\pm} \otimes_A X_{2m}^{\mp} \simeq X_2 \oplus X_6 \oplus \cdots \oplus X_{2m-2}$이다. 이는 $X_{2m}^{\pm}$의 자가쌍대성을 보여준다.
• $k \equiv 4 \mod 8$일 때, $X_{2m}^{\pm} \otimes_A X_{2m}^{\pm} \simeq X_2 \oplus X_6 \oplus \cdots \oplus X_{2m-4} \oplus X_{2m}^{\mp}$이며, $X_{2m}^{\pm} \otimes_A X_{2m}^{\mp} \simeq X_0 \oplus X_4 \oplus \cdots \oplus X_{2m-2}$이다. 이는 $X_{2m}^{\pm} \otimes_A X_{2m}^{\mp} \simeq X_{2m}^{\pm} \otimes_A X_{2m}^{\mp}$임을 의미하며, $X_{2m}^{\pm *} \simeq X_{2m}^{\mp}$의 쌍대성을 보여준다.