[论文解读] Stable maps and branch divisors

Barbara Fantechi, Rahul Pandharipande|ArXiv.org|May 18, 1999

Algebraic Geometry and Number Theory参考文献 13被引用 20

一句话总结

本文利用解析几何与虚拟局部化方法，构建了从稳定映射模空间到目标曲线对称积的分支除子态射的稳定扩张。通过格罗莫夫-威滕理论，证明了赫鲁维茨数的霍奇积分公式，恢复了经典 ELSV 公式，并为赫鲁维茨的零亏格公式提供了几何推导。

ABSTRACT

We construct a natural branch divisor for equidimensional projective morphisms where the domain has lci singularities and the target is nonsingular. The method involves generalizing a divisor contruction of Mumford from sheaves to complexes. The construction is valid in flat families. The generalized branch divisor of a stable map to a nonsingular curve X yields a canonical morphism from the space of stable maps to a symmetric product of X. This branch morphism (together with virtual localization) is used to compute the Hurwitz numbers of covers of P^1 for all genera and degrees in terms of Hodge integrals.

研究动机与目标

• 将经典分支除子态射从光滑曲线扩展至稳定映射的紧化模空间。
• 为满足特定 LCI 与光滑性条件的概形的投影态射定义相对分支除子。
• 将分支除子构造应用于关于 P^1 的稳定映射模堆栈的全族。
• 利用格罗莫夫-威滕理论与虚拟局部化计算赫鲁维茨数。
• 推导赫鲁维茨数的霍奇积分表达式，使其与 ELSV 公式一致。

提出的方法

• 为满足 LCI、光滑性与约化纤维条件的投影态射 f:X→Y 构造 Y 上 S 的函子性相对卡蒂埃除子 br(f)。
• 通过将穆尔福德对复形的构造推广，利用导出直接像复形 Rf_*[f^*ω_{Y/S} → ω_{X/S}] 定义分支除子。
• 将该构造应用于全族 F:C→D×M̄_g(D,d)，证明 br(F) 是次数为 r 的有效相对卡蒂埃除子。
• 定义态射 γ: M̄_g(D,d) → Sym^r(D)，其扩展了经典分支除子映射。
• 在关于 P^1 的稳定映射模空间上使用虚拟局部化，计算格罗莫夫-威滕不变量 ∫[M̄_g(P^1,d)]^{vir} γ^*(ξ^{2g-2+2d})。
• 计算局部化求和中不动点的贡献，重点关注 br(f) 支持于单一点的图，从而仅产生一个非零项。

实验结果

研究问题

• RQ1 如何将光滑曲线上经典分支除子态射扩展至稳定映射的紧化模空间？
• RQ2 在具有可约或非约化纤维的族中，分支除子的概形结构为何？
• RQ3 能否通过使用扩展的分支除子态射，利用格罗莫夫-威滕理论计算赫鲁维茨数？
• RQ4 由虚拟局部化产生的赫鲁维茨数的精确霍奇积分表达式为何？
• RQ5 虚拟局部化公式如何恢复赫鲁维茨数的 ELSV 公式？

主要发现

• 分支除子 br(f) 被构造为在 LCI 态射 f:X→Y 上，Y 光滑且纤维约化时，Y 上 S 的相对卡蒂埃除子。
• 态射 γ: M̄_g(D,d) → Sym^r(D) 扩展了经典分支除子映射，并在边界上具有点态公式，涉及正规化分量与节点的贡献。
• 赫鲁维茨数 H_{g,d} 由公式 H_{g,d} = (2g-2+2d)! / d! × ∫_{M̄_{g,d}} (1 - λ₁ + λ₂ - ⋯ + (-1)^g λ_g) / ∏_{i=1}^d (1 - ψ_i) 给出，其中 (g,d) ≠ (0,1),(0,2)。
• 在亏格 0 时，公式简化为 H_{0,d} = (2d-2)! / d! × d^{d-3}，恢复了赫鲁维茨的经典结果。
• 虚拟局部化求和中唯一非零贡献来自唯一图 Γ₀，其具有一个在一点上的亏格 g 顶点与 d 条度 1 边，对应于 Sym^r(P^1) 中的不动点 p₀。
• 被积函数 ∏_{i=1}^r γ^*(c_1(L_i)) 在不动点上限制为纯权重 r! 的项，从而导出最终的霍奇积分表达式。