[论文解读] The irreducible components of Hilb^{4n}(P^3)

Gerd Gotzmann|ArXiv.org|Nov 19, 2008

Coding theory and cryptography参考文献 6被引用 6

一句话总结

本文证明了在特征为0的代数闭域上，参数化次数为4、亏格为1的曲线的Hilbert概形 $\mathrm{Hilb}^{4n}(\mathbb{P}^3)$ 恰好有两个不可约分支：Vainsencher-Avritzer分支 $H_{VA}$，维数为16，由两个二次曲面的完全交组成；以及Reeves-Stillman分支 $H_{RS}$，维数为23，对应于字典序点。该结果通过按正则性进行分层以及对Borel理想进行分析而建立，表明所有正则性为3、4、5或6的曲线都位于这两个分支之一，其中 $H_{RS}$ 是正则性4分层的闭包，$H_{VA}$ 是光滑完全交点集的闭包。

ABSTRACT

It is shown that Hilb^{4n}(P^3)has exactly two irreducible components.

研究动机与目标

• 确定参数化次数为4、亏格为1的曲线的Hilbert概形 $\mathrm{Hilb}^{4n}(\mathbb{P}^3)$ 的不可约分支。
• 通过分析理想按其正则性的分层，厘清Hilbert概形的结构。
• 确立已知的两个分支——Vainsencher-Avritzer（$H_{VA}$）与Reeves-Stillman（$H_{RS}$）——是唯一的不可约分支。
• 证明 $H_{RS}$ 是正则性4分层的闭包，且 $H_{VA}$ 是完全交点集的闭包。
• 将 $\mathrm{Hilb}^{4n}(\mathbb{P}^3)$ 与 $\mathrm{Hilb}^{3n+1}(\mathbb{P}^3)$ 进行类比，后者同样有两个分支，并探讨 $\mathrm{Hilb}^{4n}(\mathbb{P}^3)$ 是否也具有类似的光滑性与上同调性质。

提出的方法

• 通过定义理想的正则性对Hilbert概形进行分层，利用一般线性群作用下通用初始理想为Borel固定的事实。
• 对 $i=3,4,5,6$ 的Borel理想 ${\mathcal{B}}_i$ 进行分类，其具有特定的Hilbert函数 $\varphi_i(n)$，作为正则性分层的模型。
• 通过Hilbert函数与各分量 $I_n = H^0(\mathbb{P}^3, \mathcal{I}(n))$ 的维数计数，分析每个正则性分层 $R_i$ 中理想结构，表明 $\dim I_n$ 与预期的Hilbert函数 $\varphi_i(n)$ 一致。
• 利用乘法群 $\mathbb{G}_m$ 的作用分析理想极限，证明某些理想属于Reeves-Stillman分支 $H_{RS}$ 的闭包，特别是证明 $R_5 \cup R_6 \subset \overline{Y} = H_{RS}$。
• 通过在 $\mathbb{A}^1$ 上构造一个平坦族，其一般纤维为完全交而特殊纤维为非完全交理想，证明所有非完全交的3-正则理想均属于 $H_{VA}$。
• 确立 $H_{RS} = \overline{R}_4$ 与 $H_{VA} = \overline{V}$，并得出结论 $\mathbf{H} = H_{VA} \cup H_{RS}$，且无其他分支。

实验结果

研究问题

• RQ1 Hilbert概形 $\operatorname{Hilb}^{4n}(\mathbb{P}^3)$ 是否存在多于两个不可约分支？
• RQ2 Reeves-Stillman分支 $H_{RS}$（对应于字典序点）是否为正则性4分层 $R_4$ 的闭包？
• RQ3 是否可证明所有非完全交的3-正则理想均位于Vainsencher-Avritzer分支 $H_{VA}$ 的闭包中？
• RQ4 $H_{VA}$ 与 $H_{RS}$ 是否为 $\mathbf{H}$ 的唯一不可约分支，且是否覆盖整个概形？
• RQ5 每个不可约分支的维数是多少？$\mathbf{H}$ 的结构是否与 $\operatorname{Hilb}^{3n+1}(\mathbb{P}^3)$ 相似，后者同样具有两个分支？

主要发现

• Hilbert概形 $\mathbf{H} = \operatorname{Hilb}^{4n}(\mathbb{P}^3)$ 恰好有两个不可约分支：$H_{VA}$（维数16）与 $H_{RS}$（维数23）。
• Vainsencher-Avritzer分支 $H_{VA}$ 是两个二次曲面完全交的开集的闭包，该开集同构于 $\operatorname{Grass}^2(P_2)$ 的开子集。
• Reeves-Stillman分支 $H_{RS}$ 是正则性4分层 $R_4$ 的闭包，且包含所有正则性为5和6的理想。
• 所有非完全交的3-正则理想均位于 $H_{VA}$ 中，通过在 $\mathbb{A}^1$ 上构造一个平坦族（其一般纤维为完全交，特殊纤维为非完全交理想）得以证明。
• 不可约分支为 $H_{VA} = \overline{V}$ 与 $H_{RS} = \overline{R}_4$，其并集覆盖整个概形 $\mathbf{H}$，且无其他分支。
• 该结果确认了与 $\operatorname{Hilb}^{3n+1}(\mathbb{P}^3)$ 的结构类比，并提出一个开放问题：$H_{4,1}$ 是否与 $H_{3,0}$ 情况具有相同的光滑性与上同调性质。