[論文レビュー] Derived categories of small toric Calabi-Yau 3-folds and counting invariants

Kentaro Nagao|arXiv (Cornell University)|Sep 17, 2008

Algebraic structures and combinatorial models参考文献 31被引用数 45

ひとこと要約

本稿は、アフィントーリックCalabi-Yau 3-foldの小さなクリープント解体と、セミポテンシャルを持つクーヴィーとの間の導来同値性を用いて、 perverse coherent系の数え上げ不変量の生成関数に関する壁越え公式を確立する。主な結果は、ドナルドソン＝トーマス、パンダリパande＝トーマス、非可換ドナルドソン＝トーマス不変量の間の明示的な関係が、壁越え現象を通じて与えられることであり、Ext代数構造とコンパクト型の場合のマクマホン関数から導かれる。

ABSTRACT

We first construct a derived equivalence between a small crepant resolution of an affine toric Calabi-Yau 3-fold and a certain quiver with a superpotential. Under this derived equivalence we establish a wall-crossing formula for the generating function of the counting invariants of perverse coherent systems. As an application we provide certain equations on Donaldson-Thomas, Pandeharipande-Thomas and Szendroi's invariants. Finally, we show that moduli spaces associated with a quiver given by successive mutations are realized as the moduli spaces associated the original quiver by changing the stability conditions.

研究の動機と目的

• アフィントーリックCalabi-Yau 3-foldの小さなクリープント解体における perverse coherent系の数え上げ不変量の生成関数に関する壁越え公式を確立すること。
• コンパクト型の場合の壁越えフレームワークを、小さなトーリックCalabi-Yau 3-foldに対応する一般の台形格子多角形（高さ1）に拡張すること。
• 導来カテゴリおよび安定パラメータを用いて、ドナルドソン＝トーマス、パンダリパande＝トーマス、非可換ドナルドソン＝トーマス不変量を関連付ける明示的方程式を導出すること。
• perverse coherent系のモジュライ空間のオイラー特性の生成関数が、安定対象の自己拡張データによって支配される壁越え公式を満たすことを示すこと。

提案手法

• トーリック幾何学からのティルティングバンドルを用いて、アフィントーリックCalabi-Yau 3-foldの小さなクリープント解体と、セミポテンシャルを持つクーヴィーとの間の導来同値性を構成する。
• セミポテンシャルを持つクーヴィーの表現のモジュライ空間の記述を用い、タウトロジカルバンドルをティルティングバンドルと特定し、自己準同型代数を計算する。
• 安定パラメータのチャネル構造を分析し、壁がアフィンA型根系の虚根に対応することを特定する。
• 量子トーラス代数における因数分解性質を適用し、$ q=1 $ における $ A^{Z}_{l_{ u}}(q^{e_0}x_{f e}) A^{Z}_{l_{ u}}(x_{f e})^{-1} $ の作用を用いて、異なるチャネル間の生成関数を関連付ける。
• 各壁の寄与を、超ポテンシャルからの関係を持つ $ B_E $ としての $ \mathrm{Ext}^1(E,E) $ の代数を用いて計算し、$ f(t)|_{q=1} $ を評価して壁越え因子を求める。
• 結果 [KS] および [MNOP06] を活用し、虚の壁に対応する生成関数がマクマホン関数 $ M(-t)^{e(Y)} $ に一致することを特定し、DT-PT対応を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 小さなトーリックCalabi-Yau 3-foldにおける、 perverse coherent系の数え上げ不変量の生成関数は、安定パラメータ空間の壁を越えてどのように振る舞うか？
• RQ2 この文脈における壁越え現象を支配する明確な数学的構造は何か？また、クーヴィー表現およびセミポテンシャルとどのように関係するか？
• RQ3 一般の小さなトーリックCalabi-Yau 3-foldの設定において、DT-PT対応は壁越え公式から導出可能か？
• RQ4 壁上に存在する安定対象の自己拡張構造は、壁越え寄与にどのように寄与するか？
• RQ5 量子トーラス代数および因数分解性質は、壁越え挙動をどのように符号化するか？

主な発見

• アフィントーリックCalabi-Yau 3-foldの小さなクリープント解体における、 perverse coherent系のモジュライ空間のオイラー特性の生成関数に関する壁越え公式が確立された。
• 壁における壁越え寄与は、$ B_E $-加群の巡回的構造を数える生成関数 $ f(t) $ によって決定され、ここで $ B_E $ は超ポテンシャルからの関係を持つ $ \mathrm{Ext}^1(E,E) $ の代数である。
• $ \mathrm{ext}^1(E,E) = 0 $ の場合、壁越え因子は $ 1 + t $ となり、自明な自己拡張に対応する。
• $ \mathrm{ext}^1(E,E) = 1 $ の場合、因子は $ (1 - t)^{-1} $ に変化し、非自明な変形理論を反映する。
• $ \mathcal{O}_y $-層に対応する虚の壁に対しては、寄与が $ M(-t)^{e(Y)} $ に一致し、マクマホン関数をファイバーのオイラー特性でべき乗したものとなる。これはDT-PT対応を確認する。
• 量子トーラス代数における公式 $ \prod^\rightarrow_k A^{Z^+}_{l_k} = A^Z_{l_\infty} \cdot \left( \prod^\leftarrow_k A^{Z^-}_{l_k} \right) \cdot A^Z_{l_\infty}^{-1} $ が壁越え構造を符号化しており、 $ A^Z_{l_\infty}(q^{e_0}t) A^Z_{l_\infty}(t)^{-1} \big|_{q=1} = f(t)^{e_0} $ が主要な寄与を生み出す。