[论文解读] Strong monodromy conjecture for defining polynomials of projective hypersurfaces having only weighted homogeneous isolated singularities

Morihiko Saito|arXiv (Cornell University)|Feb 27, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

该论文通过将 Denef–Loeser 的三变量 Newton 非退化公式与两变量结果相结合，观察到意外的抵消，证明了带权重同源孤立奇点的化简投影曲线定义多项式的强单值猜想。

ABSTRACT

Let $Z\subset{\bf P}^{n-1}$ be a hypersurface such that the associated reduced hypersurface $Z_{ m red}$ has only weighted homogeneous isolated singularities. In the case $Z$ is a reduced curve or $Z_{ m red}$ has only homogeneous isolated singularities with $n$ at least $4$, we show that the strong monodromy conjecture for a defining polynomial $f$ of $Z$ follows immediately from arxiv:1609.04801v1 using in the reduced curve case a formula of Denef and Loeser for Newton-nondegenerate polynomials of three variables (which can be deduced in the applied case from the one for the two variable case) together with known results about the strong monodromy conjecture in the two variable case. Here an amazing cancellation occurs so that possible counterexamples fail.

研究动机与目标

• 通过 Bernstein–Sato 多项式和拓扑 zeta 函数激励研究，涉及带权重同源奇点的投影曲线。
• 研究在 P^2 中定义多项式下的简化投影曲线的强单值猜想何时成立。
• 利用 Newton 非退化技术与已知的两变量结果，从局部数据推导全局结论。
• 展示三变量 Newton 非退化情形中的抵消，防止潜在反例。

提出的方法

• 使用嵌入分解理论定义局部拓扑zeta函数 Z_top,f,0(s)。
• 对三变量的 Newton 非退化多项式应用 Denef–Loeser 的公式，通过 Newton 多面体的面来表达 Z_top,f,0(s)。
• 通过吹展与线中心分解将三变量公式与两变量情形联系起来，以实现已知结果的传递。
• 在三变量情形中为 Newton 多面体的相关紧凑面计算显式的 J_sigma(s) 项。
• 证明潜在极点会在奇点处消失或成为局部 zeta 函数的极点，与 Bernstein–Sato 根对齐。
• 讨论化为齐次情形的简化以及通过辅助引理对非简化曲线的含义。

实验结果

研究问题

• RQ1 该论文研究在 P^2 中定义多项式的简化投影曲线仅存在带权重同源奇点时，强单值猜想是否成立？
• RQ2 能否通过 Denef–Loeser 的三变量 Newton 非退化框架及两变量结果强制 Z_top,f,0(s) 的极点成为 b_f(s) 的根？
• RQ3 在 Newton 多面体分析中哪些抵消会阻止三变量情形的潜在反例？
• RQ4 有哪些化为齐次或圆锥状结构的约简可简化对这些曲线的猜想验证？

主要发现

• 该论文断言 f 的强单值猜想可由三变量 Newton 非退化公式结合两变量结果推出。
• 发生了惊人的抵消，使得对猜想的潜在反例不存在。
• 在应用（四）三变量情形中，尽管 Euler 数不为零，Z_top,f,0(s) 仍可能在 -3/d 处不出现极点，因为抵消行为。
• 定理 3 断言 Z_top,f,0(s) 的任何极点都是 C 的奇点处局部拓扑zeta函数的极点。
• 该方法通过吹展与线中心分解把三变量 Newton 非退化情形与两变量情形联系起来，且在计算上可借助计算机代数系统完成。
• 命题 1 声称更广泛的有效性：在 n ≥ 4 的维度中，对于具有齐次孤立奇点的简化 Z（不是普通二点），强单值猜想成立。