[論文レビュー] Congruences for L-functions of additive exponential sums

Régis Blache|arXiv (Cornell University)|Jun 7, 2012

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

ひとこと要約

本稿は、正の特性におけるアフィン空間上の加法的指数和に関連するL関数に対して、非自明な合同式を $ I_{\rho} $ を法として確立する。これは、Maninの曲線のヤコビアンに関する合同式を拡張するものであり、Dwork理論とp進解析を用いて、L関数が、多項式の係数とそのFrobenius捩れから得られる行列を含む行列式の積と合同であることを示す。この合同式は、$ p $-密度 $ \delta_p(D_I) + n - \#I = \delta_p(D) $ を満たす場合に限り成り立つ。

ABSTRACT

We give a congruence for L-functions coming from affine additive exponential sums over a finite field. Precisely, we give a congruence for certain operators coming from Dwork's theory. This congruence is very similar to the congruence of Manin for the characteristic polynomial of the action of Frobenius on the Jacobian of a curve defined over a finite field.

研究の動機と目的

• 正の特性におけるアフィン空間上の加法的指数和の$ L $-関数へ、曲線のゼータ関数のManinの合同式を拡張すること。
• 指数和から生じる$ L $-関数に対して、自明でない$ \pi $-進イデアル$ I_{\rho} $ を法とする非自明な合同式を確立すること。この$ I_{\rho} $ は$ p $-密度によって定義される。
• 多項式の係数とそのFrobenius作用から得られる行列$ M(\Gamma_I) $ を用いて、$ L $-関数の構造を特徴づけること。
• ニュートン多角形に水平な傾きが存在しない場合でも有効な枠組みを提供し、従来の合同式の制限を克服すること。
• アーチン＝シュライエル曲線および射影的超曲面の結果を統一的かつ一般化する、一様な$ p $-進合同式を提供すること。

提案手法

• 有限体拡張上の加法的指数和$ S_r(f) $ の指数母関数として、$ L $-関数$ L(\mathbb{A}^n, f; T) $ を定義する。
• Dwork理論を用いて、係数$ c_{\mathbf{d}} $ を$ \mathbb{Z}_p[\zeta_p] $ 内のテイヒミュラー代表元$ \gamma_{\mathbf{d}} $ に持ち上げ、行列$ \Gamma $ を構成する。
• $ p $-密度$ \delta_p(D) $ を、$ L $-関数の逆数根および極の$ q $-進付値の下界として定義する。
• 係数の$ q $-進付値が$ \delta i $ よりも厳密に大きい級数の集合として、イデアル$ I_{\delta} $ を定義し、非自明な合同式を可能にする。
• $ D_I $ の$ p $-最小な部分集合の支持に基づき、行列$ M(\Gamma_I) $ を構成し、そのFrobenius捩れ$ M(\Gamma_I)^{\tau^{m-1}} \cdots M(\Gamma_I) $ を定義する。
• 合同式$ L(\mathbb{A}^n, f; T) \equiv \prod \det(\mathbf{I}_{N_I} - \pi^{m(p-1)\delta} T M(\Gamma_I)^{\tau^{m-1}} \cdots M(\Gamma_I))^{(-1)^{\#I+1}} \mod I_{\delta} $ を確立する。ここで積は、$ \delta_p(D_I) + n - \#I = \delta_p(D) $ を満たす$ I $ に渡って取る。

実験結果

リサーチクエスチョン

• RQ1 アフィン空間上の加法的指数和の$ L $-関数に対して、ヤコビアンに関するManinの合同式に類似した非自明な$ p $-進合同式を確立できるか。
• RQ2 多項式の支持の$ p $-密度$ \delta_p(D) $ は、$ L $-関数の係数の$ q $-進付値をどのように制御するか。
• RQ3 $ L $-関数の代数的構造は、多項式の係数から得られる行列によってどのように記述されるか。特に、イデアル$ I_{\delta} $ を法とする正確な構造は何か。
• RQ4 どのような条件下で、この合同式が単一の行列式表現に簡略化され、右辺が多項式になるか。
• RQ5 この合同式は、アーチン＝シュライエル曲線および射影的超曲面に対して既知の結果をどのように回復または一般化するか。

主な発見

• L関数$ L(\mathbb{A}^n, f; T) $ は、$ \delta = \delta_p(D) $ とすると、係数の$ q $-進付値が少なくとも$ \delta i $ であるような級数の環$ M_{\delta} $ に属する。
• 合同式はイデアル$ I_{\delta} $ を法として成り立つ。この$ I_{\delta} $ は、係数の付値が$ \delta i $ よりも厳密に大きい級数を捉えており、非自明性を保証する。
• 合同式により、$ L $-関数が、行列$ M(\Gamma_I) $ を含む行列式の積として表現され、インデックス集合$ I $ のサイズに応じて符号が交互に付く。変数は$ \pi^{m(p-1)\delta} T $ でスケーリングされる。
• 積は、$ \delta_p(D_I) + n - \#I = \delta_p(D) $ を満たす部分集合$ I \subset \{1,\dots,n\} $ に制限される。これにより、適切な付値のバランスが保証される。
• すべての$ I $ に対して$ \delta_p(D_I) + n - \#I > \delta_p(D) $ が成り立つ場合、合同式は$ L(\mathbb{A}^n, f; T)^{(-1)^{n+1}} \equiv \det(\mathbf{I}_N - M(\Gamma)^{\tau^{m-1}} \cdots M(\Gamma)(\pi^{m(p-1)\delta} T)) \mod I_{\delta} $ に簡略化され、単一の行列式を得る。
• $ f = yF $ の場合、この結果は、射影的超曲面の$ H^0(V, \Omega^{n-1}) $ 上のCartier作用素のMillerの行列記述を一般化する。特に、彼の行列が$ M(\Gamma_I)^{\tau^{m-1}} \cdots M(\Gamma_I) $ として回復される。