[论文解读] Logarithmic tensor category theory, VI: Expansion condition, associativity of logarithmic intertwining operators, and the associativity isomorphisms

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

Algebraic structures and combinatorial models参考文献 10被引用 58

一句话总结

本文通过引入一种新颖的“展开条件”，证明了对数互播算子的结合性，并在顶点代数模的张量范畴中构造了自然的结合性同构，从而为对数共形场论建立了数学基础。关键贡献在于，利用广义模范畴中P(z)-相容性和分级限制条件下的解析收敛性与对偶性论证，将对数算子乘积展开严格证明为定理。

ABSTRACT

This is the sixth 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. In this paper (Part VI), we construct the appropriate natural associativity isomorphisms between triple tensor product functors. In fact, we establish a "logarithmic operator product expansion" theorem for logarithmic intertwining operators. In this part, a great deal of analytic reasoning is needed; the statements of the main theorems themselves involve convergence assertions.

研究动机与目标

• 构建顶点算子代数广义模范畴中三重张量积函子之间的自然结合性同构。
• 将对数算子乘积展开作为数学上严格成立的定理加以确立，推广有限可约化情形。
• 定义并证明展开条件与结合性同构存在性之间的等价性。
• 证明对互播映射或对数互播算子的乘积与迭乘可唯一地通过适当的张量积模因子化。
• 为对数张量范畴理论中的收敛性与对偶性提供完整的分析框架，扩展了该系列中先前的工作。

提出的方法

• 引入并分析互播映射的“展开条件”，确保在特定收敛性与相容性条件下，互播映射的乘积与迭乘等价。
• 将P(z1,z2)-相容性和P(z1,z2)-局部分级限制条件作为对偶空间张量积的基石约束。
• 通过定理9.17与引理9.22构造中间广义模，确保不同张量积构造之间同构的存在性。
• 将结合性同构AP(z1−z2),P(z2)P(z1),P(z2)定义为 (W1 ⊠P(z1−z2) W2) ⊠P(z2) W3 与 W1 ⊠P(z1) (W2 ⊠P(z2) W3) 之间的自然同构，利用对偶性与模映射构造。
• 证明此类同构的存在性蕴含展开条件，反之亦然，从而建立范畴等价性。
• 应用逆变映射与对偶性，验证涉及张量积函子与互播映射的图表的自然性与交换性。

实验结果

研究问题

• RQ1 在何种条件下，对数互播算子的乘积可表示为迭乘，反之亦然？
• RQ2 哪些分析与代数条件可确保在对数互播算子背景下，迭乘级数的收敛性与等式成立？
• RQ3 如何构造并证明广义模范畴中三重张量积函子之间结合性同构的自然性？
• RQ4 展开条件在连接互播映射的乘积与迭乘构造中起何种精确作用？
• RQ5 结合性同构与共形场论中对数算子乘积展开之间有何关系？

主要发现

• 互播映射的展开条件与三重张量积函子之间自然结合性同构的存在性等价。
• 结合性同构AP(z1−z2),P(z2)P(z1),P(z2)是唯一确定的，并在 (W1 ⊠P(z1−z2) W2) ⊠P(z2) W3 与 W1 ⊠P(z1) (W2 ⊠P(z2) W3) 之间定义了模同构。
• 对数算子乘积展开被确立为数学定理，对数互播算子的乘积可表示为迭乘，反之亦然。
• 该构造依赖于迭乘级数的收敛性及重排后和的相等性，通过张量积对偶空间中的分析论证加以证明。
• 结合性同构满足自然性条件，如通过逆变映射与张量积函子涉及的图表交换性所显示。
• 展开条件确保满足P(z1,z2)-相容性与分级限制条件的对偶空间元素，可分别由互播映射的乘积与迭乘生成。