[論文レビュー] Hall algebras in the derived category and higher rank DT invariants

Yukinobu Toda|arXiv (Cornell University)|Jan 27, 2016

Algebraic structures and combinatorial models参考文献 34被引用数 19

ひとこと要約

本稿は、Ben-Bassat-Brav-Bussi-JoyceおよびAlper-Hall-Rydhの結果を組み合わせることで、Calabi-Yau 3-fold 上の連接層の導来圏における半シュール対象のモジュライスタックの長年の予想であった局所解析的記述を確立した。これにより、主要な技術的ギャップが解消され、壁越え公式の厳密な適用が可能となり、導来圏の文脈における高ランクDT/PT対応とDT不変量の母関数の有理型の証明が可能になった。

ABSTRACT

We remark that the combination of the works of Ben-Bassat-Brav-Bussi-Joyce and Alper-Hall-Rydh imply the conjectured local description of the moduli stacks of semi-Schur objects in the derived category of coherent sheaves on projective Calabi-Yau 3-folds. This result was assumed in the author's previous papers to apply wall-crossing formulas of DT type invariants in the derived category, e.g. DT/PT correspondence, rationality, etc. We also show that the above result is applied to prove the higher rank version of DT/PT correspondence and rationality.

研究の動機と目的

• 導来圏におけるDT不変量の壁越え公式の構築における長年の技術的ギャップを解消すること。
• Calabi-Yau 3-fold 上の連接層の導来圏における半シュール対象のモジュライスタックの局所解析的構造を確立すること。
• 高ランク設定におけるDT/PT対応および有理型に関する先行研究における予想的仮定を排除すること。
• 導来圏の文脈において、高ランク版のDT/PT対応およびDT不変量の母関数の有理型を証明すること。

提案手法

• 導来モジュライスタックの臨界チャートに関するBen-Bassat-Brav-Bussi-Joyceの結果と、Alper-Hall-Rydhの代数的スタックに関する研究を組み合わせ、局所商構造を確立する。
• Calabi-Yau 3-fold 上の連接層の導来圏における t-構造の心に対して、導来Hall代数フレームワークを適用する。
• モチーフ的Hall代数からポissonトーラスへのポアソン代数準同型を用いて、壁越えの挙動を符号化する。
• モチーフ的積分とモチーフ的関係を用いて、Hall代数の要素から整数値不変量を定義・計算する。
• 統合写像を適用して母関数を導出し、積分展開公式を証明する。
• 周期性と有界性の議論を用いて、母関数の有理型およびローレンツ多項式構造を示す。

実験結果

リサーチクエスチョン

• RQ1 Calabi-Yau 3-fold の導来圏における半シュール対象のモジュライスタックの局所解析的構造は、厳密に確立可能か？
• RQ2 局所構造の予想を仮定せずに、導来圏におけるDT不変量の壁越え公式は成立するか？
• RQ3 Hall代数の技法を用いて、高ランク版のDT/PT対応を厳密に証明できるか？
• RQ4 高ランクDT不変量の母関数は有理関数か、ローレンツ多項式型か？

主な発見

• 半シュール対象のモジュライスタックの局所構造は、G-不変関数の臨界集合として厳密に確立され、先行研究における主要な技術的仮定が解消された。
• 導来圏におけるDT不変量の壁越え公式は、基礎となる局所記述が確認されたため、数学的に厳密になった。
• 高ランクDT/PT対応は、L-不変量とPT-母関数を含む積分展開公式により証明された。
• L-不変量の母関数は $ q^{1/6} $ におけるローレンツ多項式として示され、有限な台を持つ強力な有限性が裏付けられた。
• ランク $ n $、次数 $ \beta $ の不変量の母関数は、$ q $ における有理関数であり、$ n \mapsto n + \beta \cdot \omega $ における周期性を示す。
• 積分展開公式 (52) は、PT-母関数がL-不変量と有理関数項と明示的に関係することを示しており、有理型の確認と、以前の結果の高ランク一般化を提供している。