[論文レビュー] Gopakumar-Vafa invariants via vanishing cycles

Davesh Maulik, Yukinobu Toda|arXiv (Cornell University)|Oct 24, 2016

Algebraic Geometry and Number Theory参考文献 34被引用数 8

ひとこと要約

本稿は、ヒルベルト・チャウ写像の perverse 分割を組み込んだ Kiem-Li の手法を発展させ、消失サイクルの perverse 奏集合を用いて、Calabi-Yau 3-fold に対する Gopakumar-Vafa (GV) 不変量の新しい数学的定義を提案する。主な結果として、局所的表面における既約1次元サイクルに対して、これらの不変量が Pandharipande-Thomas (PT) 不変量と一致することを示し、非還元的・非平面的・非原始的曲線の数え上げを正しく捉えている。これは、不変量の整数性および幾何的整合性に対する強い証拠を提供する。

ABSTRACT

In this paper, we propose an ansatz for defining Gopakumar-Vafa invariants of Calabi-Yau threefolds, using perverse sheaves of vanishing cycles. Our proposal is a modification of a recent approach of Kiem-Li, which is itself based on earlier ideas of Hosono-Saito-Takahashi. We conjecture that these invariants are equivalent to other curve-counting theories such as Gromov-Witten theory and Pandharipande-Thomas theory. Our main theorem is that, for local surfaces, our invariants agree with PT invariants for irreducible one-cycles. We also give a counter-example to the Kiem-Li conjectures, where our invariants match the predicted answer. Finally, we give examples where our invariant matches the expected answer in cases where the cycle is non-reduced, non-planar, or non-primitive.

研究の動機と目的

• 消失サイクルの perverse 奏集合を用いた数学的に厳密な Gopakumar-Vafa 不変量の定義を提供すること。
• perverse t-構造とヒルベルト・チャウ写像の分割を組み込むことで、以前の構成における曖昧さを解消すること。
• 提案された GV 不変量と、局所的表面における既約1次元サイクルに対して Pandharipande-Thomas 不変量との対応関係を確立すること。
• 非自明なケース、特に非還元的・非平面的・非原始的サイクルに対して、不変量の正しさを検証すること。
• Calabi-Yau 偏りデータの存在を予想し、不変量の不変性および定義の明確さを保証すること。

提案手法

• ヒルベルト・チャウ写像に沿った消失サイクル層の押し出しの perverse 共通層の生成関数を用いて GV 不変量を定義する。
• perverse t-構造を用いてコホモロジー的データを抽出し、$ y^{1/2} + y^{-1/2} $ のローレント多項式の係数として不変量を符号化する。
• ヒルベルト・チャウ準同型のファイバーに沿って、偏りデータに Calabi-Yau 条件を課す。
• 可 constructible 関数として Chow 多様体上に局所 GV 不変量を構成し、統合によってグローバル不変量を回復可能にする。
• 消失サイクル層の自己双対性と Verdier 双対性を活用し、生成関数の整数性および対称性を保証する。
• K 理論および Grothendieck 双対性の結果を応用し、仮想正則バンドルがヒルベルト・チャウ写像のファイバー上で数的に自明であることを示し、CY 偏りの存在を支援する。

実験結果

リサーチクエスチョン

• RQ1 Gopakumar-Vafa 不変量は、$sl_2 \times sl_2$-表現論に依存せずに、消失サイクルの perverse 奏集合を用いて厳密に定義可能か？
• RQ2 提案された GV 不変量は、局所的表面における既約1次元サイクルに対して Pandharipande-Thomas 不変量と一致するか？
• RQ3 Calabi-Yau 偏りに制限した場合、不変量は偏りデータに依存せず定義可能か？
• RQ4 非還元的・非平面的・非原始的曲線に対して、不変量は期待される値を正しく回復するか？
• RQ5 Calabi-Yau 3-fold 上の1次元層のモジュライ空間は、Chow 多様体上の Calabi-Yau フibration 構造を持つか？

主な発見

• 提案された GV 不変量は、局所的表面における既約1次元サイクルに対して Pandharipande-Thomas 不変量と一致し、この場合における PT/GV 対応関係を確認した。
• 3-fold フロップに起因する非還元的サイクルの不変量が正しく計算され、期待される値と一致した。
• 非平面的および非原始的曲線についても予測と一致し、標準的仮定を超えた堅牢性を示した。
• グローバル GV 不変量は、K 理論における決定式の消失結果により、Calabi-Yau 偏りデータの選択に依存しないことが証明された。
• ヒルベルト・チャウ写像のファイバー上で、モジュライ空間の仮想正則バンドルが数的に自明であることが判明し、ファイブレーションが Calabi-Yau であるという予想を支持する。
• 本構成により、Chow 多様体上の可 constructible 関数として局所 GV 不変量が得られ、PT 理論との直接比較が可能になった。