[論文レビュー] The large sieve, monodromy and zeta functions of algebraic curves, II: independence of the zeros

Emmanuel Kowalski|ArXiv.org|Jul 14, 2008

Algebraic Geometry and Number Theory参考文献 8被引用数 12

ひとこと要約

本稿は、有限体上の『大多数』の代数的曲線に対して、そのL関数の根が強い意味で代数的に独立であることを確立している—非自明な乗法的または有理線形関係が存在しないことを示している。大スieve法（Frobenius版）とランダム行列モデルのヒューリスティクスを用いて、このような依存関係がまれであることを証明し、数体におけるグランド・シンプルティ仮説の類似を関数体へと拡張し、曲線族における零点の独立性を確認している。

ABSTRACT

Using the sieve for Frobenius, we show that, in a certain sense, the roots of the L-functions of "most" algebraic curves over finite fields do not satisfy any non-trivial (linear or multiplicative) rational dependency relations. This can be seen as an analogue of conjectures of linear independence among ordinates of zeros of L-functions over number fields. As a corollary, we find, for "most" pairs of distinct algebraic curves over a finite field, the limiting distribution of the (suitably normalized) difference between the number of rational points over extensions of the ground field. The method of proof also emphasizes the relevance of Random Matrix models for this type of arithmetic questions. We also describe an alternative approach, which relies on Serre's theory of Frobenius tori, and we give a number of examples.

研究の動機と目的

• 有限体上の代数的曲線のL関数の根が、Q上に非自明な線形的または乗法的関係を満たすかどうかを調査すること。
• 元々数体におけるディリクレL関数に対して提起されたグランド・シンプルティ仮説を、関数体の文脈に拡張すること。
• 『大多数』の曲線に対して、Frobenius固有値が代数的に独立であることを確立し、根間に非自明な関係が存在しないことを示すこと。
• 一般の曲線対における体拡張における有理点の分布の定量的理解を提供すること。
• Frobeniusトーラスとランダム行列モデルが、L関数の零点の統計的挙動を予測する上で果たす役割を調査すること。

提案手法

• Frobeniusに対する大スieve法を適用し、L関数の根が与えられた非自明な乗法的または線形関係を満たすような曲線の数を上界で制御する。
• 有限体上の代数的多様体における点数推計を用いて、Frobenius元が特定の共役類に属する集合のサイズを制御する。
• N. Katzが提案したFrobeniusトーラスの理論を用い、モノドロミー群の代数的構造とその根の独立性への影響を分析する。
• L関数の関数等式（例：α_j α_k = q という関係を強制する）を用い、乗法的独立性を調べる適切な設定を定義する。
• p進情報とベッチ数の推定値を用いて、依存関係が生じる代数的集合の複雑さを制御する。
• ランダム行列モデルをヒューリスティクスおよび構造的ガイドとして用い、一般の挙動が典型的な行列固有値統計と一致することを示唆する。

実験結果

リサーチクエスチョン

• RQ1 有限体上の代数的曲線のL関数の根は、非自明な有理線形的または乗法的関係を満たすか？
• RQ2 『零点の座標のQ線形独立性』を主張するグランド・シンプルティ仮説を、関数体に拡張できるか？
• RQ3 有限体上の曲線族において、Frobenius固有値の依存関係はどれほど一般的か？
• RQ4 体の拡張における2つの異なる曲線間の有理点数の差の分布はいかなるものか？
• RQ5 Frobeniusトーラスは、固有値間の代数的関係をどの程度制御するのか？

主な発見

• 有限体上の『大多数』の代数的曲線に対して、そのL関数の根は代数的に独立である：根間に非自明な有理線形的または乗法的関係は存在しない。
• 与えられた非自明な関係を根が満たすような曲線の割合は、種数と関係の複雑さに依存するγに関するO(ℓ q^{k - γ^{-1}})で上界が与えられる。
• この手法により、Frobenius固有値が固定された乗法的関係を満たすような曲線の数に対する定量的評価が得られ、誤差項はqが増加するにつれて減少する。
• 『大多数』の曲線対に対して、基底体の拡張における2つの異なる曲線間の有理点数の正規化された差の分布が記述される。
• Frobeniusトーラスは、固有値間の線形関係を完全に制御しないことが、独立なトレースが全固有値集合において非自明な関係を生じる例によって示された。
• 本稿は、ランダム行列モデルが零点の一般独立性を強くヒューリスティックに支持しており、結果の妥当性を裏付けることを示している。