[论文解读] Examples of K-unstable Fano manifolds with the Picard number one

Kento Fujita|arXiv (Cornell University)|Aug 18, 2015

Geometry and complex manifolds参考文献 24被引用 5

一句话总结

本文構造了具有 Picard 數為一的 K-不穩定 Fano 流形的顯式例子，推翻了 Odaka 和 Okada 的一個猜想。利用五度數、四維或五維的 del Pezzo 流形中特殊平面所導出的半測試配置，作者計算了 Donaldson-Futaki 不變量，並證明其為負值，從而證實了 K-不穩定性，儘管存在除子穩定性。

ABSTRACT

We show that the pair $(X, -K_X)$ is K-unstable for a del Pezzo manifold $X$ of degree five with dimension four or five. This disprove a conjecture of Odaka and Okada.

研究动机与目标

• 為推翻 Odaka 和 Okada 的猜想 5.1，該猜想認為所有 Picard 數為一的 Fano 流形均為 K-半穩定。
• 提供目前已知第一例 Picard 數為一的 K-不穩定 Fano 流形。
• 利用幾何與上同調技術分析五度數、四維或五維 del Pezzo 流形的 K-穩定性。
• 證明在 Fano 几何中，K-穩定性嚴格強於除子穩定性。

提出的方法

• 從五度數、維數 $ n = 4 $ 或 $ 5 $ 的 del Pezzo 流形 $ X $ 中的特殊平面 $ S \to X $ 建構半測試配置，使用旗理想上的爆破。
• 透過涉及爆破 $ \tilde{X} $ 上線叢體積與例外除子 $ E_S $ 的積分公式，計算 Donaldson-Futaki 不變量 $ \text{DF}(\tilde{X}, \tilde{L}) $。
• 利用 ample 模型序列 $ \tilde{X} = X_1 \to X_2 = \bbP^n $，將不變量分解為穩定參數不同區間上的積分。
• 計算積分 $ \frac{(n-1)^n}{n+1} \big( 2c_2(\nu_{S/X}^\text{vee}) + (n-4)(9-n) - 2n \big) $ 以判斷 $ \text{DF} $ 的符號。
• 應用關於 del Pezzo 流形幾何的已知結果，包括其 canonical bundle 和法叢結構，以計算特徵類。
• 利用 Lefschetz 定理與貝蒂数計算，確認所研究流形的拓撲設定。

实验结果

研究问题

• RQ1 是否存在 Picard 數為一的 Fano 流形，其 K-不穩定，從而與 Odaka 和 Okada 的猜想矛盾？
• RQ2 能否從 del Pezzo 流形中的特殊子簇（例如平面）構造半測試配置，以檢測 K-穩定性？
• RQ3 五度數、四維或五維 del Pezzo 流形的 Donaldson-Futaki 不變量符號為何？
• RQ4 K-穩定性是否嚴格強於 Fano 流形的除子穩定性，正如其在除子穩定但 K-不穩定的情況下所顯示的那樣？

主要发现

• 對於五度數、維數 $ n = 4 $ 或 $ 5 $ 的 del Pezzo 流形 $ X $，配對 $ (X, -K_X) $ 為 K-不穩定，因 Donaldson-Futaki 不變量 $ \text{DF}(\tilde{X}, \tilde{L}) $ 為負值。
• 不變量 $ \text{DF}(\tilde{X}, \tilde{L}) $ 與 $ \frac{(n-1)^n}{n+1} \big( 2c_2(\nu_{S/X}^\text{vee}) + (n-4)(9-n) - 2n \big) $ 成比例，且此表達式在 $ n = 4 $ 和 $ n = 5 $ 時為負。
• 當 $ n = 6 $ 時，不變量為零，與 $ X \to \bbG(5,2) $ 為 K-半穩定且為齊次空間的性質一致。
• 所討論的流形為除子穩定（由 [Fjt15, 推論 9.3]），但 K-不穩定，顯示 K-穩定性嚴格強於除子穩定性。
• 四階貝蒂数 $ b_4(X) = 2 $ 對於 $ n = 4,5,6 $ 成立，確認這些流形的拓撲複雜性。
• 本研究提供了 Odaka 和 Okada 對 $ \rho(X) = 1 $ 時 Fano 流形 K-穩定性之猜想 5.1 的第一組反例。