[论文解读] On q analog of McKay correspondence and ADE classification of affine sl(2) conformal field theories

Alexander Kirillov, Viktor Ostrik|arXiv (Cornell University)|Jan 26, 2001

Algebraic structures and combinatorial models参考文献 18被引用 53

一句话总结

本文提出了在根位为 q = e^{πi/l} 的量子群 U_q sl(2) 中有限子群的范畴定义，将经典的 McKay 对应关系推广至量子群领域。通过 Coxeter 数为 l 的 A_n、D_{2n}、E_6、E_8 型 Dynkin 图，建立了此类子群的分类，将其与仿射 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\i/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.

研究动机与目标

• 通过表示范畴定义在根位为 q = e^{πi/l} 的 U_q sl(2) 中的有限子群。
• 将经典的 McKay 对应关系推广至量子群设定。
• 将这些子群与 sl^(2) 在水平 k = l-2 时的 chiral 代数扩展联系起来。
• 利用 Coxeter 数等于 l 的 Dynkin 图对这些子群进行分类。
• 通过模 S 矩阵与表示理论，将分类与 (sl(2))_k 共形场论中的模不变量联系起来。

提出的方法

• 通过表示的张量范畴定义 U_q sl(2) 中的有限子群，推广约化群中子群-子群关系。
• 利用 U_q sl(2) 的表示范畴，定义模仿群行为的子对象等价类。
• 通过分析融合规则与表示图，建立此类子群与 Dynkin 图之间的对应关系。
• 利用 Dynkin 图的 Coxeter 数等于 l 这一事实，而 l 是 q = e^{πi/l} 中的阶参数。
• 通过模 S 矩阵与表示理论，将分类与 (sl(2))_k 共形场论中的模不变量联系起来。
• 利用在单位根处的量子群结构，确保分类的有限性与整数性。

实验结果

研究问题

• RQ1 如何在 U_q sl(2) 中定义根位为 q = e^{πi/l} 的有限子群，使其能推广约化群中子群的经典概念？
• RQ2 此类量子子群与 A_n、D_{2n}、E_6、E_8 型 Dynkin 图之间的确切对应关系是什么？
• RQ3 该分类如何与水平 k = l-2 时 sl^(2) 关联的 chiral 代数扩展相关联？
• RQ4 该量子 McKay 对应关系在何种意义上重现或推广了 (sl(2))_k 共形场论的模不变量？
• RQ5 Coxeter 数 l 在分类这些量子子群时起到何种作用？

主要发现

• 在 q = e^{πi/l} 处，U_q sl(2) 中的有限子群由 Coxeter 数等于 l 的 A_n、D_{2n}、E_6 和 E_8 型 Dynkin 图分类。
• 量子子群与 Dynkin 图之间的对应关系模仿了经典 McKay 对应关系，但以表示范畴的形式表述。
• 该分类与 (sl(2))_k 共形场论在水平 k = l - 2 时的模不变量结构密切相关。
• 量子子群的定义与张量范畴的范畴框架一致，并推广了子群包含关系。
• Dynkin 图的 Coxeter 数恰好对应于根位 q = e^{πi/l} 中的阶参数 l。
• 该构造在量子群表示理论、共形场论与 ADE 分类之间建立了自然的桥梁。