[论文解读] Module categories, weak Hopf algebras and modular invariants

Viktor Ostrik|ArXiv.org|Nov 12, 2001

Algebraic structures and combinatorial models参考文献 13被引用 29

一句话总结

本文将单子范畴上的模范畴引入为环上模的范畴化类比，为共形场论、子因子和弱霍普夫代数中的结构提供统一的框架。证明了具有有限多个简单对象的半单单子范畴等价于弱霍普夫代数的表示范畴，并对 $\widehat{sl}(2)$ 在水平 $l$ 的融合范畴上的模范畴进行了分类，揭示了 ADE 分类模式。

ABSTRACT

We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects is equivalent to the category of representations of a weak Hopf algebra (theorem of T. Hayashi) and classify module categories over the fusion category of $\hat{sl}(2)$ at a positive integer level where we meet once again ADE classification pattern.

研究动机与目标

• 开发单子范畴上模范畴的范畴框架，作为环上模的范畴化类比。
• 统一并澄清共形场论、子因子、弱霍普夫代数和顶点代数扩张之间的联系。
• 对 $\widehat{sl}(2)$ 在正整数水平的融合范畴上的不可约模范畴进行分类。
• 证明此类模范畴对应于 ADE 型 Dynkin 图，揭示深层的结构模式。

提出的方法

• 将单子范畴上的模范畴定义为带有相容作用的阿贝尔范畴，推广环上模结构。
• 引入基环和基模，以非负整数结构常数的形式形式化融合规则及其表示。
• 使用格罗滕迪克环构造，将模范畴与弱霍普夫代数的表示联系起来。
• 应用融合范畴理论及奥克内阿努关于图和扭 partition 函数的结果，对模范畴进行分类。
• 从形如 $\mathrm{Hom}(V_i \otimes M_a, M_b)$ 的 Hom 空间构造一个结合代数，将其识别为盖尔范德-波诺马列夫预投射代数。
• 利用子因子理论和共形场论中的已知结果，将物理构造转化为代数语言。

实验结果

研究问题

• RQ1 如何将环上模的概念范畴化推广至单子范畴？
• RQ2 在 $\mathcal{C}_l$（即 $\widehat{sl}(2)$ 在水平 $l$ 的融合范畴）上模范畴的分类背后，其精确代数结构是什么？
• RQ3 为何此类模范畴的分类结果呈现出 ADE 模式？其背后的代数机制是什么？
• RQ4 弱霍普夫代数如何自然地从具有有限多个简单对象的半单单子范畴中出现？
• RQ5 通过共形包含和扭 partition 函数构造模范畴的方法，能否给出纯粹代数的表述？

主要发现

• 任何具有有限多个简单对象的半单单子范畴都等价于某个弱霍普夫代数的表示范畴。
• $\mathcal{C}_l$（即 $\widehat{sl}(2)$ 在水平 $l$ 的融合范畴）上的不可约模范畴由 $A_n$、$D_n$、$T_n$、$E_6$、$E_7$ 和 $E_8$ 型 Dynkin 图分类，证实了 ADE 模式。
• $\mathcal{C}_l$-模函子范畴的格罗滕迪克环同构于相应 Dynkin 图的预投射代数。
• 模范畴的结构常数对应于本质路径的 Hom 空间维数，这些空间构成一个同构于盖尔范德-波诺马列夫预投射代数的结合代数。
• $\mathcal{C}_l$ 上模范畴的分类等价于边界共形场论中模不变量的分类。
• 通过扭 partition 函数构造模范畴时，可得到显式矩阵 $a_{ij} = \dim \mathrm{Hom}(\mathbf{1}, \alpha^+(V_i) \otimes F \otimes \alpha^-(V_j))$，其数值已在文献中列出。