[論文レビュー] Hodge integrals and Hurwitz numbers via virtual localization

Tom Graber, Ravi Vakil|ArXiv.org|Mar 3, 2000

Algebraic Geometry and Number Theory参考文献 12被引用数 31

ひとこと要約

この論文は、安定写像のモジュライ空間上の仮想局所化を用いて、Hurwitz数とHodge積分を結ぶELSV公式を証明する。これは、数え上げ幾何学と交差理論の深い接続を示しており、指定された分岐を持つP¹への分岐被覆の数え上げであるHurwitz数が、曲線のモジュライ空間上のHodge類の積分として計算可能であることを示している。

ABSTRACT

Ekedahl, Lando, Shapiro, and Vainshtein announced a remarkable formula expressing Hurwitz numbers (counting covers of the projective line with specified simple branch points, and specified branching over one other point) in terms of Hodge integrals. We give a proof of this formula using virtual localization on the moduli space of stable maps, and describe how the proof could be simplified by the proper algebro-geometric definition of a "relative space".

研究の動機と目的

• 安定曲線のモジュライ空間上のHodge類の積分としてHurwitz数を表現するELSV公式の厳密な証明を提供すること。
• 安定写像の幾何学を通じてHodge積分を計算する際の仮想局所化技術の強力さを示すこと。
• 将来的な証明を簡略化するための相対的安定写像の適切な代数的定義の必要性を強調すること。
• 組合せ論的Hurwitz数とM_{g,n}上の交差理論的Hodge積分の間の計算的ブリッジを確立すること。

提案手法

• C*-作用を用いて、安定写像のモジュライ空間M_{g}(P¹, d)に仮想局所化を適用し、仮想基本類を分解する。
• 分岐写像Br: M_g(P¹,d) → Sym^b P¹を用いて、被覆の幾何学とM_{g,m}上のコホモロジー類を関連付ける。
• ∞における指定された分岐を持つ写像に対応する固定点集合F₀の寄与を、等配分積分を用いて計算する。
• 完全な障害理論と仮想正規バンドルを用いて、固定点成分からの局所化寄与を計算する。
• 仮想正規バンドルの逆エULER類を用い、分岐写像による点類の引き戻しを重み計算によって評価する。
• 写像γ: M_{g,m} → F₀の次数と分岐類の引き戻し、正規化係数を組み合わせることで最終的な公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 仮想局所化技術をどのように用いることで、Hurwitz数とHodge積分を結ぶELSV公式を証明できるか？
• RQ2 相対的安定写像のモジュライ空間が、ELSV公式の証明を簡略化するために必要な幾何学的およびコホモロジー的性質は何か？
• RQ3 無限遠における分岐が指定された分岐被覆空間のコンパクト化に依存せずに、ELSV公式を導出できるか？
• RQ4 安定写像のモジュライ空間上のC*-作用が、関連する固定点寄与を分離するために果たす役割は何か？
• RQ5 M_{g,m}上のHodge積分は、Hurwitz数からの組合せ論的データをどのように符号化するか？

主な発見

• 仮想局所化を用いた安定写像のモジュライ空間上でELSV公式が厳密に証明され、Hurwitz数とHodge積分の関係が確認された。
• 公式は、接続Hurwitz数H^g_αを組合せ論的係数とM_{g,m}上のHodge積分の積として表現する：H^g_α = (r! / #Aut(α)) × ∏(α_i^α_i / α_i!) × ∫_{M_{g,m}} (1 - λ₁ + ... ± λ_g) / ∏(1 - α_i ψ_i)。
• 証明により、FantechiとPandharipandeによるα = (1^d)の場合の結果が、一般公式の特別な場合であることが示された。
• この手法により、既知のHurwitz数を用いてすべてのHodge積分を計算可能となり、Mumfordの哲学、すなわちM_{g,n}のタウトロジカルコホモロジーが組合せ論的である、を拡張した。
• 論文は、適切な代数的相対的安定写像のモジュライ空間が存在すれば、証明が単一の局所化適用にまで簡略化されると特定した。
• 著者らは、クラスbr^*[p]が純粋な重みを持ち、そのF₀上での積分が分岐点における接空間上のC*-作用の重みによって決定されることを示した。