[论文解读] Quantum SL(2) and logarithmic vertex operator algebras at (p,1)-central charge

Terry Gannon, Cris Negron|arXiv (Cornell University)|Apr 26, 2021

Algebraic structures and combinatorial models参考文献 66被引用 11

一句话总结

本文建立了在 $ q = e^{\tau i/p} $ 处的小型量子 $ \mathrm{SL}(2) $ 的表示类别与在中心电荷 $ c = 1 - 6(p-1)^2/p $ 处的三元组、单重和维拉索罗顶点算子代数之间的带状张量等价性，解决了对数共形场论中长期存在的猜想。关键结果是通过显式函子保持张量、辫子和带状结构，实现了量子群表示与对数VOA之间的范畴等价。

ABSTRACT

We provide a ribbon tensor equivalence between the representation category of small quantum SL(2), at parameter q=exp($π$ i/p), and the representation category of the triplet vertex operator algebra at integral parameter p>1. We provide similar quantum group equivalences for representation categories associated to the Virasoro, and singlet vertex operator algebras at central charge c=1-6(p-1)^2/p. These results resolve a number of fundamental conjectures coming from studies of logarithmic CFTs in type A_1.

研究动机与目标

• 解决对数共形场论中量子群表示与非有理顶点算子代数之间基本猜想的联系。
• 在中心电荷 $ c = 1 - 6(p-1)^2/p $ 处，建立小型量子 $ \mathrm{SL}(2) $ 与三元组、单重及维拉索罗VOA之间的范畴等价性。
• 证明三元组VOA $ \mathcal{W}_p $ 的表示类别的模性，该结果本身具有独立兴趣。
• 为 $ A_1 $ 类型的有理极小模型的对数类比提供严格的框架。

提出的方法

• 构建了带状张量类别 $ \operatorname{rep}(\mathcal{V}ir_c)_{\mathrm{aff}} $、$ \operatorname{rep}(\mathcal{M}_p)_{\mathrm{aff}} $ 和 $ \operatorname{rep}(\mathcal{W}_p) $，作为相应VOA的仿射表示。
• 使用卢兹蒂希的除幂代数，定义并分析了小型量子 $ \operatorname{SL}(2) $ 的表示类别，包括 $ \operatorname{rep}(u_q(\mathfrak{sl}_2)) $、$ \operatorname{rep}(\dot{\mathbf{u}}_q(\mathfrak{sl}_2)) $ 和 $ \operatorname{rep}(\operatorname{SL}(2)_q) $。
• 通过函子 $ \mathrm{K} $、$ \Psi $ 和 $ \Theta $ 建立了量子群类别与VOA表示类别之间的显式带状张量等价性。
• 利用去等变化技术及张量类别上的 $ \mathbb{G} $-作用，关联量子群与VOA之间的结构。
• 应用先前关于模群表示和融合环的研究成果，验证了两侧不变量的一致性。
• 采用辫子张量函子与自然同构，确保与张量、辫子和带状结构的兼容性。

实验结果

研究问题

• RQ1 在中心电荷 $ c = 1 - 6(p-1)^2/p $ 处，小型量子 $ \operatorname{SL}(2) $ 的表示类别与三元组顶点算子代数之间是否存在带状张量等价性？
• RQ2 对数极小模型在 $ \mathcal{V}ir_c $ 上的类比能否被实现为与量子群类别等价的表示类别？
• RQ3 三元组VOA $ \mathcal{W}_p $ 的表示类别是否为模的，这在对数CFT的模张量范畴中是必需的？
• RQ4 $ u_q(\mathfrak{sl}_2) $ 与 $ \mathcal{W}_p $ 的融合环和模群表示是否一致？这种一致性能否提升为张量函子？
• RQ5 量子群表示与VOA模之间的等价性能否从 $ A_1 $ 类型推广到任意Dynkin类型？

主要发现

• 本文证明了带状张量等价性 $ \Theta: \operatorname{rep}(u_q(\mathfrak{sl}_2)) \to \operatorname{rep}(\mathcal{W}_p) $，证实了Gainutdinov等人针对三元组VOA的长期猜想。
• 建立了带状张量等价性 $ \mathrm{K}: \operatorname{rep}(\operatorname{SL}(2)_q) \to \operatorname{rep}(\mathcal{V}ir_c)_{\mathrm{aff}} $，解决了Bushlanov等人针对维拉索罗代数的猜想。
• 构造了等价性 $ \Psi: \operatorname{rep}(\dot{\mathbf{u}}_q(\mathfrak{sl}_2)) \to \operatorname{rep}(\mathcal{M}_p)_{\mathrm{aff}} $，证实了Creutzig、Gainutdinov与Runkel针对单重代数的猜想。
• 证明了表示类别 $ \operatorname{rep}(\mathcal{W}_p) $ 是模的，这是支持其在对数CFT的模张量范畴中应用的关键结果。
• 证明了这些等价性保持张量、辫子和带状结构，且带状结构被选为与量子群中标准选择相反的形式。
• 结果统一了在 $ (p,1) $-中心电荷下对数CFT的量子群与VOA方法，为后续推广提供了范畴基础。