[论文解读] Hodge integrals, Hurwitz numbers, and Symmetric Groups

Jian Zhou|ArXiv.org|Aug 4, 2003

Advanced Mathematical Identities参考文献 16被引用 43

一句话总结

本文建立了霍奇积分、赫尔维茨数与对称群特征之间的组合联系，通过置换群表示理论证明了马里诺-瓦法公式中的霍奇积分满足割补-连接方程。关键贡献在于利用对称群特征与特殊函数，推导出赫尔维茨数与卡夫尼特霍奇积分的闭式生成函数，结合布恩赛德公式与ELSV型恒等式，获得显式公式，从而证实了格罗莫夫-威滕理论与表示理论之间的深层联系。

ABSTRACT

We prove some combinatorial results related to a formula on Hodge integrals conjectured by Mariño and Vafa. These results play important roles in the proof and applications of this formula by the author jointly with Chiu-Chu Melissa Liu and Kefeng Liu. We also compare with some related results on Hurwitz numbers and obtain some closed expressions for the generating series of Hurwitz numbers and the related Hodge integrals.

研究动机与目标

• 证明马里诺-瓦法关于霍奇积分的猜想所必需的组合结果。
• 利用布恩赛德公式与对称群特征，建立赫尔维茨数的闭式生成函数。
• 证明马里诺-瓦法公式的右侧满足割补-连接方程，与卡夫尼特霍奇积分的几何性质相一致。
• 通过ELSV公式将赫尔维茨数的结果转移至霍奇积分，从而为特定霍奇积分获得新的闭式表达。

提出的方法

• 使用对称群特征的组合技术分析马里诺-瓦法公式的右侧。
• 应用布恩赛德公式，推导出类似于马里诺-瓦法公式的赫尔维茨数的生成函数。
• 采用割补-连接方程，证明马里诺-瓦法公式右侧的组合表达式满足与几何侧相同的方程。
• 利用ELSV公式将赫尔维茨数的结果转移至霍奇积分，从而实现特定霍奇积分的闭式表达。
• 推导出包含双曲正弦与余弦函数的显式生成函数，并引入函数 $\mathcal{S}(\lambda) = \frac{\sinh(\lambda/2)}{\lambda/2}$ 以紧凑形式表达结果。
• 求解常微分方程组，计算 $\Phi_1(\lambda, p)^\bullet$ 的生成函数，并与已知结果匹配。

实验结果

研究问题

• RQ1 马里诺-瓦法公式中霍奇积分的右侧是否满足割补-连接方程，以确保与几何侧的一致性？
• RQ2 能否利用对称群特征与布恩赛德公式，推导出赫尔维茨数的闭式生成函数？
• RQ3 马里诺-瓦法公式中的霍奇积分与ELSV公式中的霍奇积分有何关系？能否用 $\mathcal{S}(\lambda)$ 表达？
• RQ4 是否存在关于 $\mathcal{S}(\lambda), \mathcal{S}(2\lambda), \dots$ 的通用多项式表达式，用于描述所有分拆的霍奇积分生成函数？
• RQ5 该方法能否推广至赫尔维茨数，以获得卡夫尼特霍奇积分的新闭式公式？

主要发现

• 马里诺-瓦法公式的右侧满足割补-连接方程，证实其与公式的几何侧一致。
• 利用布恩赛德公式，推导出赫尔维茨数的闭式生成函数，表达为对称群特征与指数生成函数的组合。
• 获得了形式为 $\sum_{g\geq 0} \lambda^{2g} \int_{\overline{\mathcal{M}}_{g,l}} \frac{\Lambda_g^\vee(1)}{\prod_{i=1}^l (1 - \mu_i \psi_i)}$ 的霍奇积分的显式公式，与已知结果一致，并导出新恒等式。
• 霍奇积分的生成函数以 $\mathcal{S}(\lambda) = \frac{\sinh(\lambda/2)}{\lambda/2}$ 表达，例如恒等式 $\sum_{g\geq 0} \int_{\overline{\mathcal{M}}_{g,3}} \frac{\Lambda_g^\vee(1)}{\prod_{j=1}^3 (1 - \psi_j)} \lambda^{2g} = \frac{1}{2}(\mathcal{S}(\lambda)^3 \mathcal{S}(3\lambda) + \mathcal{S}(\lambda)^4)$。
• 该方法为高阶霍奇积分生成新闭式公式，例如 $\sum_{g\geq 0} \int_{\overline{\mathcal{M}}_{g,2}} \frac{\Lambda_g^\vee(1)}{(1 - \psi_1)(1 - 2\psi_2)} \lambda^{2g} = \frac{1}{6}\sinh(3\lambda) - \frac{1}{2}\sinh(\lambda)$，此前未被发现。
• 本文猜想，所有对应于 $d$ 的分拆的此类霍奇积分均为 $\mathcal{S}(\lambda), \mathcal{S}(2\lambda), \dots, \mathcal{S}(n\lambda), \dots$ 的多项式。