[論文レビュー] Symmetric obstruction theories and Hilbert schemes of points on threefolds

Kai Behrend, Barbara Fantechi|ArXiv.org|Dec 24, 2005

Algebraic Geometry and Number Theory参考文献 3被引用数 14

ひとこと要約

この論文は、3次元多様体上のn点のヒルベルトスキームの重み付きオイラー特徴量が、対称的障害理論を用いたドナルドソン＝トーマス不変量によって計算され、(−1)^n倍の通常のオイラー特徴量に等しいことを確立する。また、複素射影的カラビ＝ヤウ3次元多様体に対して、ヒルベルトスキームの点の仮想的数え上げが符号を除いてオイラー特徴量に一致することを示し、対称的障害理論と同等変換技術を用いてモウリク＝ネクラソフ＝オクウンコフ＝パンダリパーンデの予想を確認する。

ABSTRACT

We introduce the notion of symmetric obstruction theory and study symmetric obstruction theories which are compatible with C*-actions. We prove that the contribution of an isolated fixed point under a C*-action to equivariant Donaldson-Thomas type invariants is +/- 1. As an application, we compute weighted Euler characteristics of all Hilbert schemes of points on any 3-fold. Moreover, we calculate the zero-dimensional Donaldson-Thomas invariants of any projective Calabi-Yau 3-fold. This proves a conjecture of Maulik-Nekrasov-Okounkov-Pandharipande.

研究の動機と目的

• 群作用を伴うモジュライ空間の文脈において、対称的障害理論を定義し、それらを研究すること。
• C*-作用による孤立固定点における、対称的障害理論を用いたBehrend関数不変量 ν_X(P) を計算すること。
• 3次元多様体上の点のヒルベルトスキームに関して、ドナルドソン＝トーマス不変量とオイラー特徴量を関連させること。
• カラビ＝ヤウ3次元多様体に対する次元0のMNOP予想を証明すること。
• 3次元多様体上のヒルベルトスキームの重み付きオイラー特徴量が、±通常のオイラー特徴量に等しいことを確立すること。

提案手法

• 導来カテゴリにおける非退化な対称的双一次形式を用いて、対称的障害理論を導入すること。
• G_m作用の下での同等変換技術を用いて、局所構造を分析し、不変量を計算すること。
• 孤立固定点におけるBehrend関数 ν_X(P) を適用し、ν_X(P) = (−1)^d（dは接空間の次元）であることを示すこと。
• 重み付きオイラー特徴量の計算を、nの分割によってインデックス付けされたストラタに還元すること。
• エタール被覆とガロア群作用を用いて、ヒルベルトスキームのストラタと対称積の積との関係を確立すること。
• ν_X(P) = (−1)^d である事実を用いて、重み付きオイラー特徴量における符号補正を導出すること。

実験結果

リサーチクエスチョン

• RQ1 C*-作用による孤立固定点において、対称的障害理論を用いたBehrend関数 ν_X(P) の値は何か？
• RQ2 3次元多様体上のヒルベルトスキームの重み付きオイラー特徴量と通常のオイラー特徴量の関係は何か？
• RQ3 カラビ＝ヤウ3次元多様体上のn点のヒルベルトスキームのドナルドソン＝トーマス不変量は、オイラー特徴量で表せるか？
• RQ4 3次元多様体上の点のヒルベルトスキームに適用される対称的障害理論は、仮想的数え上げの符号修正公式を導くか？
• RQ5 Behrend関数は、対称的障害理論を用いた仮想的数え上げの計算において果たす役割は何か？

主な発見

• 任意の3次元多様体に対して、n点のヒルベルトスキームの重み付きオイラー特徴量は (−1)^n 倍の通常のオイラー特徴量に等しい。
• 対称的障害理論を用いた孤立固定点におけるBehrend関数 ν_X(P) は、Zariski接空間の次元dに対して (−1)^d に等しい。
• 複素射影的カラビ＝ヤウ3次元多様体に対して、n点のヒルベルトスキームの仮想的数え上げは (−1)^n 倍のオイラー特徴量に等しい。
• 仮想的数え上げの母関数は M(−t)^χ(Y) に一致し、符号補正を施したオイラー特徴量の母関数と一致する。
• この結果により、カラビ＝ヤウ3次元多様体の次元0不変量に対するMNOP予想が確認された。
• 証明は、分割によってインデックス付けされたストラタへの還元と、ガロア対称性を持つエタール被覆の使用に依存する。