[論文レビュー] p-Density, exponential sums and Artin-Schreier curves

Régis Blache|arXiv (Cornell University)|Dec 17, 2008

Coding theory and cryptography参考文献 6被引用数 8

ひとこと要約

本稿では、有限集合 $D \subset \mathbb{N}^r$ に対する $p$-密度という概念を導入し、有限体上の指数和の $p$-進付値に対する鋭い下界を与える。主な結果として、$D$ の $p$-密度が、$D$ の指数をもつ $y^p - y = f(x)$ の形のアーティン・シュライエル曲線のニュートン多角形の一般的な最初のスロープに一致することを示し、スティッケルバーガーの定理を統一的かつ一般化するものであり、超特異性の体系的基準を可能にする。

ABSTRACT

In this paper we define the $p$-density of a finite subset $D\subset\ma{N}^r$, and show that it gives a good lower bound for the $p$-adic valuation of exponential sums over finite fields of characteristic $p$. We also give an application: when $r=1$, the $p$-density is the first slope of the generic Newton polygon of the family of Artin-Schreier curves associated to polynomials with their exponents in $D$.

研究の動機と目的

• 有限集合 $D \subset \mathbb{N}^r$ に対する新しい不変量 $p$-密度を定義し、指数和推定において生じるモジュラー方程式系の解の最小 $p$-重みを捉えること。
• 指数和の $p$-進付値に対する一様で $p$-依存の下界を提供し、次数やニュートン多面体にのみ依存する既存の境界を改善すること。
• $p$-密度を用いて、$p$-ランクがゼロであるアーティン・シュライエル曲線族の $L$-関数の一般的なニュートン多角形の最初のスロープを特定すること。
• 指数集合の $p$-密度に基づいて、アーティン・シュライエル曲線の超特異性の基準を確立すること。

提案手法

• 非ゼロ解 $U$ に対する、$q-1$ を法とするモジュラー方程式系のすべての解について、正規化された $p$-重み $\sigma_p(\sum u_i d_i)/\sigma_p(q-1)$ の下界として $p$-密度 $\pi_p(D)$ を定義する。
• モレノらのモジュラー方程式系の構造を用いて、解の最小 $p$-重みを特徴付け、$\pi_p(D)$ が無限個の $q = p^m$ で達成されることを示す。
• グロテンディークの特異化定理を用いて、$f(x)$ の $L$-関数に対する一般的なニュートン多角形 $GNP(D,p)$ が存在することを示し、最初のスロープ $s_1(D,p)$ を得る。
• 双対性の議論により $s_1(D,p) = \pi_p(D)$ を証明する：$p$-密度による下界は鋭く、ある $f$ とある $\mathbb{F}_q$ で等号が成立する。
• 等式 $s_1(D,p) = \pi_p(D)$ を用いて、超特異性の基準を導出する：曲線が超特異であるための必要十分条件は $\pi_p(D) = \frac{1}{2}$ である。

実験結果

リサーチクエスチョン

• RQ1 固定された有限集合 $D \subset \mathbb{N}^r$ の指数をもつ多項式について、$\mathbb{F}_q$ 上の指数和の最小 $p$-進付値は何か？
• RQ2 $D$ の $p$-密度は、アーティン・シュライエル曲線 $y^p - y = f(x)$ の $L$-関数のニュートン多角形とどのように関係するか？
• RQ3 $p$-密度を用いて、アーティン・シュライエル曲線族が超特異であるかどうかを特定できるか？
• RQ4 $p$-密度は、一般的なニュートン多角形の最初のスロープに対する鋭い不変量か？

主な発見

• $p$-密度 $\pi_p(D)$ は、$\mathbb{F}_q$ 上の指数和の $p$-進付値に対する鋭い下界であり、この下界は無限個の $q = p^m$ で達成される。
• 指数が $D$ に属するアーティン・シュライエル曲線 $y^p - y = f(x)$ の $L$-関数のニュートン多角形の一般的な最初のスロープは、ちょうど $\pi_p(D)$ に一致する。
• アーティン・シュライエル曲線族が超特異であるための必要十分条件は $\pi_p(D) = \frac{1}{2}$ であり、超特異性の統一的基準を提供する。
• $p=2$ の場合、$2$-ランクがゼロで、 genus $g \in \{2^{n-1}-1, \dots, 2^n - 2\}$ である曲線の一般的な最初のスロープは $\frac{1}{n}$ に一致し、既知の結果と一致する。
• $p$-密度はスティッケルバーガーの定理を一般化する：$D = \{d\}$ のとき、$\pi_p(D)$ は、$d$ を割る位数の指標に関連するガウス和の最小 $p$-進付値に一致する。
• 本手法により、超特異アーティン・シュライエル曲線の新たな族を体系的に特定できるようになり、$y^3 - y = x^{14} + a x^2 + b x$ など、以前に知られていなかった例も含む。