[论文解读] Moduli of Singular Curves

Jack Hall|arXiv (Cornell University)|Nov 28, 2010

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

一句话总结

本文通过使用射影空间的希尔伯特簇构造了显式的光滑覆盖，建立了参数化所有曲线（允许任意奇点、非约化结构和可约性）的代数堆 $υ_S$ 的存在性。关键贡献在于证明该堆是代数的，局部有限表示，具有拟紧且分离的对角线，并进一步证明了固定算术亏格和有限个分支的几何连通曲线具有有界性。

ABSTRACT

The purpose of this note is to prove that there is an algebraic stack U parameterizing all curves. The curves that appear in the algebraic stack U are allowed to be arbitrarily singular, non-reduced, disconnected, and reducible. We also prove the boundedness of the open substack of U parameterizing geometrically connected curves with fixed arithmetic genus g and $\leq$ e irreducible components. This is an updated and expanded version of [arXiv:0902.3690v2, Appendix B].

研究动机与目标

• 构造一个通用模堆 $υ_S$，用于参数化基概形 $S$ 上的所有曲线，包括具有任意奇点、非约化结构以及不连通或可约分支的曲线。
• 提供一个与阿廷准则逻辑无关的 $υ_S$ 代数性的证明，使用显式的希尔伯特簇表示。
• 建立固定算术亏格 $g$ 且至多 $e$ 个不可约分支的几何连通曲线的有界性。
• 证明射影曲线的普遍形变空间定义在 $\mathbb{Z}$ 上，解决了形变理论中一个非显然的整性问题。
• 证明众多几何条件（例如：约化、科恩-麦克唐纳、局部完整交、积分）在 $υ_S$ 中定义代数子堆，从而支持精细模构造。

提出的方法

• 将 $T$-曲线定义为具有 1 维几何纤维的恰当、平坦、有限表示的态射，并将堆 $\mathcal{U}_S$ 构造为将每个 $S$-概形 $T$ 赋予 $T$-曲线的范畴的平展堆。
• 证明每个 $T$-曲线在平展局部是射影的，利用上同调消去与投影公式，证明当 $m$ 足够大时 $H^1(C, \mathscr{L}^m(-2c)) = 0$。
• 利用亏格 $g$、分支数 $e$ 和奇点不变量 $\delta_c$，对奇异曲线的次数和嵌入维数进行界定，从而得到次数和射影嵌入维数的界 $D_{g,e}$ 和 $N_{g,e}$。
• 在 $\mathbb{P}^{N_{g,e}}$ 中构造具有有界次数和亏格的曲线的希尔伯特簇 $W_{g,e}$ 上的普遍族，并证明诱导映射 $W_{g,e} \to \mathfrak{W}_{g,e,0}$ 是满射。
• 利用希尔伯特簇的有界性（固定希尔伯特多项式分量的投影性）证明几何连通、约化的亏格为 $g$ 且分支数 $\leq e$ 的子堆 $\mathfrak{W}_{g,e,0}$ 是拟紧的。
• 应用平坦族与层复形上同调的理论，证明 $h^1(L_{X/T}) = 3$ 或自同构群拟有限等条件通过拉回保持的条件定义代数子堆。

实验结果

研究问题

• RQ1 能否在不依赖阿廷准则的前提下，构造一个参数化所有曲线（奇异、非约化、可约、不连通）的通用代数堆？
• RQ2 尽管在特征零下定义方程可能为超越的，射影曲线的普遍形变空间是否仍定义在 $\mathbb{Z}$ 上？
• RQ3 固定算术亏格 $g$ 且分支数 $e$ 有界的几何连通曲线子堆是否具有有界性与拟紧性？
• RQ4 纤维上的哪些几何条件（如约化、科恩-麦克唐纳、积分）在 $\mathcal{U}_S$ 内定义代数子堆？
• RQ5 对于固定亏格和分支数的曲线，其嵌入次数和射影维数能否被统一控制？

主要发现

• 参数化 $S$ 上所有曲线的堆 $\mathcal{U}_S$ 是一个代数堆，局部有限表示，具有拟紧且分离的对角线。
• 堆 $\mathcal{U}_S$ 拥有由射影空间的希尔伯特簇给出的显式光滑覆盖，提供了不依赖阿廷准则的代数性构造性证明。
• 对任意固定三元组 $(g, n, e)$，几何连通、约化、算术亏格为 $g$、带有 $n$ 个标记点且 $\leq e$ 个不可约分支的曲线堆 $\mathcal{W}_{S,g,n,e}$ 是代数的、有限表示的，且具有拟紧、分离的对角线。
• 此类曲线的次数有界于 $D_{g,e} = 2(g+e-1)(g+e) + e$，射影嵌入维数有界于 $N_{g,e} \leq (g+e)^2 + 1$。
• 任何奇点的嵌入维数有界于 $(g+e)^2$，且此类曲线的切线与割线簇的维数分别至多为 3 和 $(g+e)^2 + 1$。
• 推论 1.2 暗示，任何射影曲线的普遍形变空间由具有整系数的方程定义，即使原始嵌入使用超越项亦然。