[論文レビュー] Non-commutative Donaldson-Thomas theory and vertex operators

Kentaro Nagao|arXiv (Cornell University)|Oct 29, 2009

Algebraic structures and combinatorial models参考文献 29被引用数 6

ひとこと要約

本稿は、Bridgeland安定性条件を用いて、トーリックCalabi-Yau 3-foldにおける非可換Donaldson-Thomas不変量の幾何的定義を確立し、頂点演算子法を用いてその計算を導出する。組み合わせ的定義と幾何的定義の同値性を証明し、壁越え現象が頂点演算子の交換関係に対応することを示し、t-構造に基づくモジュライ空間と導来カテゴリにおけるクリスタル模型を通じて不変量を計算する。

ABSTRACT

In arXiv:0907.3784, we introduced a variant of non-commutative Donaldson-Thomas theory in a combinatorial way, which is related with topological vertex by a wall-crossing phenomenon. In this paper, we (1) provide an alternative definition in a geometric way, (2) show that the two definitions agree with each other and (3) compute the invariants using the vertex operator method, following Okounkov-Reshetikhin-Vafa and Young. The stability parameter in the geometric definition determines the order of the vertex operators and hence we can understand the wall-crossing formula in non-commutative Donaldson-Thomas theory as the commutator relation of the vertex operators.

研究の動機と目的

• 非可換クレパント解消の導来カテゴリにおけるBridgeland安定性条件を用いた非可換Donaldson-Thomas不変量の幾何的定義の提供。
• 新しく提示された幾何的定義と、既に確立されたトポロジカルボラムを用いた組み合わせ的定義との同値性の証明。
• 頂点演算子技法を用いて開き不変量を計算し、それらを頂点演算子の交換関係と関連付ける。
• 安定性パrameter ζを頂点演算子の順序付けに結びつけ、壁越えを演算子の交換関係として実現する。

提案手法

• ζでパrameter化されたBridgeland安定性条件によって誘導される、Aσ-加群の導来カテゴリ上のt-構造の心として、コアカテゴリ A^ζ を定義する。
• M^ncDT(ζ,ν,λ) を、非可換な理想層の類似物である P^ζ_{ν,λ} = H^0_{A^ζ}(I_{ν,λ}) の商のGIT商として構成する。
• 滑らかな解体 Yσ と非可換代数 Aσ 間の導来同値を用いて、A^ζ 内の対象を Yσ 上の複体に同定する。
• モジュライ空間を、t-構造の有限次元コア A^fin^ζ 内の商の空間として実現し、元のモジュライ空間と同型であることを証明する。
• [ORV06] および [BY10] の頂点演算子法を適用し、3次元ヤング図形から構成される生成関数を用いて不変量を計算する。
• 3次元ヤング図形の箱が頂点演算子代数の表現における基底ベクトルに対応するクリスタル模型を構築し、モジュール構造が Aσ のクーヴァ構造と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 非可換クレパント解消の導来カテゴリにおけるBridgeland安定性条件を用いた、非可換Donaldson-Thomas不変量の幾何的定義はどのように可能か？
• RQ2 トーリックCalabi-Yau 3-fold の文脈において、組み合わせ的定義と幾何的定義の間の明確な関係は何か？
• RQ3 安定性パrameter ζ は、不変量の計算における頂点演算子の順序付けをどのように制御するか？
• RQ4 非可換DT理論における壁越え現象は、頂点演算子間の交換関係として解釈可能か？
• RQ5 頂点演算子を用いて得られた不変量と、トポロジカルボラム構成による不変量は、どのように比較できるか？

主な発見

• 非可換DT不変量の幾何的定義と組み合わせ的定義は同値であり、理論の厳密な基盤を確立する。
• 安定性パrameter ζ は頂点演算子の順序付けを決定し、壁越えはこれら演算子の交換関係に正確に対応する。
• モジュライ空間 M^ncDT(ζ,ν,λ) は、有限次元コア A^fin^ζ 内の商の空間と同型であり、効果的な計算が可能である。
• 不変量は頂点演算子法により計算され、3次元ヤング図形から構成される生成関数がクーヴァ代数の表現論を符号化する。
• クリスタル模型では、3次元ヤング図形の箱が、モジュール構造の直和としての基底ベクトルに対応し、モジュール写像がクーヴァの矢印と一致する。
• Aσ∘θ∘θi の作用の下でも、クリスタル模型と層論的構成との同型が保たれ、幾何的および代数的枠組みの整合性が確認される。