[论文解读] Zhu's algebra, the C_2 algebra, and twisted modules

Matthias R. Gaberdiel, Terry Gannon|ArXiv.org|Nov 24, 2008

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

一句话总结

本文研究了有理顶点算子代数（VOA）中朱代数与$C_2$-代数之间的结构性关系，特别针对仿射李代数和格VOA。研究提出$C_2$-代数可检测扭模——尤其是与格孔相关的扭模——而朱代数则捕捉普通模。一个关键结果是：在$E_8$于水平$k=1$时，$C_2$-代数严格包含朱代数，这意味着当$τ_{[2]}$大于$τ$时，有理VOA可能表现出‘异常’特性，而$E_8$在水平2时是此类异常的候选者。

ABSTRACT

In his landmark paper, Zhu associated two associative algebras to a vertex operator algebra: what are now called Zhu's algebra and the C_2-algebra. The former has a nice interpretation in terms of the representation theory of the VOA, while the latter only serves as a finiteness condition. In this paper we undertake first steps to unravel the interpretation of the C_2 vector space. In particular we suggest that it seems and controls the twisted representations of the VOA.

研究动机与目标

• 阐明朱代数与$C_2$-代数在有理VOA模分类中的结构性作用。
• 调查$C_2$-代数的有限维性是否表征有理性，尤其在三元代数等反例的背景下。
• 确定扭模——特别是源自格孔的扭模——如何在$C_2$-代数中编码。
• 探讨$τ_{[2]}^*$与$τ^*$之间的差异，并分析其何时消失。
• 检验猜想：$τ_{[2]}(Σ_{\mathfrak{g},k})$作为$τ$-模与$τ(Σ_{\mathfrak{g},k})$同构，但$τ = E_8$时除外。

提出的方法

• 利用共形场论与顶点算子代数形式化，将关联函数与共形块与模结构联系起来。
• 应用朱对$τ(Σ)$的构造，将其视为$Σ$关于由$Σ_z (Y(a,z)b) z^{-2} dz$生成的子空间的商，从而与模特征联系起来。
• 采用$C_2$-代数$τ_{[2]}(Σ) = Σ/C_2(Σ)$，通过嵌入$M_0 \otimes M_0^* \to τ_{[2]}^*$来检测扭模。
• 利用$N$-对偶性与权空间分解分析仿射VOA$Σ_{\mathfrak{g},k}$的$C_2$-代数，推测其按等级的结构为不可约表示张量积的差。
• 借助Peter-Weyl对偶性，解释$τ_{[2]}$中$L(\mu) \otimes L(\mu)^*$分量。
• 比较$E_8$在水平$k=1$与$k=2$时的$τ_{[2]}$与$τ$，通过$D_8$-分解证明$τ_{[2]}$严格包含$τ$。

实验结果

研究问题

• RQ1 $τ_{[2]}(Σ)$的有限维性是否意味着$Σ$的有理性？是否存在除三元代数外的反例？
• RQ2 VOA的扭模——特别是源自格孔的扭模——能否通过$C_2$-代数检测？在此背景下，它们与普通模有何不同？
• RQ3 $τ_{[2]}(Σ_{E_8,1})$为何严格包含$τ(Σ_{E_8,1})$？这对$E_8$在水平1时的模结构意味着什么？
• RQ4 $τ_{[2]}(Σ_{\mathfrak{g},k})$是否作为$τ$-模同构于其朱代数？若否，它们在何处不同？
• RQ5 $E_8$在水平2作为仿射代数中唯一的例外单流形，其作用是什么？是否导致$C_2$-代数的异常？

主要发现

• 对于$Σ_{sl(N),k}$，在等级$m$处的$C_2$-代数被猜想为$\oplus_{\mu \in P_m^k} L(\mu) \otimes L(\mu)^* - \oplus_{\nu \in P_m^{k'}} L(\nu) \otimes L(\nu)^*$，其中$P_m^k$与$P_m^{k'}$通过$N$-对偶性与狄诺克标签约束定义。
• 该猜想在$m \leq k$时成立，且意味着对于$sl(2)$，$τ_{[2]}$与$τ$作为$sl(N)$-模同构，表明$A$-系列中无异常。
• 在水平$k=1$时，$Σ_{E_8,1}$同构于自对偶格VOA$Σ_{E_8}$，由于自对偶性而表现出异常，且$τ_{[2]}$严格包含$τ$。
• $E_8$-模$L(k\Lambda_1)^{e8}$出现在$τ_{[2]}$中但不出现在$τ$中，因其源于$D_8$-扭模，而朱代数未捕捉到此类模。
• 对于偶数$k>2$，$E_8$-模$L((k-3)\Lambda_1 + 2\Lambda_2)$不在$τ$中但出现在$τ_{[2]}$中，尽管其扭模起源尚不明确。
• 猜想$E_8$在水平2时的$C_2$-代数为异常，因其包含$τ$中不存在的$E_8$-模，且$E_8$在水平2时是仿射代数中唯一的例外单流形。