[論文レビュー] Irreducibility of the Gorenstein locus of the punctual Hilbert scheme of degree 10

Gianfranco Casnati, Roberto Notari|arXiv (Cornell University)|Mar 29, 2010

Commutative Algebra and Its Applications参考文献 15被引用数 4

ひとこと要約

この論文は、標数0の代数閉体上での10次の点付きヒルベルト函手におけるゴレンシュタイン部分集合の非可約性を証明し、長年の未解決問題を解決した。アーチン・ゴレンシュタイン局所代数の分類およびヒルベルト関数とソクル次数の解析を用いて、10次のすべてのこのようなスキームが、かつての誤った非可約性の主張とは対照的に、単一の非可約成分を形成することを示した。

ABSTRACT

Let $k$ be an algebraically closed field of characteristic 0 and let $H_G(d,N)$ be the open locus of the Hilbert scheme $H(d,N)$ corresponding to Gorenstein subschemes of degree $d$ in the projective N-space. We proved in a previous paper that $H_G(d,N)$ is irreducible for $d\le9$ and $N\ge1$. In the present paper we prove that also $H_G(10,N)$ is irreducible for each $N\ge1$, giving also a complete description of its singular locus.

研究の動機と目的

• 10次点付きヒルベルト函手におけるゴレンシュタイン部分集合の非可約性を解明すること。
• 10次スキームのゴレンシュタイン部分集合について、過去に誤って非可約であるとされた主張を是正すること。
• 任意の $N \geq 1$ に対して、10次のすべてのゴレンシュタインスキームがヒルベルト函手内で単一の非可約成分を形成することを確立すること。
• ヒルベルト関数とソクル構造を用いた、10次のアーチン・ゴレンシュタイン局所代数の完全な分類を提供すること。

提案手法

• 最大イデアルの連続するべきの次元に基づく、$d \leq 10$ の10次アーチン・ゴレンシュタイン局所 $k$-代数の分類。
• ヒルベルト関数 $h_A(t)$ と第二ソクル層の次元 $\beta$ の分析による場合分け。
• 斉次多項式と多項式環内のイデアルの間の逆系対応の使用。
• 第二ソクル層の次元 $\beta$ が $3$ であるときの障害条件を用いた特異点集合の研究。
• 定義多項式 $g$ の3次における根構造に基づく、その可能な形のケースバイケース分析。
• 既知の分類結果 $[\text{C--N2}]$, $[\text{Cs}]$, および $[\text{I--K}]$ の適用により、問題を取り扱い可能な場合に還元すること。

実験結果

リサーチクエスチョン

• RQ1 標数0の代数閉体上での10次点付きヒルベルト函手におけるゴレンシュタイン部分集合は非可約か？
• RQ2 なぜ過去に10次ゴレンシュタイン部分集合の非可約性について誤った主張がなされたのか？
• RQ3 ヒルベルト関数およびソクル構造にどのような条件がゴレンシュタイン部分集合の非可約性を決定づけるか？
• RQ4 第二ソクル層の次元 $\beta$ は、ヒルベルト函手における障害とどのように関係するか？
• RQ5 逆系と局所代数的手法を用いて、10次ゴレンシュタイン部分集合を完全に分類できるか？

主な発見

• すべての $N \geq 1$ に対して、代数閉体上での標数0の下で、$\mathcal{H}^{G}_{10}(\mathbb{P}^N_k)$ は非可約である。
• 非可約性を決定づける重要な不変量は、第二ソクル層の次元 $\beta$ である：$\beta = 1$ のとき、スキームは障害なしで滑らかな部分集合に属し、$\beta = 3$ のとき、障害がある。
• 10次のゴレンシュタイン代数では、ヒルベルト関数 $h_{A^{(2)}}$ は $\beta = 1$ の場合に $(1,4,10,20,14,1)$、$\beta = 3$ の場合に $(1,4,10,20,16,4)$ となる。後者は障害のあるスキームに対応する。
• 正規バンドルの次元 $h^0(X, \mathcal{N}_X)$ は、$\beta = 3$ のとき40、$\beta = 1$ のとき45であり、障害条件が確認された。
• 過去の $\mathcal{H}^{G}_{10}(\mathbb{P}^N_k)$ の非可約性に関する主張における数値的誤りを是正し、非可約性の結果を裏付けた。
• 結果はすべての $N \geq 1$ に対して一様に成り立ち、10次ゴレンシュタイン部分集合が環境次元にかかわらず非可約であることを示した。