[论文解读] C_2-cofinite W-algebras and their logarithmic representations

Dražen Adamović, Antun Milas|arXiv (Cornell University)|Dec 30, 2012

Algebraic structures and combinatorial models参考文献 77被引用 7

一句话总结

本文通过筛选算子和Zhu代数理论，提出了一种新的$ω(p)$-代数对数模的构造方法，证明了某些$χ$-模可提升为$L(0)$作用为幂零秩二的$ω(p)$-模。关键贡献在于通过一种涉及筛选电流$G(z)$的新奇 twist，显式实现了半单秩三的自对偶对数模，包括不可约模的投影覆盖。

ABSTRACT

We discuss our recent results on the representation theory of $\mathcal{W}$--algebras relevant to Logarithmic Conformal Field Theory. First we explain some general constructions of $\mathcal{W}$-algebras coming from screening operators. Then we review the results on $C_2$--cofiniteness, the structure of Zhu's algebras, and the existence of logarithmic modules for triplet vertex algebras. We propose some conjectures and open problems which put the theory of triplet vertex algebras into a broader context. New realizations of logarithmic modules for $\mathcal{W}$-algebras defined via screenings are also presented.

研究动机与目标

• 为$C_2$-余有限的$χ$-代数中的对数模构建系统化方法，特别是在对数共形场论的背景下。
• 通过聚焦$C_2$-余有限性与非半单模范畴，将$χ$-代数的表示理论扩展至有理与正则情形之外。
• 利用筛选算子与顶点代数自同构，显式实现对数模，包括投影覆盖。
• 将三元顶点代数$ω(p)$及其$C_2$-余有限结构置于更广泛的范畴论与量子群理论背景中。

提出的方法

• 利用Zhu代数构造，将顶点代数$V$的$\mathbb{Z}_{\geq 0}$-加权模与$A(V) = V/O(V)$上的模联系起来，其中$O(V)$由元素$a \circ b = \mathrm{Res}_x Y(a,x) \frac{(1+x)^{\deg(a)}}{x^2} b$生成。
• 应用筛选算子，通过Drinfeld-Sokolov约化从仿射顶点代数构造$ω(p)$-代数，利用$V$在商映射$V/C_2(V)$下的像所定义的$ω$-代数结构。
• 引入新的顶点算子映射$\widehat{Y}(v,z) = Y(\Delta(G(z),z) v, z)$，通过$G(z)$的扭模式将$χ$-模的作用扭曲为$ω(p)$-模的作用，其中$\Delta(G(z),z)$编码了筛选电流的作用。
• 利用$ω(p)$的$C_2$-余有限性以确保有限表示范畴，并应用Kazhdan-Lusztig对应猜想，将其与单位根处的有限维量子群联系起来。
• 通过修改$G(z)$-扭模式，从$χ$-模$M_2^{\pm}$构造显式模$\widehat{M}_2^{\pm}$，使得$L(0)$作用为幂零秩二。
• 利用Zhu代数理论及其相关分次结构分析模范畴，证明$\widehat{M}_2^{\pm}$为自对偶且半单秩为三。

实验结果

研究问题

• RQ1 如何利用筛选算子与顶点代数自同构显式构造$ω(p)$-代数的对数模？
• RQ2 Zhu代数$A(\mathcal{W}(p))$的结构是什么？它如何与$ω(p)$-模的表示理论相关联？
• RQ3 是否能通过基于筛选的构造实现$C_2$-余有限$χ$-代数中不可约模的投影覆盖？
• RQ4 新扭模$\widehat{M}_2^{\pm}$与已知对数模有何关系？其$L(0)$作用结构如何？
• RQ5 $C_2$-余有限性在实现有限张量范畴结构及与量子群联系中的作用是什么？

主要发现

• 构造$\widehat{Y}(v,z) = Y(\Delta(G(z),z)v, z)$在$M_2^{\pm}$的底层向量空间上给出了一个良定义的弱$ω(p)$-模结构，将$χ$-模提升为$ω(p)$-模。
• 扭模$\widehat{M}_2^{\pm}$满足$\widehat{L}(0) = L(0) + G(0)$，且$\widehat{L}(0)$作用为幂零秩二，确认了对数行为。
• 模$\widehat{M}_2^{\pm}$为自对偶且半单秩三，其中$\widehat{M}_2^{+}$（相应地$\widehat{M}_2^{-}$）是$\Lambda(2)$（相应地$\Pi(p-2)$）的投影覆盖。
• 顶点算子映射满足$\widehat{Y}(\omega,z) = \widehat{L}(z)$，且$\widehat{L}(0)$的作用显式计算为$L(0) + G(0)$，确认了共形维数的偏移。
• 该构造提供了一种新的、显式的对数模实现方式，与[NT]中的已知结果一致，但采用了一种基于筛选电流的更系统化的方法。
• 结果支持了$C_2$-余有限$χ$-代数与单位根处有限维量子群之间Kazhdan-Lusztig对应猜想的合理性。