[論文レビュー] Exponential sums and polynomial congruences in two variables: the quasi-homogeneous case

James Wright|arXiv (Cornell University)|Feb 13, 2012

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

ひとこと要約

本稿は、2変数の準同次多項式に関する素数べきを法とする指数和および合同式の解の個数に対して、鋭い一様な評価を確立する。連続的な振動積分の手法を離散的設定に適応することで、ほとんどすべての素数に対して |𝒮(f;p^s)| ≤ Cs^{i(f)}p^{-s/h(f)} の形の減衰評価を証明する。ここで h(f) はノルム距離、i(f) は Varchenko の指数であり、一意的でない多項式の特殊クラス（m ≥ 2 で非可約二次式の冪）を除き、p に依存しない。

ABSTRACT

We adapt ideas of Phong, Stein and Sturm and ideas of Ikromov and Müller from the continuous setting to various discrete settings, obtaining sharp bounds for exponential sums and the number of solutions to polynomial congruences for general quasi-homogeneous polynomials in two variables. This extends work of Denef and Sperber and also Cluckers regarding a conjecture of Igusa in the two dimensional setting by no longer requiring the polynomial to be nondegenerate with respect to its Newton diagram.

研究の動機と目的

• 2変数の準同次多項式の場合に、アイグーザの指数和および合同式に関する予想を、ニュートン図に基づく非退化性を仮定せずに拡張すること。
• 素数べき p^s を法とする指数和 𝒮(f;p^s) および解の個数 𝒩(f;p^s) に対して、一様的で鋭い減衰評価を確立すること。
• f(x,y) = a(by² + cxy + dx²)^m (m ≥ 2, 非可約二次式) の形の多項式の例外的クラス Em が、標準的な減衰指数 i(f) が素数 p に依存することを特定すること。
• ユークリッド的設定における鋭い振動積分推定式の離散的類似を確立し、無限に多くの s に対して下界が一致することを示すこと。
• 準同次多項式の拡大重みと根の重複度を用いて、高さ h(f) と多重度 i(f) の明示的で内在的な記述を提供すること。

提案手法

• Phong, Stein, Sturm および Ikromov–Müller が開発した振動積分の技法を、有限環 ℤ/p^sℤ 上の離散的指数和に適応する。
• p進積分と局所 zeta 関数を用いて、因子環 𝔬/𝔭^s を通じて指数和と合同式の個数を分析する。
• x と y の p進付値 v(x) と v(y) を基準に、s に対する相対的な大きさに応じて場合分けする分解を適用する。
• 準同次性による変数変換とスケーリング不変性を用い、問題を p進数的単位球および単位球面上の積分に還元する。
• ℤ_p 上の加法的・乗法的ハール測度の構造を用いて、指標和および指示関数（合同式個数のため）を計算する。
• ∫∫ 𝒞(π^{-s} f(x,y)) dμ(x)dμ(y) の形の p進積分を推定することで、上界と下界を導出する。ここで 𝒞 は非自明な加法的指標または整数環の指示関数のいずれかである。

実験結果

リサーチクエスチョン

• RQ1 2変数の準同次多項式 f に対して、ℤ/p^sℤ 上の指数和 𝒮(f;p^s) の鋭い一様な評価は何か？ そして、ノルム距離 h(f) と多重度 i(f) にどのように依存するか？
• RQ2 f(x,y) ≡ 0 mod p^s の解の個数 𝒩(f;p^s) の漸近的挙動は何か？ また、h(f) と i(f) にどのように依存するか？
• RQ3 f(x,y) = a(by² + cxy + dx²)^m (m ≥ 2, 非可約二次式) の形をした多項式の例外的クラス Em が、減衰評価の一様性を破る役割を果たすのはどのような場合か？
• RQ4 p進数的指数和に対して、ユークリッド的設定における鋭い振動積分推定式（下界を含む）の離散的類似を確立できるか？
• RQ5 2次因子の根の p進的挙動が、減衰指数 i(f) に与える影響は何か？ また、いつ i(f) が p に依存するようになるか？

主な発見

• m ≥ 2 で例外的クラス Em に属さないすべての準同次多項式 f ∈ ℤ[X,Y] に対して、有限個の例外的素数集合 𝒫(f) を除くすべての素数 p に対して、|𝒮(f;p^s)| ≤ Cs^{i(f)}p^{-s/h(f)} が成り立ち、C は deg(f) のみに依存する。
• f が線形でない限り、無限に多くの s ≥ 1 に対して下界 cs^{i(f)}p^{-s/h(f)} ≤ |𝒮(f;p^s)| が成り立つ。これは連続的振動積分推定式の鋭さと一致する。
• 例外的クラス Em (m ≥ 2) に属する f に対して、指数 i(f) は p に依存する：i_p(f) = 1 は、2次式の根が ℚ_p に属する場合に限り成り立ち、そうでなければ 0 である。特に f(x,y) = a(y² - 2x²)^m の場合、i_p(f) = 1 となるのは p ≡ 1 または 7 mod 8 のときである。
• 高さ h(f) は、f(x,y) = ax^αy^β の形の単項式に対して h(f) = max(α,β) で与えられ、一般には適切な座標変換におけるノルム距離で与えられ、拡大重み κ₁, κ₂ を用いた明示的公式を持つ。
• α = β ≥ 2 の単項式に対しては、|𝒮(f;p^s)| ≍ q^{-s/β}q^{k} が s ≡ 0 mod β のとき成り立ち、下界は q^{-1} のオーダーの定数因子を伴って達成される。
• α < β かつ α ≥ 1 の単項式に対しては、上界 |𝒮(f;p^s)| ≤ Cq^{-(s−βk)/α} が成り立ち、s ≡ 0 mod β かつ q が十分に大きいとき、下界 |𝒮(f;p^s)| ≥ cq^{-s/β} が達成される。