[论文解读] Igusa's conjecture for exponential sums: optimal estimates for non-rational singularities

Raf Cluckers, Mircea Mustaţă+1 more|arXiv (Cornell University)|Oct 26, 2018

Algebraic Geometry and Number Theory参考文献 40被引用 11

一句话总结

本文通過證明對數可極閾值控制伊ueva猜想中的衰減率，確立了具有非有理奇點的多項式相關的p進指數和的最優上界。利用對數標準化解析與最小模型計畫的有限性結果，作者證明當對數可極閾值 ≤1 時，動機振盪指數等於對數可極閾值，從而解決了伊ueva猜想的一個關鍵情形，並得到精確的估計。

ABSTRACT

We prove an upper bound on the log canonical threshold of a hypersurface that satisfies a certain power condition and use it to prove several generalizations of Igusa's conjecture on exponential sums, with the log-canonical threshold in the exponent of the estimates. We show that this covers optimally all situations of the conjectures for non-rational singularities, by comparing the log canonical threshold with a local notion of the motivic oscillation index.

研究动机与目标

• 在存在非有理奇點的情形下，建立伊ueva指數和的最優上界。
• 證明對數可極閾值以最優方式出現在這些上界的指數中。
• 將動機振盪指數與對數可極閾值關聯，並在指數 ≤1 時證明其相等。
• 利用奇點解析的幾何不變量，將伊ueva猜想推廣至有理奇點之外的情形。
• 證明當動機振盪指數 ≤1 時，指數和上界中的常數可獨立於素數 p。

提出的方法

• 對配對 (X, D) 進行對數標準化，其中 D 是由 f 定義的超曲面，將 f ∘ h 在局部坐標下表達為單項式乘以單位元。
• 應用丹夫的伊ueva局部zeta函數公式，將指數和估計轉化為有限域上的p進積分。
• 利用來自最小模型計畫的除子賦值有限性結果，根據冪條件來有界對數可極閾值。
• 依賴動機積分理論與伊uevazeta函數的結構，將衰減率與解析的解析數據關聯。
• 利用有理奇點的存在性與涉及Gelfand-Leray形式的某類積分行為之間的等價性，來特徵化動機振盪指數。
• 應用[23]與[40]的結果，證明 −lct_Z(f) 是zeta函數的極點當且僅當 lct_Z(f) ≤ 1，從而連結分析與幾何不變量。

实验结果

研究问题

• RQ1 能否證明對數可極閾值最優地控制非有理奇點情形下p進指數和的衰減率？
• RQ2 在何種條件下，動機振盪指數與對數可極閾值相等？
• RQ3 當動機振盪指數超過1時，伊ueva猜想關於指數和的均勻上界是否仍成立？
• RQ4 對於非有理奇點，指數和上界中的常數能否獨立於素數 p？
• RQ5 函數 f 在子簇 Z 附近的局部行為與限制在 Z 上的指數和衰減率之間的精確關係為何？

主要发现

• 當 f 具有非有理奇點時，對數可極閾值 lct(f) 為 p進指數和上界中最優指數。
• 對於 f 奇點至多為有理奇點的任意子簇 Z，動機振盪指數 moi_Z(f) 等於 1，且衰減率由 lct_Z(f) 決定。
• 當 moi_Z(f) ≤ 1 時，指數和的衰減率由 lct_Z(f) 決定，且對於大素數 p，上界中的常數可獨立於 p。
• 本文證明 lct_Z(f) ≤ 1 若且唯若 moi_Z(f) ≤ 1，從而建立最優衰減的精確幾何判別準則。
• 作者證明，在冪條件下對對數可極閾值的上界估計，可推出非有理情形下伊ueva指數和的完整猜想。
• 透過最小模型計畫中除子賦值的有限性結果，建立了冪條件與衰減估計之間的等價性。