[論文レビュー] Lectures on zeta functions over finite fields

Daqing Wan|ArXiv.org|Nov 22, 2007

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

ひとこと要約

本稿は、有限体上のゼータ関数について包括的な紹介を提供し、モーメントゼータ関数およびアフィントーリック超曲面のゼータ関数に焦点を当てる。基礎的性質を確立し、ファイバーフォールド族における算術的変動を研究するためのモーメントゼータ関数を導入し、凸分割とp進手法を用いて一般の正則性およびノイザー多角形に関する重要な結果を証明し、スロープゼータ関数を通じた推奨される算術的ミラー対称性で結実する。

ABSTRACT

These are the notes from the summer school in Göttingen sponsored by NATO Advanced Study Institute on Higher-Dimensional Geometry over Finite Fields that took place in 2007. The aim was to give a short introduction on zeta functions over finite fields, focusing on moment zeta functions and zeta functions of affine toric hypersurfaces.

研究の動機と目的

• 有限体上のゼータ関数について、自己完結的かつ包括的な紹介を提供すること。特に、モーメントゼータ関数およびアフィントーリック超曲面のゼータ関数に重点を置く。
• ファイバーフォールド族における有理点の算術的変動を、モーメントゼータ関数を用いて調査すること。
• 凸分割とp進手法を用いて、超曲面の一般の正則性のための条件を確立すること。
• スロープゼータ関数を通じて、算術的ミラー予想を提示し、動機づけること。
• 一般のゼータ関数理論を説明するための未解決問題と具体的な例を提示すること。

提案手法

• 本稿では、有限体拡張上のスキームの点数を用いて、F_q^k 上の指数的生成関数としてゼータ関数を定義する。
• モーメントゼータ関数は、ファイバーフォールド系における生成関数として構成され、ファイバーの高次拡張における有理点数を測定する。
• ノイザー多角形とホッジ多角形を比較することで、p進スロープと一般の正則性を研究し、超曲面の多面体を分解するために整数凸分割を用いる。
• d(Δ) の概念を用いて、超曲面が正則である条件を特定する。特に、分割内の各単体について d(Δ_i) = 1 である場合を特に考察する。
• スロープゼータ関数は、ゼータ関数の零点のp進付値を符号化する2変数生成関数として導入され、ミラー対称性の予想を可能にする。
• 双対多面体と反射的多面体を用いて、特にカバヤ3次元多様体に対して、一般の正則性に関する結果を高次元に拡張する。

実験結果

リサーチクエスチョン

• RQ1 モーメントゼータ関数は、有限体上でのファイバーフォールド族における有理点の算術的変動をどのように符号化するか？
• RQ2 トーリックアフィン超曲面のゼータ関数が一般に正則である条件は何か？
• RQ3 有限体上のゼータ関数のノイザー多角形とホッジ多角形の関係は何か？
• RQ4 スロープゼータ関数を用いて、カバヤ3次元多様体に対して明確な算術的ミラー対称性予想を定式化できるか？
• RQ5 与えられたローレンツ多項式によって定義される超曲面が、どの素数 p に対して一般に正則か？

主な発見

• F_q 上のアフィン直線のゼータ関数は有理的であり、1/(1 - qT) に等しく、T = 1/q に唯一の逆数極を持つ。
• モーメントゼータ関数 Z_d(f,T) は、剰余体上にねじれたファイバー多様体のゼータ関数の積として示され、次数が d でスケーリングされる。
• 多面体 Δ が d(Δ_i) = 1 を満たす整数凸単体に分割できる場合、すべての p ≡ 1 mod lcm(d(Δ_1), ..., d(Δ_m)) に対して超曲面は一般に正則である。
• 4次元の反射的多面体 Δ に対して、すべての p > 12Vol(Δ) に対して超曲面は一般に正則である。
• スロープゼータ関数 S(X,U,T) は、p進スロープに関する2変数積として定義され、大規模な p に対して、カバヤ3次元多様体のミラー族において S(f,U,T) = 1/S(g,U,T) が予想される。
• 本稿では、n 変数の次数 d の射影的超曲面の普遍族が、すべての p に対して一般に正則であることを証明している。特に、p ≡ 1 mod d のとき、あるいは分割においてすべての i に対して d(Δ_i) = 1 であるとき、より一般に成り立つ。