[论文解读] Genus-One Stable Maps, Local Equations, and Vakil-Zinger's desingularization

Yi Hu, Jun Li|ArXiv.org|Dec 22, 2008

Nonlinear Waves and Solitons参考文献 5被引用 4

一句话总结

本文通过加权节点曲线与沿由非负权重定义的子簇进行的逐次 blows up，给出了对射影空间中 genus one 稳定映射模空间主分量的 Vakil-Zinger 除奇异化的代数几何构造。它证明了去奇异化后的模空间具有光滑且横截相交的不可约分支，且其上拉回 O(5) 的直接像层是局部自由的，该结果可推广至更高亏格。

ABSTRACT

We describe an algebro-geometric approach to Vakil-Zinger's desingularization of the main component of the moduli of genus one stable maps to projective space. The new approach provides complete local structural results for this moduli space as well as for the desingularization of the entire moduli space and should fully extend to higher genera.

研究动机与目标

• 为 Vakil-Zinger 对射影空间中 genus one 稳定映射模空间主分量的去奇异化提供一个纯粹的代数几何证明。
• 通过节点曲线的形变理论与线丛系，推导模空间的显式局部方程。
• 通过在加权节点曲线的光滑阿廷堆栈上建立模形式 blows up 构造，将结构结果推广至更高亏格。
• 证明在去奇异化空间上，O(5) 的直接像层 π_μ* f_μ^* O(P^n)(r) 是局部自由的，从而确认 Gromov-Witten 理论中局部化技术的关键条件。

提出的方法

• 构造一个光滑的阿廷堆栈 M^wt_1，参数化 genus one 节点曲线，其上非负权重在椭圆分支上为零，在有理尾部上为正。
• 定义闭子堆栈 Θ_k，参数化具有 k 个有理分支连接至椭圆曲线且椭圆分支权重为零的曲线。
• 对 M^wt_1 沿 Θ_1, Θ_2, ... 逐次进行 blows up，得到一个新的堆栈 ~M^wt_1，其不可约分支均为光滑的。
• 将去奇异化模空间定义为原始模空间与 ~M^wt_1 沿 M^wt_1 的纤维积。
• 利用形变理论与线丛的上同调，通过一个复形 R· 与同态 φ = (0, ζ₁, ..., ζ_d) 推导模空间的显式局部方程。
• 将局部方程上移至去奇异化空间，并证明同态 φ 的核是局部自由的，从而推出分支的光滑性与直接像层的局部自由性。

实验结果

研究问题

• RQ1 Vakil-Zinger 对 genus one 稳定映射模空间的解析去奇异化方法，如何在纯粹代数几何框架下重述？
• RQ2 genus one 稳定映射到 P^n 的模空间的显式局部方程是什么？它们如何从节点曲线的形变理论中导出？
• RQ3 加权节点曲线的构造与沿 Θ_k 的逐次 blows up 如何导致去奇异化模空间的光滑且不可约分支分解？
• RQ4 为何在去奇异化模空间的每个分支上，直接像层 π_μ* f_μ^* O(P^n)(r) 是局部自由的？其秩是多少？
• RQ5 这种代数几何去奇异化方法能否推广至更高亏格的稳定映射模空间？

主要发现

• 去奇异化模空间 ~M_1(P^n,d) 的不可约分支均为光滑的，且彼此横截相交。
• 在去奇异化主分支上，直接像层 π_μ* f_μ^* O(P^n)(r) 是秩为 dr 的局部自由层；在其他分支上，其秩为 dr+1。
• 原始模空间的局部方程被显式描述为同态 φ = (0, ζ₁, ..., ζ_d) 的零点集，其中每个 ζ_i 是在节点曲线不可约分支上消失的正则函数的拉回之积。
• 同态 φ 的核在主分支上是秩为 m 的局部自由层，在其他分支上是秩为 m+1 的局部自由层，从而确认了去奇异化空间的光滑性。
• 通过引入涉及标记点的 blows up 位置，该构造可直接推广至带标记点的模空间。
• 该方法提供了一个完整的代数几何框架，可完全推广至更高亏格，为研究完全交的普通与约化 genus one Gromov-Witten 不变量奠定了基础。