[论文解读] Motivic Igusa zeta functions

Jan Denef, François Loeser|ArXiv.org|Mar 11, 1998

Algebraic Geometry and Number Theory参考文献 12被引用 84

一句话总结

本文通过动机积分，利用代数簇与动机的格罗滕迪克环，将p进数Igusa zeta函数推广为动机Igusa zeta函数。通过嵌入奇点的解析，建立了这些函数的有理性和函数方程，并在特殊化下将其与拓扑zeta函数及p进数zeta函数联系起来。

ABSTRACT

We define motivic analogues of Igusa's local zeta functions. These functions take their values in a Grothendieck group of Chow motives. They specialize to p-adic Igusa local zeta functions and to the topological zeta functions we introduced several years ago. We study their basic properties, such as functional equations, and their relation with motivic nearby cycles. In particular the Hodge spectrum of a singular point of a function may be recovered from the Hodge realization of these zeta functions.

研究动机与目标

• 通过动机积分将p进数Igusa zeta函数推广到动机设定中。
• 利用Chow动机的格罗滕迪克环，为带有乘法特征的态射定义动机Igusa函数。
• 通过奇点的嵌入解析证明这些函数的有理性。
• 通过特殊化将动机Igusa函数与拓扑zeta函数及p进数Igusa zeta函数联系起来。
• 在某些假设下（包括对商的动机Euler示性数的猜想）证明动机Igusa函数的函数方程。

提出的方法

• 将动机Igusa函数定义为 $ K_0(\text{Sch}_k)[\textbf{L}^{-1}][[ \textbf{L}^{-s} ]] $ 中的幂级数，其中 $ \textbf{L} = [\mathbb{A}^1_k] $。
• 利用具有有限群作用的概形的等变嵌入奇点解析来分析 $ f $ 的层级集的几何结构。
• 将动机积分 $ \int_W (f^s, \alpha) $ 构造为 $ \mathcal{L}_n(\mathbb{A}^m_k) $ 中层级集 $ X_n $ 的像上的级数，按其动机类加权。
• 应用Gillet-Soulé与Guillén-Navarro关于具有有限群作用的概形的动机Euler示性数的结果。
• 利用Villamayor的解析定理以确保等变解析与变换的存在性。
• 通过解析结构将动机zeta函数表达为 $ \textbf{L}^{-s} $ 的有理函数，从而证明有理性。

实验结果

研究问题

• RQ1 如何通过动机积分将p进数Igusa zeta函数推广到动机设定？
• RQ2 本文引入的动机Igusa函数与拓扑zeta函数之间存在何种关系？
• RQ3 动机Igusa函数在何种条件下满足函数方程？
• RQ4 当 $ k = \mathbb{C} $ 且 $ f $ 在 $ \mathbb{Z}_p $ 上具有良好约化时，动机Igusa函数如何特化为p进数Igusa zeta函数？
• RQ5 Chow动机的格罗滕迪克环在定义与计算这些函数中起到何种作用？

主要发现

• 动机Igusa函数 $ \int_W (f^s, \alpha) $ 在 $ \textbf{L}^{-s} $ 中是有理函数，如定理 2.2.1 所示，其证明基于嵌入解析。
• 当特征 $ \alpha $ 平凡时，对于齐次多项式 $ f $，函数方程成立，推广了经典p进数zeta函数的结果。
• 对于非平凡 $ \alpha $，函数方程在商的动机Euler示性数的猜想下成立，但已在Voevodsky的三角范畴动机中得到证明。
• 当 $ k = \mathbb{C} $ 且 $ f $ 在 $ \mathbb{Z}_p $ 上具有良好约化时，动机Igusa函数特化为p进数Igusa zeta函数。
• 当 $ s \to -\infty $ 时，动机Igusa函数的极限与 $ f $ 在原点的邻近上同调相关，将动机积分与奇点理论联系起来。
• 该构造可推广至光滑概形 $ X $ 上的态射 $ f: X \to \mathbb{A}^1_k $，其中 $ W $ 为闭子概形，使用等变解析技术。