[论文解读] 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关于无穷远处单值群zeta函数的公式。研究提供了多项式映射在分支点纤维上全局单值群zeta函数的显式公式，包括出人意料的结果：非便利多项式的常数项通常为分支点。所有结果均由与多项式相关的牛顿多面体完全描述，扩展至多变量多项式映射及完备交纤维。

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关于无穷远处单值群zeta函数的公式推广至非便利多项式。
• 推导多项式映射在分支点纤维上全局单值群zeta函数的显式公式，包括一般情况下常数项为分支点。
• 将理论扩展至多项式映射 $ f: \mathbb{C}^n \to \mathbb{C}^k $（$ k \geq 1 $），特别是完备交纤维的情形。
• 将所有结果以牛顿多面体和 торic 紧化形式表达，消除对含不确定点的亚纯延拓的依赖。

提出的方法

• 使用构造性层与邻近循环函子，提供Libgober-Sperber公式的一个函子性、层论性证明。
• 通过 торic 几何对 $ f $ 的亚纯延拓 $ \widetilde{f} $ 进行爆破，以解析其不确定点并紧化 $ (\mathbb{C}^*)^n $。
• 通过限制在分支点 $ b \in B_f $ 附近的小环路，定义全局单值群zeta函数 $ \zeta_f^b(t) $。
• 通过在子流形 $ T_S \cap W \cap \{f_k(x) - c = 0\} $ 上对局部单值群zeta函数进行欧拉积分来计算zeta函数。
• 为映射 $ f: \mathbb{C}^n \to \mathbb{C}^k $ 引入第 $ k $ 个主单值群zeta函数 $ \zeta_{f,k}^c(t) $，其通过牛顿多面体 $ \Gamma_\infty^S(f_k) $ 定义。
• 使用严格非退化条件，并在满足 $ m(S) \leq \sharp S $ 的子集 $ S \subset \{1,\dots,n\} $ 上对zeta函数进行分解。

实验结果

研究问题

• RQ1 能否使用层论方法将Libgober-Sperber关于无穷远处单值群zeta函数的公式推广至非便利多项式？
• RQ2 非便利多项式的常数项是否总是多项式映射的分支点？
• RQ3 能否直接从牛顿多面体推导出在分支点 $ b \in B_f $ 上的全局单值群zeta函数 $ \zeta_f^b(t) $ 的显式公式？
• RQ4 如何将单值群zeta函数推广至具有完备交纤维的多变量多项式映射 $ f: \mathbb{C}^n \to \mathbb{C}^k $？
• RQ5 牛顿多面体 $ \Gamma_\infty^S(f_k) $ 在分解第 $ k $ 个主单值群zeta函数 $ \zeta_{f,k}^c(t) $ 中起什么作用？

主要发现

• 非便利多项式 $ f(x) = \sum_{v \in \mathbb{Z}_{\geq 0}^n} a_v x^v $ 的常数项 $ a $ 通常为 $ f $ 的分支点，此结果此前未知。
• 给出了Libgober-Sperber公式的全新层论证明，通过 toric 紧化解析了亚纯延拓 $ \widetilde{f} $ 中的不确定点。
• 对任意分支点 $ b \in B_f $，全局单值群zeta函数 $ \zeta_f^b(t) $ 均通过牛顿多面体与构造性层显式计算得出。
• 跳跃数 $ \chi(f^{-1}(a)) - \chi(f^{-1}(c)) \in \mathbb{Z} $ 可用 $ f - a $ 的牛顿多面体表示，如推论4.5与4.9所示。
• 对于多项式映射 $ f: \mathbb{C}^n \to \mathbb{C}^k $，第 $ k $ 个主单值群zeta函数 $ \zeta_{f,k}^c(t) $ 在满足 $ \Gamma_\infty^S(f_k) \supsetneq \{0\} $ 且 $ m(S) \leq \sharp S $ 的子集 $ S \subset \{1,\dots,n\} $ 上进行分解。
• 当 $ f $ 严格非退化且对所有满足 $ \Gamma_\infty^S(f_k) \supsetneq \{0\} $ 的 $ S $ 都有 $ m(S) = k $ 时，zeta函数简化为 $ \zeta_{f,k}^c(t) = \widetilde{\zeta_{f,k}^c}(t) $，其中 $ \widetilde{\zeta_{f,k}^c}(t) $ 为局部单值群zeta函数的欧拉积分。