[論文レビュー] Asymptotic variation of L-functions of exponential sums

Hui June Zhu|arXiv (Cornell University)|Nov 26, 2012

Algebraic Geometry and Number Theory参考文献 10被引用数 5

ひとこと要約

本稿では、与えられたニュートン多面体 $\Delta$ を持つローレンツ多項式に対して、$p \to \infty$ のとき、$L$-関数の正規化されたニュートン多角形が、多面体と係数のサポートに関する組合せ的条件の下で、Hodge多角形に安定化することを証明することにより、有限体上の指数和の $L$-関数の漸近的挙動を確立する。これは、Wanによるトーリック超曲面およびアーティン・シュライエル多様体の一般ニュートン多角形に関する2つの予想を確認する。

ABSTRACT

Let Delta be an integral convex polytope containing the origin of dimension n in the n-dim real space and it is simplicial at all origin-less facets. Let A(Delta) be the space of all Laurent polynomials f parametered by its coefficients supported on the interior of Delta with with prescribed vertices. In this paper we prove that, if the interior points of Delta and its vertices generate almost all integral points in the cone of Delta, then there is a Zariski dense open subset U in A(Delta) defined over the rationals such that for every f in U(bar{Q}) and for p large enough the Newton polygon of the L function of exponential sum of f is equal to the generic Newton polygon for A(Delta)(bar{F_p}), and as p approaches infinity they both approach an absolute lower bound depending only on Delta. This paper also proves the following result for affine toric hypersurfaces: Let T_Delta be the space of all regular affine toric hypersurfaces given by f=0 for all Laurent polynomials f with given Newton polytope Delta. If the set of all integral points in Delta has a unimodular triangulation, then for p large enough the generic Newton polygon of T_Delta over bar{F_p} coincides with the Hodge polygon defined in terms of Hodge numbers of the toric family T_Delta determined solely by Delta.

研究の動機と目的

• 有限体上の指数和の $L$-関数の正規化されたニュートン多角形（GNP）の $p \to \infty$ における漸近的挙動を特定すること。
• ニュートン多面体 $\Delta$ がユニモジュラー三角形分割をもつとき、トーリック超曲面の一般ニュートン多角形がHodge多角形に等しいことを証明すること。
• ニュートン多角形が一般値に達し、$p \to \infty$ のときHodge多角形に収束するようなローレンツ多項式のZariski稠密な開部分集合の存在を確立すること。
• これらの結果を、$y^p - y = \overline{f}$ で定義されるトーリックアーティン・シュライエル多様体のゼータ関数に適用すること。

提案手法

• ローレンツ多項式に関連する指数和の $L$-関数を分析するために、$p$-進Dwork理論と剛体コホロロジーを用いる。
• Fredholm行列式の理論と剛体核性の理論を適用して、$L$-関数の係数の $p$-進付値を制御する。
• $\mathbf{Q}[A]$ 上のグローバルハッセ多項式 $P^*_{\mathbf{A}^J}$ を用いて、ニュートン多角形が一般値に達するZariski稠密な開集合 $\mathcal{U}$ を定義する。
• ニュートン多面体 $\Delta$ にユニモジュラー三角形分割が存在することを仮定することで、錐 $C(\Delta)$ のヒルベルト基底が $\Delta$ の格子点によって生成されることを保証する。
• 漸近的ヒルベルト基底と剛体変換の概念を用いて、$p \to \infty$ のときのニュートン多角形の極限を分析し、Hodge多角形への収束を示す。
• Adolphson-SperberおよびDworkの結果を応用して、$L$-関数を $\mathbf{F}_p$ 上の超曲面のゼータ関数に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 与えられたニュートン多面体 $\Delta$ を持つローレンツ多項式に対して、$p \to \infty$ のとき、指数和の $L$-関数の一般ニュートン多角形はHodge多角形に収束するか？
• RQ2 ニュートン多面体 $\Delta$ と係数サポートにどのような組合せ的条件が課されると、$L$-関数のニュートン多角形が可能な最小の境界に達するか？
• RQ3 ニュートン多面体 $\Delta$ がユニモジュラー三角形分割をもつとき、トーリック超曲面の一般ニュートン多角形がHodge多角形に等しいことを示せるか？
• RQ4 ニュートン多角形が一般値に安定化し、$p \to \infty$ のときHodge多角形に収束するようなローレンツ多項式のZariski稠密な開部分集合が存在するか？
• RQ5 アーティン・シュライエル多様体 $y^p - y = \overline{f}$ に対して、指数和の $L$-関数の漸近的挙動は何か？

主な発見

• Zariski稠密な開集合 $\mathcal{U} \subset \mathbf{A}_V^J$ 内のローレンツ多項式 $f$ に対して、十分大きな素数 $p$ に対して、正規化されたニュートン多角形 $\mathrm{NP}(\overline{f})$ は一般ニュートン多角形 $\mathrm{GNP}(\mathbf{A}_V^J, \overline{\mathbf{F}}_p)$ に等しい。
• 正規化されたニュートン多角形の $p \to \infty$ における極限はHodge多角形 $\mathrm{HP}(\Delta)$ に等しく、すなわち $f \in \mathcal{U}(\overline{\mathbf{Q}})$ かつ十分大きな $p$ に対して $\lim_{p \to \infty} \mathrm{NP}(\overline{f}) = \mathrm{HP}(\Delta)$ が成り立つ。
• ニュートン多面体 $\Delta$ がユニモジュラー三角形分割をもつならば、十分大きな $p$ に対して $\mathrm{GNP}(\mathbf{T}_\Delta, \overline{\mathbf{F}}_p) = \mathrm{HP}(\mathbf{T}_\Delta)$ が成り立つ。
• アーティン・シュライエル多様体 $y^p - y = \overline{f}$ の指数和の $L$-関数は、正規化されたニュートン多角形が $p \to \infty$ のときHodge多角形に収束する。
• グローバルハッセ多項式 $P^*_{\mathbf{A}^J}$ は非ゼロであり、$p$ に依存せず、その非ゼロ性がニュートン多角形が一般値に達するZariski稠密な開集合 $\mathcal{U}$ を定義する。
• $L$-関数の係数の $p$-進付値は、Hodge多角形の傾き列に収束し、$\frac{m_k}{p-1}$ の補正項が $p \to \infty$ のとき0に近づくため、誤差項は消える。