[论文解读] Monodromy and the Lefschetz fixed point formula

Ehud Hrushovski, François Loeser|arXiv (Cornell University)|Nov 8, 2011

Algebraic Geometry and Number Theory参考文献 16被引用 15

一句话总结

本文通过平展上同调与动机积分，避免使用奇点的解析化，给出了关于米尔诺纤维上单值作用的李特尔伍德不动点公式的几何证明。它证明了动机米尔诺纤维的紧支集欧拉示性数等于单值作用的李特尔伍德数，从而作为推论恢复了德利涅的消失结果。

ABSTRACT

We give a new proof - not using resolution of singularities - of a formula of Denef and the second author expressing the Lefschetz number of iterates of the monodromy of a function on a smooth complex algebraic variety in terms of the Euler characteristic of a space of truncated arcs. Our proof uses l-adic cohomology of non-archimedean spaces, motivic integration and the Lefschetz fixed point formula for finite order automorphisms. We also consider a generalization due to Nicaise and Sebag and at the end of the paper we discuss connections with the motivic Serre invariant and the motivic Milnor fiber.

研究动机与目标

• 在不依赖奇点解析化的情况下，为定理1.1.1提供一个关于单值作用的李特尔伍德数与弧空间欧拉示性数之间关系的几何证明。
• 通过动机积分与平展上同调，建立拓扑米尔诺纤维与动机米尔诺纤维之间的比较。
• 证明动机米尔诺纤维的紧支集欧拉示性数等于单值作用的李特尔伍德数。
• 将ACVF(0,0)中的动机积分框架加以拓展，以关联奇点的几何不变量与单值数据。
• 证明霍奇-斯蒂恩布吕克谱及其他不变量可从局部化格罗滕迪克环中的动机米尔诺纤维中恢复。

提出的方法

• 利用贝里科维奇的比较定理，将解析米尔诺纤维的平展ℓ进上同调与拓扑米尔诺纤维的奇异上同调联系起来。
• 在代数闭赋值域（ACVF(0,0)）的理论中应用动机积分，将动机米尔诺纤维定义为可定义集格罗滕迪克环中的元素。
• 利用VF-排序的格罗滕迪克环与RV-排序格罗滕迪克环商环之间的同构，以赋值群与剩余域数据分析可定义集。
• 在动机积分中使用变量替换公式，计算由阶数为$m$、指定$f$-值为$t^m$的喷射参数化的弧空间$ \mathcal{X}_{m,x}$的欧拉示性数。
• 对生成函数$Z(\Delta, \ell)$应用极限过程，将李特尔伍德数之和$\Lambda(M_x^m)$与动机米尔诺纤维的欧拉示性数联系起来。
• 依赖单值作用的拟幂等性，重写生成函数并推导出等式$\chi_c(\mathcal{S}_{f,x}) = \Lambda(M_x^{m_0}) = \chi_c(F_x)$。

实验结果

研究问题

• RQ1 能否在不使用奇点解析化的情况下证明米尔诺纤维上单值作用的李特尔伍德不动点公式？
• RQ2 弧空间$ \mathcal{X}_{m,x}$的欧拉示性数与单值作用的李特尔伍德数之间有何关系？
• RQ3 在上同调不变量的意义下，动机米尔诺纤维与拓扑米尔诺纤维之间的精确关系是什么？
• RQ4 霍奇-斯蒂恩布吕克谱能否从局部化格罗滕迪克环中的动机米尔诺纤维中恢复？
• RQ5 ACVF(0,0)中的动机积分在建立奇点的几何不变量方面起到什么作用？

主要发现

• 本文建立了定理1.1.1的几何证明，表明$\chi_c(\mathcal{X}_{m,x}) = \Lambda(M_x^m)$，且不依赖奇点解析化。
• 证明了动机米尔诺纤维$\mathcal{S}_{f,x}$的紧支集欧拉示性数等于某个$m_0$的李特尔伍德数$\Lambda(M_x^{m_0})$，该值等于$\chi_c(F_x)$。
• 对于值群中有界可定义子集$\Delta$，极限$\lim_{T\to\infty} Z(\Delta, \ell)(T) = -\chi(\Delta)$成立，支撑了生成函数的收敛性。
• 在局部化格罗滕迪克环$K^{\hat{\mu}}(\mathrm{Var}_F)_{\mathrm{loc}}$中的动机米尔诺纤维的像被证明为$\Theta(\Upsilon(\int([\mathcal{X}_x])))$，将动机积分与单值数据联系起来。
• 霍奇-德利涅多项式与紧支集欧拉示性数通过局部化态射分解，使得$\chi_c(F_x)$可从动机纤维中恢复。
• 通过李特尔伍德数生成函数的极限并利用单值作用的拟幂等性，建立了等式$\chi_c(\mathcal{S}_{f,x}) = \chi_c(F_x)$。