[論文レビュー] Hilbert schemes of 8 points in A^d

Dustin Cartwright, Daniel Erman+2 more|arXiv (Cornell University)|Mar 3, 2008

Algebraic Geometry and Number Theory被引用数 3

ひとこと要約

この論文は、アフィンd次元空間における8点のヒルベルト多項式を調査し、d ≥ 4 かつ n = 8 のときに限り、それが非連結的であることを証明している。特筆すべきは、一般に異なる点の極限をパラメトライズする成分 R⁴₈ ⊂ H⁴₈ を定義する単一の明示的な方程式を特定し、あるイデアルがそのような極限として現れるかどうかを判定する基準を提供している。固定されたヒルベルト関数を持つ斉次イデアルの研究により、余長さ8における最小の非連結例が特定された。

ABSTRACT

Abstract. The Hilbert scheme Hd n of n points in Ad contains an irreducible component Rd n which generically represents n distinct points in Ad. We show that when n is at most 8, the Hilbert scheme Hd n is reducible if and only if n = 8 and d ≥ 4. In the simplest case of reducibility, the component R4 8 ⊂ H4 8 is defined by a single explicit equation which serves as a criterion for deciding whether a given ideal is a limit of distinct points. To understand the components of Hd n we study the closed subschemes which correspond to homogeneous ideals with a fixed Hilbert function. We describe the components of these subschemes when the colength is at most 8. In particular, we find the minimal such example which is reducible. The Hilbert scheme Hd n of n points in Ad parametrizes 0-dimensional, degree n subschemes of Ad. Equivalently, the k-valued points of Hd n parametrize ideals I ⊂ S = k[x1,..., xd] such that S/I is an n-dimensional vector space over k. We will use I to denote both an ideal in S and a point in Hd n. Since its introduction, the Hilbert scheme of points has been an active area of research and is the natural context for many fundamental questions about 0-dimensional subschemes of affine space. The question motivating this paper is how to characterize the 0-dimensional subschemes which are limits of distinct points. This question can be stated in terms of the geometry of the Hilbert scheme. Ideals of distinct points form

研究の動機と目的

• アフィンd次元空間における相異なる点の極限である0次元部分スキームを特徴付けること。
• 特に小さなnに対して、ヒルベルト多項式 Hd n が非連結的になる条件を特定すること。
• 固定されたヒルベルト関数を持つ斉次イデアルをパラメトライズする部分スキームの成分を記述すること。
• 非連結なような部分スキームの最小例を特定すること（余長さ8で発見）。
• H⁴₈ に含まれる、相異なる点の極限をパラメトライズする成分 R⁴₈ を定義する明示的な方程式を提供すること。

提案手法

• 著者たちは、ヒルベルト多項式 Hd n を、Ad における次数nの0次元部分スキームをパラメトライズする空間として分析し、S/I が次元nを持つような k[x₁,…,xd] 内のイデアル I ⊂ k[x₁,…,xd] を特定する。
• 一般にn個の相異なる点をパラメトライズする、非可約成分 Rd n に注目し、Hd n 内でのその閉包を研究する。
• 斉次イデアルのヒルベルト関数を固定することで、対応する部分スキームを分解し、その成分を分析する。
• 代数幾何学的技法を用いて、特に余長さが8以下の場合のこれらの部分スキームの構造を研究する。
• R⁴₈ ⊂ H⁴₈ の成分を定義する明示的な方程式を導出し、それがあるイデアルが相異なる点の極限であるかどうかを判定する基準となる。
• 構造的解析を通じて、非連結性がn = 8 かつ d ≥ 4 のときに限り発生することを確立する。

実験結果

リサーチクエスチョン

• RQ1 どのdとnに対して、ヒルベルト多項式 Hd n がAdにおけるn点に対して非連結的となるか？
• RQ2 Hd n 内で、相異なる点の極限をパラメトライズする成分 Rd n の構造はいかなるものか？
• RQ3 S = k[x₁,…,xd] 内のイデアルが相異なる点の極限であるかどうかを特定する明示的な代数的基準は存在するか？
• RQ4 固定されたヒルベルト関数を持つ斉次イデアルの部分スキームが非連結的になる最小の余長さは何か？
• RQ5 余長さが8以下の場合、ヒルベルト多項式 Hd n の成分はどのように振る舞うか？

主な発見

• ヒルベルト多項式 Hd n は、n = 8 かつ d ≥ 4 のときに限り非連結的である。
• H⁴₈ 内の成分 R⁴₈ は、1つの明示的な方程式によって定義され、それがあるイデアルが相異なる点の極限であるかどうかを判定する基準となる。
• 固定されたヒルベルト関数を持つ斉次イデアルの部分スキームの非連結な最小例は、余長さ8で発生する。
• n ≤ 8 の場合、Hd n は n = 8 かつ d ≥ 4 の場合を除き非可約的である。
• 固定されたヒルベルト関数成分の研究により、非連結性が最初に現れるのは余長さ8であり、これが最小の例であることが判明した。