[论文解读] Logarithmic tensor category theory, III: Intertwining maps and tensor product bifunctors

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

Algebraic structures and combinatorial models参考文献 9被引用 50

一句话总结

本文通过在顶点代数上的强 $\tilde{A}$-分次广义模背景下引入并严格定义 $P(z)$-和 $Q(z)$-交织映射及其相关的张量积双函子，建立了对数张量范畴理论的基础框架。关键贡献在于通过普遍性质与对偶性，证明了 $P(z)$-和 $Q(z)$-张量积存在的等价性，为后续研究中的结合律同构与辫子张量范畴结构铺平了道路。

ABSTRACT

This is the third 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 III), we introduce and study intertwining maps and tensor product bifunctors.

研究动机与目标

• 在顶点代数的强分次广义模背景下，形式化 $P(z)$-和 $Q(z)$-交织映射的概念。
• 利用普遍性质与交织映射，定义 $P(z)$-和 $Q(z)$-张量积双函子。
• 通过对方偶性与共轭模构造，建立 $P(z)$-和 $Q(z)$-张量积存在性之间的等价性。
• 为后续论文中构造结合律同构与辫子张量范畴结构奠定范畴论基础。

提出的方法

• 通过广义雅可比恒等式（公式 4.4）和 ${\frak{sl}}(2)$-括号关系（4.5）引入 $P(z)$-交织映射，确保分次相容性。
• 将 $P(z)$-张量积双函子定义为表示 $P(z)$-交织映射的普遍对象，利用自然的普遍性质。
• 通过对方偶性关联 $P(z)$-和 $Q(z)$-张量积，证明 $W_1 \boxtimes_{P(z)} W_2$ 与 $W_1 \boxtimes_{Q(z^{-1})} W_2$ 作为广义 $V$-模彼此同构。
• 利用共轭模理论以及 $e^{zL(1)}$ 和 $e^{-z^{-1}L(1)}$ 的作用，关联矩阵系数，并证明普遍映射的唯一性。
• 应用 $Q(z^{-1})$-张量积的普遍性质，表明若 $Q(z^{-1})$-张量积存在，则 $P(z)$-张量积亦存在。
• 通过涉及共轭映射与 $e^{zL(1)}$ 共轭的典范同构，证明 $P(z)$-张量积结构与 $Q(z)$-张量积结构等价。

实验结果

研究问题

• RQ1 在何种条件下，两个强 $\tilde{A}$-分次广义 $V$-模的 $P(z)$-张量积存在？
• RQ2 $P(z)$-和 $Q(z)$-交织映射之间有何关系？对偶性在它们的等价性中起什么作用？
• RQ3 $P(z)$-张量积与 $Q(z^{-1})$-张量积双函子之间的精确关系是什么？
• RQ4 $P(z)$-和 $Q(z)$-张量积的普遍性质如何确保在广义 $V$-模范畴中唯一性与相容性？
• RQ5 何种结构条件使得 $P(z)$-和 $Q(z)$-张量积双函子能够普遍构造，从而支持结合律同构的发展？

主要发现

• 根据推论 4.52，两个强 $\tilde{A}$-分次广义 $V$-模的 $P(z)$-张量积存在，当且仅当 $Q(z)$-张量积存在。
• $P(z)$-张量积双函子作为广义 $V$-模，与 $Q(z^{-1})$-张量积双函子同构，尽管其交织映射在几何上不同。
• $P(z)$-张量积的普遍性质由唯一模映射 $\bar{\theta}^{P(z)}$ 的存在性刻画，使得 $I = \bar{\theta}^{P(z)} \boxtimes_{Q(z^{-1})}$，从而确保唯一性。
• $P(z)$-张量积的构造依赖于 $e^{z^{-1}L(1)}$ 和 $e^{-z^{-1}L(1)}e^{i\theta L(0)}$ 算子在模上的可逆性，这确保了相关配对的满射性。
• 普遍映射唯一性的证明依赖于：其对偶映射在所有 $w_{(1)} \boxtimes_{P(z)} w_{(2)}$ 上为零，从而推出该映射恒为零，进而证明唯一性。
• $V$ 与 $W$（或 $W$ 与 $V$）的 $P(z)$-张量积同构于 $W$ 本身，表明 $V$ 在此张量结构中充当单位元。