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

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

Advanced Algebra and Geometry被引用 28

一句话总结

本文通过在表示的半单范畴中使用交换结合代数，提出了一种范畴论定义，用于描述在单位根 $q = e^{\pi i/l}$ 处的量子群 $U_q(\mathfrak{sl}_2)$ 中的有限子群。该研究建立了 $q$-类比的 McKay 对应关系，通过 Coxeter 数为 $l$ 的 ADE Dynkin 图对这些子群进行分类，并将其与 $̂{\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.

研究动机与目标

• 通过范畴论工具定义在 $q = e^{\pi i/l}$ 处的 $U_q(\mathfrak{sl}_2)$ 中的有限子群，避免依赖冯诺依曼代数。
• 通过 $U_q(\mathfrak{sl}_2)$ 的表示范畴，将经典 McKay 对应关系推广到量子情形。
• 建立此类量子子群与 Coxeter 数为 $l$ 的 ADE Dynkin 图之间的对应关系，其分类方式与 $̂{\mathfrak{sl}}_2$ 共形场论中的模不变量分类相呼应。
• 提供一种自包含的、基于表示论的分类证明，独立于子因子理论。

提出的方法

• 将‘量子子群’定义为在 $U_q(\mathfrak{sl}_2)$ 在单位根处的有限维表示范畴 $\mathcal{C}$ 中的交换结合代数。
• 使用半单商范畴 $\mathcal{C}$，其单对象为 $V_0, \dots, V_k$，其中 $k = l-2$，且与水平 $k$ 的可积 $̂{\mathfrak{sl}}_2$-模等价。
• 通过张量积与余不变量构造 $X \otimes_A Y = (X \otimes Y)/\operatorname{Im}(\mu_1 - \mu_2)$，构建此类代数 $A$ 上的模范畴。
• 在范畴 $\mathcal{C}$ 中应用刚性与对偶性，以确定张量积的结构，特别是涉及非自对偶单模 $X_{2m}^{\pm}$ 的情况。
• 利用一个关键引理，表明两个态射的差 $\mu_1 - \mu_2$ 在模 8 意义下取决于 $k$ 的值，从而计算张量积的分解。
• 通过将张量乘以 $V_1$ 作用下不可约表示的图与 $A_n$、$D_{2n}$、$E_6$、$E_8$ 类型的扩展 Dynkin 图匹配，将所得的融合规则与 ADE 分类关联。

实验结果

研究问题

• RQ1 如何在不依赖冯诺依曼代数的前提下，于单位根 $q = e^{\pi i/l}$ 处的量子群 $U_q(\mathfrak{sl}_2)$ 中定义‘有限子群’的概念？
• RQ2 $q$-类比的 McKay 对应关系是什么？它与 $̂{\mathfrak{sl}}_2$ 共形场论中 ADE 分类有何关联？
• RQ3 在范畴 $\mathcal{C}$ 中，关于交换代数 $A = \mathbf{1} \oplus \delta$ 的模的融合规则如何重现 ADE 类型的扩展 Dynkin 图？
• RQ4 决定代数 $A$ 上两个非同构单模 $X_{2m}^{\pm}$ 之间区别的因素是什么？它们的自对偶性如何依赖于 $k \mod 8$？
• RQ5 能否从这种范畴构造中恢复 $̂{\mathfrak{sl}}_2$-CFT 在水平 $k = l-2$ 处的模不变量分类？

主要发现

• 在 $U_q(\mathfrak{sl}_2)$ 中的有限子群通过 Coxeter 数为 $l$ 的 ADE Dynkin 图分类，其中 $q = e^{\pi i/l}$，分类基于 $U_q(\mathfrak{sl}_2)$ 的表示范畴。
• 该分类通过识别范畴 $\mathcal{C}$ 中的交换结合代数实现，当 $k = 4m$ 时，代数 $A = \mathbf{1} \oplus \delta$ 对应于 $D_{2n}$ 型图。
• $A$ 上的单模为 $X_i = V_i \oplus V_{k-i}$（$i = 1, \dots, 2m-1$），以及两个非同构的额外模 $X_{2m}^{\pm}$，它们在范畴 $\mathcal{C}$ 中作为对象同构于 $V_{2m}$。
• 张量积 $X_1 \otimes_A X_i$ 同构于 $X_{i-1} \oplus X_{i+1}$（$i = 1, \dots, 2m-2$），且 $X_1 \otimes_A X_{2m-1} \simeq X_{2m-2} \oplus X_{2m}^{+} \oplus X_{2m}^{-}$，与 $D_{2n}$ 型扩展 Dynkin 图一致。
• 当 $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}$。