[論文レビュー] The moduli stack of stable relative ideal sheaves

Baosen Wu|arXiv (Cornell University)|Jan 2, 2007

Algebraic Geometry and Number Theory参考文献 10被引用数 4

ひとこと要約

本稿は、射影的3次元多様体上の安定相対イデアル層のモジュライスタックを導入し、それが分離的かつ固有なデリーニュ＝ムムフォードスタックであることを確立する。この構成は、相対ドナルドソン＝トーマス理論への基盤を築くものであり、代数幾何における不変量の崩壊公式を可能にする。

ABSTRACT

In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal sheaves on projective threefolds, which in the end provides a degeneration formula of Donaldson-Thomas invariants of threefolds.

研究の動機と目的

• 射影的3次元多様体上の安定相対イデアル層のモジュライスタックを定義すること。
• スタックが分離的かつ固有なデリーニュ＝ムムフォードスタックであることを確立すること。
• イデアル層の相対ドナルドソン＝トーマス理論の基盤を築くこと。
• 3次元多様体の不変量の崩壊公式を可能にすること。

提案手法

• 底スキーム上でのイデアル層の相対的安定性条件を採用する。
• 安定相対イデアル層をパラメトライズするモジュライ関手を構成する。
• 関連するモジュライスタックがデリーニュ＝ムムフォードスタックによって代表可能であることを証明する。
• 値の基準と有界性の議論を用いて、分離性と固有性を確立する。
• 変形理論を用いて、モジュライ空間の局所構造を制御する。
• 3次元多様体の射影性を活用して、スタックの固有性を保証する。

実験結果

リサーチクエスチョン

• RQ1 相対的設定において、安定相対イデアル層のモジュライスタックをどのように厳密に定義できるか？
• RQ2 モジュライスタックが分離的かつ固有であることを保証する条件は何か？
• RQ3 この構成は、相対ドナルドソン＝トーマス不変量の開発をどのように支援するか？
• RQ4 スタック構造は、3次元多様体の不変量の崩壊公式を可能にするか？

主な発見

• 安定相対イデアル層のモジュライスタックが、分離的かつ固有なデリーニュ＝ムムフォードスタックであることが証明された。
• この構成は、射影的3次元多様体上の相対ドナルドソン＝トーマス理論の幾何的枠組みを提供する。
• スタックは代表可能であるため、良好な幾何的および関手的性質を保証する。
• スタックの固有性により、コンパクト性が保証され、不変量が有限であるために不可欠である。
• 分離性により、極限の一意性が保証され、モジュライ的制御が可能になる。
• この結果は、ドナルドソン＝トーマス不変量の崩壊公式への基盤的段階を確立する。