[论文解读] Hodge integrals and Hurwitz numbers via virtual localization

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

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

一句话总结

本文通過在穩定映射的模空間上使用虛擬局部化，證明了將赫爾維茨數與霍奇積分聯繫起來的ELSV公式。它建立了枚舉幾何與交集理論之間的深刻聯繫，表明赫爾維茨數——即計數具有指定分支的 P¹ 的分支覆蓋——可透過曲線模空間上的霍奇類積分來計算。

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".

研究动机与目标

• 提供ELSV公式的嚴謹證明，該公式將赫爾維茨數表達為穩定曲線模空間上霍奇類的積分。
• 展示虛擬局部化技術在透過穩定映射幾何計算霍奇積分方面的強大之處。
• 強調未來需要對相對穩定映射建立正確的代數定義，以簡化此類證明。
• 在組合赫爾維茨數與 M_{g,n} 上的交集理論霍奇積分之間建立計算橋樑。

提出的方法

• 將虛擬局部化應用於穩定映射的模空間 M_{g}(P¹, d)，利用 C*-作用分解虛擬基本類。
• 使用分支映射 Br: M_g(P¹,d) → Sym^b P¹，將覆蓋的幾何與 M_{g,m} 上的上同調類聯繫起來。
• 透過等變積分計算對應於在 ∞ 上具有指定分支的映射的固定點構造 F₀ 的貢獻。
• 依賴完美阻礙理論與虛擬法叢，計算固定點構件的局部化貢獻。
• 使用虛擬法叢的逆歐拉特徵類，並透過權重計算評估分支映射下點類的拉回。
• 透過結合 morphism γ: M_{g,m} → F₀ 的次數、分支類的拉回與歸一化係數，推導出最終公式。

实验结果

研究问题

• RQ1 虛擬局部化技術如何用於證明將赫爾維茨數與霍奇積分聯繫起來的ELSV公式？
• RQ2 相對穩定映射的模空間需要具備哪些幾何與上同調性質，才能簡化ELSV公式的證明？
• RQ3 是否可以不依賴於在無窮遠處具有指定分支的分支覆蓋空間的緊化，推導出ELSV公式？
• RQ4 C*-作用在穩定映射模空間上的作用在隔離相關固定點貢獻中扮演何種角色？
• RQ5 M_{g,m} 上的霍奇積分如何編碼赫爾維茨數的組合數據？

主要发现

• 透過在穩定映射模空間上使用虛擬局部化，嚴謹證明了ELSV公式，確認了赫爾維茨數與霍奇積分之間的關係。
• 該公式將連通赫爾維茨數 H^g_α 表示為組合因子與 M_{g,m} 上霍奇積分的乘積：H^g_α = (r! / #Aut(α)) × ∏(α_i^α_i / α_i!) × ∫_{M_{g,m}} (1 - λ₁ + ... ± λ_g) / ∏(1 - α_i ψ_i)。
• 該證明表明，Fantechi 與 Pandharipande 對 α = (1^d) 情形的結果是該一般公式的特例。
• 該方法使得可透過已知的赫爾維茨數計算所有霍奇積分，從而拓展了 Mumford 的哲學：M_{g,n} 的典型上同調是組合性的。
• 本文指出，若能建立相對穩定映射的正確代數模空間，將可大幅簡化證明，使其僅需一次局部化應用。
• 作者表明，類 br^*[p] 為純權重，其在 F₀ 上的積分由分支點處切空間上 C*-作用的權重決定。