[論文レビュー] Hodge-Stickelberger polygons for L-functions of exponential sums of P(x^s)

Régis Blache, Éric Férard+1 more|ArXiv.org|Jun 15, 2007

Analytic Number Theory Research参考文献 12被引用数 6

ひとこと要約

本稿では、特徴値 p と互いに素な s に対して、P(x^s) の指数和に関連する L 関数の q-進ニュートン多角形に対するタイトな下界として、ホッジ・スティッケルバーガー多角形を導入する。この下界は、P(x) のホッジ多角形と x^s のニュートン多角形の重み付き畳み込みとして構成され、固定された s を法とする剰余類内で p → ∞ のとき一般に達成されることを示し、アーティン・シュライエル曲線の zeta 関数への応用を含む。

ABSTRACT

Let P(x) be a one-variable Laurent polynomial of degree (d_1,d_2) over a finite field of characteristic p. For any fixed positive integer s not divisible by p, we prove that the (normalized) p-adic Newton polygon of the L-functions of exponential sums of P(x^s) has a tight lower bound which we call `Hodge-Stickelberger polygon', depending only on d_1,d_2,s, and (p mod s). This Hodge-Stickelberger polygon is a weighted convolution of a `Hodge polygon' for L-function of exponential sum of P(x) and the `Newton polygon' for L-function of exponential sum of x^s (given by the classical Stickelberger theory). We prove an analogous Hodge-Stickelberger lower bound for multivariable Laurent polynomials as well. We prove this Hodge-Stickelberger polygon is the limit of generic Newton polygons of P(x^s) in a sense that was made explicit in the paper.

研究の動機と目的

• P がローレン卜多項式で、s が特徴値 p と互いに素であるとき、P(x^s) の指数和に関連する L 関数の q-進ニュートン多角形に対する鋭い下界を確立すること。
• 乗法的自己準同型 p mod s のサイクル分解に基づき、P(x) のホッジ多角形と x^s のニュートン多角形の重み付き畳み込みとして定義・特徴づけるホッジ・スティッケルバーガー多角形を定義すること。
• 各剰余類 ν mod s に対して、p → ∞ かつ p ≡ ν mod s のとき、L(P(x^s)/𝔽_q; T) のニュートン多角形がホッジ・スティッケルバーガー多角形に収束するような、Zariski 稠密な開部分集合 𝒰_ν が存在することを示すこと。
• 多変数ローレン卜多項式へ主結果を拡張し、非退化性および次元条件の下で、ニュートン多角形がホッジ・スティッケルバーガー多角形の上にあり、両端点で一致することを示すこと。
• この下界を、y^p - y = P(x^s) で定義されるアーティン・シュライエル曲線の zeta 関数の逆根の q-進付値を推定するために応用し、分子のニュートン多角形に対するタイトな下界を提供すること。

提案手法

• ホッジ・スティッケルバーガー多角形は、乗法的自己準同型 p mod s のサイクル分解から得られる λ_i と ℓ_i を用いて、傾き (m+1−λ_i)/d_1 および (m+λ_i)/d_2、長さ ℓ_i の線分の連結として定義される。
• 構成は、p mod s での乗法的自己準同型が誘導する置換 σ = ∏σ_i のサイクル分解に基づき、λ_i = (∑_{j∈σ_i} j)/(sℓ_i) とし、0 ≤ λ_i < 1 を満たす。
• Dwork のトレース公式およびMonsky-Reich のトレース公式を用いて、特に P(x^s) のねじれ指数和の L 関数を解析する。
• 多変数の場合、ホッジ・スティッケルバーガー多角形は ℤ^n 上の重み関数 w を用い、ニュートン多面体 C(𝐏) ∩ ℤ^n の整数点 𝐦 に対して、長さ ℓ_1,i_1⋯ℓ_n,i_n、傾き w(𝐦 − 𝐥_𝐢) の線分を連結して定義される。
• 証明は、𝐏 の非退化性条件およびニュートン多面体 Δ(𝐏) の次元が n に等しいことにより、L 関数の分子が多項式であることを保証する。
• 漸近的収束は、p ≡ ν mod s かつ p → ∞ のとき、ℚ 上のZariski 稠密な開部分集合 𝒰_ν 上で、一般の P に対して L(P(x^s)/𝔽_q; T) のニュートン多角形がホッジ・スティッケルバーガー多角形に収束することを根拠とする。

実験結果

リサーチクエスチョン

• RQ1 s が特徴値 p と互いに素であるとき、P(x^s) の指数和の L 関数の q-進ニュートン多角形に対する鋭い下界は何か？
• RQ2 ホッジ・スティッケルバーガー多角形は、P(x) のホッジ多角形と x^s のニュートン多角形の重み付き畳み込みとしてどのように関係するか？
• RQ3 固定された剰余類 ν mod s に対して、p → ∞ かつ p ≡ ν mod s のとき、L(P(x^s)/𝔽_q; T) のニュートン多角形は、普遍的な下界に収束するか？
• RQ4 ホッジ・スティッケルバーガー多角形を多変数ローレン卜多項式へ一般化できるか？また、ニュートン多角形がそれより上にあり、かつ両端点で一致するための条件は何か？
• RQ5 この下界は、y^p - y = P(x^s) で定義されるアーティン・シュライエル曲線の zeta 関数にどのような影響を及ぼすか、特に逆根の q-進付値の観点から述べよ。

主な発見

• ホッジ・スティッケルバーガー多角形は、L(P(x^s)/𝔽_q; T) の q-進ニュートン多角形に対するタイトな下界であり、底体 𝔽_q の選択に依存しない。
• 各 ν ∈ (ℤ/sℤ)^× に対して、ℙ^1(ℚ) のZariski 稠密な開部分集合 𝒰_ν ⊂ ℙ^1(ℚ) が存在し、すべての P ∈ 𝒰_ν(ℚ̄) に対して、p → ∞ かつ p ≡ ν mod s のとき、L(P(x^s)/𝔽_q; T) のニュートン多角形がホッジ・スティッケルバーガー多角形に収束する。
• ホッジ・スティッケルバーガー多角形は、乗法的自己準同型 p mod s のサイクル分解から得られる ℓ_i と λ_i を用いて、傾き (m+1−λ_i)/d_1 および (m+λ_i)/d_2、長さ ℓ_i の線分の連結として明示的に構成される。
• 多変数の場合、L(P(x_1^{s_1},…,x_n^{s_n})/𝔽_q; T)^{(-1)^{n-1}} のニュートン多角形は、非退化性およびフル次元条件の下でホッジ・スティッケルバーガー多角形の上にあり、両端点で一致する。
• この下界により、アーティン・シュライエル曲線 y^p - y = P(x^s) の zeta 関数の逆根の q-進付値に対するタイトな推定が可能となり、分子のニュートン多角形に対する下界が得られる。
• 構成により、s > 1 のとき、p → ∞ の際の一般のニュートン多角形に一様な極限が存在しないことが示され、これは s を法とする異なる剰余類ごとに異なるホッジ・スティッケルバーガー多角形が存在するためである。