[論文レビュー] Valuations of exponential sums and Artin-Schreier curves

Régis Blache|arXiv (Cornell University)|Feb 3, 2015

Coding theory and cryptography参考文献 7被引用数 3

ひとこと要約

本稿は、奇数の特異的特徴を持つ有限体上の指数和の $p$-進評価について、$p$-ランク 0 のアーティン＝シュライヤー曲線のノイザー多角形と関連付けて、鋭い下界を確立する。このような曲線は、その種が $\frac{1}{2}(p-1)(i(p^n-1)-1)$ の形をとる場合、$n(p-1)>2$ のとき、非特異的であることは不可能であり、一般のノイザー多角形の最初の頂点および関連するハッセ多項式は、$p$-重み解析とコホモロジー加群上のフロベニウス作用の応用によって特定される。

ABSTRACT

Let $p$ denote an odd prime. In this paper, we are concerned with the $p$-divisibility of additive exponential sums associated to one variable polynomials over a finite field of characteristic $p$, and with (the very close question of) determining the Newton polygons of some families of Artin-Schreier curves, i.e. $p$-cyclic coverings of the projective line in characteristic $p$. We first give a lower bound on the $p$-divisibility of exponential sums associated to polynomials of fixed degree. Then we show that an Artin-Schreier curve defined over a finite field of characteristic $p$ cannot be supersingular when its genus $g$ has the form $(p-1)\left(i(p^n-1)-1 ight)/2$ for some $1\leq i\leq p-1$ and $n\geq 1$ such that $n(p-1)>2$. We also determine the first vertex of the generic Newton polygon of the family of $p$-rank $0$ Artin-Schreier curves of fixed genus, and the associated Hasse polynomial.

研究の動機と目的

• 奇数特徴の有限体上の加法的指数和の $p$-進評価について、鋭い下界を確立すること。
• 固定された種の $p$-ランク 0 のアーティン＝シュライヤー曲線について、一般のノイザー多角形の最初の頂点を特定すること。
• モジュライ空間内で同じ最初の頂点を持つ曲線の集合を切り出すハッセ多項式を特定すること。
• 特定の種の条件の下で、ある種のアーティン＝シュライヤー曲線の族が非特異的でないことを証明すること。

提案手法

• 指数集合の $p$-重み解析を用いて、$q-1$ を法とするモジュラー方程式を通じて指数和の評価を下界づける。
• コホモロジー加群上のフロベニウス作用を応用し、半単純ベクトルの部分空間の次元を計算することで、ノイザー多角形の最初の頂点を同定する。
• 単項式の基底におけるフロベニウス作用素の行列表現を構成し、制限の行列式を計算することでハッセ多項式を導出する。
• アーティン＝シュライヤーの簡約を用いて、多項式の次数が $p$ と互いに素であると仮定し、解析を単純化する。
• 反復的フロベニウス作用と軌道の線形独立性を用いて、ノイザー多角形の最小な補助集合を分析する。
• 次数の範囲に応じて、ハッセ多項式を非ゼロの行列式または係数の積の和として導出する。

実験結果

リサーチクエスチョン

• RQ1 有限体 $\mathbb{F}_q$ 上の多項式について、次数 $d$ の指数和の $p$-進評価の最も鋭い下界は何か？
• RQ2 どの種 $g$ に対して、奇数特徴における $p$-ランク 0 のアーティン＝シュライヤー曲線が非特異的でないか？
• RQ3 固定された次数 $d$ の $p$-ランク 0 のアーティン＝シュライヤー曲線について、一般のノイザー多角形の最初の頂点は何か？
• RQ4 係数空間におけるザリスキ開集合を定義する多項式は何か？ その集合ではノイザー多角形が最初の頂点に達する。
• RQ5 指数集合の $p$-重みは、アーティン＝シュライヤー曲線のノイザー多角形構造とどのように関係するか？

主な発見

• $d \geq \frac{p-1}{2}$ のとき、$p^n - 1 \leq d \leq p^{n+1} - p - 1$ ならば $v_q(S(f)) \geq \frac{1}{n(p-1)}$ が成り立ち、この下界は鋭い。
• $p^{n+1} - p + 1 \leq d \leq p^{n+1} - 2$ かつ $n \geq 1$ のとき、$v_q(S(f)) \geq \frac{2}{(2n+1)(p-1)}$ であり、ある $f$ に対して等号が成立する。
• $\frac{p-1}{2} \leq d \leq p-2$ かつ $p \geq 5$ のとき、$v_q(S(f)) \geq \frac{2}{p-1}$ であり、これも鋭い。
• $d = p^{n+1} - 2$ のとき、$p$-ランク 0 のアーティン＝シュライヤー曲線の一般のノイザー多角形の最初の頂点は $((2n+1)(p-1), 2)$ であり、ハッセ多項式は $\sum_{i=2}^{p-1} c_{p^{n+1}-i}^{p^n} c_{ip^n - 1}$ である。
• $d = p^{n+1} - p - 1$ のとき、最初の頂点は $(n(p-1)p, p)$ であり、ハッセ多項式は $f^{\lceil \frac{p-1}{d} \rceil}$ の係数を含む行列の行列式として与えられる。
• $n(p-1) > 2$、$1 \leq i \leq p-1$、$n \geq 1$ のとき、種 $g = \frac{1}{2}(p-1)(i(p^n - 1) - 1)$ のアーティン＝シュライヤー曲線は非特異的ではない。