[论文解读] 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 层次，开发了一种递归算法，用于计算威滕的 r-自旋交截数。它推导出了一点 r-自旋数的闭式表达式，以伽马函数表示，并利用这些表达式证明了哈雷-察吉耶尔关于模空间 M_{g,1} 的欧拉示性数的公式。

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.

研究动机与目标

• 利用形式伪微分算子推导威滕的 r-自旋交截数的有效递归关系。
• 为 r-自旋数提供闭式表达式，特别是以伽马函数表示。
• 利用推导出的闭式表达式证明哈雷-察吉耶尔关于模空间 M_{g,1} 的欧拉示性数的公式。
• 将威滕对 Landau–Ginzburg 潜力的级数展开推广到亏格零的小相空间，以计算 r-自旋数。
• 建立形式伪微分算子的结构定理，并定义通用微分多项式 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），用于计算 r-自旋数。
• 引入通用微分多项式 W_r(z) 作为形式算子微积分中的关键组成部分，实现系统的计算。
• 利用生成函数和涉及伯努利数的递归恒等式，分析 Q^{1/r} 展开中系数的结构。
• 应用组合恒等式（例如涉及二项式系数和阶乘的恒等式），将递归关系与已知的数论序列和特殊函数联系起来。

实验结果

研究问题

• RQ1 能否利用形式伪微分算子推导出威滕的 r-自旋交截数的有效递归关系？
• RQ2 r-自旋数是否存在闭式表达式，特别是以伽马函数或伯努利数表示？
• RQ3 推导出的闭式表达式能否用于重新证明已知结果，例如哈雷-察吉耶尔关于 χ(M_{g,1}) 的公式？
• RQ4 威滕对 Landau–Ginzburg 潜力的级数展开如何推广到亏格零的小相空间？
• RQ5 通用微分多项式 W_r(z) 具有哪些结构性质？它们与 r-Gelfand–Dikii 层次之间有何关系？

主要发现

• 通过形式伪微分算子框架，建立了计算威滕的 r-自旋交截数的有效递归关系。
• 推导出了一点 r-自旋数的闭式表达式，包括以伽马函数表示的形式（命题 5.2 和 5.4，推论 5.5）。
• 利用 r-自旋数的闭式描述，证明了哈雷-察吉耶尔关于 M_{g,1} 的欧拉示性数的公式。
• 本文将威滕对 Landau–Ginzburg 潜力的级数展开推广到亏格零的小相空间，使得在此设定下能够计算 r-自旋数。
• 定义了通用微分多项式 W_r(z)，并证明其在 r-自旋数的递归计算中起核心作用。
• 建立了 Q^{1/r} 中系数递归关系与伯努利数之间的深刻联系，通过生成函数和组合恒等式证明了 f_n(0) = -B_n / n。