[论文解读] Invariants of singularities of pairs

Lawrence Ein, Mircea Mustat¡a|ArXiv.org|Apr 27, 2006

Algebraic Geometry and Number Theory被引用 12

一句话总结

本文通過使用載 multiplier 理想、D-模、弧以及正特徵技術，研究了對 (X,Y) 奇點的不變量。它建立了複幾何中的對數正則閾值與正特徵中的 F-純閾值之間的深刻聯繫，證明當 p → ∞ 時，後者收斂於前者，並應用於伯恩斯坦-薩托多項式與跳躍數。

ABSTRACT

Let X be a smooth complex variety and Y be a closed subvariety of X, or more generally, a closed subscheme of X. We are interested in invariants attached to the singularities of the pair (X, Y). We discuss various methods to construct such invariants, coming from the theory of multiplier ideals, D-modules, the geometry of the space of arcs and characteristic p techniques. We present several applications of these invariants to algebra, higher dimensional birational geometry and to singularities.

研究动机与目标

• 發展並統一光滑複流形 X 與閉子概形 Y 的對 (X,Y) 奇點之不變量。
• 連結複代數幾何中的不變量（對數正則閾值）與正特徵中的不變量（F-純閾值）。
• 證明在特徵 p 下對 (X_p, Y_p) 的 F-純閾值在 p → ∞ 時收斂至特徵零下對 (X,Y) 的對數正則閾值。
• 透過模 p 約化，探討 multiplier 理想、測試理想與伯恩斯坦-薩托多項式之間的關聯。
• 提供一個概念框架，連結 D-模、multiplier 理想與正特徵代數幾何中的不變量。

提出的方法

• 使用透過 |g|² / (∑|fᵢ|²)^λ 局部可積性定義的 multiplier 理想，並透過對數解析表示其幾何解釋。
• 應用 Hironaka 的對數解析，將 multiplier 理想表示為 μ_*𝒪_{X'}(K_{X'/X} - ⌊λμ⁻¹(Y)⌋)，使其與正則除子連結。
• 透過變數變換將問題簡化為單純情形，進而能明確計算例外除子上的階數。
• 應用模 p 約化，將複 multiplier 理想與正特徵中的測試理想連結，使用局部對偶性與 Deligne-Illusie 理論。
• 使用伯恩斯坦-薩托多項式，透過 ν^J(p^e) 的行為，將模 p 的根連結至特徵零下的實際根。
• 運用跳躍數及其約化概念，顯示 F-純閾值可逼近對數正則閾值。

实验结果

研究问题

• RQ1 複代數幾何中的 multiplier 理想與正特徵中的測試理想之間有何關係？
• RQ2 能否將對 (X,Y) 的對數正則閾值恢復為正特徵中 F-純閾值的極限？
• RQ3 伯恩斯坦-薩托多項式的根與正特徵中 Frobenius 幂的行為之間的精確聯繫為何？
• RQ4 D-模、multiplier 理想與弧所產生的不變量在對奇點的研究中有多大程度上一致？
• RQ5 是否存在無限多個質數 p，使得 F-純閾值等於對數正則閾值？

主要发现

• 在特徵 p 下對 (X_p, Y_p) 的 F-純閾值在 p → ∞ 時收斂至特徵零下對 (X,Y) 的對數正則閾值。
• 對於每一個 λ，當 p 足夠大時，測試理想 τ(X_p, λ·Y_p) 等於 multiplier 理想 𝒥(X, λ·Y) 模 p 的約化。
• 多項式 f = x² + y³ 的對數正則閾值為 5/6，當 p ≡ 1 (mod 3) 時，此值即為 F-純閾值；當 p ≡ 2 (mod 3) 時，F-純閾值為 5/6 - 1/(6p)。
• 多項式 f = x² + y³ 的伯恩斯坦-薩托多項式的根為 -5/6、-7/6 與 -1，皆可透過模 p 約化與 ν^J(p^e) 的行為恢復。
• 當 f 為單項式時，伯恩斯坦-薩托多項式的所有根均可系統性地從正特徵不變量中恢復。
• F-純閾值收斂至對數正則閾值，為特徵零下的雙有理幾何與正特徵下的緊收斂理論提供了強有力的連結。