[論文レビュー] 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公式の自己完備的な解説を提供する。これは、$\mathbb{P}^1$ への分岐被覆を数えるHurwitz数と、$\overline{\mathcal{M}}_{g,h}$ 上のHodge積分の間の明確な対応関係を確立し、$\psi$-類と$\lambda$-類を含む有理関数としてHurwitz数を閉形式で表す公式を導出する。

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公式の明確でアクセス可能な導出を提供すること。
• 指定された分岐性を持つ$\mathbb{P}^1$ への分岐被覆を数えるHurwitz数が、相対的安定写像のモジュライ空間上の交線数としてどのように解釈できるかを説明すること。
• 代数的圏における仮想局在化の技法が、Hodge積分の計算にいかに強力であるかを示すこと。
• GraberとVakilの証明戦略を、$\mathbb{P}^1$ への安定写像に基づく従来の手法と比較して、相対的安定写像を用いることで統一的かつ簡略化すること。
• 同様のアプローチを用いて、Mariño-Vafa公式のような他のHodge積分恒等式を証明するための基礎的枠組みを確立すること。

提案手法

• 対$(\mathbb{P}^1, \infty)$ への相対的安定写像のモジュライ空間を用い、これは完全な障害理論を備えた、固有のDeligne-Mumfordスタックである。
• 相対的安定写像のモジュライ空間上の$\mathbb{C}^*$-作用に仮想局在化を適用し、仮想基本クラスを固定点成分に分解する。
• 変形および障害空間の固定部と動く部に分解することで、仮想正規バンドルとそのEuler類を、等配分コホモロジーを用いて計算する。
• 曲線のモジュライ空間への忘却準同型を介して、仮想クラスを押し出し、Hurwitz数の母関数を$\overline{\mathcal{M}}_{g,h}$ 上の積分に結びつける。
• 等配分チャーン類とAtiyah-Bott局在化公式を用いて、各固定点成分の寄与を計算し、特に中心的成分$F_r$に注目する。
• 仮想局在化の計算結果とHurwitz数の母関数を一致させることで、$\psi$-類と$\lambda$-類を含む有理関数としてELSV公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 現代の交線論を用いて、$\overline{\mathcal{M}}_{g,n}$ 上のHodge積分とHurwitz数を体系的に関連付ける方法は何か？
• RQ2 従来の$\mathbb{P}^1$ への安定写像に基づく手法と比較して、相対的安定写像がELSV公式の証明をどのように簡略化するか？
• RQ3 仮想局在化が相対的モジュライ空間上で、Hodge積分の計算に一貫した枠組みを提供する仕組みは何か？
• RQ4 等配分コホモロジーと固定点分解を用いることで、仮想基本クラスの明示的計算がどのように可能になるか？
• RQ5 ELSV公式は、Mariño-Vafa公式のようなより一般的なHodge積分恒等式の極限として導出可能か？

主な発見

• ELSV公式は、対$(\mathbb{P}^1, \infty)$ への相対的安定写像のモジュライ空間における仮想局在化の結果として導出され、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公式の形が得られる。
• この手法は、より一般の標的への相対的安定写像を用いることで、Mariño-Vafa公式のような他のHodge積分恒等式への一般化に成功している。
• 計算により、中心的固定成分$F_r$ の寄与がHurwitz数の全量を捉えていることが確認され、仮想正規バンドルが$\mu_i^{\mu_i}/\mu_i!$ を含む有理係数と$\lambda$-類を寄与させている。