[论文解读] Vertex operator algebras and the zeta function

James Lepowsky|ArXiv.org|Sep 29, 1999

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

一句话总结

本文在顶点算子代数理论中引入了一个新的雅可比恒等式，该恒等式结合了黎曼ζ函数在负整数处的取值，为发散级数 $1+2+3+ olimits = -\frac{1}{12}$ 提供了严格的代数框架。该工作推广了 S. Bloch 关于ζ函数取值与微分算子换位子之间关系的研究，通过生成函数和形式δ-函数揭示了数论与共形场论之间通过顶点代数结构所建立的深刻联系。

ABSTRACT

We announce a new type of "Jacobi identity" for vertex operator algebras, incorporating values of the Riemann zeta function at negative integers. Using this we "explain" and generalize some recent work of S. Bloch's relating values of the zeta function with the commutators of certain operators and Lie algebras of differential operators.

研究动机与目标

• 通过顶点算子代数理论，为发散级数 $1+2+3+\cdots = -\frac{1}{12}$ 提供严格的代数解释。
• 推广 S. Bloch 最近关于负奇数次ζ函数取值与微分算子换位子之间关系的研究成果。
• 在顶点算子代数中提出一个新的雅可比恒等式，通过形式δ-函数和生成函数自然地引入ζ函数取值。
• 通过引入基于 $x\frac{d}{dx}$ 指数的变量替换自同态，统一并扩展顶点算子代数的形式演算。

提出的方法

• 引入修正的顶点算子 $X(v,x) = x^{\text{wt}\,v} Y(v,x)$，以自然方式处理格过滤和形式变量。
• 使用形式对易变量而非复变量，以处理如 $\delta(x) = \sum_{n\in\mathbb{Z}} x^n$ 这类双重无穷级数。
• 应用算子 $\exp(y L(0))$ 作为形式变量替换自同态，关联不同顶点算子的插入。
• 推导出一个包含形式δ-函数的新雅可比恒等式：$x_0^{-1}\delta\left(e^{y_{21}}\frac{x_1}{x_0}\right)X(u,x_1)X(v,x_2) - x_0^{-1}\delta\left(-e^{y_{12}}\frac{x_2}{x_0}\right)X(v,x_2)X(u,x_1) = x_2^{-1}\delta\left(e^{y_{01}}\frac{x_1}{x_2}\right)X(Y[u,-y_{01}]v,x_2)$。
• 利用Zhu的变量替换定理，通过 $Y[u,y]$ 定义新的顶点算子代数结构，使算子乘积展开得以推广。
• 运用生成函数和形式留数提取，将发散级数如 $\sum n^s = \zeta(-s)$ 解释为代数结构的自然结果。

实验结果

研究问题

• RQ1 如何通过顶点算子代数理论严格解释发散和 $1+2+3+\cdots = -\frac{1}{12}$？
• RQ2 什么代数机制使得黎曼ζ函数在负整数处的取值与微分算子换位子相联系？
• RQ3 S. Bloch 关于ζ函数取值与微分算子李代数结果能否在顶点算子代数框架内推广？
• RQ4 形式δ-函数和生成函数在构造顶点代数中更对称的新雅可比恒等式中起什么作用？
• RQ5 算子 $\exp(y L(0))$ 在顶点算子代数背景下如何作为形式变量替换自同态发挥作用？

主要发现

• 本文在顶点算子代数中建立了新的雅可比恒等式，通过形式δ-函数和对数变量明确地引入了负整数处的ζ函数取值。
• 形式关系 $X(u,e^y x_2)X(v,x_2) \sim X(Y[u,y]v,x_2)$ 推广了算子乘积展开，并为发散级数如 $\sum n^s = \zeta(-s)$ 提供了严格的解释。
• 换位子 $[X(u,x_1),X(v,x_2)]$ 由新雅可比恒等式中 $x_0^{-1}$ 的系数导出，得到一个紧凑而优美的表达式，涉及 $X(Y[u,-y_{01}]v,x_2)$。
• 新雅可比恒等式的结构揭示了标准换位子公式中所缺乏的对称性，展示了雅可比恒等式在顶点算子代数理论中的基础性作用。
• 结果通过将 Bloch 的工作嵌入顶点算子代数的更广泛框架中，实现了对其关于ζ函数取值与微分算子换位子研究的推广，使其成为特例。
• 该方法为微分算子李代数中心扩张中出现的 $m$ 的单项式提供了自然解释，其根源在于 Virasoro 代数的三阶导数结构。