[論文レビュー] 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

ひとこと要約

この論文は、特徴値がゼロの局所体上での多項式から有理型関数 $f/g$ へのイグサの局所ゼータ関数および振動積分の理論を拡張する。埋め込み特異点解消とねじれゼータ関数を用いて、二つの異なる漸近展開を確立する。一つは $|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.

研究の動機と目的

• 特徴値がゼロの局所体上での多項式から有理型関数へのイグサの局所ゼータ関数および振動積分の均一理論を一般化すること。
• 多項式の場合とは顕著に異なる、有理型関数の場合に生じる非自明な幾何的現象を扱うこと。
• 振動積分に対して二つの異なる漸近展開を確立すること：一つは $|z|_K \to \infty$ のとき、もう一つは $|z|_K \to 0$ のときで、それぞれ異なる種類のねじれゼータ関数の極によって制御されること。
• 振動積分の漸近的挙動が、それぞれ $f/g - c$ および $f/g$ に関連するねじれゼータ関数の極とどのように関連するかを明らかにし、定量的評価を与えること。

提案手法

• 特異点の埋め込み解消を用いて、$f/g$ 及びその等高線 $f/g = c$ の幾何を分析し、多項式の場合に類する手法を拡張する。
• 局所体 $K$ 上の有理型関数 $h = f/g$ に対して、$\omega$ を $K^\times$ 上の擬キャラクターとするねじれ局所ゼータ関数 $Z_\Phi(\omega; h)$ を導入し、そのメロモルフィック続行を証明する。
• $f/g - c$ の特別な値 $c$ に対して $Z_\Phi(\omega; f/g - c)$ の極を分析し、$|z|_K \to \infty$ のときの漸近展開を制御する。特に、実部が負である極に注目する。
• $f/g$ の $Z_\Phi(\omega; f/g)$ の極のうち、実部が正であるものに注目し、$|z|_K \to 0$ のときの漸近的挙動を制御し、べき対数的減衰推定を得る。
• $p$-進ローレン卜多項式に理論を適用し、振動積分が $\mod p^\ell$ の指数和に対応することを示し、ゼータ関数の極を通じて評価を得る。
• $R_K^n$ を $\mathfrak{p}^\ell$-近傍に分解することで、振動積分と有限体上の和との関係を確立し、古典的結果と比較可能にする。

実験結果

リサーチクエスチョン

• RQ1 特徴値がゼロの局所体上での多項式から有理型関数へのイグサの局所ゼータ関数および振動積分の理論をどのように拡張できるか？
• RQ2 有理型関数の場合に生じる、古典的理論の直接的拡張を妨げる新しい幾何的現象は何か？
• RQ3 なぜ有理型関数のための振動積分は、$|z|_K \to \infty$ と $|z|_K \to 0$ の二つの異なる漸近的領域を示すのか？それぞれを制御するのは何か？
• RQ4 ねじれゼータ関数 $Z_\Phi(\omega; f/g - c)$ および $Z_\Phi(\omega; f/g)$ の極が、$E_\Phi(z; f/g)$ の漸近的挙動をどのように決定するか、その正確な役割は何か？
• RQ5 この理論は、ローレンツ多項式に関連する既知の $\mod 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$ は、ある $c$ に対して $Z_\Phi(\omega; f/g - 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}))$ に対応し、理論により $|S_{\ell,u}(h)| \leq C q^{\ell \beta_{\mathcal{V}}} \ell^{\tilde{m}_{\beta_{\mathcal{V}}} - 1}$ の評価が得られる。ここで $\ell$ が十分に大きいとき、$\beta_{\mathcal{V}}$ は $f/g - c$ の実部が負である最大の極である。
• $\mod p^\ell$ の指数和に対する結果は、古典的な $p$-進評価と整合的であり、デネフとローザーの有限体上での指数和に関する研究を拡張する。
• 理論は、有理型関数を通じて複素モノドロミー、$p$-進指数和、モチーフ的ゼータ関数を統一的に結びつける枠組みを提供し、イグサの元々のプログラムを一般化する。