[论文解读] Construction of Hilbert and Quot Schemes

Nitin Nitsure|ArXiv.org|Apr 29, 2005

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

一句话总结

本文对格罗滕迪克构造希尔伯特与商簇（Hilbert and Quot schemes）的过程提供了详尽的解释性论述，通过下降理论与上同调技巧确立了其可表示性。证明了希尔伯特与商函子可由局部诺特概化表示，构成代数几何模理论的基础，关键结果涵盖平坦性、射影性及在概化等价关系下的有效商。

ABSTRACT

This is an expository account of Grothendieck's construction of Hilbert and Quot Schemes, following his talk `Techniques de construction et theoremes d'existence en geometrie algebriques IV : les schemas de Hilbert', Seminaire Bourbaki 221 (1960/61), together with further developments by Mumford and by Altman and Kleiman. Hilbert and Quot schemes are fundamental to modern Algebraic Geometry, in particular, for deformation theory and moduli constructions. These notes are based on a series of six lectures in the summer school `Advanced Basic Algebraic Geometry', held at the Abdus Salam International Centre for Theoretical Physics, Trieste, in July 2003.

研究动机与目标

• 基于格罗滕迪克原始的布尔巴基讨论会讲稿，提供希尔伯特与商簇构造的详细且易于理解的解释性论述。
• 确立希尔伯特与商函子作为概化可表示性，使其可用于模问题。
• 展示这些概化如何作为变形理论及其他模空间构造的基础工具。
• 将理论扩展至包含在概化等价关系下的有效商，尤其关注诺特情形。

提出的方法

• 采用点函子方法，通过从概化到集合的反变函子表示概化。
• 在fpqc拓扑中应用下降理论，以确保函子满足叠条件，这是可表示性的必要条件。
• 运用上同调技巧，包括卡斯特尔努沃-穆尔福德正则性与平坦化分层，以控制层族。
• 通过普遍族与通过拉回的普遍性质构造希尔伯特与商簇。
• 应用局部平坦性判别法及平坦与射影态射的性质，以验证可表示性。
• 利用概化等价关系与余等化子的理论构造有效商，证明商态射是忠实平坦且射影的。

实验结果

研究问题

• RQ1 能否将参数化射影空间中平坦子概化族的希尔伯特函子表示为一个概化？
• RQ2 能否将参数化固定层的平坦商族的Quot函子表示为一个概化？
• RQ3 在何种条件下，概化等价关系在概化上存在一个作为概化的有效商？
• RQ4 如何通过下降与上同调方法确立希尔伯特与Quot函子的可表示性？
• RQ5 在何种条件下，概化关于概化等价关系的商是拟射影且忠实平坦的？

主要发现

• 希尔伯特函子 $\mathfrak{Hilb}_{{\mathbb{P}}^{n}}$ 可由一个局部诺特概化 $\mathrm{Hilb}_{{\mathbb{P}}^{n}}$ 表示，该概化参数化 $\mathbb{P}^n$ 中的平坦子概化族。
• Quot函子 $\mathfrak{Quot}_{\oplus^r \mathcal{O}_{{\mathbb{P}}^{n}}}$ 可由一个局部诺特概化 $\mathrm{Quot}_{\oplus^r \mathcal{O}_{{\mathbb{P}}^{n}}}$ 表示，该概化参数化秩为 $r$ 的平凡层的平坦商族。
• 对于诺特概化 $S$ 及强拟射影态射 $X \to S$，若概化等价关系 $R \rightrightarrows X$ 的两个投影为拟紧且平坦，则其存在一个有效商 $X \to Q$，该商是 $S$ 上的忠实平坦且强射影的。
• 商概化 $Q$ 是 $S$ 上的强拟射影概化，且态射 $X \to Q$ 是 $R$ 的两个投影的余等化子，从而确保有效可表示性。
• 该构造依赖于存在一个闭子概化 $D \subset X \times_S H$，参数化对 $(x, \varphi(x))$，从而可应用下降理论，将商 $Q$ 构造为希尔伯特概化 $H$ 的闭子概化。
• 普遍性质确保：每个基概化 $S$ 上的平坦族均可通过唯一态射 $S \to \mathrm{Hilb}$ 或 $S \to \mathrm{Quot}$ 拉回自希尔伯特或Quot概化上的普遍族。