[论文解读] Remarks on logarithmic K-stability

Chi Li|arXiv (Cornell University)|Apr 3, 2011

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

一句话总结

本文為具有光滑反 canonical除子的 toric Fano 代數簇建立了對數 K-穩定性的對數刻度準則，證明了當且僅當錐角參數 β 小於 R(X) 時，對數 K-穩定性成立，其中 R(X) 是使得 Ric(ω) > tω 的解存在的最大 t 值。關鍵結果是透過重心與對偶多面體幾何明確計算對數 Futaki 不變量，從而精確描述了對數 K-穩定性，並在 toric 情境下驗證了關於錐型 Kähler-Einstein 擬量的猜想。

ABSTRACT

We make some observation on the logarithmic version of K-stability.

研究动机与目标

• 研究具有光滑反 canonical 除子 Y 的 toric Fano 代數簇的對數 K-穩定性。
• 驗證 Donaldson 對沿 Y 的 Kähler-Einstein 擬量存在性（具有錐形奇點）在 β < R(X) 時的猜想。
• 以對數 Futaki 不變量與多面體重心的角度，對 β = R(X) 的臨界值提供幾何特徵化。
• 透過明確計算 torus 作用下 1-參數子群的對數 Futaki 不變量，推廣並確認 [4] 中先前的計算結果。

提出的方法

• 利用定理 2 明確計算 R(X)，其表達式為 |OQ|/|P_cQ|，其中 Q 位於反射性多面體 Δ 的邊界上。
• 透過 (C*)^n 中 1-參數子群所對應的測試配置，使用代數定義計算對數 Futaki 不變量。
• 推導出對數 Futaki 不變量的主要公式 (19)：F(K_X^{-1}, βY)(λ) = - (β⟨P_c, λ⟩ + (1−β)W(λ)) Vol(Δ)。
• 應用凸幾何方法，透過比較 Q_β = (β/(1−β))((1−R(X))/R(X)) Q 與 Δ 的支撐超平面，分析對數 Futaki 不變量的符號。
• 依賴 Wang-Zhu 的工作，以及由反射性格點多面體定義的 toric Fano 代數簇的結構。
• 在兩個具體例子上驗證結果：Bl_pℙ² 和 Bl_{p,q}ℙ²，計算特定 1-參數子群的 R(X) 與對數 Futaki 不變量。

实验结果

研究问题

• RQ1 對於哪些 β 值，配對 (X_Δ, βY) 沒有 (C*)^n 中的任何 1-參數子群時，具有對數 K-穩定性？
• RQ2 臨界值 R(X) 與對數 Futaki 不變量在對數 K-穩定性條件下的精確關係為何？
• RQ3 當且僅當 β = R(X) 時，對數 Futaki 不變量是否恰好為零？若是，對應於哪些 1-參數子群？
• RQ4 重心 P_c 與 ∂Δ 上點 Q 的位置如何決定穩定性臨界值 R(X)？
• RQ5 是否能透過 toric 情境下的對數 K-穩定性，確認關於錐型 Kähler-Einstein 擬量的猜想？

主要发现

• 當 β < R(X_Δ) 時，配對 (X_Δ, βY) 對 (C*)^n 中所有 1-參數子群均具有對數 K-穩定性，因為對數 Futaki 不變量嚴格為負。
• 當 β = R(X_Δ) 時，配對為半對數 K-穩定，且對數 Futaki 不變量僅在支撐超平面接觸 Δ 於 Q 的 1-參數子群上為零。
• 當 β > R(X_Δ) 時，配對不具對數 K-穩定性，因為至少存在一個 1-參數子群使得對數 Futaki 不變量為正。
• 在例子 X_Δ = Bl_pℙ² 中，R(X) = 6/7，對 λ = ⟨-1,-1⟩ 的對數 Futaki 不變量為 F = (2/3)β - 4(1−β)，其 ≤ 0 當且僅當 β ≤ 6/7。
• 在例子 X_Δ = Bl_{p,q}ℙ² 中，R(X) = 21/25，對 λ₁ = ⟨1,1⟩ 的對數 Futaki 不變量為 F = (2/3)β - (7/2)(1−β)，其 ≤ 0 當且僅當 β ≤ 21/25。
• 在同一例子中，對 λ₃ = ⟨-1,2⟩，不變量允許穩定性延伸至 β = 63/65，但臨界閾值仍為 β = 21/25，確認 β > R(X) 時必然不穩定。