[論文レビュー] Vertex operator algebras and the zeta function

James Lepowsky|ArXiv.org|Sep 29, 1999

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

ひとこと要約

この論文は、リーマン・ゼータ関数の負の整数における値を組み込んだ、頂点作用素代数理論における新しいヤコビ恒等式を導入し、$1+2+3+\cdots = -\frac{1}{12}$ のような発散級数を厳密に代数的枠組みで説明する。S. ブロッホのゼータ値と微分作用素の交換子に関する最近の研究を、生成関数と形式的デルタ関数を用いて一般化し、数論と conformal field theory の間に深い接点を明らかにする。

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. ブロッホの最近の結果、すなわち負の奇数におけるゼータ値と微分作用素の交換子との関係を、頂点作用素代数の枠組み内で一般化すること。
• 形式的デルタ関数と生成関数を通じて、ゼータ値を自然に組み込む新しい頂点作用素代数におけるヤコビ恒等式を定式化すること。
• $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 ブロッホのゼータ値と微分作用素のリー代数に関する結果は、頂点作用素代数の枠組み内で一般化可能か？
• 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)$ を含む、洗練された簡潔な表現を得る。
• 新しいヤコビ恒等式の構造は、標準的な交換子公式に欠けている対称性を明らかにし、ヤコビ恒等式が頂点作用素代数理論の基礎的役割を果たしていることを示している。
• 結果として、ブロッハのゼータ値と微分作用素の交換子に関する研究は、頂点作用素代数のより広範な枠組み内に埋め込まれ、特殊な場合として再現される。
• 本手法は、微分作用素のリー代数の中心拡張における $m$ の単項式の出現を自然に説明する。これは、バーバロ・代数の三階微分構造に根ざしている。