[论文解读] Lattice construction of logarithmic modules for certain vertex algebras

Dražen Adamović, Antun Milas|arXiv (Cornell University)|Feb 19, 2009

Algebraic structures and combinatorial models参考文献 21被引用 6

一句话总结

本文通过使用对数零模作用对顶点算符进行形变，提出了一种新型基于格的构造方法，用于顶点代数的对数模，特别是三元代数 $W(p)$ 及其扩展。主要贡献在于显式实现了 $W(p)$ 和在允许水平的仿射顶点代数的对数表示，以及对数交织算符的构造，为 $W(p)$-模与在根单位根 $q = e^{\tau i/p}$ 处的受限量子群 $U_q(\mathfrak{sl}_2)$ 之间存在猜想等价性提供了强有力证据。

ABSTRACT

A general method for constructing logarithmic modules in vertex operator algebra theory is presented. By utilizing this approach, we give explicit vertex operator construction of certain indecomposable and logarithmic modules for the triplet vertex algebra W(p) and for other subalgebras of lattice vertex algebras and their N=1 super extensions. We analyze in detail indecomposable modules obtained in this way, giving further evidence for the conjectural equivalence between the category of W(p)-modules and the category of modules for the restricted quantum group $\bar{\mathcal{U}}_q(sl_2)$ at root of unity. We also construct logarithmic representations for a certain affine vertex operator algebra at admissible level realized in \cite{A-2005}. In this way we prove the existence of the logarithmic representations predicted in \cite{G}. Our approach enlightens related logarithmic intertwining operators among indecomposable modules, which we also construct in the paper.

研究动机与目标

• 开发一种在顶点算子代数理论中构造对数模的一般方法，特别是针对 $C_2$-有限、非有理顶点代数（如三元代数 $\mathcal{W}(p)$）
• 显式构造 $\mathcal{W}(p)$ 及其 $N=1$ 超对称扩展的不可约与对数模，解决对数共形场论中长期存在的开放问题
• 建立 $\mathcal{W}(p)$ 的表示范畴与在 $q = e^{\tau i/p}$ 处受限量子群 $\mathcal{U}_q(\mathfrak{sl}_2)$ 的表示范畴之间的联系，为二者猜想等价性提供新证据
• 为仿射顶点代数在允许水平（如 $L(-\frac{4}{3}\mathcal{L}_0)$）构造对数表示，确认早期研究中的预测
• 通过一种涉及 $\mathcal{\log}(x)$-依赖指数的新对数顶点算符形式，定义并构造不可约模之间的对数交织算符

提出的方法

• 利用筛选算符定义顶点代数为核，将 $\mathcal{W}(p,p')$ 和 $\mathcal{W}(p)$ 代数构造为格顶点代数与海森堡代数的扩展
• 引入一种新的对数顶点算符 $\mathcal{D}_{\mathcal{\log}}(v,x) = \exp(\mathcal{\log}(x)v_0 + \sum_{n=1}^\infty \frac{v_n}{-n}(-x)^{-n})$，通过 $\mathcal{\log}(x)$ 引入对数项，实现对数模的构造
• 将对数顶点算符 $\mathcal{D}_{\mathcal{\log}}(v,x)$ 应用于普通交织算符 $\mathcal{Y}(u,x)$，定义新的对数交织算符 $\mathcal{Y}_{\mathcal{\log}}(u,x) = \mathcal{Y}(\mathcal{D}_{\mathcal{\log}}(v,x)u,x)$，保持 $L(-1)$-导数与雅可比恒等式
• 通过形变格顶点代数模上零模的作用构造对数模，其中 $v_0$ 作用为幂零，从而实现非半单的 $L(0)$-作用
• 通过自由场实现方法显式构造仿射顶点代数 $L(-\frac{4}{3}\mathcal{L}_0)$ 的对数模 $\mathcal{R}_{-1/3}$，确认其存在性，与 [23] 的预测一致
• 通过量子群 $\mathcal{U}_q(\mathfrak{sl}_2)$ 的视角分析不可约 $\mathcal{W}(p)$-模，表明格构造保持了预期的表示论结构

实验结果

研究问题

• RQ1 能否使用格顶点代数显式构造三元顶点代数 $\mathcal{W}(p)$ 的对数模，尽管格 VOAs 本身不能直接容纳对数模？
• RQ2 是否 $\mathcal{W}(p)$ 的表示范畴与在 $q = e^{\tau i/p}$ 处受限量子群 $\mathcal{U}_q(\mathfrak{sl}_2)$ 的表示范畴等价，且能否通过显式模构造加以证明？
• RQ3 在非半单模的背景下，对数交织算符应如何定义与构造，特别是在标准顶点算符形式失效时？
• RQ4 能否通过自由场构造方法显式实现仿射顶点代数在允许水平下的对数表示——这些表示此前仅被猜想存在？
• RQ5 筛选算符及其核在生成支持对数表示的 $\mathcal{W}$-代数中起什么作用，它们与标准量子约化有何不同？

主要发现

• 本文使用格顶点代数与筛选算符，为所有 $p \neq 2$ 的三元顶点代数 $\mathcal{W}(p)$ 显式构造了对数模，扩展了已知的 $p=2$ 情况
• 本文提出了对仿射顶点代数 $L(-\frac{4}{3}\mathcal{L}_0)$ 的对数模 $\mathcal{R}_{-1/3}$ 的新自由场实现，确认了其存在性，与 [23] 和 [24] 的预测一致
• 作者利用对数顶点算符 $\mathcal{D}_{\mathcal{\log}}(v,x)$ 构造了类型为 $\widetilde{M}_3 \over \mathcal{V} \widetilde{M}_2$ 的对数交织算符，解决了标准顶点算符表达式中的歧义
• 该方法揭示了 $L(-\frac{4}{3}\mathcal{L}_0)$ 的对数表示并非 $\mathbb{Z}_{\to 0}$-加权，意味着它们无法通过朱代数理论检测，凸显了新工具的必要性
• 将 $N=1$ 超对称扩展 $\mathcal{SW}(p,p')$ 构造为内沃-施瓦茨代数与格顶点超代数的扩展，提供了一类具有丰富表示理论的新对数 VOAs
• 研究结果为 $\mathcal{W}(p)$-模范畴与 $\mathcal{U}_q(\mathfrak{sl}_2)$-模范畴在 $q = e^{\tau i/p}$ 处猜想等价性提供了强有力证据，表明两种构造均产生相同的不可约模结构