[论文解读] Intertwining operators and modular invariance

Masahiko Miyamoto|ArXiv.org|Oct 18, 2000

Algebraic structures and combinatorial models参考文献 13被引用 28

一句话总结

该论文将朱的模不变性理论扩展至有理顶点算子代数中的交织算子，证明了类型为 ${W\choose U\quad W}$ 的交织算子的迹函数在弱化的 $C_{[2,0]}$ 条件下满足模不变性。关键结果明确构造了有理权重的模形式——例如 $\frac{1}{2}, \frac{1}{10}, \frac{2}{5}, \frac{1}{7}$——分别表示为 $\eta(\tau)$, $\eta(\tau)^{1/5}$, $\eta(\tau)^{4/5}$, 和 $\eta(\tau)^{2/7}$，方法是通过特定交织算子的迹函数实现。

ABSTRACT

We extend the modular invariance property of the trace functions of vertex operator algebra on the set of irreducible modules (Zhu's theory) to the case of trace functions of intertwining operators.

研究动机与目标

• 将朱的模不变性理论从顶点算子扩展至有理顶点算子代数中的交织算子。
• 在弱化的 $C_{[2,0]}$ 条件下，建立类型为 ${W\choose U\quad W}$ 的交织算子迹函数为模形式的结论。
• 显式计算特定交织算子的迹函数，并将其与已知的有理权重模形式对应起来。
• 证明此类迹函数空间在 $SL(2,\mathbb{Z})$ 作用下保持不变，推广了关于整数权重模形式的先前结果。

提出的方法

• 通过为类型为 ${W\choose U\quad W}$ 的交织算子 $I$ 定义迹函数 $S^I(u,\tau) = q^{-c/24} \operatorname{tr}_W I(u,z) q^{L(0)}$（其中 $u \in U$），将朱的框架适配至交织算子。
• 引入并利用 $C_{[2,0]}$ 条件作为弱于 $C_2$ 的有限性假设，以确保迹函数具有良好性质并具备模性。
• 应用李的结果，即交织算子与 $A(V)$-模同态之间的同构关系，以分析迹空间的结构。
• 利用 $L(-1)$-导数性质和结合律恒等式，推导迹函数的微分方程。
• 利用迹函数为具有线性特征的模形式的事实，并通过比较首项系数，唯一地识别其与已知形式如 $\eta(\tau)^k$ 的对应关系。
• 利用 Verma 模结构和奇异向量条件，证明迹函数的非零性以及交织空间的不可约性。

实验结果

研究问题

• RQ1 能否将模不变性从顶点算子推广到有理顶点算子代数中的交织算子？
• RQ2 在何种模块 $U$ 的条件下，交织算子迹函数 $S^I(u,\tau)$ 的空间仍保持模性？
• RQ3 能否显式计算交织算子的迹函数，并将其与已知的有理权重模形式对应起来？
• RQ4 给定交织算子迹函数所生成的模形式的精确权重和特征是什么？

主要发现

• 当 $U = L(\frac{1}{2},\frac{1}{2})$ 且 $W = L(\frac{1}{2},\frac{1}{16})$ 时，类型为 ${W\choose U\quad W}$ 的交织算子 $I$ 的迹函数 $S^I(u,\tau)$ 是有理权重 $\frac{1}{2}$ 的模形式，且等于 Dedekind eta 函数 $\eta(\tau)$。
• 当 $U = L(\frac{7}{10},\frac{1}{10})$ 且 $W = L(\frac{7}{10},\frac{3}{80})$ 时，迹函数 $S^I(u,\tau)$ 被识别为 $\eta(\tau)^{1/5}$，即权重为 $\frac{1}{10}$ 的模形式。
• 当 $U = L(\frac{4}{5},\frac{2}{5})$ 且 $W = L(\frac{4}{5},\frac{1}{15})$ 时，迹函数 $S^I(u,\tau)$ 等于 $\eta(\tau)^{4/5}$，即权重为 $\frac{2}{5}$ 的模形式。
• 当 $U = L(\frac{6}{7},\frac{1}{7})$ 且 $W = L(\frac{6}{7},\frac{1}{21})$ 时，迹函数 $S^I(u,\tau)$ 为 $\eta(\tau)^{2/7}$，即权重为 $\frac{1}{7}$ 的模形式。
• 当 $\dim I{W\choose U\quad W} = 1$ 时，对于固定的 $U$ 和 $u \in U$，迹函数 $S^I(u,\tau)$ 的空间为一维，从而保证模形式在标量倍数意义下唯一。
• 证明依赖于 $S^I(u,\tau)$ 的非零性，以及其首项系数与已知模形式一致，通过全纯性与模性强制得出等式。