[论文解读] Zeta functions and Alexander modules

Johannes Nicaise|ArXiv.org|Apr 10, 2004

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文通过使用平展上同调，将伊古萨的局部zeta函数与单值性猜想推广至多变量情形，引入了作为$\mathbb{G}_m^r$的基本群的特征方案上的层的平展亚历山大模。在二维情形下，证明了$p$-进zeta函数的广义单值性与全纯性猜想，通过与超越上同调的比较以及基于解析的公式，建立了极点与单值性特征值之间的联系。

ABSTRACT

We introduce the etale framework to study Igusa zeta functions in several variables, generalizing the machinery of vanishing cycles in the univariate case. We define the etale Alexander modules, associated to a morphism of varieties F from X to affine r-space, a geometric point of X, and an object in the derived category of constructible l-adic sheaves on the inverse image of the r-torus under F. The Alexander modules are sheaves of modules on the scheme of continuous characters of the tame fundamental group of the r-torus. We formulate Loeser's Monodromy and Holomorphy Conjectures for multivariate p-adic zeta functions, and prove them in the case where dim(X)=2, generalizing results from the univariate case. Furthermore, we prove a comparison theorem with the transcendent case, we study a formula of Denef's for the zeta function in terms of a simultaneous embedded resolution, and we generalize a result concerning the degree of the zeta function to our setting.

研究动机与目标

• 将伊古萨的单变量$p$-进zeta函数及其单值性与全纯性猜想推广至涉及$r$元多项式组的多变量情形。
• 将平展亚历山大模定义为$\pi_1(\mathbb{G}_m^r)$的连续特征的方案$\mathcal{C}(\mathbb{G}_m^r)$上的层，提供超越亚历山大复形的$\ell$-进对应物。
• 在$\dim(X) = 2$的情形下证明广义单值性与全纯性猜想，扩展单变量情形的结果。
• 建立亚历山大模的平展实现与超越实现之间的比较，将$\ell$-进上同调与单值性作用联系起来。

提出的方法

• 通过$\mathbb{Z}_p^n$上的$\ell$-进积分引入多变量$p$-进zeta函数，推广伊古萨的单变量定义。
• 将平展亚历山大模定义为态射$F: X \to \mathbb{A}^r_k$的邻近上同调的上同调，取值于导出范畴$D^b_c(F^{-1}(\mathbb{G}_m^r), \bar{\mathbb{Q}}_l)$。
• 构造参数化连续特征$\pi_1(\mathbb{G}_m^r)^{\vee} \to \bar{\mathbb{Q}}_l^\times$的方案$\mathcal{C}(\mathbb{G}_m^r)$，其中亚历山大模为层。
• 使用同时嵌入解析，通过德内夫公式表达zeta函数，将其与例外除子的几何联系起来。
• 在多变量情形应用萨巴的阿坎多公式于单值性zeta函数，将极点与例外分量的欧拉示性数联系起来。
• 通过分析具有与固定$N'$成比例的重数向量的分量上的欧拉示性数和$w_\mathcal{I} = \sum_{E_i \in \mathcal{I}} \chi(E_i^o)$，在二维情形证明猜想，表明当$E_j$满足$\delta$时该和严格为负。

实验结果

研究问题

• RQ1 如何将经典伊古萨zeta函数的单值性与全纯性猜想推广至多变量$p$-进zeta函数？
• RQ2 在多变量情形下，超越亚历山大复形的正确$\ell$-进上同调替代物是什么？
• RQ3 平展亚历山大模的支集能否在特征方案$\mathcal{C}(\mathbb{G}_m^r)$中以平移的余余挠子群的形式几何地描述？
• RQ4 从解析中得出的候选极点在什么条件下会实际贡献于zeta函数的极点集？
• RQ5 广义单值性与全纯性猜想在二维情形是否成立？若成立，如何通过解析数据证明？

主要发现

• 在$\dim(X) = 2$的情形下，广义单值性与全纯性猜想对$p$-进zeta函数得到证明，扩展了单变量情形的经典结果。
• 平展亚历山大模被定义为$\pi_1(\mathbb{G}_m^r)^{\vee}$的连续特征的方案$\mathcal{C}(\mathbb{G}_m^r)$上的层，提供了超越亚历山大复形的$\ell$-进类比。
• 建立了比较定理：当基域为$\mathbb{C}$时，平展亚历山大模与超越模一致，其截面对应于单值性作用的特征空间。
• 亚历山大模的支集包含于$\mathcal{C}(\mathbb{G}_m^r)$中有限个余维数为一的平移余余挠子群的并集中，推广了单变量情形。
• 证明了一个判别准则以消除虚假候选极点：若对于一组具有与$N'$成比例的重数向量的例外除子$\mathcal{I}$，和$w_\mathcal{I} = \sum_{E_i \in \mathcal{I}} \chi(E_i^o)$严格为负，则相应的极点不会出现。
• 在$\dim(X) = 2$时，证明依赖于表明对所有包含满足$|E_j \setminus E_j^o| \geq 3$的除子$E_j$的$\mathcal{I}$，有$w_\mathcal{I} < 0$，利用解析图的性质与重数向量上的不等式。