[论文解读] Recovering the good component of the Hilbert scheme

Torsten Ekedahl, Roy Skjelnes|ArXiv.org|May 5, 2004

Commutative Algebra and Its Applications参考文献 13被引用 9

一句话总结

本文通过证明仿射平面上点的希尔伯特概形的概型闭包在 $n$ 个不同点的集合上同构于一个平坦映射 $X \to S$ 的 $n$-重对称积（或除法幂代数）中一个典范理想在的爆破，推广了海曼（Haiman）的构造。关键创新在于使用除法幂而非表示理论，使得该构造能在任意基上普遍成立，并适用于非平坦情形，其核心是除法幂代数 $\Gamma^n_A(F)$。

ABSTRACT

In the Hilbert scheme of points on a scheme X there is an open subset parameterizing distinct points. The closure of that open set is by definition the good component. When X is flat over the base, we show that a certain blow-up of the symmetric product of X is the good component. The center of the blow-up we describe by giving generators for its defining ideal. In the non-flat case we obtain similar result by replacing the symmetric product with the divided power product. For smooth surfaces X the good component equals the Hilbert scheme of points.

研究动机与目标

• 将海曼对仿射平面上点的希尔伯特概形的爆破描述推广至任意平坦映射 $X \to S$ 的代数空间。
• 在 $n$-重对称积（或除法幂代数）中构造一个典范理想，其爆破结果等于希尔伯特概形中 $n$ 个不同点集合的概型闭包。
• 用基于除法幂的形式系统替代海曼的表示理论方法，使构造可推广至特征非零或维数非二的情形。
• 在 $X \to S$ 不一定平坦的情况下，建立希尔伯特概形 $\operatorname{Hilb}^n_{X/S}$ 存在性的充分一般性，以支持构造。
• 通过使用除法幂代数 $\Gamma^n_A(F)$ 替代对称积，将结果推广至非仿射和非平坦情形。

提出的方法

• 在平坦 $A$-代数 $F$ 关联的 $n$-重除法幂代数 $\Gamma^n_A(F)$ 中定义理想，利用分次除法幂代数的乘法结构。
• 利用 $\Gamma^n_A(F)$ 与 $F^{igotimes_A n}$ 的 $\mathfrak{S}_n$-不变子环之间的同构，内在地定义该理想。
• 在 $\operatorname{Spec}(\Gamma^n_A(F))$ 上关于 $\operatorname{Spec}(A)$ 构造该理想的爆破，作为希尔伯特概形良分量的候选对象。
• 证明该爆破通过一族长度为 $n$ 的子概形普遍映射到希尔伯特概形，从而表明其同构于 $n$ 个不同点集合的概型闭包。
• 通过用 $n$-重除法幂积 $\Gamma^n_A(F)$ 替代对称积，将构造扩展至非平坦映射，该代数在 $F$ 不平坦于 $A$ 时仍存在。
• 利用粘贴技巧及戴维·瑞德（David Rydh）的结果，将构造从仿射情形推广至非仿射概形，确保与全局希尔伯特概形的兼容性。

实验结果

研究问题

• RQ1 海曼对 $\mathbb{A}^2$ 上希尔伯特概形的爆破描述能否推广至任意平坦映射 $X \to S$ 的代数空间？
• RQ2 是否可能在不依赖表示理论或特征假设的前提下构造希尔伯特概形的良分量？
• RQ3 当 $X \to S$ 不平坦时，能否用更一般的对象（如除法幂代数）替代对称积？
• RQ4 希尔伯特概形 $\operatorname{Hilb}^n_{X/S}$ 在代数空间的完全一般情形下是否存在？其存在性能否被构造性地证明？
• RQ5 能否证明除法幂理想的爆破同构于希尔伯特概形中 $n$ 个不同点集合的概型闭包？

主要发现

• 在 $\Gamma^n_A(F)$ 中的理想爆破同构于 $\operatorname{Hilb}^n_{X/S}$ 中 $n$ 个不同点集合的概型闭包，推广了海曼的结果。
• 通过使用除法幂代数 $\Gamma^n_A(F)$ 取代对称幂，该构造在任意基概形 $S$ 上普遍成立，即使 $X \to S$ 不平坦。
• 该理想基于分次除法幂代数 $\Gamma^*(F)$ 的乘法结构定义，而不仅依赖于 $\mathfrak{S}_n$-不变部分，这对构造的普遍性至关重要。
• 通过将问题约化至已知情形的粘贴论证，建立了 $\operatorname{Hilb}^n_{X/S}$ 在代数空间上的完全一般存在性。
• $\varphi: \mathrm{G}^n_{X/S} \to \mathrm{Bl}_{I_V}(\Gamma^n_A F)$ 是一个同构，表明爆破实现了希尔伯特概形的良分量。
• 该结果扩展了福格蒂（Fogarty）在 $X \to S$ 为相对维数 2 的光滑情形下的光滑性定理，消除了对基概形的限制。