[論文レビュー] Derived category of coherent sheaves and counting invariants

Yukinobu Toda|arXiv (Cornell University)|Apr 15, 2014

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

ひとこと要約

本稿は、Calabi-Yau 3-fold 上の連接層の導来圏における Bridgeland 穩定構造を介して、Donaldson-Thomas (DT) 不変量とモジュラー形式の間に深い接続を確立する。生成関数が崩れ変換（flop）に対してメロモルフィックなヤコビ形式による乗法的変換を受けることを証明し、S双対性予想に対する強い証拠を提供するとともに、数え上げ幾何学における数学的構造を通じて OSV 予想を精緻化する。

ABSTRACT

We survey recent developments on Donaldson-Thomas theory, Bridgeland stability conditions and wall-crossing formula. We emphasize the importance of the counting theory of Bridgeland semistable objects in the derived category of coherent sheaves to find a hidden property of the generating series of Donaldson-Thomas invariants.

研究の動機と目的

• Bridgeland 穏定構造を介して、Donaldson-Thomas 不変量の生成関数の背後にある隠れたモジュラー構造を理解すること。
• 弦理論における S 双対性と OSV 予想を、DT 不変量と結びつける数学的枠組みを確立すること。
• DT 不変量が崩れ変換に対してヤコビ形式による乗法的変換を受けることを証明し、モジュラー性の証拠を提供すること。
• D6-反D6 ブラネー系における Denef-Moore 予想の関係を、DT 不変量の生成関数とトポロジカル弦理論の分配関数の関係として精緻化すること。
• 捩れ層の DT 不変量の生成関数が有理関数性およびモジュラー対称性の性質を示すことを示すこと。

提案手法

• Calabi-Yau 3-fold 上の連接層の導来圏における半安定対象を、Bridgeland 穏定構造を用いて定義・数える。
• 壁を越える公式を適用して、異なる安定構造の間の不変量を関連づけ、変形におけるモジュライ空間の研究を可能にする。
• Mukai ベクトルとチャーン類のデータを用いて、DT 不変量の生成関数を構成し、係数として $H$-半安定層の数を数える。
• Behrend 関数と仮想基本サイクルを用いて、重み付きオイラー数を DT 不変量として定義する。
• トーラス局所化とモチーフ的ホール代数の技法を用いて不変量を計算し、有理関数性およびモジュラー性の性質を検証する。
• 特に、デデキンドのエータ関数とシータ関数を用いたヤコビ形式の変換法則を応用し、DT 生成関数の崩れ不変性を記述する。

実験結果

リサーチクエスチョン

• RQ1 連接層の導来圏における壁を越える際、Donaldson-Thomas 不変量の生成関数はどのように振る舞うか？
• RQ2 DT 不変量の生成関数は、特に崩れ変換の下でどのようなモジュラー性を示すか？
• RQ3 S 双対性予想が、崩れ変換における変換法則を用いて数学的に検証可能か？
• RQ4 ブラックホールのエントロピーに関する OSV 予想は、DT 不変量の生成関数と Gromov-Witten 不変量の間で、どの程度関連しているか？
• RQ5 Bridgeland 穏定構造の仮定の下で、D6-反D6 ブラネー系に関する Denef-Moore 予想の非重み付き版は数学的に正当化されるか？

主な発見

• Calabi-Yau 3-fold 上の曲線の Hilbert スキームの重み付きオイラー数の商関数は、$ q \to 1/q $ に対して不変な有理関数である。これは MNOP 有理関数性予想の主要予測を確認する。
• Mukai ベクトル $ (0, P, -\beta, -n) $ を持つ層の DT 不変量の生成関数は、定理 4.3 で示されるように、崩れ変換に対してメロモルフィックなヤコビ形式による乗法的変換を受ける。
• 変換にはデデキンドのエータ関数 $ \theta(q) $ とヤコビのシータ関数 $ \theta_{1,1}(q,t) $ が含まれており、DT 理論における深いモジュラー構造を示唆する。
• 仮定としての予想 3.14 の下で、Denef-Moore 予想の非重み付き版が証明され、D6-反D6 ブラネー系が DT 不変量と結びつく。
• 生成関数 $ \text{DT}_H(0,P,-\beta,-n) $ は、崩れ変換の下でモジュラー変換性を示し、DT 理論における S 双対性予想に対する強い証拠を提供する。
• 系列 $ \text{DT}_H(mH) $ は、$ w = -1 $ におけるカットオフ生成関数の微分に等しく、ある種の次数の上限を除いて成り立つ。これは OSV 予想の数学的定式化を支持する。