[論文レビュー] HOMFLY polynomials, stable pairs and motivic Donaldson-Thomas invariants

Duiliu-Emanuel Diaconescu, Z Hua+1 more|arXiv (Cornell University)|Feb 21, 2012

Algebraic Geometry and Number Theory参考文献 39被引用数 5

ひとこと要約

本稿は、平面曲線特異点のヒルベルト scheme 不変量をコンpaktoなカラビ＝ヤウ3次元多様体上のフレームド安定ペア不変量に同一視することにより、オブロムコフ＝シャンデ予想のカラビ＝ヤウ3次元多様体的解釈を確立する。モチーフ的ドナルドソン＝トーマス理論を用いて、代数的ケーブルに対して自然なモチーフ的不変量を構成し、異なる安定パラメータにおける不変量を結ぶ壁越え公式を導出し、分割の積による恒等式を通じて、予想されたHOMFLY多項式の構造と一致する母関数を得る。

ABSTRACT

Hilbert scheme topological invariants of plane curve singularities are identified to framed threefold stable pair invariants. As a result, the conjecture of Oblomkov and Shende on HOMFLY polynomials of links of plane curve singularities is given a Calabi-Yau threefold interpretation. The motivic Donaldson-Thomas theory developed by M. Kontsevich and the third author then yields natural motivic invariants for algebraic knots. This construction is motivated by previous work of V. Shende, C. Vafa and the first author on the large $N$ duality derivation of the above conjecture.

研究の動機と目的

• フレームド安定ペア理論を用いて、代数的ケーブルのための大N双対性に対応する数学的構成を提供すること。
• 一般の代数的ケーブルに対して、ラグランジュ境界条件を伴うドナルドソン＝トーマスまたは安定ペア不変量を定義するギャップを解消すること。
• 壁越えを介して、ネストドヒルベルトスキームの位相的不変量とフレームド安定ペアモジュライ空間の間の対応を確立すること。
• カラーリングされたHOMFLY多項式の構造と一致するモチーフ的不変量の母関数を導出すること。

提案手法

• アフィン曲線 $ C^\bullet $ をコンパクトなカラビ＝ヤウ3次元多様体 $ X $ に埋め込み、射影的完備化 $ C \subset \mathbb{P}^2 $ を用いて、$ X $ 上の $ C $-フレームド安定ペアを定義する。
• $ C $-フレームド安定ペアを、$ F $ が $ C^\circ \cup C_0 $ に台を持つように、$ \mathcal{O}_Y \to F $ なる準同型として定義し、$ C^\circ $ に沿って多重度1で、スロープ安定性条件を満たすようにする。
• 導来カテゴリの壁越え技法を用いて、$ b = -\infty $ と $ b = 0^- $ の2つの安定性チャネル間の $ C $-フレームド安定対象を関連付ける。
• モチーフ的ホール代数形式的フレームワークを用いて、壁越え公式により、$ b = -\infty $ における不変量を $ b = 0^- $ における不変量と精細不変量 $ N^{\text{top}}(r,n) $ を用いて表現する。
• 母関数の恒等式 $ Z^{\text{top}}_{-\infty} = \exp\left[ \sum (-1)^n n N^{\text{top}}(r,n) T^r u^n \right] Z^{\text{top}}_{0-} $ を導出し、これは $ \prod_{k \geq 1} (1 + T u^k)^k $ に簡略化される。
• 変数 $ T, u $ を $ q_0, q_1 $ に関連づけることで、[40] の既知の結果と一致することを検証し、ベヘンド関数に基づく不変量と一貫性があることを確認する。

実験結果

リサーチクエスチョン

• RQ1 フレームド安定ペア不変量が、平面曲線特異点のリンクのHOMFLY多項式不変量をカラビ＝ヤウ3次元多様体上で実現できるか？
• RQ2 ラグランジュ型の台を持つフレームド安定ペアを用いて、代数的ケーブルのモチーフ的ドナルドソン＝トーマス不変量をどのように定義できるか？
• RQ3 $ C $-フレームド perverse coherent sheaf の文脈において、異なる安定パラメータにおける不変量を結ぶ正確な壁越え公式は何か？
• RQ4 これらの不変量の母関数は、オブロムコフ＝シャンデ予想が予測する積構造を再現するか？
• RQ5 精細不変量 $ N^{\text{top}}(r,n) $ は明示的に計算可能であり、全モチーフ的分割関数を再構成するために使用できるか？

主な発見

• $ b = -\infty $ における $ C $-フレームド安定ペア不変量の母関数は $ \prod_{k \geq 1} (1 + T u^k)^k $ であり、HOMFLY多項式母関数の予想された形と一致する。
• 精細不変量 $ N^{\text{top}}(r,n) $ は $ n \equiv 0 \mod r $ の場合にのみ非ゼロであり、そのとき $ (-1)^{r-1}/r^2 $ に等しい。
• 壁越え公式により、$ b = -\infty $ と $ b = 0^- $ における不変量の差が、$ (r,n) $ の分割の和として表され、重みは $ P^{\text{top}}_{0-}(r',n') \prod_{i=1}^l n_i N^{\text{top}}(r_i,n_i) $ である。
• $ C_0 $ 上の $ \omega $-スロープ半安定層のモジュライスタックは、$ n = kr $ のとき $ [\text{Spec}(\mathbb{C}) / GL(r,\mathbb{C})] $ に同型であり、ランクとオイラー標数の制約が確認される。
• ホール代数形式的フレームワークを用いて構成されたモチーフ的不変量は、一貫性があり、代数的ケーブル不変量のための計算可能なフレームワークを提供する。
• 結果は、大 $ N $ 双対性からの物理的期待と一致し、ラグランジュブレーンを伴うグロモフ＝ウィットン理論と安定ペア不変量との間の対応の、厳密な数学的実現を提供する。