[论文解读] The moduli space of curves, double Hurwitz numbers, and Faber's intersection number conjecture

I. P. Goulden, D. M. Jackson+1 more|ArXiv.org|Nov 21, 2006

Algebraic Geometry and Number Theory参考文献 30被引用 19

一句话总结

本文建立了一套几何组合框架，通过局部化和退化技术，将曲面模空间上的 Faber-Hurwitz 类与亏格 0 双 Hurwitz 数联系起来。该框架对 ψ-类的上层交点数进行了组合化，证明了最多三个标记点情况下的 Faber 交点数猜想，并提供了一条绕过 Virasoro 猜想的新路径，同时在超椭圆子簇和有理尾部定理方面具有应用。

ABSTRACT

We define the dimension 2g-1 Faber-Hurwitz Chow/homology classes on the moduli space of curves, parametrizing curves expressible as branched covers of P^1 with given ramification over infinity and sufficiently many fixed ramification points elsewhere. Degeneration of the target and judicious localization expresses such classes in terms of localization trees weighted by ``top intersections'' of tautological classes and genus 0 double Hurwitz numbers. This identity of generating series can be inverted, yielding a ``combinatorialization'' of top intersections of psi-classes. As genus 0 double Hurwitz numbers with at most 3 parts over infinity are well understood, we obtain Faber's Intersection Number Conjecture for up to 3 parts, and an approach to the Conjecture in general (bypassing the Virasoro Conjecture). We also recover other geometric results in a unified manner, including Looijenga's theorem, the socle theorem for curves with rational tails, and the hyperelliptic locus in terms of kappa_{g-2}.

研究动机与目标

• 为曲面模空间的典型层环中上层交点数发展一种直接的几何组合方法。
• 通过退化和局部化，建立 Faber-Hurwitz 类与亏格 0 双 Hurwitz 数之间的生成函数恒等式。
• 以双 Hurwitz 数为表达方式，对 ψ-类交点提供组合描述，从而证明最多三个标记点情况下的 Faber 猜想。
• 将已知的几何结果（如 Looijenga 定理和超椭圆子簇类）作为主框架的推论重新获得。
• 通过分析双 Hurwitz 生成函数的全局结构，为实现完整的 Faber 猜想提供新路径，避免依赖闭合形式。

提出的方法

• 使用相对稳定映射模空间 Mg,α,β(P¹) 定义 Faber-Hurwitz 类为虚拟基本类。
• 对目标 P¹ 进行退化，将模空间分解为亏格 0 分量的组合树结构。
• 应用等变局部化，将 Faber-Hurwitz 类表示为局部化树上的加权和，权重包含 ψ-类的上层交点数和亏格 0 双 Hurwitz 数。
• 利用生成函数和对称化算子，将局部化树的和转化为形式幂级数恒等式。
• 应用由几何导出的偏微分方程和函数方程，求解 Faber 数和 ψ-类交点。
• 利用最多三部分的亏格 0 双 Hurwitz 数的已知结构，对生成函数进行求逆，提取显式交点数。

实验结果

研究问题

• RQ1 Faber-Hurwitz 类如何表示为包含亏格 0 双 Hurwitz 数的局部化树的和？
• RQ2 ψ-类在 Mg,n 的典型层环中的上层交点数的组合结构是什么？
• RQ3 Faber-Hurwitz 类的生成函数与亏格 0 双 Hurwitz 数的生成函数之间有何关系？
• RQ4 能否利用该框架证明最多三个标记点情况下的 Faber 交点数猜想？
• RQ5 Faber 符号和 Faber 数在通过局部化编码上层交点数时起什么作用？

主要发现

• 通过最多三部分的亏格 0 双 Hurwitz 数的组合结构，证明了最多三个标记点和任意亏格情况下的 Faber 交点数猜想。
• 典型层环 R2g−1(Mrtg,n) 由单一类 Gg,1 生成，且所有 ψ-类的上层交点均为该生成元的倍数。
• ψ-类的上层交点数被显式描述为最多三部分的亏格 0 双 Hurwitz 数的有理线性组合。
• 证明了 Mg 中超椭圆子簇的类是有理倍数的 κg−2 类，通过新框架重新获得了这一已知结果。
• 通过统一的组合机制，获得了 Looijenga 定理和有理尾部曲线的 socle 定理的新证明。
• Faber 数 Fg,α 的生成函数被表达为局部化树上的对称化和，其系数由亏格 0 双 Hurwitz 数给出，从而完整实现了上层交点理论的组合化。