[论文解读] Logarithmic tensor category theory for generalized modules for a conformal vertex algebra, I: Introduction and strongly graded algebras and their generalized modules

Yi-Zhi Huang, James Lepowsky+1 more|arXiv (Cornell University)|Dec 19, 2010

Algebraic structures and combinatorial models被引用 7

一句话总结

本文为共形与Möbius顶点代数的广义模引入了全面的对数张量范畴理论，将经典张量范畴理论扩展至非半单情形并引入对数结构。该理论建立了基础工具——对数交织算子、相容性条件及结合性同构，从而实现完整的有 braided 张量范畴结构，关键成果包括结合性同构的存在性，以及用有理函数性、交换性与结合性公理取代雅可比恒等式。

ABSTRACT

This is the first part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. This theory generalizes the tensor category 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 required; the general representation theory of vertex operator algebras requires logarithmic structure. This work includes the complete proofs in the present generality and can be read independently of the earlier series of papers. Since this is a new theory, we present it in detail, including the necessary new foundational material. In addition, with a view toward anticipated applications, we develop and present the various stages of the theory in the natural, general settings in which the proofs hold, settings that are sometimes more general than what we need for the main conclusions. In this paper (Part I), we give a detailed overview of our theory, state our main results and introduce the basic objects that we shall study in this work. We include a brief discussion of some of the recent applications of this theory, and also a discussion of some recent literature.

研究动机与目标

• 为共形与Möbius顶点代数的广义模发展一种通用张量范畴理论，超越半单情形。
• 将对数结构融入顶点算子代数表示理论，容纳广义权空间与非有理行为。
• 用有理函数性、交换性与结合性公理取代顶点代数定义中的雅可比恒等式。
• 为对数情形下的完整有 braided 张量范畴结构奠定基础，适用于共形场论与表示理论。
• 为系列后续论文提供自包含且详尽的基础，所有证明均在尽可能最一般的情形下成立。

提出的方法

• 引入强分次的共形与Möbius顶点代数作为广义模的代数框架。
• 发展对数形式演算与对数交织算子，以处理算子乘积中的非有理、对数行为。
• 通过相容性条件与 P(z)、Q(z) 形式化方法定义张量积函子，以管理收敛性与结合性。
• 通过交织映射的解析与代数条件，建立三重张量积函子之间的结合性同构。
• 利用矩阵系数的有理函数性、交换性与结合性，推导出在指定区域内的收敛性。
• 应用解析延拓，使重叠区域内的算子乘积展开相等，将亚纯 OPE 推广至对数情形。

实验结果

研究问题

• RQ1 如何将张量范畴理论推广至具有广义权空间的顶点代数非半单模范畴？
• RQ2 在标准有理函数性失效的对数情形下，何种条件可确保结合性同构的存在性？
• RQ3 顶点算子代数中的雅可比恒等式能否被有理函数性、交换性与结合性公理所取代？
• RQ4 对数交织算子如何推广共形场论中的亚纯算子乘积展开？
• RQ5 形式变量及其复数特化在构造收敛的、有理函数值算子函数中起何种作用？

主要发现

• 顶点算子代数中的雅可比恒等式可被有理函数性、交换性与结合性公理取代，从而简化基础公理。
• 顶点算子矩阵系数在重叠区域 |z₁| > |z₂| > 0、|z₂| > |z₁| > 0 与 |z₂| > |z₁−z₂| > 0 内收敛至有理函数，且在公共区域中等式成立。
• 算子乘积展开 Y(v₁,z₁)Y(v₂,z₂) ∼ Y(Y(v₁,z₁−z₂)v₂,z₂) 在区域 |z₁| > |z₂| > |z₁−z₂| > 0 内作为有理函数等式成立。
• 对数交织算子将亚纯 OPE 推广至非有理、对数结构，从而实现完整的非亚纯算子乘积展开。
• 在适当的相容性条件下，三重张量积函子之间的结合性同构存在，构成有 braided 张量范畴结构的基础。
• 该理论在完全一般的情形下建立，所有证明均在比严格必要更一般的情形下成立，确保其在共形场论与表示理论中的广泛适用性。