[论文解读] Lectures on the ELSV formula

Chiu-Chu Melissa Liu|arXiv (Cornell University)|Apr 6, 2010

Algebraic Geometry and Number Theory参考文献 41被引用 3

一句话总结

本文通過 Graber 和 Vakil 的方法，使用相對穩定映射到對 $(\mathbb{P}^1, \infty)$ 的虛擬局部化，提供了 ELSV 公式的自-contained 阐述。它建立了 Hurwitz 數——計數 $\mathbb{P}^1$ 上帶指定分歧的覆蓋——與 $\overline{\mathcal{M}}_{g,h}$ 上 Hodge 积分之間的精確對應，從而得出一個封閉公式，將 Hurwitz 數表達為涉及 $\psi$-類與 $\lambda$-類的有理積分。

ABSTRACT

The ELSV formula, first proved by Ekedahl, Lando, Shapiro, and Vainshtein, relates Hurwitz numbers to Hodge integrals. Graber and Vakil gave another proof of the ELSV formula by virtual localization on moduli spaces of stable maps to the projective line, and also explained how to simplify their proof using moduli spaces of relative stable maps to the projective line relative to a point. In this expository article, we explain what the ELSV formula is and how to prove it by virtual localization on moduli spaces of relative stable maps, following Graber-Vakil. This note is based on lectures given by the author at Summer School on "Geometry of Teichmuller Spaces and Moduli Spaces of Curves" at Center of Mathematical Sciences, Zhejiang University, July 14--20, 2008.

研究动机与目标

• 提供一種使用代數幾何現代技術的清晰、易懂的 ELSV 公式推導。
• 解釋 Hurwitz 數——計數帶指定分歧的 $\mathbb{P}^1$ 蓋覆——如何被解釋為相對穩定映射模空間上的交點數。
• 展示虛擬局部化在代數範疇中計算 Hodge 积分的強大力量。
• 通過相對穩定映射統一並澄清 Graber 和 Vakil 的證明策略，簡化了基於到 $\mathbb{P}^1$ 的穩定映射的早期方法。
• 建立一個基礎框架，以相同的方法論推導其他 Hodge 积分恆等式，例如 Mariño-Vafa 公式。

提出的方法

• 使用到對 $(\mathbb{P}^1, \infty)$ 的相對穩定映射的模空間，這些空間是具有完美分歧理論的緊緻 Deligne-Mumford 標架。
• 對相對穩定映射模空間上的 $\mathbb{C}^*$-作用應用虛擬局部化，將虛擬基本類分解為固定點組分。
• 使用特徵上同調並對變形與分歧空間的固定部分與移動部分進行分解，計算虛擬法叢及其歐拉類。
• 透過將虛擬類沿忘卻同態推前至曲線模空間，將 Hurwitz 數的生成函數與 $\overline{\mathcal{M}}_{g,h}$ 上的積分聯繫起來。
• 使用特徵上同調類與 Atiyah-Bott 局部化公式計算每個固定點組分的貢獻，特別關注中心組分 $F_r$。
• 透過將虛擬局部化計算與 Hurwitz 數的生成函數匹配，推導出 ELSV 公式，結果為包含 $\psi$-類與 $\lambda$-類的有理函數。

实验结果

研究问题

• RQ1 如何使用現代交點理論系統性地將 Hurwitz 數與 $\overline{\mathcal{M}}_{g,n}$ 上的 Hodge 积分聯繫起來？
• RQ2 相對穩定映射在簡化 ELSV 公式證明中相對於早期基於到 $\mathbb{P}^1$ 的穩定映射的方法中發揮何種作用？
• RQ3 相對模空間上的虛擬局部化如何提供計算 Hodge 积分的統一框架？
• RQ4 特徵上同調與固定點分解在何種程度上使虛擬基本類的顯式計算成為可能？
• RQ5 ELS V 公式能否被視為更一般 Hodge 积分恆等式（如 Mariño-Vafa 公式）的極限？

主要发现

• ELS V 公式被證明是相對穩定映射模空間上虛擬局部化的結果，確認了 Hurwitz 數與 Hodge 积分之間的恆等關係。
• 虛擬基本類 $[F_r]^{\mathrm{vir}}$ 被證明與 $\overline{\mathcal{M}}_{g,h}$ 的基本類的推前成正比，比例係數為 $\frac{1}{\mu_1 \cdots \mu_h}$。
• Hurwitz 數的生成函數表達為 $ H_{g,\mu} = \frac{r!}{\#\mathrm{Aut}(\mu)} \prod_{i=1}^h \frac{\mu_i^{\mu_i}}{\mu_i!} \int_{\overline{\mathcal{M}}_{g,h}} \frac{\Lambda_g^\vee(1)}{\prod_{i=1}^h (1 - \mu_i \psi_i)} $，其中 $\Lambda_g^\vee(u) = \sum_{i=0}^g (-1)^i \lambda_i u^{g-i}$。
• 最終公式與特徵參數 $u$ 無關，設 $u=1$ 即得標準形式的 ELSV 公式。
• 該方法成功推廣至其他 Hodge 积分恆等式，例如 Mariño-Vafa 公式，方法是使用相對穩定映射至更一般的目標空間。
• 計算結果確認，中心固定組分 $F_r$ 的貢獻完整捕捉了 Hurwitz 數，其中虛擬法叢貢獻了包含 $\mu_i^{\mu_i}/\mu_i!$ 的有理係數與 $\lambda$-類。