[论文解读] Logarithmic tensor product theory for generalized modules for a conformal vertex algebra, Part I

Yi-Zhi Huang, James Lepowsky+1 more|ArXiv.org|Sep 29, 2006

Algebraic structures and combinatorial models参考文献 43被引用 60

一句话总结

本文为共形与M"obius顶点代数的广义模建立了对数张量积理论，将早期工作扩展至具有广义权空间的非半单范畴。引入了对数交织算子，并利用顶点算子代数技术构建了P(z)与Q(z)张量积函子，为对数共形场论中的辫子张量范畴结构奠定了基础。

ABSTRACT

We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ``conformal vertex algebra'' or even more generally, for a "Möbius vertex algebra.'' We do not require the module categories to be semisimple, and we accommodate modules with generalized weight spaces. As in the earlier series of papers, our tensor product functors depend on a complex variable, but in the present generality, the logarithm of the complex variable is involved. This first part is devoted to the study of logarithmic intertwining operators and their role in the construction of the tensor product functors. Part II of this work will be devoted to the construction of the appropriate natural associativity isomorphisms between triple tensor product functors, to the proof of their fundamental properties, and to the construction of the resulting braided tensor category structure. This work includes the complete proofs in the present generality and can be read independently of the earlier series of papers.

研究动机与目标

• 将顶点算子代数模的张量积理论推广至具有广义权空间的非半单范畴。
• 将理论扩展至共形与M"obius顶点代数，允许张量积函子中出现对数结构。
• 为对数交织算子及其在张量积构造中的作用建立严格的框架。
• 为对数共形场论中的辫子张量范畴结构奠定基础。
• 提供完整且独立的证明，适用于重要类别的顶点代数，包括格、仿射与极小模型VOA。

提出的方法

• 将对数交织算子引入为张量积构造的关键构建模块。
• 定义依赖于复变量z的P(z)-与Q(z)-张量积函子，其中涉及对数项。
• 利用对偶算子映射与仿射化技术，从顶点代数结构构造张量积。
• 应用换位子公式与留数微积分处理顶点算子，以验证函子性质。
• 使用形式狄拉克函数及其性质，以操作算子乘积展开与结合性。
• 建立泛函在张量积上的相容性与下截断条件，以确保其定义良好。

实验结果

研究问题

• RQ1 如何将张量积函子推广至具有广义权空间的非半单模范畴？
• RQ2 对数交织算子在共形与M"obius顶点代数张量积构造中扮演何种角色？
• RQ3 在此推广设定下，三重张量积的结合性同构应如何构造并证明？
• RQ4 在对数设定下，交织算子的收敛性与延拓性质需满足何种条件？
• RQ5 是否可在不依赖半单性的情况下，为广义模建立辫子张量范畴结构？

主要发现

• P(z)-张量积函子通过使用对数交织算子与对偶算子映射构建，确保与顶点代数公理相容。
• Q(z)-张量积函子通过泛函上的相容性条件定义，并满足涉及形式狄拉克函数的扭曲交换性质。
• 定理5.70与5.71表明，Q(z)-张量积与顶点算子作用相容，并在对数设定下满足所需的结合性。
• 定理5.71的证明表明，Y′_Q(z)在泛函上的作用满足涉及z−1δ((x1−x0)/z)的扭曲换位子公式，确保一致性。
• 张量积函子的构造依赖于留数微积分与狄拉克函数的分配律，从而实现对算子乘积展开的操控。
• 该框架足够一般，可包含如格、仿射代数与极小模型等有理顶点算子代数，将已知结果推广至非半单情形。