[论文解读] Zeta functions and oscillatory integrals for meromorphic functions

Willem Veys, W. A. Zúñiga‐Galindo|arXiv (Cornell University)|Oct 13, 2015

advanced mathematical theories参考文献 25被引用 4

一句话总结

该论文将伊古萨关于局部zeta函数和振荡积分的理论从多项式推广到特征零局部域上的亚纯函数 $f/g$。通过嵌入奇点解耦和扭曲zeta函数，建立了两种不同的渐近展开：一种是当 $|z|_K \to \infty$ 时，受控于 $Z_\Phi(\omega; f/g - c)$ 的实部为负的极点；另一种是当 $|z|_K \to 0$ 时，受控于 $Z_\Phi(\omega; f/g)$ 的实部为正的极点，从而对振荡积分给出了精确的幂对数界。

ABSTRACT

In the 70's Igusa developed a uniform theory for local zeta functions and oscillatory integrals attached to polynomials with coefficients in a local field of characteristic zero. In the present article this theory is extended to the case of rational functions, or, more generally, meromorphic functions f/g, with coefficients in a local field of characteristic zero. This generalization is far from being straightforward due to the fact that several new geometric phenomena appear. Also, the oscillatory integrals have two different asymptotic expansions: the 'usual' one when the norm of the parameter tends to infinity, and another one when the norm of the parameter tends to zero. The first asymptotic expansion is controlled by the poles (with negative real parts) of all the twisted local zeta functions associated to the meromorphic functions f/g - c, for certain special values c. The second expansion is controlled by the poles (with positive real parts) of all the twisted local zeta functions associated to f/g.

研究动机与目标

• 将伊古萨关于局部zeta函数和振荡积分的统一理论从多项式推广到特征零局部域上的亚纯函数。
• 解决亚纯情形下出现的非平凡几何现象，这些现象与多项式情形显著不同。
• 为振荡积分建立两种不同的渐近展开：一种是当 $|z|_K \to \infty$ 时，另一种是当 $|z|_K \to 0$ 时，每种展开分别由扭曲zeta函数的不同极点类控制。
• 将振荡积分的渐近行为与分别对应于 $f/g - c$ 和 $f/g$ 的扭曲zeta函数的极点联系起来，提供定量估计。

提出的方法

• 利用嵌入奇点解耦分析 $f/g$ 及其水平集 $f/g = c$ 的几何结构，扩展多项式情形的技术。
• 为亚纯函数 $h = f/g$ 引入扭曲局部zeta函数 $Z_\Phi(\omega; h)$，其中 $\omega$ 是 $K^\times$ 上的拟特征标，并证明其梅雷罗姆延拓。
• 分析 $Z_\Phi(\omega; f/g - c)$ 在特定值 $c$ 处的极点，以控制当 $|z|_K \to \infty$ 时的渐近展开，特别是实部为负的极点。
• 分析 $Z_\Phi(\omega; f/g)$ 中实部为正的极点，以控制当 $|z|_K \to 0$ 时的渐近行为，建立幂对数衰减估计。
• 将该理论应用于 $p$-进洛朗多项式，表明振荡积分对应于模 $p^\ell$ 的指数和，并通过zeta函数极点导出估计。
• 利用 $R_K^n$ 到 $\mathfrak{p}^\ell$-邻域的分解，将振荡积分与有限域上的和联系起来，从而可与经典结果进行比较。

实验结果

研究问题

• RQ1 如何将伊古萨关于局部zeta函数和振荡积分的理论从多项式推广到特征零局部域上的亚纯函数？
• RQ2 在亚纯情形下出现了哪些新的几何现象，导致经典理论无法直接推广？
• RQ3 为何亚纯函数的振荡积分表现出两种不同的渐近行为：一种是当 $|z|_K \to \infty$ 时，另一种是当 $|z|_K \to 0$ 时，每种行为由什么控制？
• RQ4 扭曲zeta函数 $Z_\Phi(\omega; f/g - c)$ 和 $Z_\Phi(\omega; f/g)$ 的极点在决定 $E_\Phi(z; f/g)$ 的渐近行为中起何种精确作用？
• RQ5 该理论能否恢复关于洛朗多项式模 $p^\ell$ 的指数和的已知估计？如果可以，是如何实现的？

主要发现

• 当 $|z|_K \to \infty$ 时，振荡积分 $E_\Phi(z; f/g)$ 具有如下渐近展开形式：$\sum_{\gamma} \sum_{m=1}^{m_\gamma} e_{\gamma,m}(z/|z|) |z|^\gamma (\ln |z|)^{m-1}$，其中 $\gamma$ 遍历 $Z_\Phi(\omega; f/g - c)$ 中实部为负的极点（对某些 $c$），且 $e_{\gamma,m}$ 是 $\mathbb{Z}_p^\times$ 上的局部常值函数。
• 当 $|z|_K \to 0$ 时，振荡积分满足不等式：$\left|E_\Phi(z; f/g) - \int_{K^n} \Phi(x) |dx|_K \right| \leq C |z|^\alpha |\ln |z||^{\tilde{m}_\alpha - 1}$，其中 $\alpha$ 和 $\tilde{m}_\alpha$ 由 $Z_\Phi(\omega; f/g)$ 中实部为正的极点决定。
• 当 $f$ 和 $g$ 为多项式时，渐近界中的常数 $C$、$\alpha$、$\delta_\alpha$ 和 $\tilde{m}_\alpha$ 与测试函数 $\Phi$ 无关，这是由于有限分辨率数据所致。
• 对于 $p$-进洛朗多项式 $h = f/x^m$，振荡积分 $E_\Phi(z; h)$ 对应于指数和 $S_{\ell,u}(h) = q^{-\ell n} \sum_{\bar{x} \in ((R_K/P_K^\ell)^\times)^n} \Psi(u \mathfrak{p}^{-\ell} h(\bar{x}))$，该理论导出估计：当 $\ell$ 足够大时，有 $|S_{\ell,u}(h)| \leq C q^{\ell \beta_{\mathcal{V}}} \ell^{\tilde{m}_{\beta_{\mathcal{V}}} - 1}$，其中 $\beta_{\mathcal{V}}$ 是 $f/g - c$ 的所有极点中实部最大的负值。
• 关于模 $p^\ell$ 的指数和的结果与经典 $p$-进估计一致，并扩展了德内夫与洛泽尔关于有限域上指数和的工作。
• 该理论提供了一个统一框架，通过亚纯函数将复单值性、$p$-进指数和与动机zeta函数联系起来，推广了伊古萨原始研究计划。