[論文レビュー] Formal pseudodifferential operators and Witten's r-spin numbers

Kefeng Liu, Ravi Vakil+1 more|arXiv (Cornell University)|Dec 20, 2011

Advanced Combinatorial Mathematics参考文献 27被引用数 5

ひとこと要約

本稿では、形式的擬微分作用素とr-Gelfand–Dikii階層を用いて、Wittenのrスピン交差数を再帰的に計算するアルゴリズムを開発する。1点rスピン数の閉形式表現をガンマ関数を用いて導出し、それらを用いてモジュライ空間 M_{g,1} のオイラー標数に関するHarer–Zagierの公式を証明する。

ABSTRACT

We derive an effective recursion for Witten's r-spin intersection numbers, using Witten's conjecture relating r-spin numbers to the Gel'fand-Dikii hierarchy (Theorem 4.1). Consequences include closed-form descriptions of the intersection numbers (for example, in terms of gamma functions: Propositions 5.2 and 5.4, Corollary 5.5). We use these closed-form descriptions to prove Harer-Zagier's formula for the Euler characteristic of M_{g,1}. Finally in Section 6, we extend Witten's series expansion formula for the Landau-Ginzburg potential to study r-spin numbers in the small phase space in genus zero. Our key tool is the calculus of formal pseudodifferential operators, and is partially motivated by work of Brezin and Hikami.

研究の動機と目的

• 形式的擬微分作用素を用いて、Wittenのrスピン交差数の有効な再帰的関係式を導出すること。
• rスピン数の閉形式表現、特にガンマ関数を用いた表現を提供すること。
• 導出した閉形式を用いて、モジュライ空間 M_{g,1} のオイラー標数に関するHarer–Zagierの公式を証明すること。
• genus zero における小位相空間でrスピン数を計算するために、Landau–Ginzburg汎関数のWittenの級数展開を拡張すること。
• 形式的擬微分作用素の構造定理を確立し、中心的な道具として普遍微分多項式 W_r(z) を定義すること。

提案手法

• 形式的擬微分作用素の微分法を用いて、Q^{1/r} = D + ∑ w_{-i} D^{-i} （ただし D = (√−1/√r) ∂/∂x）を定義・操作する。
• r-Gelfand–Dikii階層方程式を適用：i ∂Q/∂t_{n,m} = [Q^{n+(m+1)/r}_+, Q] · c_{n,m}/√r で、c_{n,m} は r, n, m の有理関数として与えられる。
• ストリング方程式とr-Gelfand–Dikii制約を活用し、再帰的アルゴリズム（定理4.1）を導出する。
• 形式的作用素計算における主要な構成要素として、普遍微分多項式 W_r(z) を導入し、体系的な計算を可能にする。
• 生成関数とベルヌーイ数を含む再帰的恒等式を用いて、Q^{1/r} の展開における係数の構造を分析する。
• 二項係数や階乗を含む組合せ的恒等式を用いて、再帰的関係と既知の数論的数列・特殊関数との関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 形式的擬微分作用素を用いて、Wittenのrスピン交差数の有効な再帰的関係式を導出可能か？
• RQ2 rスピン数の閉形式表現が存在するか、特にガンマ関数やベルヌーイ数を用いた表現があるか？
• RQ3 導出した閉形式を用いて、χ(M_{g,1}) に関する既知の結果、Harer–Zagierの公式を再証明可能か？
• RQ4 WittenのLandau–Ginzburg汎関数の級数展開を、genus zero における小位相空間に一般化できるか？
• RQ5 普遍微分多項式 W_r(z) が持つ構造的性質は何か？また、r-Gelfand–Dikii階層とどのように関係するか？

主な発見

• 形式的擬微分作用素の枠組みを用いて、Wittenのrスピン交差数を計算する有効な再帰的アルゴリズムが確立された。
• 1点rスピン数の閉形式表現が導出され、ガンマ関数による表現も含まれる（命題5.2および5.4、推論5.5）。
• rスピン数の閉形式記述を用いて、モジュライ空間 M_{g,1} のオイラー標数に関するHarer–Zagierの公式が証明された。
• 本稿では、WittenのLandau–Ginzburg汎関数の級数展開を、genus zero における小位相空間に拡張し、この設定でrスピン数を計算可能にした。
• 普遍微分多項式 W_r(z) が定義され、rスピン数の再帰的計算において中心的な役割を果たすことが示された。
• Q^{1/r} の係数の再帰的関係とベルヌーイ数の間に深い関係が確立され、生成関数と組合せ的恒等式を用いて f_n(0) = -B_n / n が証明された。