[论文解读] Uniqueness of the minimizer of the normalized volume function

Chenyang Xu, Ziquan Zhuang|arXiv (Cornell University)|May 17, 2020

Geometry and complex manifolds参考文献 16被引用 14

一句话总结

本文證明了在klt奇點下，歸一化體積函數的最小化子在縮放變換下唯一，確立了某個賦值為最小化子當且僅當其為K-半穩定。作者引入賦值的穩定性閾值，並提出一種能與多個賦值相容的基類除子新構造，用以證明嚴格凸性與唯一性，進而導出多項應用，包括體積的有限次數公式與klt奇點局部基本群的有效上界。

ABSTRACT

We confirm a conjecture of Chi Li which says that the minimizer of the normalized volume function for a klt singularity is unique up to rescaling. This is achieved by defining stability thresholds for valuations, and then showing that a valuation is a minimizer if and only if it is K-semistable, and that K-semistable valuation is unique up to rescaling. As applications, we prove a finite degree formula for volumes of klt singularities and an effective bound of the local fundamental group of a klt singularity.

研究动机与目标

• 解決Chi Li關於klt奇點下歸一化體積函數最小化子唯一性的猜想。
• 在不假設相關graded ring有限生成的條件下，建立最小化子作為K-半穩定賦值的特徵化。
• 為中心於klt奇點的賦值發展局部穩定性閾值理論。
• 在klt奇點間的有限Galois態射下，推導歸一化體積的有限次數公式。
• 利用歸一化體積，對klt奇點的局部基本群階數建立有效上界。

提出的方法

• 定義中心於klt奇點的賦值v₀之局部穩定性閾值δ(v₀)，使用與v₀及另一賦值v相容的基類除子。
• 引入一種相容的基類除子構造，使能透過共同過濾比較不同賦值之間的體積。
• 運用[AZ20]中的關鍵技術工具，為兩個賦值構造聯合基類除子，進而定義S-不變量與δ-不變量。
• 透過廣義導數公式，證明在v₀處體積函數的導數非負，從而證明最小化子v₀為K-半穩定。
• 利用體積函數的嚴格凸性與K-半穩定性下的最小化子唯一性，推導出在縮放變換下唯一性。
• 將唯一性結果應用於證明：任何G-不變的最小化子必在群作用下保持G-不變，進而推導出歸一化體積的有限次數公式。

实验结果

研究问题

• RQ1 klt奇點的歸一化體積函數的最小化子是否在縮放變換下唯一？
• RQ2 能否在不假設相關graded ring有限生成的條件下，以穩定性閾值內在地特徵化賦值的K-半穩定性？
• RQ3 歸一化體積函數在賦值空間中是否滿足嚴格凸性，從而確保最小化子的唯一性？
• RQ4 能否在klt奇點間的有限Galois態射下，建立歸一化體積的有限次數公式？
• RQ5 利用歸一化體積，能否對klt奇點的局部基本群階數給出有效上界？

主要发现

• klt奇點的歸一化體積函數最小化子在縮放變換下唯一，證實了Chi Li的猜想。
• 賦值為歸一化體積函數的最小化子當且僅當其為K-半穩定，建立了幾何最小化與穩定性之間的深刻聯繫。
• 有限次數公式成立：對於有限Galois態射f: (Y,Δ_Y) → (X,Δ)，滿足f*(K_X+Δ) = K_Y+Δ_Y，有vol(y,Y,Δ_Y) = deg(f) · vol(x,X,Δ)。
• 建立局部基本群的有效上界：#|π₁(x,X^sm)| ≤ nⁿ / vol(x,X,Δ)，等號成立當且僅當Δ=0，且x∈X在étale局部同構於ℂⁿ/G，其中G在codimension 1上無固定點作用。
• 對log Fano簇，其局部基本群滿足#|π₁^loc(x,X^sm)| ≤ (n+1)^n / (δ(X,Δ)^n · (-(K_X+Δ))^n)，其中δ為穩定性閾值。
• 本結果提供了K-半穩定Fano簇在固定維度與有界體積下有界性的新證明，僅依賴於有界Cartier指數與定理1.5。