[論文レビュー] Relative Orbifold Donaldson-Thomas Theory and the Degeneration Formula

Zijun Zhou|arXiv (Cornell University)|Apr 9, 2015

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

ひとこと要約

本稿は、3次元の滑らかで射影的なDeligne-Mumfordスタック（軌道体）に対して、相対Donaldson-Thomas理論および崩壊公式を拡張し、拡張された崩壊およびペアの概念を軌道体の設定に一般化する。安定商の定義により相対DT不変量を定義し、そのモジュライ空間の固有性を証明し、軌道体DT不変量の崩壊公式を構築する。この公式は、軌道体におけるGromov-Witten/DT対応の構造と一致する。

ABSTRACT

We generalize the notion of expanded degenerations and pairs for a simple degeneration or smooth pair to the case of smooth Deligne-Mumford stacks. We then define stable quotients on the classifying stacks of expanded degenerations and pairs and prove the properness of their moduli's. On 3-dimensional smooth projective DM stacks this leads to a definition of relative Donaldson-Thomas invariants and the associated degeneration formula.

研究の動機と目的

• スキームから滑らかなDeligne-Mumfordスタックへの拡張された崩壊およびペアの概念の一般化を図ること。
• 拡張された崩壊およびペアの分類スタック上での安定商およびそのモジュライ空間の固有性の定義と証明。
• Calabi-Yau条件を仮定しない3次元の滑らかで射影的なDMスタックに対する相対Donaldson-Thomas不変量の構成。
• 特に多正則曲線クラスに対して、相対的および数値的設定における軌道体DT不変量の崩壊公式の確立。
• 特に横断的$A_n$-特異点に対して、GW/DT対応図の完成を図るフレームワークの提供。

提案手法

• 標準的族およびその崩壊スタックの構成を通じて、滑らかなDeligne-Mumfordスタックの文脈における拡張された崩壊およびペアの一般化。
• 適切な層およびこれらのスタック上での安定商の導入。有界性、分離性、および適性の数値的基準により、モジュライ空間の固有性を保証。
• 中心ファイバーのヒルバートスタック上に完全な障害理論を構成し、崩壊公式のサイクル版における相対DT不変量の定義。
• 軌道体表面のヒルバートスキームにおける対角のクンメルト分解を用い、崩壊公式の分解を実行。
• 曲線類が粗いモジュライ空間上の類の引き戻しとして得られる多正則の場合に理論を適用し、$q$-重み付きオイラー標数を用いた生成関数を定義。
• ヒルバートスキームのコホモロジーのための同等またはクーヴィー理論的基底（例：中島クーヴィー多様体）を用い、崩壊公式における構造定数の計算。

実験結果

リサーチクエスチョン

• RQ1 スキームから滑らかなDeligne-Mumfordスタックへの拡張された崩壊およびペアの概念をどのように一般化できるか？
• RQ2 軌道体の拡張された崩壊上での1次元安定商のモジュライ空間の固有性を保証する条件は何か？
• RQ3 Calabi-Yau条件を仮定しない3次元の滑らかで射影的なDMスタックに対する相対Donaldson-Thomas不変量は、どのように定義できるか？
• RQ4 軌道体DT不変量の崩壊公式の形は何か？また、軌道体におけるGW/DT対応とどのように関係するか？
• RQ5 多正則曲線クラスは崩壊公式においてどのように振る舞い、数値的バージョンの公式において果たす役割は何か？

主な発見

• 滑らかなDeligne-Mumfordスタックの拡張された崩壊上での1次元安定商のモジュライ空間は、有界性、分離性、および適性の数値的基準により固有であることが示された。
• 中心ファイバーのヒルバートスタック上に完全な障害理論を構成することで、サイクル版の崩壊公式が証明され、全空間の不変量と成分の相対不変量が結びつけられた。
• 多正則曲線クラスに対して、数値的崩壊公式が確立され、中心ファイバーの生成関数が、2つの成分上の相対生成関数の積の和として表され、ヒルバートスキームのコホモロジーからの構造定数で重み付けられている。
• 崩壊公式における構造定数$g^{kl}$は、$A^*( ext{Hilb}^m(D))$における対角のクンメルト分解から生じ、軌道体の場合には非自明である。
• 軌道体表面$D$がADE型（例：$[bC^2/G]$）であるとき、$ ext{Hilb}(D)$のコホモロジーは中島クーヴィー多様体を用いて自然な基底を持つため、崩壊公式の明示的計算が可能になる。
• このフレームワークは、特に$A_n$-特異点に対して、軌道体におけるGW/DT対応図の完成を図る基盤を提供し、DT不変量のクリープント解体予想を支持する。