[論文レビュー] Igusa's p-adic local zeta function and the Monodromy Conjecture for non-degenerated surface singularities

Bart Bories, Willem Veys|arXiv (Cornell University)|Jun 25, 2013

Algebraic Geometry and Number Theory参考文献 25被引用数 7

ひとこと要約

この論文は、非退化な表面特異点のイグザのp進およびモチビックゼータ関数に対して、モノドロミー予想を確立する。具体的には、p進ゼータ関数のすべての極が局所モノドロミー作用素の固有値に対応することを証明する。著者らは、ニュートン多面体における$B_1$-面から生じる候補極が実際に極でないことを示すという主要な課題を、3次元の基本平行立体内の整数点の詳細な組合せ的解析と残留項の消滅の議論を用いて解決する。これは、レマルーとヴァン・プロイエンの先行する位相的結果に基づいている。

ABSTRACT

In 2011 Lemahieu and Van Proeyen proved the Monodromy Conjecture for the local topological zeta function of a non-degenerated surface singularity. We start from their work and obtain the same result for Igusa's p-adic and the motivic zeta function. In the p-adic case, this is, for a polynomial f in Z[x,y,z] satisfying f(0,0,0)=0 and non-degenerated with respect to its Newton polyhedron, we show that every pole of the local p-adic zeta function of f induces an eigenvalue of the local monodromy of f at some point of the complex zero locus of f close to the origin. Essentially the entire paper is dedicated to proving that, for f as above, certain candidate poles of Igusa's p-adic zeta function of f, arising from so-called B_1-facets of the Newton polyhedron of f, are actually not poles. This turns out to be much harder than in the topological setting. The combinatorial proof is preceded by a study of the integral points in three-dimensional fundamental parallelepipeds. Together with the work of Lemahieu and Van Proeyen, this main result leads to the Monodromy Conjecture for the p-adic and motivic zeta function of a non-degenerated surface singularity.

研究の動機と目的

• 非退化な表面特異点のp進およびモチビックゼータ関数に対して、モノドロミー予想を位相的状況からp進およびモチビック設定へと拡張すること。
• ニュートン多面体における$B_1$-面から生じる候補極が実際に極でないという中心的課題を解決すること。
• イグザのp進ゼータ関数のすべての極が局所モノドロミー作用素の固有値に対応することを確立すること。
• 組合せ的および代数的技法を用いて、これらのゼータ関数に対するモノドロミー予想の完全な証明を提供すること。

提案手法

• 特異点の解消とモチビック積分技法を用いて、イグザのp進局所ゼータ関数を分析する。
• 残留寄与を制御するため、原始的ベクトルによって張られる3次元の基本平行立体内の整数点を研究する。
• $\mathbf{Z}[S,S^{-1}][T]$の環における可除性の議論を適用し、分母に現れる特定の因子が極に寄与しないことを検証する。
• モチビック設定における多項式の可除性をテストするために、$\overline{\mathbf{Q}}$上でのプアセュ級数を用いる。
• 6通りの$B_1$-面の配置（コンパクトおよび非コンパクト）にわたる、ケースバイケースの残留消滅解析を実施する。
• レマルーとヴァン・プロイエンによる位相的ゼータ関数に関する先行研究を活用し、その結果をp進およびモチビック設定へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 非退化な表面特異点のイグザのp進ゼータ関数のすべての極は、原点における局所モノドロミー作用素の固有値に対応するか？
• RQ2 ニュートン多面体における$B_1$-面から生じる候補極は実際に極であるのか、それとも残留項のキャンセルによって消えるのか？
• RQ3 3次元における$B_1$-面に対して、残留消滅条件をどのように組合せ的に証明できるか？
• RQ4 モノドロミー予想を位相的ゼータ関数からp進およびモチビックゼータ関数へと非退化な表面特異点に対して拡張できるか？
• RQ5 $B_1$-面の寄与とそれに関連する因子を用いたモチビックゼータ関数の正確な構造は何か？

主な発見

• 非退化な表面特異点のイグザのp進ゼータ関数のすべての極は、原点における局所モノドロミー作用素の固有値に対応する。
• $B_1$-面から生じる候補極は実際には極ではなく、3次元の基本平行立体内の整数点構造における深い組合せ的キャンセルによって残留項が消えるためである。
• 証明により、モチビックゼータ関数の$B_1$-面に関連する分母因子が分子を割り切ることが保証され、誤った極が生じない。
• 残留消滅は、$\overline{\mathbf{Q}}\{\{S\}\/}$におけるプアセュ級数の根の解析を通じて確認され、$\mathbf{Z}[S,S^{-1}][T]$における可除性が裏付けられる。
• この結果により、モノドロミー予想がp進およびモチビックゼータ関数へと拡張され、非退化な表面特異点についての予想が完全に完成する。
• 解析は、コンパクトおよび非コンパクトケースを含む5種類の$B_1$-面の配置（およびそれらの共有エッジを介した相互作用）を網羅している。