[论文解读] Birational aspects of the geometry of M_g

Gavril Farkas|arXiv (Cornell University)|Oct 3, 2008

Algebraic Geometry and Number Theory参考文献 27被引用 5

一句话总结

本文通过引入模空间 $\overline{\mathcal{M}}_g$ 上的 Koszul 戳，提供了一种新的证明，表明当 $g \geq 24$ 时，稳定曲线的模空间 $\overline{\mathcal{M}}_g$ 为一般型。该证明取代了经典的 Hurwitz 戳方法，利用 Voisin 对一般 Green 猜想的证明及扭量理论，得出一个简短且概念清晰的证明，避免了在 Hurwitz 堆栈上进行复杂的枚举几何计算。

ABSTRACT

We discuss topics on the geometry of the moduli space of curves. We present a short proof of the Harris-Mumford theorem on the Kodaira dimension of the moduli space which replaces the computations on the stack of admissible covers by a simple study of tautological Koszul bundles on M_g. We also present a streamlined self-contained account of Verra's recent work on the unirationality of M_g. Finally, we discuss a proof that the moduli space of curves of genus 22 is of general type. Written for Surveys in Differential Geometry.

研究动机与目标

• 提供 Harris-Mumford 定理的新证明，即当 $g \geq 24$ 时，$\overline{\mathcal{M}}_g$ 为一般型。
• 在模空间 $\overline{\mathcal{M}}_g$ 中，用 Koszul 戳构造取代经典 Hurwitz 戳方法。
• 利用 Voisin 对规范曲线扭量的通用 Green 猜想的证明，简化典范类的计算。
• 避免使用可接受覆盖与极限线性系列，这些在原始 Harris-Mumford 证明中是核心工具。
• 证明典范类 $K_{\overline{\mathcal{M}}_g}$ 位于大锥体内，从而确认当 $g$ 较大时，$\overline{\mathcal{M}}_g$ 的一般型行为。

提出的方法

• 在 $\overline{\mathcal{M}}_g$ 上引入一个 Koszul 戳，以替代原始 Harris-Mumford 证明中使用的 Hurwitz 戳 $\mathcal{M}_{g,k}^1$。
• 利用规范曲线扭量理论，特别是 Voisin 对通用 Green 猜想的证明，分析 Koszul 戳的几何性质。
• 使用纤维化簇与退化点集上的陈类公式，在 $\mathrm{Pic}(\overline{\mathcal{M}}_g)_{\mathbb{Q}}$ 中计算 Koszul 戳的类。
• 应用 Harris-Tu 定理，计算在 $C \times W^2_{17}(C)$ 上向量丛的陈数，特别是核丛 $V$ 及其对偶。
• 通过公式 $\sigma^*(C^0) \cdot c_2(\mathcal{F} - \mathrm{Sym}^2(\mathcal{E}))$，利用从 $Y$ 上的拉回与陈类计算交点数。
• 利用关系式 $a - 12b_0 + b_1 = 0$ 及已知数值，求解 $a$ 与 $b_0$，最终证明 $s(\overline{\mathfrak{D}}_{22}) = a/b_0 < 13/2$。

实验结果

研究问题

• RQ1 Harris-Mumford 定理关于 $\overline{\mathcal{M}}_g$ 的一般型行为是否可被重新证明，而无需使用可接受覆盖或极限线性系列？
• RQ2 在典范类计算方面，$\overline{\mathcal{M}}_g$ 上的 Koszul 戳与经典 Hurwitz 戳相比有何异同？
• RQ3 Voisin 对通用 Green 猜想的证明在多大程度上可简化曲线模空间中典范类的分析？
• RQ4 Koszul 戳 $\overline{\mathfrak{D}}_{22}$ 的精确斜率 $s(\overline{\mathfrak{D}}_{22})$ 是多少，它与一般型性质有何关联？
• RQ5 能否仅通过扭量理论方法证明典范类 $K_{\overline{\mathcal{M}}_g}$ 位于大锥体内？

主要发现

• 本文确立了当 $g \geq 24$ 时，$\overline{\mathcal{M}}_g$ 为一般型，其新证明避免了使用可接受覆盖与极限线性系列。
• Koszul 戳 $\overline{\mathfrak{D}}_{22}$ 的斜率满足 $s(\overline{\mathfrak{D}}_{22}) = a/b_0 < 13/2$，确认其正性，支持了一般型结论。
• 典范类 $K_{\overline{\mathcal{M}}_g}$ 位于 $\mathrm{Pic}(\overline{\mathcal{M}}_g)_{\mathbb{Q}}$ 的大锥体内，意味着 $K_{\overline{\mathcal{M}}_g}$ 的高倍数在维数上具有最大增长。
• 在退化点集 $Y$ 上计算陈类 $c_1(V)$、$c_2(\mathcal{F}_{|Y})$ 与 $c_2(\mathcal{E}_{|Y})$，得到交点数 $\sigma^*(C^0) \cdot c_2(\mathcal{F} - \mathrm{Sym}^2(\mathcal{E})) = 428\eta\theta\pi_2^*(c_2) - 536\eta\theta\pi_2^*(c_1^2) + \cdots + 592\eta\pi_2^*(c_1^3)$。
• 利用关系式 $42b_0 - b_1 = 509\theta^{21}/5364817920000$ 与 $a - 12b_0 + b_1 = 0$，作者计算出 $a$ 与 $b_0$，得到 $a/b_0 = 17121/2636 \leq 71/10$。
• 结果确认当 $g \geq 24$ 时，$\overline{\mathcal{M}}_g$ 为一般型，且新证明比原始 Harris-Mumford 方法更简短、更具概念清晰性。