[論文レビュー] Motivic Donaldson-Thomas invariants of the conifold and the refined topological vertex

Andrew Morrison, Sergey Mozgovoy+2 more|arXiv (Cornell University)|Jul 25, 2011

Algebraic structures and combinatorial models参考文献 38被引用数 10

ひとこと要約

この論文は、クービア表現とポテンシャルを用いて、安定性条件のすべてのチャネルにおいて、解体されたコニファルドのモチーフ的ドナルドソン＝トーマス不変量を計算する。DT/PT対応の完全なモチーフ的精製を確立し、すべてのチャネルにおける仮想モチーフの明示的積公式を通じて、精製されたトポロジカルバーテックス形式との一致を確認する。

ABSTRACT

We compute the motivic Donaldson-Thomas theory of the resolved conifold, in all chambers of the space of stability conditions of the corresponding quiver. The answer is a product formula whose terms depend on the position of the stability vector, generalizing known results for the corresponding numerical invariants. Our formulae imply in particular a motivic form of the DT/PT correspondence for the resolved conifold. The answer for the motivic PT series is in full agreement with the prediction of the refined topological vertex formalism.

研究の動機と目的

• 解体されたコニファルドの安定性パrameter空間のすべてのチャネルにおけるモチーフ的ドナルドソン＝トーマス不変量を計算すること。
• 仮想サイクルのモチーフを用いて、数値的DT不変量をそのモチーフ的精製に一般化すること。
• 仮想モチーフの生成関数を用いて、コニファルドにおけるモチーフ的DT/PT対応を確立すること。
• 特定の変数変換の下で生成関数を一致させることで、精製されたトポロジカルバーテックス形式との整合性を検証すること。

提案手法

• 解体されたコニファルド上の両立的層を表現論によって代数的にモデル化するため、コニファルドクービアとポテンシャルを用いる。
• モチーフ的ホール代数の枠組みにおいて、モチーフ的消滅サイクルと仮想モチーフを用い、モチーフの環 $\mathcal{M}_{\mathbb{C}}$ を用いる。
• 根系 $\Delta_{+} = \Delta^{\mathrm{re}}_{+} \sqcup \Delta^{\mathrm{im}}_{+}$ に基づくモチーフ的生成関数の因数分解性質を用い、実根と虚根に対して異なる積構造を導入する。
• 安定性ベクトル $\zeta$ に応じて、各チャネルにおけるモチーフ的生成関数 $Z_\zeta(y_0, y_1)$ の明示的積公式を導出する。
• トーラス作用の不変性と、タウムクービアへの次元削減を用いて、特に定理2.1の主要評価を計算する。
• 変数変換 $q = \mathbb{L}^{1/2}s$, $t = \mathbb{L}^{-1/2}s$ の下で生成関数 $Z_{\rm PT}(-s,T)$ を一致させることで、精製されたトポロジカルバーテックス形式との一致を確認する。

実験結果

リサーチクエスチョン

• RQ1 解体されたコニファルドの安定性条件のすべてのチャネルにおいて、モチーフ的ドナルドソン＝トーマス不変量はどのように振る舞うか？
• RQ2 仮想モチーフを用いて、コニファルドにおけるモチーフ的DT/PT対応を定式化し、検証できるか？
• RQ3 精製されたトポロジカルバーテックス形式は、クービア表現論によるモチーフ的生成関数とどの程度一致するか？
• RQ4 モチーフ的ミルナー・ファイバーは、数値不変量を仮想モチーフに精製する役割を果たすか？
• RQ5 コhomologicalホール代数の枠組みは、モチーフ的不変量を混合HodgeモジュールのE多項式として解釈するためにどのように用いることができるか？

主な発見

• モチーフ的生成関数 $Z_\zeta(y_0, y_1)$ は、安定性パrameter $\zeta$ のチャネルに応じた積公式で与えられ、$\Delta_+$ の実根と虚根に対して異なる形を取る。
• 実根 $\alpha = (i, i-1)$ または $(i-1, i)$ の場合、系列は $\prod_{j=0}^{\alpha_0 - 1} \left(1 - \mathbb{L}^{-\frac{\alpha_0}{2} + \frac{1}{2} + j} y_0^{\alpha_0} y_1^{\alpha_1}\right)$ である。
• 虚根 $\alpha = (i,i)$ の場合、系列は $\prod_{j=0}^{\alpha_0 - 1} \left(1 - \mathbb{L}^{-\frac{\alpha_0}{2} + 1 + j} y_0^{\alpha_0} y_1^{\alpha_1}\right)$ である。
• モチーフ的PT生成関数は、変数変換 $q = \mathbb{L}^{1/2}s$, $t = \mathbb{L}^{-1/2}s$ の下で、精製されたトポロジカルバーテックス表現 $Z^\text{vertex}_{\rm PT}(t,q,T)$ と一致し、モチーフ的＝精製対応が確認される。
• 結果はモチーフ的ホール代数の枠組みと完全に整合しており、[23]の部分的に予想的な統合写像に依存せず、直接的な計算によって得られている。
• 仮想サイクルの混合HodgeモジュールのE多項式は、$\mathbb{L} \mapsto q$ の特殊化によって得られ、この設定で[12]の公式が回復される。