[论文解读] Local Zeta Functions Supported on Analytic Submanifolds and Newton Polyhedra

W. A. Zúñiga‐Galindo|ArXiv.org|Mar 12, 2009

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

一句话总结

本文引入了一类定义在 $p$-进域中非退化完备交曲面的局部 zeta 函数，将 Igusa 的方法扩展至沿光滑解析子流形的模 $p^m$ 指数和估计。关键贡献在于以牛顿多面体描述这些 zeta 函数极点的几何结构，从而控制震荡积分的渐近展开，并实现对光滑曲面上多项式同余解数的精确估计。

ABSTRACT

The local zeta functions (also called Igusa's zeta functions) over p-adic fields are connected with the number of solutions of congruences and exponential sums mod p^{m}. These zeta functions are defined as integrals over open and compact subsets with respect to the Haar measure. In this paper, we introduce new integrals defined over submanifolds, or more generally, over non-degenerate complete intersection varieties, and study their connections with some arithmetical problems such as estimation of exponential sums mod p^{m}. In particular we extend Igusa's method for estimating exponential sums mod p^{m} to the case of exponential sums mod p^{m} along non-degenerate smooth varieties.

研究动机与目标

• 将 Igusa 的方法从模 $p^m$ 指数和估计推广至沿非退化光滑解析子流形的和的情形。
• 定义并研究定义在 $p$-进域中完备交曲面的局部 zeta 函数。
• 建立这些 zeta 函数极点与定义函数牛顿多面体之间的几何联系。
• 提供当 $|z|_K \to \infty$ 时，形式为 $E_{\tilde{\Phi}}(z,V^{(l-1)},f_l)$ 的震荡积分的渐近展开，其由 zeta 函数的极点控制。
• 利用 zeta 函数框架估计光滑代数曲面上多项式同余式的解数。

提出的方法

• 将局部 zeta 函数 $Z_\Phi(\omega, V^{(l-1)}, f_l)$ 定义为在光滑子流形 $V^{(l-1)}(K)$ 上的积分，使用由定义函数 $f_1, \dots, f_{l-1}$ 导出的 Gel'fand-Leray 测度。
• 利用牛顿多面体理论分析函数 $f_1, \dots, f_l$ 的奇点，假设其相对于牛顿多面体非退化。
• 通过变量替换和隐函数定理，将 $p$-进球上的积分简化为涉及函数 $p$-进赋值的更简形式。
• 通过牛顿多面体的单形多面体剖分计算 zeta 函数，分离每个锥体的贡献。
• 利用剩余域 $\mathbb{F}_q$ 的结构和勒让德符号，计算 $\left(\mathbb{F}_p^\times\right)^n$ 中的解数，并导出 zeta 函数的有理表达式。
• 建立 zeta 函数极点与震荡积分 $E_\Phi(z,V^{(l-1)},f_l)$ 渐近行为之间的联系，表明极点决定了渐近展开中的首项。

实验结果

研究问题

• RQ1 Igusa 的模 $p^m$ 指数和估计方法如何推广至支持在光滑解析子流形而非完整 $p$-进空间上的和？
• RQ2 定义在 $p$-进域中完备交曲面的局部 zeta 函数的极点具有何种几何结构？
• RQ3 定义函数的牛顿多面体如何影响此类曲面上震荡积分的渐近行为？
• RQ4 能否利用具有子流形支撑的 zeta 函数估计光滑代数曲面上多项式同余式的解数？
• RQ5 当 zeta 函数支持在非退化完备交曲面上时，相对单值性猜想在何种条件下成立？

主要发现

• 在非退化假设下，zeta 函数 $Z_\Phi(\omega, V^{(l-1)}, f_l)$ 的极点完全由函数 $f_1, \dots, f_l$ 的牛顿多面体决定。
• 当 $|z|_K \to \infty$ 时，震荡积分 $E_\Phi(z,V^{(l-1)},f_l)$ 的渐近展开由 zeta 函数的极点控制，首项由这些极点的实部决定。
• 对于例子 $f_1(x,y) = x^n + y^n$，$f_2(x,y) = x^4 + y^4 + xy$，zeta 函数为 $\mathcal{Z}_0(s,V^{(1)},f_2) = \frac{N p^{-2s-3+n}}{1 - p^{-2s-2+n}}$，其中 $N$ 为 $x^n + y^n = 0$ 在 $\left(\mathbb{F}_p^\times\right)^2$ 中的解数，极点的实部为零或正，取决于 $n$。
• 在 $\boldsymbol{f} = (f_1, f_2)$ 且 $f_1 = x^3 + y^3 + z^3$，$f_2 = xyz$ 的情形下，$Z_0(s,\boldsymbol{f})$ 的极点实部为 $\{-1, -3/8, -1/3\}$，且相对单值性猜想成立，满足 $\varsigma_2(t) = (1 - t^6)(1 - t^8)^3$。
• zeta 函数 $Z_{\text{na\
• tldr