[论文解读] An introduction to $p$-adic and motivic zeta functions and the monodromy conjecture

Johannes Nicaise|ArXiv.org|Jan 27, 2009

Advanced Mathematical Identities被引用 6

一句话总结

本文引入p进和动机zeta函数作为研究代数簇奇点的工具，特别是通过单值化猜想。它证明了动机zeta函数几乎对所有素数都特化为p进zeta函数，统一了它们的行为，并通过奇点的解析化提供了理解极点和单值化本征值的几何框架。

ABSTRACT

These notes give a basic introduction to the theory of $p$-adic and motivic zeta functions, motivic integration, and the monodromy conjecture.

研究动机与目标

• 引入p进和动机zeta函数作为研究超曲面奇点的不变量。
• 通过特化关系阐明p进zeta函数与动机zeta函数之间的精确联系。
• 解释动机zeta函数如何在不同素数上捕捉统一的行为，并反映奇点的几何不变量。
• 将单值化猜想作为动机框架的自然结果加以激励。
• 证明动机单值化猜想蕴含p进版本，且由于其在等特征零设定下更易处理。

提出的方法

• 将Igusa Poincaré级数 $ Q(f;t) $ 定义为模 $ p^m $ 下方程 $ f \equiv 0 \mod p^m $ 的解数 $ N_m(f) $ 的生成函数。
• 通过公式 $ Z(f;s) = 1 + \frac{(p^{-s}-1)Q(f;p^{-s-d})}{p^{-s}} $ 从Poincaré级数构造p进zeta函数 $ Z(f;s) $。
• 将动机zeta函数 $ Z_{\text{mot}}(f;s) \in \mathcal{M}_L[[\mathbb{L}^{-s}]] $ 引入为编码所有有限素位上局部zeta函数的普遍对象。
• 建立从动机zeta函数到所有有限素位上p进zeta函数乘积的特化映射 $ \mathscr{N} $。
• 利用奇点的解析化计算动机zeta函数，并通过 $ \hat{\mu} $ 作用将它们与单值化本征值联系起来。
• 应用Denef-Loeser定理证明 $ \mathscr{N}(Z_{\text{mot}}(f;s)) = (Z_\mathfrak{P}(f;s))_{\mathfrak{P}} $，从而证明对几乎所有 $ \mathfrak{P} $ 的特化成立。

实验结果

研究问题

• RQ1 p进zeta函数如何编码模 $ p^m $ 下解数的算术信息？
• RQ2 在不同素数上，动机zeta函数与p进zeta函数之间的确切关系是什么？
• RQ3 为何动机zeta函数能作为p进zeta函数的普遍对象？
• RQ4 单值化猜想在动机设定下如何体现，为何其可能更具可处理性？
• RQ5 动机zeta函数在何种意义上独立于奇点解析化的选取？

主要发现

• Igusa Poincaré级数 $ Q(f;t) $ 是有理函数，由Igusa证明，证实了Borevich与Shafarevich的猜想。
• 对于 $ \mathbb{F}_p $ 上的光滑超曲面，p进zeta函数简化为 $ Z_p(f;s) = p^{-d}|V_f(\mathbb{F}_p)|(p-1)\frac{p^{-1-s}}{1-p^{-1-s}} + 1 - p^{-d}|V_f(\mathbb{F}_p)| $。
• 对于 $ f = y - x^2 $，zeta函数为 $ Z_p(g;s) = p^{-2}p(p-1)\frac{p^{-1-s}}{1-p^{-1-s}} + 1 - p^{-2}p $，反映了解的逐纤维提升。
• 对于 $ f = y^2 - x^3 $，zeta函数在 $ s = -1 $ 和 $ s = -5/6 $ 处有极点，系数涉及 $ p^6 $ 和 $ p^8 $，表明存在非平凡的奇点结构。
• 通过映射 $ \mathscr{N} $，动机zeta函数在几乎所有有限素位 $ \mathfrak{P} $ 上特化为p进zeta函数，如定理5.5所述。
• 动机单值化猜想蕴含p进单值化猜想，且由于其几何的、等特征零的表述，动机版本更具可处理性。