[论文解读] An algebra of power series arising in the intersection theory of moduli spaces of curves and in the enumeration of ramified coverings of the sphere

Dimitri Zvonkine|ArXiv.org|Mar 4, 2004

Advanced Combinatorial Mathematics参考文献 12被引用 12

一句话总结

本文证明了在代数 𝒜 中生成的函数——由 ∑nⁿ⁻¹qⁿ/n! 和 ∑nⁿqⁿ/n! 生成——自然地出现在曲线模空间的交点理论与黎曼球面分支覆盖计数之中。关键结果是：任意满足弦关系与稀释关系的括号运算均生成 𝒜 中的幂级数，从而统一了这两个领域，并使得覆盖计数的渐近分析成为可能，其结果对二维引力可观测量具有重要意义。

ABSTRACT

A bracket is a function that assigns a number to each monomial in variables τ_0, τ_1, ... We show that any bracket satisfying the string and the dilaton relations gives rise to a power series lying in the algebra A generated by the series \sum n^{n-1} q^n/n! and \sum n^n q^n /n! . As a consequence, various series from A appear in the intersection theory of moduli spaces of curves. A connection between the counting of ramified coverings of the sphere and the intersection theory on moduli spaces allows us to prove that some natural generating functions enumerating the ramified coverings lie, yet again, in A. As an application, one can find the asymptotic of the number of such coverings as the number of sheets tends to infinity. We believe that the leading terms of the asymptotics like that correspond to observables in 2-dimensional gravity.

研究动机与目标

• 统一研究模空间上曲线的交点数与球面分支覆盖生成函数的理论。
• 识别出一个包含上述两类生成函数的通用代数 𝒜。
• 证明交点理论中的弦关系与稀释关系可推出生成函数属于 𝒜。
• 利用代数结构建立分支覆盖计数的渐近行为。
• 将这些结果与二维量子引力中的可观测量联系起来。

提出的方法

• 将代数 𝒜 定义为由 ∑nⁿ⁻¹qⁿ/n! 和 ∑nⁿqⁿ/n! 生成的幂级数子代数。
• 在 τ₀, τ₁, … 的单项式上引入满足弦关系与稀释关系的括号运算。
• 利用带编号顶点的 Cayley 树的组合模型分析括号的结构。
• 通过关系的图论解释，证明任意此类括号均生成 𝒜 中的幂级数。
• 应用 ELSV 公式，将 Hurwitz 数（即球面分支覆盖的计数）与模空间上的交点数联系起来。
• 通过 𝒜 中级数的渐近分析，推导出覆盖计数的增长率，从而与二维引力建立联系。

实验结果

研究问题

• RQ1 代数 𝒜 是否自然地同时出现在模空间的交点理论与球面分支覆盖的计数中？
• RQ2 交点理论中的弦关系与稀释关系能否用于证明生成函数属于 𝒜？
• RQ3 当 n → ∞ 时，n-叶分支覆盖球面的数量的渐近行为如何？
• RQ4 渐近展开的首项是否与二维引力中的可观测量相关？
• RQ5 与阿贝尔微分相关的环面分支覆盖的生成级数能否通过代数 𝒜 与球面情况的生成级数联系起来？

主要发现

• 任何满足弦关系与稀释关系的括号运算均生成由 ∑nⁿ⁻¹qⁿ/n! 和 ∑nⁿqⁿ/n! 生成的代数 𝒜 中的幂级数。
• Hurwitz 数（即计数带标记的球面分支覆盖）的生成级数属于 𝒜，从而在枚举几何与模空间交点理论之间建立了深刻联系。
• 球面 n-叶分支覆盖数量的渐近增长形式为 eⁿ·nᵞ·c，其中 γ 为半整数，c 为二维引力中的可观测量。
• 代数 𝒜 捕获了这些覆盖计数的渐近行为，其中指数 γ 与弦易感性相关。
• 与阿贝尔微分相关的环面分支覆盖的生成级数属于拟模形式代数，与球面情况下的代数 𝒜 形成对比。
• 本文猜想球面生成级数与 Korteweg–de Vries 层次之间存在联系，提示二维引力可观测量可能具有 τ-函数结构。