[论文解读] Enumeration of Genus-Two Curves with a Fixed Complex Structure in P^2 and P^3

Aleksey Zinger|ArXiv.org|Jan 25, 2002

Algebraic Geometry and Number Theory参考文献 11被引用 6

一句话总结

该论文通过将西米普托不变量与亏格零枚举不变量关联，计算了在 ℙ² 和 ℙ³ 中具有固定复结构的亏格二曲线计数。它推导出通过指定约束条件的度 d 亏格二曲线数量的显式公式，表明西米普托不变量与两倍固定复结构不变量之间的差值等于一个可计算的修正项，该修正项涉及稳定映射模空间上的重言类交点数。

ABSTRACT

We express the genus-two fixed-complex-structure enumerative invariants of P^2 and P^3 in terms of the genus-zero enumerative invariants. The approach is to relate each genus-two fixed-complex-structure enumerative invariant to the corresponding symplectic invariant.

研究动机与目标

• 计算在 ℙ² 和 ℙ³ 中通过指定约束条件、具有固定通用复结构的度 d 亏格二曲线的数量。
• 将 ℙ² 和 ℙ³ 的西米普托不变量与亏格零枚举不变量关联起来。
• 将西米普托不变量与两倍固定复结构不变量之间的差值表示为涉及重言类的修正项。
• 为 ℙ² 和 ℙ³ 中低度亏格二曲线计数提供显式公式。
• 建立一种通过稳定有理映射模空间上的交点数计算修正项的方法。

提出的方法

• 通过障碍丛和切丛模型的微扰分析，将亏格二不变量与亏格零不变量关联。
• 应用稳定映射模空间的结构定理，特别关注具有亏格零分量的泡类型。
• 使用幂级数展开以及对映射 ψ_T,tν^μ 的一阶、二阶和三阶估计，以控制障碍丛的行为。
• 依赖向量丛映射的拓扑结构和欧拉类的计算，以提取不变量。
• 通过分析微分算子 D_b 及其核的正则性，推导出公式。
• 计算稳定有理映射空间上重言类的陈类和交点数，以确定修正项 CR(μ)。

实验结果

研究问题

• RQ1 如何将 ℙ² 和 ℙ³ 中的亏格二固定复结构不变量用亏格零不变量表示？
• RQ2 在 ℙ² 和 ℙ³ 中，亏格二曲线的西米普托不变量与固定复结构不变量之间的确切关系是什么？
• RQ3 在这些空间中，西米普托不变量与两倍固定复结构不变量之间的差值所对应的修正项是什么？
• RQ4 如何为 ℙ² 和 ℙ³ 中的约束条件显式计算修正项 CR(μ)？
• RQ5 在 ℙ² 和 ℙ³ 中，具有固定复结构的低度亏格二曲线的显式计数是多少？

主要发现

• 在 ℙ² 中，通过 3d−2 个一般点的度 d 亏格二曲线的数量由涉及亏格零不变量和度分解 d₁ + d₂ = d 的求和公式给出。
• ℙ² 中 n₂,d 的公式包含一项 3(d²−1)n_d，以及一项涉及二项式系数和乘积 n_d₁·n_d₂ 的修正求和。
• 在 ℙ³ 中，西米普托不变量 RT₂,d(⋅;μ) 与两倍固定复结构不变量 2n₂,d(μ) 之间的差值等于一个可计算的修正项 CR(μ)，该修正项涉及重言类的交点数。
• 在 n=3 情况下，计算出显式数值：当 (p,q)=(3,7) 时，n₂,₄(μ) = 14,400；当 (p,q)=(2,9) 时，n₂,₅(μ) = 307,200。
• 证明了修正项 CR(μ) 可通过稳定有理映射模空间上的交点理论显式计算，其方法与以往方法不同。
• 本文提出了一种计算这些不变量的新方法，与 [P2] 不同，并确认其结果与 [KQR] 不同，但可通过适当的变换恢复。