[論文レビュー] Monodromy zeta functions at infinity, Newton polyhedra and constructible sheaves

Yutaka Matsui, Kiyoshi Takeuchi|ArXiv.org|Sep 18, 2008

Algebraic Geometry and Number Theory参考文献 15被引用数 4

ひとこと要約

この論文は、層論的メソッド、特に構造的層と近傍サイクルファンクターを用いて、Libgober-Sperberの無限遠におけるモノドロミー・ゼータ関数の公式を一般化する。多項式写像の分岐点におけるファイバーに沿ったグローバルモノドロミー・ゼータ関数の明示的公式を提供し、非便利でない多項式の定数項が一般的に分岐点であるという驚くべき結果も得られる。結果は、多項式に付随するニュートン多面体によって完全に記述され、多変数多項式写像および完全交差ファイバーへと拡張される。

ABSTRACT

By using sheaf-theoretical methods such as constructible sheaves, we generalize the formula of Libgober-Sperber concerning the zeta functions of monodromy at infinity of polynomial maps into various directions. In particular, some formulas for the zeta functions of global monodromy along the fibers of bifurcation points of polynomial maps will be obtained.

研究の動機と目的

• 層論的メソッドを用いて、非便利な多項式へのLibgober-Sperberの無限遠におけるモノドロミー・ゼータ関数の公式を一般化すること。
• 多項式写像の分岐点におけるファイバーに沿ったグローバルモノドロミー・ゼータ関数の明示的公式を導出すること、特に一般に定数項が分岐点であることを含む。
• 多項式写像 $ f: \mathbb{C}^n \to \mathbb{C}^k $（$ k \geq 1 $）の理論を完全交差ファイバーに対して拡張すること。
• すべての結果をニュートン多面体とトーリックコンパクト化を用いて記述し、不定点を含む有理型拡張に依存しないようにすること。

提案手法

• 構造的層と近傍サイクルファンクターの使用により、Libgober-Sperberの公式のファンクター的で層論的な証明を提供する。
• 写像 $ f $ の有理型拡張 $ \widetilde{f} $ を blowing up して特異性を解消し、トーリック幾何を用いて $ (\mathbb{C}^*)^n $ をコンパクト化する。
• 分岐点 $ b \in B_f $ の周囲の小さなループへの制限によって、グローバルモノドロミー・ゼータ関数 $ \zeta_f^b(t) $ を定義する。
• ストラト $ T_S \cap W \cap \{f_k(x) - c = 0\} $ 上での局所モノドロミー・ゼータ関数のオイラー積分を用いて、ゼータ関数を計算する。
• 写像 $ f: \mathbb{C}^n \to \mathbb{C}^k $ に対して、ニュートン多面体 $ \Gamma_\infty^S(f_k) $ を用いて定義される $ k $-番目の主モノドロミー・ゼータ関数 $ \zeta_{f,k}^c(t) $ を導入する。
• 厳密な非退化性条件と、$ m(S) \leq \sharp S $ を満たす部分集合 $ S \subset \{1,\dots,n\} $ におけるゼータ関数の分解を用いる。

実験結果

リサーチクエスチョン

• RQ1 Libgober-Sperberの無限遠におけるモノドロミー・ゼータ関数の公式は、層論的メソッドを用いて非便利な多項式へ一般化可能か？
• RQ2 非便利な多項式の定数項は、一般にその多項式写像の分岐点か？
• RQ3 分岐点 $ b \in B_f $ におけるファイバーに沿ったグローバルモノドロミー・ゼータ関数 $ \zeta_f^b(t) $ の明示的公式は、ニュートン多面体から直接導出可能か？
• RQ4 モノドロミー・ゼータ関数は、完全交差ファイバーを持つ多変数多項式写像 $ f: \mathbb{C}^n \to \mathbb{C}^k $ へどのように一般化可能か？
• RQ5 ニュートン多面体 $ \Gamma_\infty^S(f_k) $ は、$ k $-番目の主モノドロミー・ゼータ関数 $ \zeta_{f,k}^c(t) $ の分解において果たす役割は何か？

主な発見

• 非便利な多項式 $ f(x) = \sum_{v \in \mathbb{Z}_{\geq 0}^n} a_v x^v $ の定数項 $ a $ は、一般に $ f $ の分岐点である。これは以前に知られていなかった結果である。
• 有理型拡張 $ \widetilde{f} $ の特異性をトーリックコンパクト化によって解消することで、Libgober-Sperberの公式の新しい層論的証明が与えられる。
• 任意の分岐点 $ b \in B_f $ に対して、ニュートン多面体と構造的層を用いてグローバルモノドロミー・ゼータ関数 $ \zeta_f^b(t) $ が明示的に計算可能である。
• ジャンピング数 $ \chi(f^{-1}(a)) - \chi(f^{-1}(c)) \in \mathbb{Z} $ は、$ f - a $ のニュートン多面体を用いて表され、Corollaries 4.5 および 4.9 で示される。
• 多項式写像 $ f: \mathbb{C}^n \to \mathbb{C}^k $ に対して、$ \Gamma_\infty^S(f_k) \supsetneq \{0\} $ かつ $ m(S) \leq \sharp S $ を満たす部分集合 $ S \subset \{1,\dots,n\} $ における $ k $-番目の主モノドロミー・ゼータ関数 $ \zeta_{f,k}^c(t) $ が分解される。
• もし $ f $ が厳密に非退化的であり、すべての $ S $ に対して $ \Gamma_\infty^S(f_k) \supsetneq \{0\} $ を満たす場合に $ m(S) = k $ であれば、ゼータ関数は $ \zeta_{f,k}^c(t) = \widetilde{\zeta_{f,k}^c}(t) $ に簡略化され、ここで $ \widetilde{\zeta_{f,k}^c}(t) $ は局所モノドロミー・ゼータ関数のオイラー積分である。