[论文解读] 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

一句话总结

本文證明了二複變數中理想相關的拓撲 zeta 函數的一般化單值性猜想，顯示每個極點對應於 Verdier 單值性作用的特徵值。利用嵌入主化與奇點解析的數值資料，作者建立極點在 $-\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.

研究动机与目标

• 將單值性猜想從單一多項式之 zeta 函數推廣至二維空間中理想之 zeta 函數。
• 定義並計算二變數理想之「Verdier 單值性」特徵值，推廣經典的 Milnor 單值性。
• 在推廣框架下，建立拓撲 zeta 函數之極點與單值性作用特徵值之間的對應關係。
• 利用顯式解析資料與主化之數值不變量，驗證該猜想。

提出的方法

• 透過理想 $\mathcal{I} = (f_1, \dots, f_r)$ 在 $\mathbb{C}[x,y]$ 中的嵌入主化，構造其拓撲 zeta 函數。
• 利用解析資料——特別是數值不變量 $\nu_i$ 與 $N_i$——計算 zeta 函數之極點為 $-\frac{\nu_i}{N_i}$。
• 定義在解析中例外除數上點之纖維上同調上的 Verdier 單值性作用。
• 分析例外除數上一般點之單值性 zeta 函數，以提取特徵值 $e^{2\pi i s_0}$。
• 應用弱分解定理，確保 zeta 函數不依賴解析之選擇。
• 利用無限條相交例外曲線之鏈的反證法，證明僅有有限多條分支會貢獻於極點。

实验结果

研究问题

• RQ1 二複變數理想相關之拓撲 zeta 函數之每個極點是否對應於 Verdier 單值性作用之特徵值？
• RQ2 經典單值性猜想能否從多項式推廣至二維空間中的理想？
• RQ3 主化所得之數值不變量 $\nu_i$ 與 $N_i$ 如何與理想之單值性特徵值相關？
• RQ4 解析中例外除數上一般點之單值性 zeta 函數具有何種結構？
• RQ5 zeta 函數之極點在不同解析選擇下是否穩定？此對單值性對應關係有何影響？

主要发现

• 所有二複變數理想之單值性猜想均成立：拓撲 zeta 函數之每個極點 $s_0 = -\frac{\nu_i}{N_i}$ 對應於 Verdier 單值性作用之特徵值 $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$-進 Igusa zeta 函數。