[论文解读] The space of Cohen-Macaulay curves

Katharina Heinrich|arXiv (Cornell University)|Mar 24, 2014

Algebraic Geometry and Number Theory参考文献 15被引用 3

一句话总结

本文构建了一个方案 $W$，其具有可表示的、满射的且光滑的态射 $ olimits: W \to \mathrm{CM}$，证明了参数化具有有限映射到 $ olimits^n$ 且为一般闭浸入的 Cohen–Macaulay 曲线的模函子 $ olimits$ 是一个代数空间。此外，通过基于凝聚层与结构层深度条件的显式几何论证，进一步确立了 $ olimits$ 满足正规性的取值准则，从而确认其为一个正规代数空间。

ABSTRACT

One can consider the Hilbert scheme as a natural compactification of the space of smooth projective curves with fixed Hilbert polynomial. Here we consider a different modular compactification, namely the functor CM parameterizing curves together with a finite map to $\mathbb{P}^n$ that is generically a closed immersion. We prove that CM is an algebraic space by contructing a scheme W and a representable, surjective and smooth map W -> CM. Moreover, we show that CM satisfies the valuative criterion for properness.

研究动机与目标

• 重新证明参数化具有有限且一般为闭浸入的 Cohen–Macaulay 曲线的模函子 $\mathrm{CM}$ 是一个代数空间，以弥补先前证明中的漏洞。
• 提供一个更显式且简化的构造，即构造一个光滑、满射且可表示的方案覆盖 $ olimits: W \to \mathrm{CM}$，以替代早期不完整的论证。
• 基于结构层的深度与凝聚性质，使用直接的几何证明方法，确立 $ olimits$ 的正规性，而非依赖抽象准则。
• 澄清并强化避免希尔伯特概形紧化中退化子概形的曲线模空间的基础框架。

提出的方法

• 构造一个参数化对 $(C, i)$ 的方案 $W$，其中 $C$ 在基上平坦，且 $i: C \to \mathbb{P}^n_S$ 有限且一般为闭浸入，使用显式几何数据与凝聚层构造。
• 将 $ olimits(S)$ 定义为满足纤维纯性、Cohen–Macaulay 性及希尔伯特多项式条件的此类对的同构类集合。
• 利用离散赋值环 $R$ 上 $ olimits^n_R$ 的像的概形闭包，构造一个一般族的极限。
• 在 $Z$ 的一个稠密开子集 $U \subset Z$ 上，将 $ olimits_{U_1}$ 与 $(h_K)_*\mathcal{O}_{C_K}$ 进行粘合，定义一个 $ olimits_Z$-代数 $ olimits$，并令 $C := \mathbf{Spec}(\nolimits)$。
• 通过余维数与深度的论证，证明 $ olimits$ 作为 $ olimits_Z$-模是凝聚且 Cohen–Macaulay 的，从而确保 $C$ 在 $ olimits(R)$ 上平坦且 Cohen–Macaulay。
• 通过分析非 Cohen–Macaulay 位置与关联点，验证闭纤维 $C_0$ 是 Cohen–Macaulay，且 $i_0$ 在除有限多个点外是同构。

实验结果

研究问题

• RQ1 模函子 $\mathrm{CM}$（参数化具有有限且一般为闭浸入的 Cohen–Macaulay 曲线）是否可表示为一个代数空间？
• RQ2 能否显式构造一个光滑、满射且可表示的方案覆盖 $ olimits: W \to \mathrm{CM}$，以替代早期不完整的论证？
• RQ3 $\mathrm{CM}$ 是否满足正规性的取值准则，从而保证族的极限存在且唯一？
• RQ4 如何利用结构层的凝聚性与 Cohen–Macaulay 性质，确保在退化情形下保持平坦性与几何有限性？

主要发现

• 模函子 $\mathrm{CM}$ 是一个代数空间，通过构造一个方案 $W$ 及一个可表示的、满射的且光滑的态射 $ olimits: W \to \mathrm{CM}$ 得到证明。
• 该 $W$ 的构造提供了一种比早期证明更显式且简化的替代方法，解决了 Hønsen 原始论证中的漏洞。
• $\mathrm{CM}$ 满足正规性的取值准则，即每个定义在离散赋值环的通用点上的族均可唯一延拓至特殊纤维。
• 总空间 $C$ 的结构层 $ olimits$ 作为 $ olimits_Z$-模是凝聚且 Cohen–Macaulay 的，从而确保 $C$ 在 $ olimits(R)$ 上平坦且 Cohen–Macaulay。
• 闭纤维 $C_0$ 是 Cohen–Macaulay，且映射 $i_0: C_0 \to \mathbb{P}^n_k$ 在除有限多个点外是同构，满足 $\mathrm{CM}$ 的几何条件。
• 希尔伯特多项式在基变换下保持不变，确认极限对象属于 $\mathrm{CM}(\nolimits(R))$。