[論文レビュー] An introduction to $p$-adic and motivic zeta functions and the monodromy conjecture

Johannes Nicaise|ArXiv.org|Jan 27, 2009

Advanced Mathematical Identities被引用数 6

ひとこと要約

本稿では、特異点の研究のための道具としてp進およびモチビックゼータ関数を導入し、特にモノドロミー予想に注目する。モチビックゼータ関数がほとんどすべての素数においてp進ゼータ関数に特化することを確立し、それにより両者の振る舞いを統一し、特異点の解消を用いて極やモノドロミー固有値を幾何的に理解する枠組みを提供する。

ABSTRACT

These notes give a basic introduction to the theory of $p$-adic and motivic zeta functions, motivic integration, and the monodromy conjecture.

研究の動機と目的

• 特異点の超曲面を研究するための不変量として、p進およびモチビックゼータ関数を導入すること。
• 特化を通じて、p進ゼータ関数とモチビックゼータ関数の関係を明確にすること。
• モチビックゼータ関数が、すべての素数にわたる一様な振る舞いを捉え、特異点の幾何的不変量を反映することを説明すること。
• モチビック枠組みの自然な帰結として、モノドロミー予想を動機づけること。
• モチビックモノドロミー予想がp進バージョンを含み、その幾何的・等特徴零の設定により、より取り扱いやすいことの証明すること。

提案手法

• f ≡ 0 mod p^m の解の個数 N_m(f) の生成関数として、IgusaのPoincaré級数 Q(f;t) を定義する。
• Poincaré級数を用いて、Z(f;s) = 1 + \frac{(p^{-s}-1)Q(f;p^{-s-d})}{p^{-s}} の式により、p進ゼータ関数 Z(f;s) を構成する。
• すべての有限場における局所ゼータ関数を符号化する普遍的対象として、モチビックゼータ関数 Z_{\text{mot}}(f;s) \in \mathcal{M}_L[[\mathbb{L}^{-s}]] を導入する。
• モチビックゼータ関数から、すべての有限場をわたるp進ゼータ関数の積への特化写像 \mathscr{N} を確立する。
• 特異点の解消を用いてモチビックゼータ関数を計算し、\hat{\mu} の作用を通じてモノドロミー固有値と関連付ける。
• Denef-Loeserの定理を適用し、\mathscr{N}(Z_{\text{mot}}(f;s)) = (Z_\mathfrak{P}(f;s))_{\mathfrak{P}} を示し、ほとんどすべての \mathfrak{P} についての特化を証明する。

実験結果

リサーチクエスチョン

• RQ1 p進ゼータ関数は、p^m を法とする解の個数に関する算術的情報をどのように符号化するか？
• RQ2 異なる素数において、モチビックゼータ関数とp進ゼータ関数の正確な関係は何か？
• RQ3 なぜモチビックゼータ関数がp進ゼータ関数の普遍的対象として機能するのか？
• RQ4 モノドロミー予想はモチビック設定においてどのように現れ、なぜより取り扱いやすい可能性があるのか？
• RQ5 モチビックゼータ関数が特異点の解消の選び方に依存しない、どのような意味においてか？

主な発見

• Igusaの証明により、IgusaのPoincaré級数 Q(f;t) は有理的であることが示され、BorevichとShafarevichの予想が裏付けられた。
• \mathbb{F}_p 上の滑らかな超曲面に対して、p進ゼータ関数は Z_p(f;s) = p^{-d}|V_f(\mathbb{F}_p)|(p-1)\frac{p^{-1-s}}{1-p^{-1-s}} + 1 - p^{-d}|V_f(\mathbb{F}_p)| に簡略化される。
• f = y - x^2 の場合、ゼータ関数は Z_p(g;s) = p^{-2}p(p-1)\frac{p^{-1-s}}{1-p^{-1-s}} + 1 - p^{-2}p であり、解のファイバーごとの持ち上げを反映している。
• f = y^2 - x^3 の場合、極は s = -1 および s = -5/6 に現れ、p^6 および p^8 を含む係数を持つ。これは非自明な特異点構造を示している。
• 定理5.5で述べられるように、写像 \mathscr{N} を通じて、モチビックゼータ関数はほとんどすべての有限場 \mathfrak{P} においてp進ゼータ関数に特化する。
• モチビックモノドロミー予想はp進モノドロミー予想を含み、その幾何的・等特徴零の定式化のおかげで、より取り扱いやすい。