[論文レビュー] p-adic variation of L-functions of exponential sums, I

Hui June Zhu|arXiv (Cornell University)|Nov 18, 2001

Meromorphic and Entire Functions参考文献 14被引用数 3

ひとこと要約

本論文は、素数 $p$ を法とする1変数指数和の $L$-関数に対して、一般のニュートン多角形の存在を確立し、$p$ が十分に大きいとき、一般の多項式 $f(x)$ のニュートン多角形が一般のニュートン多角形 $\mathrm{GNP}(\mathbb{A}^d;\mathbb{F}_p)$ に一致することを証明している。さらに、$p \to \infty$ のとき、この多角形はホッジ多角形 $\mathrm{HP}(\mathbb{A}^d)$ に収束する。この結果は、Daqing Wan による $L$-関数の $p$-進変動に関する予想を裏付けるものである。

ABSTRACT

For a polynomial $f(x)$ in $(\mathbb{Z}_p\cap \mathbb{Q})[x]$ of degree $d>2$ let $L(f \bmod p;T)$ be the $L$-function of the exponential sum of $f \bmod p$. Let $\mathrm{NP}(f \bmod p)$ denote the Newton polygon of $L(f \bmod p;T)$. Let $\mathrm{HP}(f)$ denote the Hodge polygon of $f$, which is the lower convex hull in the real plane of the points $(n,n(n+1)/(2d))$ for $0\leq n\leq d-1$. We prove that there is a Zariski dense subset $\mathcal{U}$ defined over $\mathbb{Q}$ in the space $\mathbb{A}^d$ of degree-$d$ monic polynomials over $\mathbb{Q}$ such that for all $f$ in $\mathcal{U}(\mathbb{Q})$ we have $\lim_{p ightarrow\infty} \mathrm{NP}(f \bmod p) = \mathrm{HP}(f)$. Moreover, we determine the $p$-adic valuation of every coefficient of $L(f \bmod p;T)$ for $p$ large enough and $f$ in $\mathcal{U}(\mathbb{Q})$, and that of $L(x^d+a x \bmod p;T)$ for all $a eq 0$.

研究の動機と目的

• 1変数指数和の $L$-関数の $p$-進変動に関する Daqing Wan の予想を解決すること。
• 十分に大きな素数 $p$ に対して、$\mathbb{F}_p$ 上のモニック多項式の次数 $d$ のための一般のニュートン多角形 $\mathrm{GNP}(\mathbb{A}^d;\mathbb{F}_p)$ の存在を証明すること。
• 定義が $\mathbb{Q}$ 上のザリスキ・コarser な開集合 $\mathcal{U} \subset \mathbb{A}^d$ に対して、$f \otimes \mathbb{F}_p$ のニュートン多角形が、十分に大きな $p$ に対して $\mathrm{GNP}(\mathbb{A}^d;\mathbb{F}_p)$ に一致することを示すこと。
• ニュートン多角形の極限挙動を確立し、$p \to \infty$ のときホッジ多角形 $\mathrm{HP}(\mathbb{A}^d)$ に収束することを示すこと。
• 1パrameter族 $f(x) = x^d + ax$ に拡張し、任意の非ゼロ $a \in \mathbb{Q}$ に対して、$\lim_{p \to \infty} \mathrm{NP}((x^d + ax) \otimes \mathbb{F}_p) = \mathrm{HP}(\mathbb{A}^d)$ を証明すること。

提案手法

• 本論文は、アーチン＝ハースの指数関数と $p$ 乗根 $\zeta_p$ を用いて定義される、指数和 $S_\ell(f \otimes \mathbb{F}_p)$ に関連する $L$-関数の $p$-進解析を用いる。
• ニュートン多角形 $\mathrm{NP}(f \otimes \mathbb{F}_p)$ は、$L$-関数 $L(f \otimes \mathbb{F}_p; T)$ の係数 $b_n$ に対して、点 $(n, \mathrm{ord}_p b_n)$ の下側凸包として定義される。
• ホッジ多角形 $\mathrm{HP}(\mathbb{A}^d)$ は、$0 \leq n \leq d-1$ に対して点 $(n, \frac{n(n+1)}{2d})$ の下側凸包として定義される。
• 本研究では、$\mathbb{Q}$ 上に定義されたザリスキ・コarser な開集合 $\mathcal{U} \subset \mathbb{A}^d$ を構成し、$f \in \mathcal{U}(\mathbb{Q})$ に対して、十分に大きな $p$ でニュートン多角形が $\mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$ に安定化することを示した。
• 1パrameter族 $f(x) = x^d + ax$ に対して、$\mathrm{NP}((x^d + ax) \otimes \mathbb{F}_p)$ が $p \to \infty$ のとき $\mathrm{HP}(\mathbb{A}^d)$ に収束することを証明した。
• 主な技術的道具は、階乗および二項係数の積に対する $p$-進付値の推定であり、$L$-関数の係数における先頭項を制御するためのバテルマン行列の使用も含まれる。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな素数 $p$ に対して、一般のニュートン多角形 $\mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$ は存在するか？
• RQ2 一般の多項式 $f \in \mathbb{A}^d(\mathbb{Q})$ に対して、$p$ が十分に大きいとき $\mathrm{NP}(f \otimes \mathbb{F}_p)$ は $\mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$ に一致するか？
• RQ3 固定された $f \in \mathbb{A}^d(\mathbb{Q})$ に対して、$p \to \infty$ のとき $\mathrm{NP}(f \otimes \mathbb{F}_p)$ の極限は何か？
• RQ4 任意の非ゼロ $a \in \mathbb{Q}$ に対して、$\mathrm{NP}((x^d + ax) \otimes \mathbb{F}_p)$ の $p \to \infty$ の極限はホッジ多角形 $\mathrm{HP}(\mathbb{A}^d)$ に一致するか？
• RQ5 $L$-関数の係数の $p$-進付値を一様に制御することで、ホッジ多角形への収束を確立できるか？

主な発見

• 十分に大きな $p$ に対して、一般のニュートン多角形 $\mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$ が存在し、明示的に計算可能である。
• $\mathbb{Q}$ 上に定義されたザリスキ・コarser な開集合 $\mathcal{U} \subset \mathbb{A}^d$ が存在し、すべての $f \in \mathcal{U}(\mathbb{Q})$ に対して、十分に大きな $p$ で $\mathrm{NP}(f \otimes \mathbb{F}_p) = \mathrm{GNP}(\mathbb{A}^d; \mathbb{F}_p)$ が成り立つ。
• $p \to \infty$ のとき、$\mathcal{U}(\mathbb{Q})$ に属する $f$ に対して、ニュートン多角形 $\mathrm{NP}(f \otimes \mathbb{F}_p)$ はホッジ多角形 $\mathrm{HP}(\mathbb{A}^d)$ に収束する。
• 1パrameter族 $f(x) = x^d + ax$（$a \neq 0$）に対して、$\lim_{p \to \infty} \mathrm{NP}((x^d + ax) \otimes \mathbb{F}_p) = \mathrm{HP}(\mathbb{A}^d)$ が成り立つ。
• $L$-関数の係数の $p$-進付値は、$\mathrm{ord}_p C_n \geq \frac{n(n+1)}{2d} + \epsilon_n'$ を満たし、等号が成り立つのは $a \not\equiv 0 \pmod{p}$ のときに限る。
• 証明は、$p$-進付値推定とバテルマン行列の恒等式を用いて、$L$-関数係数の先頭項を制御することで、極限においてニュートン多角形がホッジ多角形と一致することを保証する。