[論文レビュー] Generating functions of stable pair invariants via wall-crossings in derived categories

Yukinobu Toda|ArXiv.org|May 31, 2008

Algebraic Geometry and Number Theory参考文献 18被引用数 19

ひとこと要約

本稿は、Calabi-Yau 3-fold 上の連続的層の導来圏における壁越え現象とPandharipande-Thomas (PT) 不変量の有理関数予想との間の関係を確立する。極限安定性とJoyceのモチビック積分理論を用いて、仮に仮想クラスに関する重要な技術的問題が解決されれば、PT-生成関数の有理関数性が仮想不変量を含む壁越え公式から導かれることが示される。

ABSTRACT

The notion of limit stability on Calabi-Yau 3-folds is introduced by the author to construct an approximation of Bridgeland-Douglas stability conditions at the large volume limit. It has also turned out that the wall-crossing phenomena of limit stable objects seem relevant to the rationality conjecture of the generating functions of Pandharipande-Thomas invariants. In this article, we shall make it clear how wall-crossing formula of the counting invariants of limit stable objects solves the above conjecture.

研究の動機と目的

• Calabi-Yau 3-fold 上の連続的層の導来圏における壁越え現象として、Pandharipande-Thomas不変量の有理関数予想を解釈すること。
• 極限安定性をBridgeland安定性条件への橋渡しとして用い、安定ペア不変量の生成関数を導来圏における壁越え公式と結びつけること。
• 仮にJoyceの積分理論における仮想クラスに関する技術的問題が解決されれば、PT-生成関数の有理関数性が壁越え公式から導かれるということを示すこと。
• 2項複体を介して安定ペアを導来圏に埋め込み、DT理論における壁越え機構をPT理論へ一般化すること。
• Behrend関数とJoyceの積分理論により定義される仮想不変量が、PT-生成関数の有理関数性をもたらすと仮定する枠組みを提示すること。

提案手法

• Calabi-Yau 3-fold 上に極限安定性を導入し、大スケール極限におけるBridgeland安定性条件の近似として用いる。
• 安定ペア $(F,s)$ を導来圏 $D^b(X)$ 内の2項複体として表現し、カテゴリ $\mathcal{A}^p$ 内の対象と同一視する。
• $\sigma$-極限安定対象のモジュライ空間 $\mathcal{L}_n^\sigma(X,\beta)$ を用いて、重み付きオイラー指標としての数え上げ不変量 $L_{n,\beta}(\sigma)$ を定義する。
• Joyceのモチビック積分理論を適用し、構成可能関数を介して不変量を定義し、カテゴリのグローテンディーク群における壁越え公式を確立する。
• カテゴリ $\mathcal{A}^p$ のグローテンディーク群からそのリー代数への写像 $\Theta'$ を提案し、Behrend関数と仮想クラスと整合する可換関係を満たすことを示す。
• 極限安定不変量 $L_{n,\beta}(\sigma)$ に対する壁越え公式を導出し、$Z_{\rm{PT}}$ の構造を模倣する形で、仮に仮想クラスの整合性が保証されれば有理関数性が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 Pandharipande-Thomas不変量の有理関数予想は、Calabi-Yau 3-fold 上の連続的層の導来圏における壁越え現象として解釈可能か？
• RQ2 Calabi-Yau 3-fold 上の極限安定性は、安定ペア不変量の壁越えとどのように関係するか？
• RQ3 Joyceの積分理論は、仮想不変量とPT理論における生成関数をどのように結びつけるか？
• RQ4 perverse 連続的層のカテゴリのグローテンディーク群上に、Behrend関数を上昇させ、壁越え関係を尊重する標準的な写像 $\Theta'$ が存在するか？
• RQ5 極限安定不変量の壁越え公式が、PT-生成関数の有理関数性をどのように示すのか、どのような条件下で成立するか？

主な発見

• 仮に問題4.18における仮想クラスに関する解決策が得られれば、PT-生成関数 $P_\beta(q) = \sum_n P_{n,\beta} q^n$ の有理関数性が導来圏における壁越え公式から導かれる。
• 安定ペア $(F,s)$ は $D^b(X)$ 内の2項複体として実現され、極限安定性の下でカテゴリ $\mathcal{A}^p$ 内の対象と同一視される。
• 極限安定不変量 $L_{n,\beta}(\sigma)$ の壁越え公式は、PT-生成関数 $Z_{\rm{PT}}$ の構造を模倣しており、$k$ が十分に大きいとき $L_{n,\beta}(\sigma) = (-1)^{\dim \mathop{Pic}(X)} P_{n,\beta}$ が成り立つ。
• 生成関数 $Z_{\rm{PT}}$ は、DT理論に対して得られた展開と類似した展開を許容し、有理関数性の観点から、予想されるGW-DT-PT対応が裏付けられる。
• 主な技術的障害は、現在の不変量が仮想サイクルではなくオイラー指標によって定義されているため、仮想クラスをJoyceの枠組みに組み込むことにある。
• 問題4.18における写像 $\Theta'$ が存在し、必要な可換関係を満たすならば、同様の壁越え機構により、$P_\beta(q)$ の有理関数性に関する予想1.1が証明される。