[論文レビュー] On higher rank Donaldson-Thomas invariants

Kentaro Nagao|arXiv (Cornell University)|Feb 18, 2010

Advanced Topics in Algebra参考文献 22被引用数 11

ひとこと要約

本稿は、ジョイス＝ソンの壁越え公式を用いて、動機的不変量がDT不変量と一致するクイバーを構成することにより、カルラヤ3次元多様体上の高ランクドナルドソン＝トーマス不変量の整数性および対称性を確立する。クイバー表現および導来同値を用いることで、既知のランク1の場合の結果を高ランクへ拡張する。

ABSTRACT

We study higher rank Donaldson-Thomas invariants of a Calabi-Yau 3-fold using Joyce-Song's wall-crossing formula. We construct quivers whose counting invariants coincide with the Donaldson-Thomas invariants. As a corollary, we prove the integrality and a certain symmetry for the higher rank invariants.

研究の動機と目的

• カルラヤ3次元多様体上の高ランクドナルドソン＝トーマス不変量の整数性を、ランク1の場合を越えて証明すること。
• 形式 $\Omega^+(r,n)$ と $\Omega^+(n-r,n)$ の不変量の間に双対性対称性を確立すること。
• 関係のないクイバーを構成し、その動機的不変量がD0-D6およびD0-D2-D6束縛状態のDT不変量と一致することを示すこと。
• カルラヤ3次元多様体上の連接層の壁越え公式が、グロチェンディーク群間の群準同型を介してクイバー表現のそれと一致することを示すこと。
• 導来同値および非可換クリープント解消を用いて、ランク1の整数性結果を高ランク不変量へ一般化すること。

提案手法

• 3次元多様体の数値的グロチェンディーク群 $\Gamma_X$ へ写像するホモロジー $\pi$ を持つクイバー $Q_{\chi,N}$ を構成し、$\chi = \chi(X)$ とする。
• 有限次元 $Q$-加群の圏における安定性条件 $Z_Q^\pm = Z_X^\pm \circ \pi$ を定義し、元の $X$ 上の安定性と整合性を保つようにする。
• ジョイス＝ソンの壁越え公式（$\Gamma_Q$、$\langle -, - \rangle_Q$、$Z_Q^\pm$ のみに依存）を用い、$\Omega_Q^-(\beta)$ から $\Omega_Q^+(\beta)$ を計算する。
• $n \leq N$ のとき、$\Omega_X^+(r,n) = \sum_{\beta \in \pi^{-1}(r,n)} \Omega_Q^+(\beta)$ を証明し、$X$ 上の不変量とクイバー上の不変量を結びつける。
• 関係のないクイバーのDT不変量が整数であることは既知（[JS, Theorem 7.28]）であるので、$\Omega_X^+(r,n)$ の整数性を導出する。
• [BGP73] の反射関手を用い、クイバーの構造に由来する $\Omega_X^+(r,n) = \Omega_X^+(n-r,n)$ の対称性を示す。

実験結果

リサーチクエスチョン

• RQ1 カルラヤ3次元多様体上の高ランクDT不変量は、クイバー論的技法を用いて整数性が証明可能か？
• RQ2 カルラヤ3次元多様体上の連接層の壁越え公式は、同一の初期データおよび係数を持つクイバーモデルを有するか？
• RQ3 高ランク不変量に対して双対性対称性 $\Omega^+(r,n) = \Omega^+(n-r,n)$ が存在するか？ もし存在するならば、その起源は何か？
• RQ4 特異点の非可換クリープント解消を用いて、クイバー表現により高ランクDT不変量をモデル化できるか？
• RQ5 D0-D6およびD0-D2-D6束縛状態の不変量は、ポテンシャル付きクイバーのそれらとどのように関係するか？

主な発見

• D0-D6束縛状態の高ランクDT不変量 $\Omega_X^+(r,n)$ は整数である。これは、関係のないクイバーのDT不変量 $\Omega_Q^+(\beta)$ の和に等しく、それらが既に整数であることが知られているため。
• $n \leq N$ のとき、対称性 $\Omega_X^+(r,n) = \Omega_X^+(n-r,n)$ が成り立つ。これはクイバー $Q_{\chi,N}$ 上の反射関手に由来する。
• コンパクト化および小さなクリープント解消の場合は、不変量 $\Omega_X^+(r,n)$ はクイバー $Q_\sigma$ および $\hat{Q}_G$ を用いて計算され、$\Omega_Q^-(\beta)$ の明示的公式は補題2.12および2.13に与えられる。
• 遮蔽された $(0,-2)$-曲線に対して、不変量 $\Omega_{\hat{Q},w}^-(r,\alpha)$ は明示的に計算可能である：$\alpha = (n,n+1)$ または $(n+1,n)$ のとき $N$、$\alpha = (n,n)$ のとき $-2$、$r=1$, $\alpha=0$ のとき $1$。
• 次元ベクトル $\alpha = (n,n+1)$ または $(n+1,n)$ の安定モジュールのモジュライ空間は $\mathrm{Spec}(\mathbb{C}[u]/(u^N))$ に同型であり、これは $N$ 個の孤立点と変形同値である。
• 条件 $\langle -, - \rangle_Q = \langle \pi(-), \pi(-) \rangle_X$ および $Z_Q^\pm = Z_X^\pm \circ \pi$ の整合性により、$X$ およびクイバー $Q$ の壁越え公式は同一であり、不変量も一致する。