[論文レビュー] On motivic Joyce-Song formula for the Behrend function identities

Yunfeng Jiang|arXiv (Cornell University)|Jan 2, 2016

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

ひとこと要約

本稿は、Calabi-Yau 3次曲面の文脈において、Bezrukavnikov–Kaledin–Kontsevich–Soibelmanの関数の恒等式をモチーフ的積分とCluckers-Loeserのモチーフ的可 constructible 関数を用いて、モチーフ的バージョンのJoyce-Songの公式を確立する。主な結果として、モチーフ的ホール代数からモチーフ的量子トーラスへの統合写像が代数的同型写像であることを証明し、Kontsevich-Soibelmanの予想を新しいモチーフ的証明により確認する。

ABSTRACT

We prove the version of Joyce-Song formula for the Behrend function identities in the motivic setting. The main method we use is the proof of Kontsevich-Soibelman conjecture about the motivic Milnor fibers by Q. T. Le, who uses the method of motivic integration for formal schemes and Cluckers-Loeser's motivic constructible functions. In the Appendix the motivic formula can be used to provide a different proof that there is an algebra homomorphism of Kontsevich-Soibelman from the motivic Hall algebra of the abelian category of coherent sheaves on a Calabi-Yau threefold $Y$ to the motivic quantum torus of $Y$.

研究の動機と目的

• Bezrukavnikov–Kaledin–Kontsevich–Soibelmanの関数の恒等式を、Calabi-Yau 3次曲面の文脈においてモチーフ的設定に拡張すること。
• Calabi-Yau 3次曲面におけるKontsevich-Soibelmanの代数的同型写像予想を、モチーフ的ホール代数に対して証明すること。
• Bezrukavnikov–Kakedin–Kontsevich–Soibelmanの関数の恒等式を通じて、モチーフ的ホール代数とモチーフ的量子トーラスの間に接続を確立すること。
• 可換層の導来カテゴリの半安定対象への古典的Donaldson-Thomas不変量の一般化を図ること。

提案手法

• 形式的スキームのためのモチーフ的積分とCluckers-Loeserのモチーフ的可 constructible 関数理論を用いる。
• d-臨界的局所的構造と局所的臨界チャートの枠組みを用いて、連接層のモジュライスタックをモデル化する。
• 導来カテゴリ内の半シュール対象に関連するポテンシャル関数を用いて、モチーフ的ミルナー・ファイバーを構成する。
• ミルナー・ファイバーのオイラー標数を用いて、公式 $ \mathbb{L}^{n/2} \odot \mathcal{S}_{X}^{\phi} $ を通じてモチーフ的不変量を定義する。
• 局所不変量を関連付けるために、恒等式 $ t^{*}\mathcal{S}_{\mathcal{X}_1 \times \mathcal{X}_2}^{\phi} = \mathbb{L}^{\chi(\alpha_1,\alpha_2)/2} \cdot t_1^{*}\mathcal{S}_{\mathcal{X}_1}^{\phi} \cdot t_2^{*}\mathcal{S}_{\mathcal{X}_2}^{\phi} $ を導出する。
• モチーフ的ホール代数からモチーフ的量子トーラスへの統合写像 $ I: \mathcal{H}^{\text{mot}} \to \overline{\mathcal{M}}_{\kappa,\text{loc}}^{\hat{\mu}}[\Gamma] $ が単位的代数的同型写像であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Calabi-Yau 3次曲面の文脈において、Bezrukavnikov–Kaledin–Kontsevich–Soibelmanの関数の恒等式に対するJoyce-Songの公式はモチーフ的一般化を許容するか？
• RQ2 モチーフ的積分を用いて、モチーフ的ホール代数におけるKontsevich-Soibelmanの代数的同型写像予想を証明できるか？
• RQ3 導来カテゴリ内の対象の直積において、局所的臨界チャートのモチーフ的ミルナー・ファイバーはどのように振る舞うか？
• RQ4 半シュール対象の直和のBezrukavnikov–Kaledin–Kontsevich–Soibelman関数の正確なモチーフ的表現は何か？
• RQ5 モチーフ的ホール代数からモチーフ的量子トーラスへの統合写像は、well-defined な代数的同型写像であるか？

主な発見

• モチーフ的Joyce-Songの公式が成立する：$ (1 - \mathcal{S}_0(E_1 \oplus E_2)) = (1 - \mathcal{S}_0(E_1)) \cdot (1 - \mathcal{S}_0(E_2)) $、これは積スタックの各点で有効である。
• モチーフ的ホール代数からモチーフ的量子トーラスへの統合写像 $ I $ は代数的同型写像である。すなわち、$ I(\alpha_1 \star \alpha_2) = I(\alpha_1) \star I(\alpha_2) $ が成り立つ。
• 積スタックのモチーフ的ミルナー・ファイバーは、$ t^{*}\mathcal{S}_{\mathcal{X}_1 \times \mathcal{X}_2}^{\phi} = \mathbb{L}^{\chi(\alpha_1,\alpha_2)/2} \cdot t_1^{*}\mathcal{S}_{\mathcal{X}_1}^{\phi} \cdot t_2^{*}\mathcal{S}_{\mathcal{X}_2}^{\phi} $ を満たし、オイラー形式を反映している。
• 直和 $ E_1 \oplus E_2 $ のモチーフ的ミルナー・ファイバーは、$ E_1 $ と $ E_2 $ のミルナー・ファイバーの積に $ \mathbb{L}^{\chi(E_1,E_2)/2} $ によるねじれを加えた形に分解される。
• 証明により、Kontsevich-Soibelmanの予想がモチーフ的積分を用いて確認され、代数的同型写像性の新しい代数的幾何的証明が得られた。
• 本手法により、Bezrukavnikov–Kaledin–Kontsevich–Soibelmanの関数の恒等式を通じて、モチーフ的ホール代数とモチーフ的量子トーラスの間に明確な接続が確立された。