[论文解读] Orbifold Euler Characteristics of $\overline{\mathcal M}_{g,n}$

Zhiyuan Wang, Jian Zhou|arXiv (Cornell University)|Dec 27, 2018

Black Holes and Theoretical Physics参考文献 42被引用 4

一句话总结

本文通过受量子场论启发的形式化方法，解决了计算代数曲线的 Deligne-Mumford 紧化空间 $\overline{\mathcal{M}}_{g,n}$ 的奇异域欧拉特征这一长期存在的问题。它建立了递推关系，将结果与亏格零时的拉马努金多项式联系起来，并通过 KP 层函数揭示了 $\chi(\overline{\mathcal{M}}_{g,n})$ 与 $\chi(\mathcal{M}_{g,n})$ 之间新颖的开-闭对偶性，所有显式公式均通过算子形式化和 Barnes G-函数表示推导得出。

ABSTRACT

We solve the problem of the computation of the orbifold Euler characteristics of $\Mbar_{g,n}$. We take the works of Harer-Zagier \cite{hz} and Bini-Harer \cite{bh} as our starting point, and apply the formalisms developed in \cite{wz} and \cite{zhou1} to this problem. These formalisms are typical examples of mathematical methods inspired by quantum field theories. We also present many closed formulas and some numerical data. In genus zero the results are related to Ramanujan polynomials, and in higher genera we get recursion relations almost identical to the recursion relations for Ramanujan polynomials but with different initial values. We also show that the generating series given by the orbifold Euler characteristics of $\overline{\mathcal M}_{g,n}$ is the logarithm of the KP tau-function of the topological 1D gravity evaluated at the times given by the orbifold Euler characteristics of $\overline{\mathcal M}_{g,n}$. Conversely, the logarithm of this tau-function evaluated at the times given by certain generating series of the orbifold Euler characteristics of $\overline{\mathcal M}_{g,n}$ is a generating series of the orbifold Euler characteristics of $\overline{\mathcal M}_{g,n}$. This is a new example of open-closed duality.

研究动机与目标

• 解决长期存在的问题：计算代数曲线稳定模空间的奇异域欧拉特征 $\chi(\overline{\mathcal{M}}_{g,n})$。
• 通过抽象量子场论技术，将哈雷-扎吉尔公式从 $\chi(\mathcal{M}_{g,n})$ 扩展至紧化模空间 $\overline{\mathcal{M}}_{g,n}$。
• 通过涉及 KP 层函数的反演公式，建立 $\chi(\mathcal{M}_{g,n})$ 与 $\chi(\overline{\mathcal{M}}_{g,n})$ 之间新的开-闭对偶性。
• 推导 $\chi(\overline{\mathcal{M}}_{g,n})$ 的显式闭式表达式与递推关系，尤其针对亏格零与高亏格情形。

提出的方法

• 采用受全纯异常方程与弦理论启发的抽象量子场论形式化，适用于模空间计算。
• 应用算子形式化，将边切割与边添加算子表示为生成函数上的微分算子。
• 利用形式高斯积分与划分函数 $\widehat{Z}(t,\kappa)$，表示精化奇异域欧拉特征 $\chi_{g,n}(t,\kappa)$。
• 利用 KP 层证明 $\chi(\overline{\mathcal{M}}_{g,n})$ 的生成系列是某个在 $\chi(\mathcal{M}_{g,n})$ 给出的时间点上取值的层函数的对数。
• 引入生成系列 $G_k(z)$ 与 $V_n(z)$，并通过 Barnes G-函数与对称函数表达，推导递归算法。
• 应用 KP 层的涌现几何，将 $\chi(\overline{\mathcal{M}}_{g,n})$ 与可积系统及 $n$-点函数联系起来。

实验结果

研究问题

• RQ1 如何使用统一的形式化方法，计算所有 $g$ 与 $n$ 的奇异域欧拉特征 $\chi(\overline{\mathcal{M}}_{g,n})$？
• RQ2 精化奇异域欧拉特征 $\chi_{g,0}(t,\kappa)$ 与亏格零时的拉马努金多项式之间的确切关系为何？
• RQ3 KP 层如何通过层函数编码 $\chi(\overline{\mathcal{M}}_{g,n})$ 的生成系列？
• RQ4 能否通过函数反演建立 $\chi(\mathcal{M}_{g,n})$ 与 $\chi(\overline{\mathcal{M}}_{g,n})$ 之间的开-闭对偶性？
• RQ5 $\chi(\overline{\mathcal{M}}_{g,n})$ 的显式闭式表达式能否用已知特殊函数（如 Barnes G-函数）表示？

主要发现

• 本文推导出 $\chi(\overline{\mathcal{M}}_{g,n})$ 在亏格 $g \geq 2$ 下的线性递推关系，其结构与拉马努金多项式相同，但初始条件不同。
• 在亏格零时，精化奇异域欧拉特征 $\chi_{g,0}(t,\kappa)$ 与拉马努金多项式相关，且生成系列 $G_k(z)$ 可用 Barnes G-函数表示。
• 证明了 $\chi(\overline{\mathcal{M}}_{g,n})$ 的生成系列是 KP 层函数的对数，其时间变量由 $\chi(\mathcal{M}_{g,n})$ 给出，从而确立了新的可积系统结构。
• 反向关系也成立：同一层函数在由 $\chi(\overline{\mathcal{M}}_{g,n})$ 导出的时间点上取对数，可生成 $\chi(\mathcal{M}_{g,n})$，从而展示了开-闭对偶性的新形式。
• 通过生成系列与对称函数，推导出 $\chi(\overline{\mathcal{M}}_{0,n})$ 与 $\chi(\overline{\mathcal{M}}_{1,n})$ 的显式公式，并提供了数值数据。
• 线性递推的解给出了 $\chi(\overline{\mathcal{M}}_{g,n})$ 的闭式表达式，以系数 $a_{g,n}^k$ 与生成函数 $G_k(z)$ 表示，支持算法化计算。