[论文解读] Logarithmic tensor category theory, VII: Convergence and extension properties and applications to expansion for intertwining maps

Yi-Zhi Huang, James Lepowsky+1 more|arXiv (Cornell University)|Oct 10, 2011

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

一句话总结

本文建立了对数张量范畴理论中交织映射收敛性与延拓性质的充分条件，证明了 $C_1$-余有限性与拟有限维性条件可确保对数交织算子的乘积与迭代的绝对收敛性与解析延拓。关键结果是，这些代数条件蕴含了顶点算子代数表示范畴中辫子张量范畴结构所必需的结合律同构。

ABSTRACT

This is the seventh 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 VII), we give sufficient conditions for the existence of the associativity isomorphisms.

研究动机与目标

• 建立确保对数张量范畴理论中交织映射收敛性与延拓性质的充分条件。
• 证明 $C_1$-余有限性与拟有限维性条件可蕴含结合律同构所必需的收敛性与展开条件。
• 将 [H2] 中的微分方程方法推广至对数情形，证明交织算子乘积与迭代的解析延拓。
• 证明由迭代交织映射产生的多值解析函数具有正则奇点行为，从而实现全局解析延拓。
• 为在顶点算子代数表示范畴中构造辫子张量范畴结构奠定必要的分析条件基础。

提出的方法

• 通过在区域 $|z_1| > |z_2| > 0$ 与 $|z_2| > |z_1 - z_2| > 0$ 上使用解析函数，全局表述收敛性与延拓性质，确保绝对收敛与解析延拓。
• 为对数交织算子的乘积与迭代定义收敛性与延拓性质，要求中间广义 $V$-模的有限生成性。
• 利用具有正则奇点的微分方程（如 [Kn] 中所定义）分析由交织映射产生的多值函数的解析行为。
• 应用正则奇点理论的结果，证明微分系统解的展开形式与对数交织算子的展开形式相同。
• 证明交织映射同态的像在 $\mathbb{C}[z_1^{\pm1}, z_2^{\pm1}, (z_1 - z_2)^{-1}]$ 上是有限生成的，从而确保解析延拓中 $\log z_2$ 的幂次存在统一上界 $K$。
• 利用像模的有限生成结构，对解析延拓中对数项的阶数进行有界控制，确保所有元素的统一控制。

实验结果

研究问题

• RQ1 在何种代数条件下，对数交织算子的乘积与迭代可实现绝对收敛并实现解析延拓？
• RQ2 如何将 [H2] 中的微分方程方法推广至对数情形，以证明收敛性与延拓性质？
• RQ3 何种条件可确保交织映射乘积与迭代的解析延拓保持与有限和形式的迭代或乘积相同的函数形式？
• RQ4 $C_1$-余有限性与拟有限维性条件如何在对数情形下蕴含收敛性与延拓性质？
• RQ5 正则奇点在由迭代交织映射产生的多值函数的解析延拓中起何种作用？

主要发现

• 范畴 $\mathcal{C}$ 中所有对象的 $C_1$-余有限性与拟有限维性条件，可推出交织映射乘积与迭代的收敛性与延拓性质。
• 对任意 $n \in \mathbb{Z}_+$，级数 $\langle w_0', \mathcal{Y}_1(w_1, z_1) \cdots \mathcal{Y}_n(w_n, z_n) w_{n+1} \rangle$ 在区域 $|z_1| > \cdots > |z_n| > 0$ 内绝对收敛，并可解析延拓为 $\mathbb{C}^n \setminus \{z_i = 0, z_i = \infty, z_i = z_j, i \neq j\}$ 上的多值解析函数。
• 在任意奇点附近（$z_i = 0$、$z_i = \infty$ 或 $z_i = z_j$）的解析延拓具有与具有正则奇点的微分方程组解相同的展开形式。
• 交织映射同态 $\phi_{\mathcal{Y}_1, \mathcal{Y}_2}$ 的像是 $\mathbb{C}[z_1^{\pm1}, z_2^{\pm1}, (z_1 - z_2)^{-1}]$ 上的有限生成模，从而确保解析延拓中 $\log z_2$ 的幂次存在统一上界 $K$。
• 当不存在对数项时（即当 $\mathcal{C}$ 属于 $\mathcal{M}_{sg}$ 且所有对象均为不可约表示的有限直和时），收敛性与延拓性质在无对数项的情况下依然成立。
• 通过像模 $T/J$ 的有限生成性，确立了对数幂次的上界 $K$，从而在解析延拓中实现统一控制。