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

Hui June Zhu|arXiv (Cornell University)|Jun 26, 2002

Algebraic Geometry and Number Theory被引用数 2

ひとこと要約

この論文は、ダーキング・ワンの予想を証明し、代数閉体 Q̄ 上のモニックな次数-d 多項式の Zariski 稠密な開部分集合に対して、指数和に関連する L 関数の p-進ニュートン多角形が p → ∞ の極限で p-進ホッジ多角形に収束することを示している。この結果は、1 変数指数和の文脈において、算術幾何学と p-進 L 関数の間の深い漸近的関係を確立する。

ABSTRACT

Let d>2 and let p be a prime coprime to d. Let Z_pbar be the ring of integers of Q_pbar. Suppose f(x) is a degree-d polynomial over Qbar and Z_pbar. Let P be a prime ideal over p in the ring of integers of Q(f), where Q(f) is the number field generated by coefficients of f in Qbar. Let A^d be the dimension-d affine space over Qbar, identified with the space of coefficients of degree-d monic polynomials. Let NP(f mod P) denote the p-adic Newton polygon of L(f mod P;T). Let HP(A^d) denote the p-adic Hodge polygon of A^d. We prove that there is a Zariski dense open subset U defined over Q in A^d such that for every geometric point f(x) in U(Qbar) we have lim_{p-->oo} NP(f mod P) = HP(A^d), where P is any prime ideal in the ring of integers of Q(f) lying over p. This proves a conjecture of Daqing Wan.

研究の動機と目的

• 1 変数指数和の p-進ニュートン多角形の漸近的挙動に関するダーキング・ワンの予想を解決すること。
• 数体上の次数-d 多項式の文脈において、p-進ニュートン多角形と p-進ホッジ多角形の明確な関係を確立すること。
• この収束が、Q̄ 上の係数空間 A^d の Zariski 稠密な開部分集合に対して成り立つことを示すこと。
• L 関数のニュートン多角形の漸近的極限を、幾何的および算術的特徴づけすること。

提案手法

• 著者たちは、Q̄ 上のモニックな次数-d 多項式の空間 A^d を扱い、その係数空間と同一視する。
• 多項式 f の係数が生成する体 Q(f) の整数環における素イデアル P を用いて、f の還元を考察する。
• f mod P に関連する指数和の L 関数 L(f mod P; T) の p-進ニュートン多角形 NP(f mod P) を分析する。
• NP(f mod P) を、係数空間 A^d の内在的不変量である p-進ホッジ多角形 HP(A^d) と比較する。
• 代数幾何学および p-進ホッジ理論を用いて、Q 上に定義された Zariski 稠密な開部分集合 U ⊂ A^d を構成し、すべての f ∈ U(Q̄) に対して、p → ∞ のときニュートン多角形が HP(A^d) に安定化することを示す。
• 証明は、U の稠密性および数体における素数で還元したときの L 関数の挙動に依存する。

実験結果

リサーチクエスチョン

• RQ1 次数-d 多項式の L 関数の p-進ニュートン多角形は、p → ∞ のとき p-進ホッジ多角形に収束するか？
• RQ2 この収束が成り立つ幾何的に自然な係数空間 A^d の部分集合は存在するか？
• RQ3 すべての大きな素数 p に対して、ニュートン多角形の漸近的挙動を一様に制御できるか？
• RQ4 係数空間 A^d のホッジ多角形は、個々の指数和のニュートン多角形とどのように関係するか？

主な発見

• Q 上に定義された Zariski 稠密な開部分集合 U ⊂ A^d に対して、すべての f ∈ U(Q̄) について、p → ∞ のとき p-進ニュートン多角形 NP(f mod P) は HP(A^d) に収束する。
• この収束は、Q(f) の整数環における p に上る任意の素イデアル P に対して一様に成り立つ。
• この結果により、ダーキング・ワンの 1 変数指数和の文脈におけるニュートン多角形の漸近的極限に関する予想が裏付けられる。
• 極限多角形 HP(A^d) は係数空間 A^d に内在的であり、L 関数のニュートン多角形の漸近的基準として機能する。
• 収束は、d と互いに素なすべての素数 p および d > 2 の場合に成り立つため、算術幾何学における広範な適用可能性が保証される。