[論文レビュー] Exotic quantum subgroups and extensions of affine Lie algebra VOAs -- part I

Terry Gannon|arXiv (Cornell University)|Jan 18, 2023

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿は、アフィンリー代数VOA $\mathcal{V}(\mathfrak{g},k)$ のレベル $k$ に対して、$k > K(\mathfrak{g})$ のときすべての拡張が単純電流型であることを保証する境界 $K(\mathfrak{g})$ を確立する。これにより、この閾値を超えると特異な拡張は存在しない。$\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).

研究の動機と目的

• アフィンリー代数のレベル $k$ における有理的頂点演算子代数 $\mathcal{V}(\mathfrak{g},k)$ の完全な拡張集合を特定すること。これは、フルコンformal field theories（CFT）の分類に不可欠である。
• 単純電流から生じない拡張（特異な拡張）を特定・分類すること。これらは、$\mathcal{C}(\mathfrak{g},k)$ のモジュールカテゴリ分類における主な障壁である。
• ランクの立方に比例して増加するレベルの境界 $K(\mathfrak{g})$ を確立し、$k > K(\mathfrak{g})$ のとき、単純電流拡張のみが存在することを示す。これにより、分類問題が既知の構造に還元される。
• $K(\mathfrak{g})$ を用い、既知のコンformal embeddingを組み合わせることで、$\mathfrak{g} = \mathfrak{sl}(4)$ および $\mathfrak{sl}(5)$ のすべてのモジュールカテゴリ（単純電流型および特異型を含む）を明示的にリストアップすること。
• 以降の論文で、ランク $\leq 6$ のすべての単純 $\mathfrak{g}$ についてモジュールカテゴリの完全分類を構築する基盤を築くため、高ランク代数の拡張問題を解決すること。

提案手法

• 本稿は、$\mathcal{V}(\mathfrak{g},k)$ のレベル $k$ に対して、$k > K(\mathfrak{g})$ のとき特異な拡張が存在しないことを保証する境界 $K(\mathfrak{g})$ を導入する。これは、表現カテゴリの構造とテンソル同値性に依拠する。
• Edie-Michell らの研究を基盤とし、モジュラー融合カテゴリ $\mathcal{C}(\mathfrak{g},k)$ 間のbraided tensor同値性の分類を用いて、拡張問題をVOAの拡張分類に還元する。
• アーベル群作用の下での単純電流拡張とオルビフォールド理論を適用し、$\mathcal{V}(\mathfrak{g},k)$ のすべての可能な拡張を特徴付ける。特に $\mathfrak{g} = \mathfrak{sl}(4)$ および $\mathfrak{sl}(5)$ の場合に焦点を当てる。
• 既知のコンフォーマル埋め込み $\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)$ のすべての拡張が単純電流型であるかの最大境界であり、この境界 $K(\mathfrak{g})$ は $\mathfrak{g}$ のランクとどのように関係するか？
• RQ2 $\mathfrak{g} = \mathfrak{sl}(4)$ および $\mathfrak{sl}(5)$ の場合に、$\mathcal{V}(\mathfrak{g},k)$ のすべての可能な拡張（単純電流型および特異型を含む）は何か？
• RQ3 どのコンフォーマル埋め込みが特異な拡張をもたらし、それらは対応するモジュールカテゴリのモジュラー不変量にどのように現れるか？
• RQ4 自己同値性と中心 $C$ の作用は、特に $\mathfrak{sl}(4)$ の $k=5$ の場合に、1つの拡張からどのように異なるモジュールカテゴリを生成するか？
• RQ5 $\mathcal{C}(A_4,k)$ の完全なモジュールカテゴリリストは何か？ これらは単純電流型と特異型を含み、モジュラー不変量によってどのようにパrameter化されるか？

主な発見

• 任意の単純リー代数 $\mathfrak{g}$ に対して、ランクの立方に比例して増加する境界 $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)$ を特定し、それぞれが文字の和と例外的な項を含む異なるモジュラー不変量を持つ。
• $\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}$ の置換から生じる5つの自己同値性を同定する。
• コンフォーマル埋め込み $\mathcal{V}(A_4,7) \subset \mathcal{V}(A_{14},1)$ の場合、$|\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$ からの3つの自己同値性に関して閉じている。