[论文解读] Classification of Local Conformal Nets. Case c < 1

Yasuyuki Kawahigashi, Roberto Longo|arXiv (Cornell University)|Jan 8, 2002

Advanced Operator Algebra Research参考文献 36被引用 18

一句话总结

本论文对圆周上具有中心电荷 c < 1 的微分同胚协变局部共形代数丛进行了分类，证明了不可约代数丛与 Coxeter 数相差 1 的 A-D2n-E6,8 型 Dynkin 图对之间存在一一对应关系。该分类依赖于将 Virasoro 代数丛识别为共变构造，并应用 Cappelli-Itzykson-Zuber 的 α-归纳法与模不变性来对有限指标扩张进行分类。

ABSTRACT

We completely classify diffeomorphism covariant local nets of von Neumann algebras on the circle with central charge c less than 1. The irreducible ones are in bijective correspondence with the pairs of A-D_{2n}-E_{6,8} Dynkin diagrams such that the difference of their Coxeter numbers is equal to 1. We first identify the nets generated by irreducible representations of the Virasoro algebra for c<1 with certain coset nets. Then, by using the classification of modular invariants for the minimal models by Cappelli-Itzykson-Zuber and the method of alpha-induction in subfactor theory, we classify all local irreducible extensions of the Virasoro nets for c<1 and infer our main classification result. As an application, we identify in our classification list certain concrete coset nets studied in the literature.

研究动机与目标

• 提供圆周上具有中心电荷 c < 1 的微分同胚协变局部共形代数丛的完全分类。
• 建立该类中不可约代数丛与 Coxeter 数相差 1 的 A-D2n-E6,8 型 Dynkin 图对之间的一一对应关系。
• 证明中心电荷 c < 1 的 Virasoro 代数丛是完全有理的，并且在所有此类共形代数丛中作为极小子代数丛存在。
• 利用 Cappelli-Itzykson-Zuber 的 α-归纳法与模不变性对 Virasoro 代数丛的有限指标扩张进行分类。
• 在分类列表中识别出具体的共变代数丛，将抽象分类与文献中已知的模型联系起来。

提出的方法

• 将中心电荷 c < 1 的 Virasoro 代数丛识别为来自对角嵌入 SU(2)m−1 ⊂ SU(2)m−2 × SU(2)1 的共变构造。
• 应用 Cappelli-Itzykson-Zuber 对最小模型的模不变性分类，枚举可能的扩张结构。
• 利用子因子理论中的 α-归纳法对 Virasoro 代数丛的不可约有限指标扩张进行分类。
• 利用中心电荷 c < 1 的 Virasoro 代数丛的完全有理性，确保其不可约表示有限多个且统计维数有限。
• 利用 2-区间包含关系与 µ-指标的有限性，通过 DHR 自同态确保模张量范畴结构。
• 通过 Coxeter 数的差异，建立 Dynkin 图对与代数丛扩张之间的对应关系。

实验结果

研究问题

• RQ1 具有中心电荷 c < 1 的不可约局部共形代数丛在圆周上的完全分类是什么？
• RQ2 中心电荷 c < 1 的 Virasoro 代数丛的有限指标扩张如何与模不变性及 Dynkin 图相关联？
• RQ3 在子因子理论背景下，α-归纳法在分类 Virasoro 代数丛扩张中起什么作用？
• RQ4 A-D2n-E6,8 型 Dynkin 图的 Coxeter 数差异如何表征 c < 1 的共形代数丛的结构？
• RQ5 文献中哪些已知的共变模型在本文的分类框架中被实现？

主要发现

• 中心电荷 c < 1 的不可约局部共形代数丛与 Coxeter 数相差 1 的 A-D2n-E6,8 型 Dynkin 圖对之间存在一一对应关系。
• 对于给定的代数丛，其中心电荷为 c = 1 − 6/m(m+1)，其有限指标共形子代数丛（模共轭）的数量是有限的，取值为 {1, 2, 3}。
• 当 m ≡ 1, 2 mod 4 或 m = 11, 12 时，恰好存在两个有限指标共形子代数丛；当 m = 29, 30 时，恰好存在三个。
• 中心电荷 c < 1 的 Virasoro 代数丛是完全有理的，这意味着 2-区间包含关系的指标有限，且所有不可约表示的统计维数也有限。
• 通过将 Virasoro 代数丛识别为特定的共变代数丛，并应用 α-归纳法通过模不变性对扩张进行分类，实现了该分类。
• 文献中具体的共变代数丛，如来自 SU(2)m−1 ⊂ SU(2)m−2 × SU(2)1 的模型，已在分类列表中明确识别。