[논문 리뷰] Exotic quantum subgroups and extensions of affine Lie algebra VOAs -- part I

Terry Gannon|arXiv (Cornell University)|2023. 01. 18.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 아핀 리 대수 VOA $\mathcal{V}(\mathfrak{g},k)$의 수준 $k$에 대해 bound $K(\mathfrak{g})$를 설정하여, $k > K(\mathfrak{g})$일 경우 모든 확장이 단순-전류 유형임을 보이며, 이는 이 임계값을 초월해도 특이한 확장이 존재하지 않음을 의미한다. 이 bound를 사용해 $\mathfrak{sl}(4)$ 및 $\mathfrak{sl}(5)$의 모든 모듈러 카테고리들을 분류하였으며, 명시적인 모듈러 불변량과 확장을 제시하였고, 랭크 $\leq 6$인 $\mathfrak{g}$에 대한 완전한 분류 기반을 마련하였다. 이 결과는 고차원 리 대수로의 A-D-E 분류를 일반화하여, 일정 수준을 초월하면 단순-전류 확장만 존재함을 보이며, 전체 CFT의 분류를 크게 단순화시킨다.

ABSTRACT

Prototypical rational vertex operator algebras are associated to affine Lie algebras at positive integer level k. They correspond physically to the Wess-Zumino-Witten theories, and their representation theory can be captured by quantum groups at roots of unity. One would like to identify the full (bulk) conformal field theories whose chiral halves are those VOAs. Mathematically, these correspond to their module categories. Until now, this has been done only for sl(2) (famously, the A-D-E classification of Cappelli-Itzykson-Zuber) and sl(3). The problem reduces to knowing the possible extensions of those VOAs, and the tensor equivalences between those extensions. Recent progress puts the tensor equivalences in good control, especially for sl(n). This paper focuses on the extensions. We prove that, for any simple g, there is a bound K(g) growing like rank$(g)^3$, such that for any level k>K(g), the only extensions are generic (i.e. simple-current ones). We use that bound to find all extensions for g=sl(4) and sl(5), at all levels, as well as all g=sl(n) at levels $k\le 5$ (only those for k=1 had been classified before). In the sequel to this paper, we find all extensions for all simple g of rank <7 (and the corresponding low level classifications).

연구 동기 및 목표

• 합리적인 버텍스 연산자 대수 $\mathcal{V}(\mathfrak{g},k)$의 모든 확장을 결정함으로써, 전체 초등 이론의 분류에 필수적인, 아핀 리 대수에서 수준 $k$에 해당하는 VOA의 확장 집합을 완전히 규명하는 것.
• 단순-전류로부터 유도되지 않는 특이한 확장(즉, $\mathcal{C}(\mathfrak{g},k)$의 모듈러 카테고리 분류에서 주요 장애물이 되는 확장)을 식별하고 분류하는 것.
• 랭크의 세제곱에 비례하는 성장률을 보이는 수준 bound $K(\mathfrak{g})$를 설정하여, $k > K(\mathfrak{g})$일 경우 오직 단순-전류 확장만 존재함을 보이며, 이는 분류 문제를 알려진 구조로 단순화시키는 것.
• $K(\mathfrak{g})$ bound와 알려진 등온성 임bedding을 활용하여, $\mathfrak{g} = \mathfrak{sl}(4)$ 및 $\mathfrak{sl}(5)$에 대해 단순-전류 및 특이한 확장을 포함한 모든 모듈러 카테고리의 완전한 목록을 제공하는 것.
• 다음 논문에서 랭크 $\leq 6$인 모든 단순 $\mathfrak{g}$에 대한 모듈러 카테고리의 완전한 분류를 위해, 고랭크 대수의 확장 문제를 해결함으로써 기초를 마련하는 것.

제안 방법

• 논문은 $\mathcal{V}(\mathfrak{g},k)$의 수준 $k$에 대해 $K(\mathfrak{g})$라는 bound를 도입하여, $k > K(\mathfrak{g})$일 경우 특이한 확장이 존재하지 않음을 보이며, 이는 표현 카테고리의 구조와 텐서 동치에 기반한다.
• 에디-미첼 및 다른 이들의 작업을 바탕으로, 모듈러 융합 카테고리 $\mathcal{C}(\mathfrak{g},k)$ 간의 브레이드된 텐서 동치의 분류를 활용하여, 확장 문제를 VOA의 확장 분류 문제로 환원한다.
• 이 방법은 아벨 군 작용 하에서의 단순-전류 확장과 오르비폭의 이론을 적용하여, $\mathcal{V}(\mathfrak{g},k)$의 가능한 모든 확장을 특징짓는 데 사용되며, 특히 $\mathfrak{g} = \mathfrak{sl}(4)$ 및 $\mathfrak{sl}(5)$에 대해 적용된다.
• 기존의 등온성 임bedding, 예를 들어 $\mathcal{V}(A_3,4) \subset \mathcal{V}(C_2,1)$ 및 $\mathcal{V}(A_4,3) \subset \mathcal{V}(A_9,1)$을 활용하여 특이한 확장과 그에 해당하는 모듈러 불변량을 식별한다.
• 각 확장에 대해 명시적인 모듈러 불변량을 구성하며, $|\chi_{\mathbf{1}} + \chi_{0110}|^2$ 및 $|\chi_{1111}|^2$와 같은 항들을 포함하여 해당하는 모듈러 카테고리들을 분류한다.
• $C$의 작용과 자동 동치를 활용하여, 특히 $\mathfrak{sl}(4)$의 $k=5$에서의 특이한 확장에 대해 추가적인 모듈러 카테고리를 생성한다.

실험 결과

연구 질문

• RQ1 어느 정도의 수준 $k$를 초월하면 $\mathcal{V}(\mathfrak{g},k)$의 모든 확장이 단순-전류 확장이 되는가? 이 bound $K(\mathfrak{g})$는 $\mathfrak{g}$의 랭크와 어떻게 관련되는가?
• RQ2 $\mathfrak{g} = \mathfrak{sl}(4)$ 및 $\mathfrak{sl}(5)$에 대해 $\mathcal{V}(\mathfrak{g},k)$의 가능한 모든 확장(단순-전류 및 특이한 유형 포함)은 무엇인가?
• RQ3 어떤 등온성 임bedding이 특이한 확장을 유도하며, 이는 해당 모듈러 카테고리의 모듈러 불변량에 어떻게 나타나는가?
• RQ4 자기 동치와 중심 $C$의 작용은 어떻게 동일한 확장으로부터 서로 다른 모듈러 카테고리를 생성하는가? 특히 $\mathfrak{sl}(4)$의 $k=5$의 경우에 대해 설명하라.
• RQ5 $\mathcal{C}(A_4,k)$에 대한 완전한 모듈러 카테고리 목록은 무엇이며, 이들은 모듈러 불변량에 의해 어떻게 매개화되는가?

주요 결과

• 모든 단순 리 대수 $\mathfrak{g}$에 대해, 랭크의 세제곱에 비례하는 성장률을 보이는 bound $K(\mathfrak{g})$가 존재하며, $k > K(\mathfrak{g})$일 경우 $\mathcal{V}(\mathfrak{g},k)$의 유일한 확장은 단순-전류 확장이다.
• $\mathfrak{g} = \mathfrak{sl}(4)$의 경우, 완전한 모듈러 카테고리 목록은 $k > 2$에 대해 단순-전류 유형 $\mathcal{Z}[\mathcal{J}_d]$와 그들의 곱 $C\mathcal{Z}[\mathcal{J}_d]$를 포함하며, $k=5$에서 특이한 자동 동치가 존재하며, $4|\chi_{1111}|^2$와 교차항을 포함하는 예외적인 모듈러 불변량이 있다.
• $\mathfrak{g} = \mathfrak{sl}(5)$의 경우, 논문은 $\mathcal{V}(A_4,3) \subset \mathcal{V}(A_9,1)$, $\mathcal{V}(A_4,5) \subset \mathcal{V}(D_{12},1)$, $\mathcal{V}(A_4,7) \subset \mathcal{V}(A_{14},1)$ 등의 등온성 임bedding을 식별하였으며, 각각의 경우에 대해 특징적인 모듈러 불변량이 존재하며, 문자의 합과 예외적인 항들이 포함되어 있다.
• $\mathfrak{sl}(4)$의 $k=5$에서의 특이한 확장은 $4|\chi_{1111}|^2 + \langle\chi_{1001}\rangle_5 \overline{\chi_{1111}} + \chi_{1111} \langle\overline{\chi_{1001}}\rangle_5$를 포함하는 모듈러 불변량을 가지며, $C$와 자동 동치에 대해 닫혀 있다.
• 논문은 $k=5$에서의 특이한 확장에 대해 명시적인 모듈러 불변량을 구성하였으며, $|\chi_{\mathbf{1}} + \chi_{0110}|^2$ 및 $|\chi_{1111}|^2$와 같은 항들을 포함하고 있으며, $\Lambda^e_1, \Lambda^e_{11}, \Lambda^e_{12}$의 순열을 통해 다섯 개의 자동 동치를 식별하였다.
• $\mathcal{V}(A_4,7) \subset \mathcal{V}(A_{14},1)$의 등온성 임bedding의 경우, 모듈러 불변량은 복잡한 문자 합, 예를 들어 $|\chi_{\mathbf{1}} + \chi_{0330} + \chi_{2002} + \chi_{2112} + \langle\chi_{0403}\rangle_c|^2$를 포함하며, 추가로 $\chi_{7000}$ 및 $\chi_{0700}$을 포함하는 항들이 있다. 이는 $C$와 $\mathcal{Z}^e[\mathcal{J}^e_3]$, $\mathcal{Z}^e[\mathcal{J}^e_5]$, $\mathcal{Z}^e[\mathcal{J}^e_{15}] = C^e$로부터 유도되는 세 개의 자동 동치에 대해 닫혀 있다.