[論文レビュー] 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進体における非退化な完全交差多様体に台を持つ、新しいクラスの局所ゼータ関数を導入し、Igusaの方法を、滑らかな解析的部分多様体に沿った指数和の推定に拡張する。主な貢献は、これらのゼータ関数の極の幾何的記述を、ニュートン多面体を用いて行うことであり、これは振動積分の漸近展開を制御し、滑らかな多様体上での多項式合同式の解の数の精密な推定を可能にする。

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.

研究の動機と目的

• 指数和を $p^m$ を法として推定するIgusaの方法を、全p進空間ではなく非退化な滑らかな解析的部分多様体に沿った和へ一般化すること。
• p進体における完全交差多様体に台を持つ局所ゼータ関数を定義し、それらを研究すること。
• これらのゼータ関数の極と定義関数のニュートン多面体との間の幾何的関係を確立すること。
• 極がゼータ関数に依存する、$|z|_K \to \infty$ における形 $E_{\tilde{\Phi}}(z,V^{(l-1)},f_l)$ の振動積分の漸近展開を提供すること。
• ゼータ関数フレームワークを用いて、滑らかな代数的多様体上の多項式合同式の解の数を推定すること。

提案手法

• 定義関数 $f_1, \dots, f_{l-1}$ によって誘導されるGel'fand-Leray測度を用いて、滑らかな部分多様体 $V^{(l-1)}(K)$ 上での積分として、局所ゼータ関数 $Z_\Phi(\omega, V^{(l-1)}, f_l)$ を定義する。
• 非退化性を仮定した上で、関数 $f_1, \dots, f_l$ の特異点をニュートン多面体の理論を用いて分析する。
• 変数変換と陰関数定理を適用し、p進球上での積分を、関数のp進付値を含むより単純な形に還元する。
• ニュートン多面体の単体的多面体分割を用いてゼータ関数を計算し、各錐からの寄与を分離する。
• 剰余体 $\mathbb{F}_q$ の構造とリーマン記号を用いて、$\left(\mathbb{F}_p^\times\right)^n$ 内の解の数を数え、ゼータ関数の有理関数表現を導出する。
• ゼータ関数の極と振動積分 $E_\Phi(z,V^{(l-1)},f_l)$ の漸近的挙動との関係を確立し、極が漸近展開の主要項を決定することを示す。

実験結果

リサーチクエスチョン

• RQ1 Igusaの方法による $p^m$ を法とする指数和の推定を、全p進空間ではなく滑らかな解析的部分多様体に沿った和へどのように拡張できるか？
• RQ2 p進体における完全交差多様体に定義された局所ゼータ関数の極の幾何的構造は何か？
• RQ3 定義関数のニュートン多面体は、このような多様体上での振動積分の漸近的挙動にどのように影響するか？
• RQ4 部分多様体に台を持つゼータ関数を用いて、滑らかな代数的多様体上の多項式合同式の解の数を推定できるか？
• RQ5 非退化な完全交差多様体に台を持つゼータ関数について、相対モノドロミー予想はどのような条件下で成り立つか？

主な発見

• 非退化性の仮定の下で、ゼータ関数 $Z_\Phi(\omega, V^{(l-1)}, f_l)$ の極は、関数 $f_1, \dots, f_l$ のニュートン多面体によって完全に決定される。
• 振動積分 $E_\Phi(z,V^{(l-1)},f_l)$ が $|z|_K \to \infty$ に近づく際の漸近展開は、ゼータ関数の極によって支配され、主要項はこれらの極の実部によって決定される。
• 例として $f_1(x,y) = x^n + y^n$, $f_2(x,y) = x^4 + y^4 + xy$ の場合、ゼータ関数は $\mathcal{Z}_0(s,V^{(1)},f_2) = \frac{N p^{-2s-3+n}}{1 - p^{-2s-2+n}}$ であり、$N$ は $\left(\mathbb{F}_p^\times\right)^2$ 内で $x^n + y^n = 0$ を満たす解の数である。極の実部は $n$ に応じて 0 または正の値を取る。
• $\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$ として成り立つ。
• ゼータ関数 $Z_{\text{na\
• tldr