[論文レビュー] Donaldson-Thomas theory for Calabi-Yau 4-folds

Yalong Cao, Naichung Conan Leung|arXiv (Cornell University)|Jul 29, 2014

Algebraic Geometry and Number Theory参考文献 85被引用数 44

ひとこと要約

本稿は、複素自己双対方程式の解のモジュライ空間を通じて、$DT_4$ 不変量を定義することにより、Calabi-Yau 4-fold に対する Donaldson-Thomas 理論を確立する。ゲージ理論的および導来幾何学的手法を用いて仛想的サイクルを構成し、Borisov-Joyce の仛想的サイクルと同値であることを証明する。また、$SU(4)$ トロノミーを持つ $DT_4$ 不変量のための方向データの存在を示す。理論には、トーリック Calabi-Yau 4-fold における等長局所化と、関係を持つクーヴィーのための非可換版が含まれる。

ABSTRACT

Let $X$ be a compact complex Calabi-Yau 4-fold. Under certain assumptions, we define Donaldson-Thomas type deformation invariants ($DT_{4}$ invariants) by studying moduli spaces of solutions to the Donaldson-Thomas equations on $X$. We also study sheaves counting problems on local Calabi-Yau 4-folds. We relate $DT_{4}$ invariants of $K_{Y}$ to the Donaldson-Thomas invariants of the associated Fano 3-fold $Y$. When the Calabi-Yau 4-fold is toric, we adapt the virtual localization formula to define the corresponding equivariant $DT_{4}$ invariants. We also discuss the non-commutative version of $DT_{4}$ invariants for quivers with relations. Finally, we compute $DT_{4}$ invariants for certain Calabi-Yau 4-folds when moduli spaces are smooth and find a $DT_{4}/GW$ correspondence for $X$. Examples of wall-crossing phenomenon in $DT_{4}$ theory are also given.

研究の動機と目的

• コンパクトな Calabi-Yau 4-fold 上の正則バンドルのモジュライ空間に対する仛想的基本類を定義し、Donaldson-Thomas 理論を4つの複素次元に拡張すること。
• 複素自己双対方程式の解を通じて $DT_4$ 不変量を構成し、Borisov-Joyce 理論の貼り合わせデータを用いてその選択に依存しないことを証明すること。
• Seidel-Thomas トランスフォームと決定的ラインバンドルの自明性を用いて、$SU(4)$ トロノミーを持つ Calabi-Yau 4-fold における $DT_4$ 不変量の方向データの存在を確立すること。
• トーリック Calabi-Yau 4-fold に対して等長局所化を用い、クーヴィーと関係を用いて非可換設定に理論を拡張すること。
• 特定のケースにおける $DT_4$ 不変量を計算し、特別なトロノミーの場合に $DT_4/GW$ 対応を検証すること。

提案手法

• *$DT_4$* 演算子と局所 Kuranishi モデルを用いて、安定な正則バンドルのモジュライ空間に仛想的サイクルを構成する。
• 仮想サイクルの構成を一般化された $DT_4$ モジュライ空間に適用し、モノドロミー群作用の下での不変性を証明する。
• ゲージ理論的 $DT_4$ 方程式の定式化を用いて、Borisov-Joyce の導来 $C^{ty}$-幾何学的構成と同値な仛想的基本類を定義する。
• 仛想的局所化を適用して、モジュライ空間上のトーラス作用を用いて、トーリック Calabi-Yau 4-fold 上の等長 $DT_4$ 不変量を計算する。
• 関係を持つフレームドクーヴィーのモジュライ空間を用いて、非可換 $DT_4$ 不変量を導入し、可換の場合を一般化する。
• 奇数次ホモロジー群 $H^{odd}(X,\mathbb{Z})=0$ および $Hol(X)\subseteq Spin(7)$ の下で、$Spin(7)$ インスタントンモジュライ空間上の決定的ラインバンドルの可約性を証明し、整数値 $DT_4$ 不変量の可能性を示す。

実験結果

リサーチクエスチョン

• RQ1 ゲージ理論的方程式を用いて、Calabi-Yau 4-fold 上の正則バンドルのモジュライ空間に対して仛想的基本類を定義できるか？
• RQ2 特別なトロノミーの場合に、$DT_4$ 不変量と Gromov-Witten 不変量の関係は何か？
• RQ3 $DT_4$ 不変量が $\mathbb{Z}_2$ ではなく $\mathbb{Z}$ 値をとる条件は何か？
• RQ4 $DT_4$ 仛想的サイクルは、局所チャートや分割に依存せずに構成可能であり、Borisov-Joyce の構成と同値であるか？
• RQ5 Seidel-Thomas トランスフォームと $Spin(7)$ インスタントンは、$DT_4$ 不変量のための方向データの定義において果たす役割は何か？

主な発見

• $DT_4$ 仛想的サイクルは、ゲージ理論的 $DT_4$ 方程式を用いて構成され、Borisov-Joyce の導来 $C^{ty}$-幾何学的構成と同値である。両者とも、局所チャートや分割の選択に依存しない。
• $H_{odd}(X,\mathbb{Z})=0$ かつ $Hol(X)=SU(4)$ を満たす Calabi-Yau 4-fold に対して、モジュライ空間上のインデックスバンドルの決定的ラインバンドルは自明であるため、整数値 $DT_4$ 不変量が可能である。
• $\mathcal{M}_c$ 上のセール双対ペア $(\mathcal{L}_{\mathbb{C}}, Q_{Serre})$ の構造群は $SO(1,\mathbb{C})$ に低下可能であり、これにより $DT_4$ 理論における方向データの存在が保証される。
• トーリック Calabi-Yau 4-fold 上の等長 $DT_4$ 不変量は、仛想的局所化を用いて定義され、対称的な場合に明示的な計算が可能である。
• 2つの場合で $DT_4/GW$ 対応が検証された：$Hol(X)=SU(4)$ および $Hol(X)=Sp(2)$ の場合で、特定の条件下で不変量が一致した。
• 1点のイデアル・シェーブルのモジュライ空間に対して、$DT_4$ 不変量が明示的に計算され、理論内でウォールクロッシング現象が観察された。