[論文レビュー] The irreducible components of Hilb^{4n}(P^3)

Gerd Gotzmann|ArXiv.org|Nov 19, 2008

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

ひとこと要約

この論文は、特性 0 の代数閉体上の射影空間 $\mathbb{P}^3$ における4次1種曲線をパラメトライズする Hilbert 棧 $\mathrm{Hilb}^{4n}(\mathbb{P}^3)$ が、正確に2つの既約成分を持つことを証明している。1つは Vainsencher-Avritzer の成分 $H_{VA}$（次元16）で、2つの二次曲面の完全交差からなる。もう1つは Reeves-Stillman の成分 $H_{RS}$（次元23）で、辞書式順序点に対応する。この結果は正則性による層化と Borel 理の解析を通じて得られ、正則性3, 4, 5, 6をもつすべての曲線がこれらの2つの成分のいずれかに属することを示しており、$H_{RS}$ は正則性4の層の閉包であり、$H_{VA}$ は滑らかな完全交差の局所の閉包である。

ABSTRACT

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

研究の動機と目的

• Hilbert 棧 $\mathrm{Hilb}^{4n}(\mathbb{P}^3)$ の既約成分を特定すること。これは4次1種の曲線をパラメトライズする。
• 理想の正則性による層化を分析することにより、Hilbert 棧の構造を解明すること。
• 既に知られている2つの成分、すなわち Vainsencher-Avritzer（$H_{VA}$）と Reeves-Stillman（$H_{RS}$）が、唯一の既約成分であることを確立すること。
• $H_{RS}$ が正則性4の層の閉包であり、$H_{VA}$ が完全交差の局所の閉包であることを証明すること。
• $\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)$ に基づいて分類し、正則性層のモデルとする。
• 各正則性層 $R_i$ における理想の構造を Hilbert 関数と各次元成分 $I_n = H^0(\mathbb{P}^3, \mathcal{I}(n))$ の次元数え上げを通じて解析し、$\dim I_n$ が期待される Hilbert 関数 $\varphi_i(n)$ と一致することを示す。
• $\mathbb{G}_m$ の作用を用いて理想の極限を解析し、特定の理想が Reeves-Stillman 成分 $H_{RS}$ の閉包に属することを証明する。特に $R_5 \cup R_6 \subset \overline{Y} = H_{RS}$ を示す。
• 正則性3の理想で完全交差でないものすべてが $H_{VA}$ に属することを示すために、一般ファイバーが完全交差で、特別なファイバーが非完全交差理想である $\mathbb{A}^1$ 上の平坦族を構成する。
• $H_{RS} = \overline{R}_4$ および $H_{VA} = \overline{V}$ を確立し、$\mathbf{H} = H_{VA} \cup H_{RS}$ であり、他の成分は存在しないと結論づける。

実験結果

リサーチクエスチョン

• RQ1 Hilbert 棧 $\operatorname{Hilb}^{4n}(\mathbb{P}^3)$ は2つより多くの既約成分を持つのか？
• RQ2 辞書式順序点に対応する Reeves-Stillman 成分 $H_{RS}$ は、正則性4の層 $R_4$ の閉包であるか？
• RQ3 完全交差でない正則性3の理想すべてが、Vainsencher-Avritzer 成分 $H_{VA}$ の閉包に属することを示せるか？
• RQ4 $H_{VA}$ と $H_{RS}$ は $\mathbf{H}$ の唯一の既約成分であり、それらがスキーム全体をカバーするのか？
• RQ5 各既約成分の次元は何か？また、$\mathrm{Hilb}^{3n+1}(\mathbb{P}^3)$ と同様の構造を持ち、2つの成分を持つのか？

主な発見

• Hilbert 棧 $\mathbf{H} = \operatorname{Hilb}^{4n}(\mathbb{P}^3)$ は正確に2つの既約成分を持つ：$H_{VA}$（次元16）と $H_{RS}$（次元23）。
• Vainsencher-Avritzer 成分 $H_{VA}$ は2つの二次曲面の完全交差の開集合の閉包であり、$\operatorname{Grass}^2(P_2)$ の開部分集合に同型である。
• Reeves-Stillman 成分 $H_{RS}$ は正則性4の層 $R_4$ の閉包であり、正則性5および6のすべての理想を含む。
• 完全交差でない正則性3の理想すべては、一般ファイバーが完全交差で特殊ファイバーが非完全交差理想である $\mathbb{A}^1$ 上の平坦族の構成により $H_{VA}$ に属することが示された。
• 既約成分は $H_{VA} = \overline{V}$ および $H_{RS} = \overline{R}_4$ であり、それらの和集合はスキーム $\mathbf{H}$ 全体をカバーし、他の成分は存在しない。
• この結果は $\operatorname{Hilb}^{3n+1}(\mathbb{P}^3)$ との構造的類似性を確認し、$H_{4,1}$ が $H_{3,0}$ の場合と同様の滑らかさとコホロロジー的性質を持つかどうかという未解決の問題を提起する。