ヒルベルトスキーム

代数幾何学では、ヒルベルトスキーム（）とは、(Chow variety)を精密化したある射影空間（より一般的には射影スキーム）の閉部分スキームのパラメータ空間であるスキームである。ヒルベルトスキームは、ヒルベルト多項式に対応する(closed subscheme)の共通点を持たない合併である。ヒルベルトスキームの基本理論は、により開発された。は、非射影多様体はヒルベルトスキームを必ずしも持たないことを示している。
射影空間のヒルベルトスキーム.
 のヒルベルトスキーム は、次の意味で射影空間の閉スキームを分類する。
は、 上に(flat)である の閉スキームの集合に自然に同型となる。 上に平坦な の閉部分スキームは、非公式には、 によりパラメトライズされた射影空間の部分スキームの族と考えることができる。ヒルベルトスキーム は、ヒルベルト多項式 P を持つ射影空間の部分スキームのヒルベルト多項式に対応する部分である の共通部分を持たない合併に分解する。これらの部分の各々は、 上で射影的である。
構成.
グロタンディエクは、ネータースキーム 上の-次元射影空間のヒルベルトスキーム を、様々な判別式を 0 とすることで定義される(Grassmannian)の部分スキームとして定義した。ヒルベルトスキームの基本的性質は、 上のスキーム に対し、ヒルベルトスキームは、 上に平坦な の閉部分スキームとなる -に値を持つ点を持つ函手を表現する。
 が -次元射影空間の部分スキームであれば、 は 次数付き部分である を持ち 変数の多項式環 の次数付きイデアル へ対応する。 のヒルベルト多項式 にのみ依存する充分大きな に対し、 に係数を持つ の全ての高次コホモロジー群は、0 となるので、特に、 は次元 を持つ。ここの は射影空間のヒルベルト多項式である。
 の値を充分大きくとる。-次元空間 は -次元空間 の部分空間であるので、グラスマン多様体 の点を表現する。このことは、ヒルベルト多項式 に対応するヒルベルトスキームの部分のグラスマン多様体への埋め込みを与える。この埋め込みの像のスキームの構造を記述することが残っている。言い換えると、それに対応するイデアルの元を充分記述することが残っている。そのような元は写像 が、正の に対し多くともランク を持つ条件により与えられる。この条件は様々な判別式の消滅と同値である。（さらに注意深く分析すると、 を取るだけで十分であることが分かる。）
変形.
ヒルベルトスキーム は同じ方法で任意の射影スキーム に対し定義され、構成される。非公式には、この点は の閉点に対応している。
性質.
 では、多項式のヒルベルトスキーム が空ではないことが示され、 は、 が空でないならば線型連結であることが示された。従って、射影空間の 2つの部分スキームが同じヒルベルトスキームの連結成分となることと、それらが同じヒルベルト多項式を持つこととは同値である。
ヒルベルトスキームは、全ての点で被約ではない既約成分のように、悪い特異点を持つことがある。それらは予期せぬ高次元の既約成分を持つこともある。例えば、次元 のスキームの 個の点のヒルベルトスキーム（もう少し正確には、次元 0で長さ の部分スキーム）は、次元 を持つことが期待されるが、 の場合には既約成分がもっと大きな次元を持つことがありうる。
多様体上の点のヒルベルトスキーム.
ヒルベルトスキームは、スキーム上の 0-次元の部分スキームの穴のあいたヒルベルトスキーム(punctual Hilbert scheme)と呼ばれることがある。非公式には、このことは、いくつかの点が重なるときに非常に間違った理解を生み出すのであるが、スキームの上の点の有限個の集合のようなものを想定することができる。
任意の0-次元スキームを関連する 0-サイクルと取ることにより、点の被約なヒルベルトスキームからサイクルの周多様体へのヒルベルト・周の射(Hilbert-Chow morphism)が存在する。.
 上の 個の点のヒルベルトスキーム は、 の -重対称積への自然な射を持っている。この射は最大 2 次元の に対して双有理であり、最大 3 次元の に対して、大きな に対して双有理ではない。一般に、ヒルベルトスキームは可約で、対称積の次元より非常に大きな次元の要素を持っている。
曲線 （次元が 1 である複素多様体）上の点のヒルベルトスキームは、 の(symmetric power)に同型である。
曲面上の 個の点のヒルベルトスキームも、滑らかである (Grothendieck)。 であれば、対角をブローアップすることにより、つまり、 により引き起こされた で割ることにより、 が得られる。(Mark Haiman)による方法は、ある(Macdonald polynomial)の係数の正値性の証明に使われた。
次元が 3 以上の滑らかな多様体のヒルベルトスキームは、通常は滑らかではない。
ヒルベルトスキームと超ケーラー幾何学.
 を である複素ケーラー曲面（K3曲面、もしくはトーラス）とすると、小平の曲面の分類に従い、 の標準バンドルは自明である。よって、 は正則なシンプレクティック形式を持つ。(Akira Fujiki)（ の場合）と(Arnaud Beauville)により、 も正則なシンプレクティックとなることが確認された。に対しては、このことはさほどは難しくない。実際、 は の二重対称積のブローアップである。 の特異点は、局所的に } と同型である。 のブローアップは、 であり、この空間はシンプレクティックである。このことはシンプレクティック形式は自然に の例外因子の滑らかな部分へ拡張される。 の残りの部分は、ハルトークスの拡張定理により拡張される。
正則なシンプレクティックケーラー多様体は、超ケーラーであることは、カラビ・ヤウの定理より得られる。K3曲面や 4-次元次トーラス上の点のヒルベルトスキームは、超ケーラー多様体の例、K3曲面の点のヒルベルトスキームと一般化されたクンマー多様体をもたらす。