[论文解读] 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

一句话总结

本文在卡拉比-丘三流形的背景下，通过 motivic 积分和 Cluckers-Loeser 的 motivic 可构造函数理论，建立了 Joyce-Song 公式在 motivic 设置下的版本，用于 Behrend 函数恒等式。关键结果证明了从 motivic Hall 代数到 motivic 量子环面的积分映射是一个代数同态，从而通过一种新的 motivic 证明方法确认了 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$.

研究动机与目标

• 将 Joyce-Song 公式在 Behrend 函数恒等式上的应用推广到 motivic 设置。
• 为卡拉比-丘三流形上的 Kontsevich-Soibelman 代数同态猜想提供一个 motivic 证明。
• 通过 Behrend 函数恒等式建立 motivic Hall 代数与 motivic 量子环面之间的联系。
• 将经典的唐纳森-托马斯不变量推广到凝聚层导出范畴中的半稳定对象。

提出的方法

• 使用形式概形上的 motivic 积分以及 Cluckers-Loeser 的 motivic 可构造函数理论。
• 应用 d-临界点集和局部临界图表的框架，以建模凝聚层的模堆栈。
• 通过导出范畴中半-舒尔对象相关的势函数构造 motivic Milnor 纤维。
• 利用 Milnor 纤维的欧拉示性数，通过公式 $ \mathbb{L}^{n/2} \odot \mathcal{S}_{X}^{\phi} $ 定义 motivic 不变量。
• 推导出恒等式 $ 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} $，以关联局部不变量。
• 证明从 motivic Hall 代数到 motivic 量子环面的积分映射 $ I: \mathcal{H}^{\text{mot}} \to \overline{\mathcal{M}}_{\kappa,\text{loc}}^{\hat{\mu}}[\Gamma] $ 是一个单位元代数同态。

实验结果

研究问题

• RQ1 Joyce-Song 公式在 Behrend 函数恒等式上是否能在卡拉比-丘三流形的背景下推广为 motivic 形式？
• RQ2 是否可以使用 motivic 积分来证明 motivic Hall 代数上 Kontsevich-Soibelman 代数同态猜想？
• RQ3 在导出范畴中对象的直积下，局部临界图表的 motivic Milnor 纤维行为如何？
• RQ4 对于半-舒尔对象的直和，Behrend 函数的精确 motivic 表达式是什么？
• RQ5 从 motivic Hall 代数到 motivic 量子环面的积分映射是否为定义良好的代数同态？

主要发现

• motivic Joyce-Song 公式成立：$ (1 - \mathcal{S}_0(E_1 \oplus E_2)) = (1 - \mathcal{S}_0(E_1)) \cdot (1 - \mathcal{S}_0(E_2)) $，在乘积堆栈的每一点上均成立。
• 从 motivic Hall 代数到 motivic 量子环面的积分映射 $ I $ 是一个代数同态，即满足 $ I(\alpha_1 \star \alpha_2) = I(\alpha_1) \star I(\alpha_2) $。
• 乘积堆栈的 motivic Milnor 纤维满足 $ 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 $ 的 motivic Milnor 纤维可分解为 $ E_1 $ 和 $ E_2 $ 的 Milnor 纤维的乘积，且被 $ \mathbb{L}^{\chi(E_1,E_2)/2} $ 扭转。
• 该证明通过 motivic 积分确认了 Kontsevich-Soibelman 猜想，为代数同态性质提供了新的代数几何证明。
• 该方法通过 Behrend 函数恒等式在 motivic Hall 代数与 motivic 量子环面之间建立了精确联系。