[論文レビュー] Multiple cover formula of generalized DT invariants II: Jacobian localizations

Yukinobu Toda|arXiv (Cornell University)|Aug 25, 2011

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

ひとこと要約

この論文は、Calabi-Yau 3-fold 上の1次元半安定な層を数える一般化されたドナルドソン-トーマス不変量の予想される多重被覆公式を、有理曲線の局所的木構造への還元を確立する。ヤコビアン局所化と放物型安定ペア不変量を用いて、その公式が局所的有理曲線の木構造に対して成り立つならば、その場合に至っては、ノード特異点をもつ局所的曲線に対しても公式が成り立つことを証明する。これはパンダリパーンデ＝トーマスの強い有理性予想を検証するための重要な一歩である。

ABSTRACT

The generalized Donaldson-Thomas invariants counting one dimensional semistable sheaves on Calabi-Yau 3-folds are conjectured to satisfy a certain multiple cover formula. This conjecture is equivalent to Pandharipande-Thomas's strong rationality conjecture on the generating series of stable pair invariants, and its local version is enough to prove. In this paper, using Jacobian localizations and parabolic stable pair invariants introduced in the previous paper, we reduce the conjectural multiple cover formula for local curves with at worst nodal singularities to the case of local trees of smooth rational curves.

研究の動機と目的

• Calabi-Yau 3-fold 上の一般化されたDT不変量の予想される多重被覆公式を、$\mathbb{P}^1$ の局所的木構造への還元すること。
• 局所的層のモジュライ空間を局所化するための、ヤコビアン群作用と放物型安定ペア不変量を用いた枠組みを確立すること。
• 局所的曲線にノード特異点をもつ場合に、その公式が $\mathbb{P}^1$ の局所的木構造に対して成り立つものと仮定すれば、その公式を証明すること。
• 特に素数倍の有理曲線や局所的K3表面などの特定のケースにおいて、公式の明示的計算と証拠を提供すること。

提案手法

• 先行研究で導入された放物型安定ペア不変量を用いて、層の数え上げのための精錐的モジュライ空間を構成する。
• ヤコビアン群作用を適用して、放物型安定ペアのモジュライスタックを局所化し、固定点部分集合への問題の還元を行う。
• 循環的近傍構成を用いて、特異曲線上の不変量と、滑らかな有理曲線の木構造上の不変量を関連付ける。
• 臨界集合の記述と正則関数を用いて、局所的にモジュライ空間をモデル化し、等変積分を可能にする。
• 仮想局所化技術を適用して、特に $\mathbb{Z}/m\mathbb{Z}$ および $\mathbb{C}^*$ の群作用の下での仮想サイクルを比較する。
• 商モジュライ空間の固定点成分と元のモジュライ空間との同型性に依拠して、異なる被覆間での不変量を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 局所的曲線にノード特異点をもつ場合に、その公式が $\mathbb{P}^1$ の局所的木構造に対して成り立つならば、一般化されたDT不変量の多重被覆公式は成り立つか？
• RQ2 ヤコビアン局所化技術を用いて、グローバルな多重被覆予想を有理曲線配置の局所的問題に還元できるか？
• RQ3 環境空間の巡回被覆の下で、不変量 $N_{n,\gamma}$ が多重被覆公式を満たすために必要な条件は何か？
• RQ4 放物型安定ペア不変量は、特異曲線を伴う状況下でDT不変量の計算をどのように支援するか？
• RQ5 この還元法を用いて、パンダリパーンデ＝トーマスの強い有理性予想はどの程度まで検証可能か？

主な発見

• ノード特異点をもつ局所的曲線 $C$ 上の $N_{n,\gamma}$ に対する多重被覆公式は、$C'$ が $\mathbb{P}^1$ の木構造である任意の循環的近傍 $U'$ において同じ公式が成り立つならば、成り立つ。
• $C$ が1つのノードをもつ既約有理曲線で $p$ が素数である場合、$\gamma = p[C]$ の場合に公式が明示的に証明された。
• 有理曲線 $\mathbb{P}^1$ の輪環に $\gamma$ が支持される場合、適切な解析的仮定の下で公式が検証された。
• この方法は、局所的K3表面のオイラー特性不変量に関する [25, 系1.3] を裏付ける証拠を提供する。
• 放物型安定ペアのモジュライ空間上の仮想不変量が $\mathbb{Z}/m\mathbb{Z}$-作用に関して不変であることが示され、変形空間の次元差に依存する符号補正が加えられる。
• 商モジュライ空間上の仮想サイクルは、元の空間の固定点成分と同型であることが示され、被覆間での不変量の比較が可能になった。