[論文レビュー] The monodromy conjecture for zeta functions associated to ideals in dimension two

Lise Van Proeyen, Willem Veys|ArXiv.org|Oct 12, 2009

Algebraic Geometry and Number Theory参考文献 24被引用数 3

ひとこと要約

この論文は、2つの複素変数におけるイデアルに関連する位相的ゼータ関数に対して、一般化されたモノドロミー予想を証明し、すべての極がヴェルディエ・モノドロミー作用の固有値に対応することを示している。埋め込み主成分化と特異点解消からの数値的データを用いて、極が $-\frac{\nu_i}{N_i}$ である場合、それらがモノドロミー固有値 $e^{2\pi i s_0}$ に対応することを確立し、古典的予想を多項式からイデアルへと拡張している。

ABSTRACT

The monodromy conjecture states that every pole of the topological (or related) zeta function induces an eigenvalue of monodromy. This conjecture has already been studied a lot; however, in full generality it is proven only for zeta functions associated to a polynomial in two variables. In this article we consider zeta functions associated to an ideal. First we work in arbitrary dimension and obtain a formula (like the one of A'Campo) to compute the 'Verdier monodromy' eigenvalues associated to an ideal. Afterwards we prove a generalized monodromy conjecture for arbitrary ideals in two variables.

研究の動機と目的

• 2次元における単一多項式のゼータ関数から、イデアルに関連するゼータ関数へのモノドロミー予想の拡張を図ること。
• 2変数におけるイデアルに対して「ヴェルディエ・モノドロミー」固有値を定義・計算し、古典的ミルナー・モノドロミーを一般化すること。
• 一般化された枠組み下で、位相的ゼータ関数の極とモノドロミー作用の固有値との対応関係を確立すること。
• 主成分化からの明示的解消データと数値不変量を用いて、予想を検証すること。

提案手法

• イデアル $\mathcal{I} = (f_1, \dots, f_r)$ に対して、$\mathbb{C}[x,y]$ 上で埋め込み主成分化を用いて位相的ゼータ関数を構成する。
• 解消データ、特に数値不変量 $\nu_i$ と $N_i$ を用いて、ゼータ関数の極を $-\frac{\nu_i}{N_i}$ として計算する。
• 解消における特異点除集合上の点におけるファイバーのコホロジー上にヴェルディエ・モノドロミー作用を定義する。
• 特異点除集合上の一般点におけるモノドロミー・ゼータ関数を分析し、固有値 $e^{2\pi i s_0}$ を抽出する。
• 弱因子化定理を適用して、ゼータ関数が解消の選択に依存しないことを保証する。
• 無限個の交わる特異点除集合曲線の鎖に関する背理法を用いて、極に寄与する成分は有限個であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 2変数におけるイデアルに関連する位相的ゼータ関数のすべての極は、ヴェルディエ・モノドロミー作用の固有値に対応するか？
• RQ2 古典的モノドロミー予想を2次元における多項式からイデアルへと拡張できるか？
• RQ3 主成分化から得られる数値不変量 $\nu_i$ と $N_i$ は、イデアルのモノドロミー固有値とどのように関係するか？
• RQ4 イデアルの解消における特異点除集合上の一般点におけるモノドロミー・ゼータ関数の構造はいかなるものか？
• RQ5 ゼータ関数の極は解消の選択に依存しないか？ そして、その安定性はモノドロミー対応にどのように影響するか？

主な発見

• 2変数におけるすべてのイデアルに対してモノドロミー予想が成立する：位相的ゼータ関数の極 $s_0 = -\frac{\nu_i}{N_i}$ は、すべてヴェルディエ・モノドロミー作用の固有値 $e^{2\pi i s_0}$ に対応する。
• イデアル $(x^3y, x^6 + y^4)$ の場合、極 $-\frac{1}{2}$ と $-\frac{2}{3}$ は、それぞれモノドロミー固有値 $e^{-\pi i}$ と $e^{-\frac{4\pi i}{3}}$ に対応する。
• イデアル $(x^4, xy^2, y^3)$ の場合、極 $-\frac{2}{3}$ と $-\frac{5}{8}$ は、それぞれモノドロミー固有値 $e^{-\frac{4\pi i}{3}}$ と $e^{-\frac{5\pi i}{4}}$ をもたらし、予想を確認する。
• イデアル $(x^3y, x^3 - y^2)$ の場合、極 $-\frac{5}{6}$ と $-\frac{8}{9}$ は、それぞれ固有値 $e^{-\frac{5\pi i}{3}}$ と $e^{-\frac{16\pi i}{9}}$ を生成する。
• 極に寄与する成分が有限個であることを示すために、交わる特異点除集合曲線の無限鎖に関する背理法に依拠している。
• 同じ解消枠組み下で、極の条件が共通するため、結果はモチーフ的・ホッジ的・$p$-進イグザ・ゼータ関数へと拡張可能である。