[論文レビュー] Stability structures, motivic Donaldson-Thomas invariants and cluster transformations

Maxim Kontsevich, Yan Soibelman|ArXiv.org|Nov 16, 2008

Algebraic structures and combinatorial models参考文献 71被引用数 730

ひとこと要約

本稿は、安定構造とモチーフ的ホール代数を用いて、非可換3次元カルラビ＝ヤウ圏における一般化されたドナルドソン＝トーマス（DT）不変量の枠組みを確立する。安定条件の変更に伴うこれらの不変量のウォールクロッシング公式を導出し、量子DT不変量がクイバーの変異に関してクラスター型変換により共変的に変化することを証明する。また、準古典的極限では既知のクラスター変換が回復される。

ABSTRACT

We define new invariants of 3d Calabi-Yau categories endowed with a stability structure. Intuitively, they count the number of semistable objects with fixed class in the K-theory of the category ("number of BPS states with given charge" in physics language). Formally, our motivic DT-invariants are elements of quantum tori over a version of the Grothendieck ring of varieties over the ground field. Via the quasi-classical limit "as the motive of affine line approaches to 1" we obtain numerical DT-invariants which are closely related to those introduced by Behrend. We study some properties of both motivic and numerical DT-invariants including the wall-crossing formulas and integrality. We discuss the relationship with the mathematical works (in the non-triangulated case) of Joyce, Bridgeland and Toledano-Laredo, as well as with works of physicists on Seiberg-Witten model (string junctions), classification of N=2 supersymmetric theories (Cecotti-Vafa) and structure of the moduli space of vector multiplets. Relating the theory of 3d Calabi-Yau categories with distinguished set of generators (called cluster collection) with the theory of quivers with potential we found the connection with cluster transformations and cluster varieties (both classical and quantum).

研究の動機と目的

• 非可換3次元カルラビ＝ヤウ圏におけるドナルドソン＝トーマス不変量を安定条件を用いて一般化すること。
• モチーフ的ホール代数を介してモチーフ的DT不変量を定義し、その整数性とウォールクロッシング行動を確立すること。
• 量子DT不変量がクイバーの変異に関して共変的に変化することを示し、クラスター変換と関連付けること。
• シンプレクティック二重トーラス上の古典的クラスター変換を回復する、不変量の準古典的極限を確立すること。
• 自己同型 $Φ_{\mathcal{C}} = \operatorname{Ad}_{A_{\mathcal{C}}}^{-1} \circ \tau$ の共軌道が変異に関して不変であることを証明し、クイバーのカテゴリカル不変量を提供すること。

提案手法

• 重層付きリ Lie 代数上の安定データを用いて、モチーフ的ホール代数構成を通じてモチーフ的DT不変量を定義する。
• 特異点を取り扱い、不変量を構成するために、等長的設定におけるモチーフ的ミラー・ファイバーとモチーフ的関数を導入する。
• バヘンドのマイクロ局所公式を適用して、対称的オブstruction理論設定における仮想的数え上げを定義する。
• クイバーに付随する量子トーラスを構成し、自己同型 $\Phi_Q = \operatorname{Ad}_{\mathbf{E}_Q}^{-1} \circ \tau$ を定義してDT不変量を符号化する。
• クイバーの変異における生成子の変換を記述するために、同型および共軌道の合成である $C_{Q,0}$ の作用を導出する。
• 準古典的極限を取ることで、シンプレクティック二重トーラス上の座標に関して既知の公式に一致するクラスター変換を回復する。

実験結果

リサーチクエスチョン

• RQ1 非可換3次元カルラビ＝ヤウ圏におけるモチーフ的DT不変量は、ウォールクロッシングにおいてどのように振る舞うか？
• RQ2 クイバーの変異における量子DT不変量の変換則は何か？
• RQ3 モチーフ的ホール代数構成は、DT不変量の整数性をどのように導くか？
• RQ4 準古典的極限において、自己同型 $\Phi_Q$ とクラスター変換の関係は何か？
• RQ5 $t$-構造の心が有限生成である場合、$\Phi_{\mathcal{C}}$ の共軌道は安定条件の変更に対して不変か？

主な発見

• 自己同型 $\Phi_Q = \operatorname{Ad}_{\mathbf{E}_Q}^{-1} \circ \tau$ は量子DT不変量を符号化し、クイバーの変異に関して共変的に変化する。
• $C_{Q,0}$ は $C_{Q,0} \circ \Phi_Q = \Phi_{Q'} \circ C_{Q,0}$ を満たし、変異におけるDT不変量構造の不変性を証明する。
• 準古典的極限において、$C_{Q,0}$ の生成子への作用は、$y_i$ と $x_i$ 座標に関して標準的なクラスター変換公式を再現する。
• $\Phi_Q$ の共軌道はクイバーの変異に関して不変であり、非可換設定におけるカテゴリカル不変量を提供する。
• 自己同型 $\Phi_Q$ の準古典的極限は、$y_i = -\prod_j x_j^{a_{ij}}$ で定義される多様体 $N$ を保存する。これにより代数的構造と幾何的クラスター多様体が結びつく。
• $t$-構造の心が有限生成である場合、$\Phi_{\mathcal{C}}$ の共軌道は安定条件の選択に依存せず、強固な不変量を確立する。