[论文解读] Genus Two Stable Maps, Local Equations and Modular Resolutions

Yi Hu, Jun Li+1 more|arXiv (Cornell University)|Jan 11, 2012

Algebraic Geometry and Number Theory参考文献 8被引用 10

一句话总结

本文構造了雙曲曲線的相對Picard堆上的一系列規範模性爆破，實現了典型導出對象 $\mathbf{R}\pi_*\mathfrak{f}^*\mathscr{O}_{\mathbb{P}^n}(k)$ 的局部對角化，從而解決了模空間 $\overline{M}_2(\mathbb{P}^n,d)$ 中的奇點問題，得到一個僅具有法向交叉奇點且主分支維數符合預期的非奇異空間。

ABSTRACT

We provide a geometric construction of a sequence of modular blowups of the Artin stack parameterizing pre-stable pairs consisting of a genus-two nodal curve and a smooth divisor. The resulting stack locally diagonalizes the tautological derived objects associated with the moduli of stable maps from genus-two curves to projective space. As a consequence, the singularities of the main component of the moduli space of stable maps are resolved, and the entire space admits only normal crossing singularities. Our approach is expected to generalize to higher genera.

研究动机与目标

• 構造射影空間中雙曲曲線穩定映射模空間 $\overline{M}_2(\mathbb{P}^n,d)$ 的模性非奇異化。
• 透過一組規範的爆破序列，解決典型導出對象 $\mathbf{R}\pi_*\mathfrak{f}^*\mathscr{O}_{\mathbb{P}^n}(k)$ 的奇點問題。
• 確保最終爆破堆在局部上對這些導出對象實現對角化，從而實現拓撲不變量的計算。
• 證明非奇異化空間的主分支在 $d > 2$ 時為光滑且維數為預期的 $d(n+1) - n + 3$。
• 提供可推廣至更高虧格模空間的框架。

提出的方法

• 在雙曲預穩定曲線的相對Picard堆上構造一組規範的模性爆破序列 $\widetilde{\mathfrak{P}}_2 \to \mathfrak{P}_2$。
• 透過局部模參數分析典型兩項複形 $\mathbf{R}\pi_*\mathfrak{f}^*\mathscr{O}_{\mathbb{P}^n}(k)$ 的退化點。
• 利用光滑部分上有效除子對 $(C,D)$ 的阿廷堆 $\mathfrak{M}_2^{\rm div}$ 來建模對角化問題。
• 局部表示結構同態 $\varphi: \mathscr{O}_\mathcal{V}^{\oplus m+1} \to \mathscr{O}_\mathcal{V}^{\oplus 2}$，並透過爆破實現其對角化。
• 進行三輪爆破，每輪針對特定的退化條件，以實現 $\varphi$ 的局部對角化。
• 將普遍族與導出對象拉回到爆破堆 $\widetilde{M}_2(\mathbb{P}^n,d)$ 上，以驗證光滑性與維數。

实验结果

研究问题

• RQ1 能否透過一組規範的模性爆破序列對模空間 $\overline{M}_2(\mathbb{P}^n,d)$ 進行非奇異化？
• RQ2 爆破序列後，導出對象 $\mathbf{R}\pi_*\mathfrak{f}^*\mathscr{O}_{\mathbb{P}^n}(k)$ 是否實現局部對角化？
• RQ3 非奇異化空間 $\widetilde{M}_2(\mathbb{P}^n,d)$ 的主分支是否具有預期維數 $d(n+1) - n + 3$？
• RQ4 $\widetilde{M}_2(\mathbb{P}^n,d)$ 的奇點是否僅為法向交叉奇點？
• RQ5 此方法能否推廣至更高虧格模空間 $\overline{M}_g(\mathbb{P}^n,d)$？

主要发现

• 經由 $\mathfrak{P}_2$ 的規範模性爆破序列後，導出對象 $\mathbf{R}\pi_*\mathfrak{f}^*\mathscr{O}_{\mathbb{P}^n}(k)$ 在局部上實現對角化。
• 當 $d > 2$ 時，$\widetilde{M}_2(\mathbb{P}^n,d)$ 的主分支為光滑且維數為 $d(n+1) - n + 3$。
• 整個空間 $\widetilde{M}_2(\mathbb{P}^n,d)$ 僅具有法向交叉奇點。
• 在主分支上，直積層 $\widetilde{\pi}_{N*}\widetilde{\mathfrak{f}}_N^*\mathscr{O}_{\mathbb{P}^n}(k)$ 為局部自由層，其秩為 $kd - 1$，其中 $k \geq 1$。
• 爆破構造與導出模性爆破框架相容，並優於先前的代數幾何方法。
• 此方法為非奇異化更高虧格模空間 $\overline{M}_g(\mathbb{P}^n,d)$ 提供了可行路徑。