[论文解读] Milnor fibers over singular toric varieties and nearby cycle sheaves

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

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

一句话总结

本文提出了一种层论方法，利用邻近循环层和构造层，计算在奇异toric代数簇上的Milnor纤维的单值群zeta函数。通过将Newton多面体的各个面作为因子，结合格点距离与归一化体积，将Kushnirenko和Varchenko的经典公式推广到任意toric代数簇，适用于可能非正规的toric代数簇上的非退化函数，给出明确的公式。

ABSTRACT

We propose a new sheaf-theoretical method for the calculation of the monodromy zeta functions of Milnor fibrations. As an application, classical formulas of Kushnirenko and Varchenko etc. concerning polynomials on $\CC^n$ will be generalized to polynomial functions on any toric variety.

研究动机与目标

• 将原本仅适用于$\mathbb{C}^n$上多项式的Milnor单值群zeta函数的经典公式，推广至一般（未必正规）toric代数簇上的多项式函数。
• 通过层论工具，特别是邻近循环函子与构造层，克服Milnor纤维计算中的拓扑困难。
• 为单值群zeta函数提供一个统一的公式，其依赖于函数的Newton多面体与toric代数簇的扇形几何结构。

提出的方法

• 作者利用邻近循环函子$\psi_f$，将Milnor纤维的单值群与toric代数簇中$T$-轨道上的构造层的上同调联系起来。
• 通过分析每个$T$-轨道的闭包$\overline{T_\Delta}$（其中$\Delta$是Newton锥$K(\Sigma)$的面）来分解问题，并在每个层面上计算单值群zeta函数。
• 对每个面$\Delta$，利用Newton多面体$\Gamma_+(f)\cap\Delta$的紧致余维数一的面$\gamma_i^\Delta$的归一化$(\dim\Delta-1)$维体积，以及$\gamma_i^\Delta$到原点的格点距离$d_i^\Delta$来计算zeta函数。
• 该方法依赖于一个$T$-不变的构造层$\mathcal{F}$，其沿坐标环路的单值群矩阵$A_j^\Delta$用于定义$B_i^\Delta = \prod_j (A_j^\Delta)^{u_{i,j}^\Delta}$，其中$u_i^\Delta$为内法向量。
• 关键公式将全局zeta函数表示为所有满足$\Gamma_+(f)\cap\Delta \neq \emptyset$的面$\Delta$的乘积，每个因子包含$\det(\mathrm{id} - t^{d_i^\Delta} B_i^\Delta)^{(-1)^{\dim\Delta-1} \mathrm{Vol}_\mathbb{Z}(\gamma_i^\Delta)}$。
• 该方法通过完全在导出范畴与层上同调范畴中工作，避免了经典拓扑复杂性，利用Deligne的邻近循环形式化理论。

实验结果

研究问题

• RQ1 如何将Milnor纤维的单值群zeta函数从$\mathbb{C}^n$推广至奇异toric代数簇？
• RQ2 Newton多面体及其面在非正规toric代数簇上计算单值群zeta函数时起什么作用？
• RQ3 邻近循环层形式化能否用于将单值群计算分解为由toric代数簇中$T$-轨道索引的各层？
• RQ4 Newton多面体的面的格点距离与归一化体积如何贡献于zeta函数公式？
• RQ5 当函数在具有奇点的toric代数簇上非退化时，单值群zeta函数的精确表达式是什么？

主要发现

• 对于toric代数簇$X(\Sigma)$上非退化的多项式$f$，其单值群zeta函数$\zeta_{f,0}(t)$由Theorem 1.1给出：对Newton锥$K(\Sigma)$的所有满足$\Gamma_+(f)\cap\Delta \neq \emptyset$的面$\Delta$取乘积。
• 对每个此类面$\Delta$，其贡献$\zeta_\Delta(t)$为$\Gamma_+(f)\cap\Delta$的紧致余维数一的面$\gamma_i^\Delta$的乘积，指数为$(-1)^{\dim\Delta-1} \mathrm{Vol}_\mathbb{Z}(\gamma_i^\Delta)$。
• 每个因子$1 - t^{d_i^\Delta}$的指数依赖于$\gamma_i^\Delta$在格点$M(\Sigma \cap \Delta)$中到原点的格点距离$d_i^\Delta$。
• 该公式将Varchenko与Kushnirenko的经典结果推广至非正规toric代数簇，包括具有非孤立奇点的代数簇。
• 该方法可推广至完全交与$T$-不变构造层$\mathcal{F}$，此时zeta函数表示为$\zeta_f(\mathcal{F})(t) = \prod_{\Gamma_+(f)\cap\Delta \neq \emptyset} \zeta_{f,\Delta}(\mathcal{F})(t)$，其中每个因子涉及$\mathcal{F}$在$T_\Delta$上的单值群矩阵$B_i^\Delta$。
• 最终公式（Theorem 5.5）明确计算出zeta函数为$\prod_{\Gamma_+(f)\cap\Delta \neq \emptyset} \prod_{i=1}^{n(\Delta)} \det(\mathrm{id} - t^{d_i^\Delta} B_i^\Delta)^{(-1)^{\dim\Delta-1} \mathrm{Vol}_\mathbb{Z}(\gamma_i^\Delta)}$，为层论设定下的完整推广。