[論文レビュー] Hall algebras and curve-counting invariants

Tom Bridgeland|arXiv (Cornell University)|Feb 23, 2010

Algebraic Geometry and Number Theory参考文献 14被引用数 10

ひとこと要約

この論文はジョイスのモチーフ的ホール代数フレームワークを用いて、Calabi-Yau 3次元多様体上の曲線数え上げにおける還元済みドナルドソン＝トーマス不変量がパンダリパande-トーマスの安定ペア不変量と一致することを証明し、それらの生成関数が $ q \leftrightarrow q^{-1} $ の下で不変である有理関数のローラン展開であることを示している。この結果は代数幾何学における2つの主要な曲線数え上げ理論の深い対応関係を確立する。

ABSTRACT

We use Joyce's theory of motivic Hall algebras to prove that reduced Donaldson-Thomas curve-counting invariants on Calabi-Yau threefolds coincide with stable pair invariants, and that the generating functions for these invariants are Laurent expansions of rational functions.

研究の動機と目的

• Calabi-Yau 3次元多様体上の還元済みドナルドソン＝トーマス不変量と安定ペア不変量の等価性を確立すること。
• これらの不変量の生成関数が有理関数のローラン展開であることを証明すること。
• 生成関数が変換 $ q \leftrightarrow q^{-1} $ の下で不変であることを示すこと。
• Todaの手法とは異なる、モチーフ的ホール代数技術を用いたDT/PT対応の新たな証明を提供すること。

提案手法

• ジョイスのモチーフ的ホール代数理論を用いて、Calabi-Yau 3次元多様体上のねじれ層のモジュライ空間を分析すること。
• ビヘンドの区分的関数 $ \nu_S $ を用いて、仮想的数え上げと重み付きオイラー特性を関連させること。
• チーアン・キャラクターを指定する、ヒルベルト・スケール $ \operatorname{Hilb}_M(\beta,n) $ および安定ペアモジュライ空間 $ \operatorname{Hilb}^\sharp_M(\beta,n) $ を定義すること。
• ホール代数構造を用いて、統合写像と安定性条件を通じて、これらのモジュライ空間の仮想的数え上げを関連させること。
• 仮想的分解不能的技術と修正されたホール代数要素を用いて、生成関数の収束性と整数性を保証すること。
• ホール代数内の漸近的挙動とフィルトレーションを分析することで、還元済みDT生成関数 $ \operatorname{DT}'_\beta(q) $ が安定ペア生成関数 $ \operatorname{PT}_\beta(q) $ に等しいことを証明すること。

実験結果

リサーチクエスチョン

• RQ1 Calabi-Yau 3次元多様体上の曲線数え上げにおける還元済みドナルドソン＝トーマス不変量は、パンダリパande-トーマスの安定ペア不変量と一致するか？
• RQ2 これらの不変量の生成関数は有理関数のローラン展開か？
• RQ3 生成関数は変換 $ q \leftrightarrow q^{-1} $ の下で不変か？
• RQ4 DT/PT対応は、代替的手法とは異なり、モチーフ的ホール代数技術を用いて証明可能か？

主な発見

• 各曲線類 $ \beta \in N_1(M) $ に対して、還元済みDT生成関数 $ \operatorname{DT}'_\beta(q) $ は安定ペア生成関数 $ \operatorname{PT}_\beta(q) $ に等しく、これによりDT/PT対応が確立された。
• 生成関数 $ \operatorname{DT}'_\beta(q) $ は $ q $ に関する有理関数のローラン展開であることが確認され、モウリク他による予想が裏付けられた。
• 生成関数は変換 $ q \leftrightarrow q^{-1} $ の下で不変であり、曲線数え上げ不変量に深い対称性が存在することを示している。
• 証明は、ジョイスの仮想的分解不能的技術の修正版と、整数性と収束性を保証するためのホール代数フレームワークの正しく修正された適用に依拠している。
• Todaによる以前の証明の欠落を埋めるために、導来カテゴリの文脈でビヘンド重みに関する必要な恒等式を確立した。
• 元々のTodaの証明とは独立しており、フレームワークをフレームド・シーブスおよび安定ペアを含むように拡張したモチーフ的ホール代数を用いた第二の証明を提供している。