[论文解读] Motivic Milnor fiber of cyclic L-infinity algebras

Yunfeng Jiang|arXiv (Cornell University)|Sep 15, 2009

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

一句话总结

本文建立了循环 $L_∞$-代数的模空间上的 Behrend 函数与动机 Milnor 纤维之间的直接联系，证明了在某一点处 Behrend 函数的取值等于该点处解析 Milnor 纤维的欧拉示性数。通过动机积分与奇点的解析化，本文表明 Behrend 函数仅依赖于模空间的形式邻域，并在 Donaldson-Thomas 型 dg Lie 代数的情形下，将带标记的 Donaldson-Thomas 不变量识别为动机 Milnor 纤维的欧拉示性数。

ABSTRACT

We define motivic Milnor fiber of cyclic $L_\infty$-algebras of dimension three using the method of Denef and Loeser of motivic integration. It is proved by Nicaise and Sebag that the topological Euler characteristic of the motivic Milnor fiber is equal to the Euler characteristic of the étale cohomology of the analytic Milnor fiber. We prove that the value of Behrend function on the germ moduli space determined by $L$ is equal to the Euler characteristic of the analytic Milnor fiber. Thus we prove that Behrend function depends only on the formal neighborhood of the moduli space.

研究动机与目标

• 使用动机积分，为三维循环 $L_\infty$-代数定义动机 Milnor 纤维。
• 通过欧拉示性数将模空间上的 Behrend 函数与解析 Milnor 纤维联系起来。
• 证明 Behrend 函数仅依赖于模空间的形式邻域。
• 在 Donaldson-Thomas 型情形下，证明带标记的 Donaldson-Thomas 不变量等于动机 Milnor 纤维的欧拉示性数。

提出的方法

• 通过形式势函数 $f$ 的临界集的奇点解析化，使用 $\mathbb{C}$ 上代数簇的等变 Grothendieck 群定义动机 Milnor 纤维 $MF_0(L)$。
• 使用 Denef-Loeser 的动机积分技术，将动机 Milnor 纤维构造为 Grothendieck 群中的元素。
• 使用 Berkovich 有限上同调，基于非阿基米德域 $K = \mathbb{C}((t))$ 定义解析 Milnor 纤维 $\mathfrak{F}_x$。
• 通过 Nicaise 与 Sebag 的结果，建立等式 $\chi_{\text{top}}(MF_0(L)) = \chi_{\text{et}}(\mathfrak{F}_0)$。
• 应用 Behrend 可构造函数与 Lagrange 圈之间的关系，将 $\nu_X$ 表示为动机 Milnor 纤维的函数。
• 利用公式 $\nu_X(0) = (-1)^m(1 - \chi_{\text{et}}(\mathfrak{F}_0))$，将 Behrend 函数与解析 Milnor 纤维联系起来。

实验结果

研究问题

• RQ1 如何为在度数 1 和 2 上具有有限维上同调的循环 $L_\infty$-代数定义动机 Milnor 纤维？
• RQ2 模空间上的 Behrend 函数与动机或解析 Milnor 纤维之间的确切关系是什么？
• RQ3 Behrend 函数是否仅依赖于模空间的形式邻域，还是也依赖于更高阶的数据？
• RQ4 在 dg Lie 代数设定下，能否从动机 Milnor 纤维恢复带标记的 Donaldson-Thomas 不变量？
• RQ5 是否存在一个公式，能用解析 Milnor 纤维的欧拉示性数表示 Behrend 函数在原点处的取值？

主要发现

• 在原点处 Behrend 函数的取值 $\nu_X(0)$ 等于 $(-1)^m(1 - \chi_{\text{et}}(\mathfrak{F}_0))$，其中 $\mathfrak{F}_0$ 是在 0 处的解析 Milnor 纤维。
• Behrend 函数仅依赖于模空间的形式邻域，因为其取值由一个形式不变量——解析 Milnor 纤维所决定。
• 动机 Milnor 纤维 $MF_0(L)$ 是 $\mathbb{C}$ 上代数簇的等变 Grothendieck 群中的元素，通过 $f$ 的临界集的奇点解析化构造而成。
• 对于 Donaldson-Thomas 型 dg Lie 代数，带标记的 Donaldson-Thomas 不变量等于动机 Milnor 纤维的欧拉示性数。
• 动机 Milnor 纤维的拓扑欧拉示性数与解析 Milnor 纤维的平展欧拉示性数相等：$\chi_{\text{top}}(MF_0(L)) = \chi_{\text{et}}(\mathfrak{F}_0)$。
• 当 $f$ 为正则函数时，公式 $\nu_X(0) = (-1)^m(1 - \chi_{\text{top}}(F_0))$ 成立，其中 $F_0$ 为经典 Milnor 纤维。