[论文解读] C_1-cofiniteness and Fusion Products of Vertex Operator Algebras

Masahiko Miyamoto|arXiv (Cornell University)|May 14, 2013

Algebraic structures and combinatorial models参考文献 2被引用 12

一句话总结

本文证明了两个 $C_1$-cofinite $\mathbb{N}$-gradable 顶点算子代数模的张量积本身也是 $C_1$-cofinite，从而确保了此类模的范畴中张量积的存在性与有限性。通过 $g(V)$-模的投射极限构造以及对交织算子的微分方程分析，证明了商模 $T/C_1(T)$ 的维数被一个仅依赖于模的常数所控制，从而保证了张量积的 $C_1$-cofiniteness。

ABSTRACT

Let V be a vertex operator algebra. We prove that if U and W are C_1-cofinite {\mathbb N}-gradable V-modules, then a fusion product U\boxtimes W is well-defined and also a C_1-cofinite {\mathbb N}-gradable V-module, where the fusion product is defined by (logarithmic) intertwining operators. This is also true for C_2-cofinite {\mathbb N}-gradable modules.

研究动机与目标

• 通过基于 $g(V)$-模的新框架，解决顶点算子代数（VOA）表示理论中张量积可能不存在的问题。
• 确立张量积存在且行为良好的条件，特别关注 $C_1$-cofiniteness 作为关键判据。
• 证明两个 $C_1$-cofinite $\mathbb{N}$-gradable 模的张量积仍为 $C_1$-cofinite，从而保证该范畴在张量积下封闭。
• 将此结果推广至所有 $m \geq 1$ 的 $C_m$-cofiniteness，表明商模 $T/C_m(T)$ 的维数增长受控。
• 通过普遍性质与交织算子展开，证明张量积的结合性，从而建立一个良定义的张量范畴结构。

提出的方法

• 将 $V$-模的 $C_m$-cofiniteness 定义为子模 $C_m(U) = \text{Span}_{\mathbb{C}}\{v_{-m}u \mid \text{wt}(v) > 1 - m\}$ 在 $U$ 中的余维数有限。
• 将张量积 $U \boxtimes W$ 构造为 $V$-模的投射极限，将其视为 $g(V)$-模，从而保证其存在性。
• 利用受限对偶 $T'$ 与双线性形式 $\langle \theta, \mathcal{Y}(u,z)w \rangle$，分析 $\theta \in \text{Annih}(C_m(T)) \cap T'$ 的交织算子。
• 证明 $F(\theta, p, q; z) = \langle \theta, \mathcal{Y}(p,z)q \rangle$ 是 $F(\theta, p^i, q^j; z)$ 的线性组合，其系数属于 $\mathbb{C}[z, z^{-1}]$，且与 $\theta$ 无关。
• 通过权重的归纳法，为任意接受来自 $U$ 与 $W$ 的满射交织算子的模 $T$，建立 $\dim T / C_m(T)$ 的统一有界值 $f_m(U,W)$。
• 利用交织算子的普遍性以及微分方程解的结合性，证明结合性同构 $U \boxtimes (W \boxtimes T) \cong (U \boxtimes W) \boxtimes T$。

实验结果

研究问题

• RQ1 在 $\mathbb{N}$-gradable 模的范畴中，何时 $U \boxtimes W$ 作为 $V$-模存在？
• RQ2 若 $U$ 与 $W$ 均为 $C_1$-cofinite，是否能保证其张量积 $U \boxtimes W$ 也是 $C_1$-cofinal？
• RQ3 是否存在一个统一的上界，控制任意接受来自 $U$ 与 $W$ 的满射交织算子的 $\mathbb{N}$-gradable $V$-模 $T$ 的 $\dim T / C_m(T)$？
• RQ4 交织算子的结构及其对微分方程的解如何确保张量积的结合性？
• RQ5 张量积的构造能否推广至形式幂级数（非对数）交织算子？其是否保持 $C_1$-cofiniteness？

主要发现

• 两个 $C_1$-cofinite $\mathbb{N}$-gradable $V$-模的张量积 $U \boxtimes W$ 本身也是 $C_1$-cofinite 的 $V$-模。
• 对于任意接受来自 $U$ 与 $W$ 的满射交织算子的 $\mathbb{N}$-gradable $V$-模 $T$，其商模 $\dim T / C_1(T)$ 被一个仅依赖于 $U$ 与 $W$ 的常数 $f_1(U,W)$ 所控制。
• 在 $C_1$-cofinite $\mathbb{N}$-gradable 模的范畴中，结合性同构 $U \boxtimes (W \boxtimes T) \cong (U \boxtimes W) \boxtimes T$ 成立，且由普遍性质诱导出一个典范同构。
• 通过 $g(V)$-模范畴中的投射极限构造张量积，确保了其存在性，而 $C_1$-cofiniteness 条件保证了该极限是 $V$-模。
• 该结果可推广至 $C_m$-cofiniteness：若 $U$ 与 $W$ 为 $C_m$-cofinal，则 $U \boxtimes W$ 亦为 $C_m$-cofinal，且满足 $\dim T / C_m(T) < f_m(U,W)$。
• 范畴 $\mathcal{O}^{C_1}$（即 $\mathbb{N}$-gradable $C_1$-cofinal 模）在张量积下封闭，且张量积满足结合性，满足张量范畴的公理。