[論文レビュー] Categorification of Donaldson-Thomas invariants via Perverse Sheaves

Young‐Hoon Kiem, Jun Li|arXiv (Cornell University)|Dec 23, 2012

Algebraic Geometry and Number Theory参考文献 34被引用数 28

ひとこと要約

本稿は、Calabi-Yau 3-fold 上の安定層のモジュライ空間に、消失サイクルの perverse 奏のカテゴリフィケーションを、Donaldson-Thomas 不変量に対して構築する。ゲージ理論的手法と Chern-Simons 功能を用いて、局所的に定義された perverse 奏をグローバルに構成することで、$sl_2 \times sl_2$ 活動を通じて Gopakumar-Vafa 不変量を導くコhomology 理論を定義し、相対的ハード・リーマンの定理により、GW 不変量の数学的枠組みを提供する。

ABSTRACT

We show that there is a perverse sheaf on a fine moduli space of stable sheaves on a smooth projective Calabi-Yau 3-fold, which is locally the perverse sheaf of vanishing cycles for a local Chern-Simons functional, possibly after taking an etale Galois cover. This perverse sheaf lifts to a mixed Hodge module and gives us a cohomology theory which enables us to define the Gopakumar-Vafa invariants mathematically.

研究の動機と目的

• Calabi-Yau 3-fold 上の安定層のモジュライ空間に、Chern-Simons 功能の消失サイクルの層と局所的に同型であるグローバルに定義された perverse 奏を構成すること。
• この perverse 奏を混合 Hodge モジュールに持ち上げることで、Donaldson-Thomas 不変量のコhomological 解釈を可能とすること。
• 得られたコhomology 理論を用いて、hypercohomology 上の $sl_2 \times sl_2$ 活動を通じて Gopakumar-Vafa 不変量を幾何学的に定義すること。
• K3 ファイバーを持つ Calabi-Yau 3-fold の場合に、Gopakumar-Vafa 不変量と Gromov-Witten 不変量の予想される関係を検証すること。

提案手法

• ゲージ理論を用いて、半接続の空間内の有限次元部分多様体（CS チャート）を構成し、Chern-Simons 功能の臨界集合がモジュライ空間の開部分集合と同型となるようにすること。
• Sebastiani-Thom 同型とホモトピー不変性を用いて、局所的な消失サイクルの perverse 奏を、モジュライ空間上でのグローバルな perverse 奏に貼り合わせること。
• 局所チャート上の混合 Hodge モジュールの貼り合わせを通じて、グローバルな perverse 奏上に混合 Hodge モジュール構造を構成すること。
• K3 曲面の Hilbert-Chow 射影への相対的ハード・リーマンの定理を適用し、 perverse 奏の hypercohomology 上に $sl_2 \times sl_2$ 活動を誘導すること。
• Fourier-Mukai 変換と対称群不変量を用いて、楕円的 K3 曲面の点の Hilbert スキームのコhomology を計算すること。
• コhomology の Poincaré 級数と既知の BPS 不変量を比較し、Gopakumar-Vafa 不変量が Gromov-Witten の BPS 不変量と一致することを検証すること。

実験結果

リサーチクエスチョン

• RQ1 Calabi-Yau 3-fold 上の安定層のモジュライ空間に、Chern-Simons 功能の消失サイクルの層と局所的に同型であるグローバルな perverse 奏を構成できるか？
• RQ2 この perverse 奏を介したコhomology 理論が、Donaldson-Thomas 不変量をカテゴリフィケーションし、Gopakumar-Vafa 不変量の幾何的定義を可能にするか？
• RQ3 perverse 奏の hypercohomology 上の $sl_2 \times sl_2$ 活動が、既知の生成関数を用いて、すべての genus の Gromov-Witten 不変量を回復するのに十分か？
• RQ4 K3 ファイバーを持つ Calabi-Yau 3-fold の場合、この方法で定義された Gopakumar-Vafa 不変量は、Gromov-Witten 理論からの BPS 不変量と一致するか？

主な発見

• Calabi-Yau 3-fold 上の安定層のモジュライ空間 $X$ 上に、Chern-Simons 功能の消失サイクルの層と局所的に同型であるグローバルな perverse 奏 $P$ が構成された。
• hypercohomology $\mathbb{H}^i(X,P)$ は、$t = -1$ における値が古典的 Donaldson-Thomas 不変量に一致する DT（ローレンツ）多項式を定義する。
• 相対的ハード・リーマンの定理により、$\mathbb{H}^*(X,\hat{P})$ 上に $sl_2 \times sl_2$ 活動が誘導され、これにより Gopakumar-Vafa 不変量が定義可能となった。ここで $\hat{P}$ は $P$ の重みフィルトレーションの順次的層である。
• 楕円的 K3 曲面 $Y_0$ が $Y \to \mathbb{P}^1$ にファイバーする場合、$P$ のコhomology から得られる Gopakumar-Vafa 不変量 $n_h(k)$ は、Gromov-Witten 理論からの BPS 不変量 $r_h(k)$ と一致し、Conjecture 7.4 が検証された。
• K3 曲面 $S$ 上の点の Hilbert スキーム $S^{[k]}$ のコhomology の Poincaré 級数は、対称群不変量と分解定理を用いて計算され、GV 不変量の生成関数が得られた。
• この構成により、$X$ 上の perverse 奏を用いて定義された Gopakumar-Vafa 不変量が、[12] に示された関係式に従い、すべての genus の Gromov-Witten 不変量 $N_g(\beta)$ を与えることが確認された。