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

Yi-Zhi Huang, James Lepowsky+1 more|ArXiv.org|Oct 15, 2007

Algebraic structures and combinatorial models被引用 10

一句话总结

本文为共形与Möbius顶点代数的广义模建立了对数张量积理论，将先前的工作扩展至具有广义权空间的非半单范畴。论文引入了对数交织算子，并构造了自然的结合性同构，证明在放宽的表示论条件下，所得范畴具备带有完整相干性的有 braided 张量范畴结构，包括六边形与三角形恒等式。

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 required; the general representation theory of vertex operator algebras requires logarithmic structure. The first part of this work is devoted to the study of logarithmic intertwining operators and their role in the construction of the tensor product functors. The remainder of this work is 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öbius顶点代数发展一种表示理论，以容纳对数结构与非完全可约模。
• 通过引入对数交织算子，构造 P(z) 与 Q(z) 张量积函子。
• 证明三重张量积之间自然结合性同构的存在性及其基本性质。
• 在该扩展设定下，建立广义模的完整 braided 张量范畴结构，包括相干性条件。

提出的方法

• 将对数交织算子作为张量积构造的基础构件引入。
• 定义以复变量 z 参数化的 P(z) 与 Q(z) 张量积函子，通过 z 的对数依赖关系处理非半单模。
• 利用复平面上带切口的路径上的平行移动同构，构造三重张量积之间的结合性同构。
• 利用交织算子的 L(−1)-导数性质，将对数结构与解析开拓及单值性联系起来。
• 通过包含六边形与三角形恒等式的交换图表，借助平行移动同构的自然性与路径复合性，证明相干性。
• 验证矩阵元的收敛性与解析延拓性质，并推导控制交织算子的微分方程。

实验结果

研究问题

• RQ1 如何将张量积理论扩展至共形顶点代数的非半单模范畴？
• RQ2 当存在广义权空间时，对数交织算子在构造张量积函子中起什么作用？
• RQ3 在此广义设定下，结合性同构如何构造，并如何证明其满足六边形恒等式？
• RQ4 何种条件可确保对数框架下矩阵元的收敛性与解析延拓性？
• RQ5 在具有对数结构的广义模背景下，单位同构及其相干性（三角形恒等式）如何表现？

主要发现

• 本文即使在模非完全可约的情况下，也成功构造了Möbius顶点代数广义模的良定义 P(z)-张量积函子。
• 三重张量积之间的结合性同构被显式构造，并通过包含平行移动与交织算子的交换图表，证明其满足六边形恒等式。
• 通过结合结合性同构、路径复合性与 L(−1)-导数性质，验证了单位同构的三角形恒等式。
• 配备 P(z)-张量积结构的广义模范畴构成一个 braided 张量范畴，其六边形与三角形图表的完整相干性已得证明。
• 通过在函子参数化中使用 log(z)，该理论成功容纳了对数结构，这对非半单表示至关重要。
• 已建立矩阵元的收敛性与延拓性质，并从 L(−1)-导数性质推导出控制交织算子的微分方程。