[论文解读] A note on the definition of K-stability

Jacopo Stoppa|arXiv (Cornell University)|Nov 24, 2011

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

一句话总结

本文通過排除在余维數至少為 2 的子集外 $\mathbb{C}^*$-作用平凡的測試配置，修正了 K-穩定性的定義。主要貢獻在於，K-穩定性僅要求對非余維數 2 平凡的測試配置，其 Donaldson-Futaki 不變量為嚴格正數，從而修復了早期證明中的缺陷，並確保與已知的 cscK 度量及有限自同構群結果的一致性。

ABSTRACT

As recently pointed out by Li and Xu, the definition of K-stability, and the author's proof of K-stability for cscK manifolds without holomorphic vector fields, need to be altered slightly: the Donaldson-Futaki invariant is positive for all test configurations which are not trivial in codimension 2.

研究动机与目标

• 修復標準 K-穩定性定義中的一個缺陷，該缺陷錯誤地要求所有非平凡測試配置的 Donaldson-Futaki 不變量為正。
• 識別出當 $\mathbb{C}^*$-作用在余維數至少為 2 的子集外平凡時，存在大量 Donaldson-Futaki 不變量為零的非平凡測試配置，例如具有嵌入點的退化情形。
• 修訂 K-穩定性定義，排除在余維數 2 下平凡的測試配置，確保條件不過於嚴苛或過於寬鬆。
• 透過修正命題 3.3 中的退化情形，使 cscK 流形在有限自同構群下的 K-穩定性證明得以自洽。
• 證明限制於正常測試配置或 $L^2$ 范數為正的測試配置，可得到等價的定義，從而支持 K-穩定性理論的廣泛適用性。

提出的方法

• 引入「在余維數 2 下平凡」的測試配置概念——即 $\mathbb{C}^*$-作用在某閉子概形（余維數 ≥2）外平凡。
• 修訂 K-穩定性定義，僅要求對非余維數 2 平凡的測試配置，其 Donaldson-Futaki 不變量為正。
• 重新分析 [2] 中定理 1.2（關於 cscK 流形的 K-穩定性）的證明，專注於命題 3.3 的退化情形，其中映射 $\rho: \mathcal{X}_1 \to \mathcal{X}^\mathrm{red}_0$ 是一般性單射。
• 證明當測試配置在余維數 2 下不平凡時，截面 $x_{r+i}$ 在約化中心纖上一般性非平凡地限制，從而可導出權重 $w(k)$ 的關鍵上界 (3.7)。
• 透過測試配置的歸一化，證明若 $F(\mathcal{X},\mathcal{L}) \leq 0$ 且 $\mathcal{X}$ 在余維數 2 下不平凡，則其歸一化也必在余維數 2 下不平凡，從而導致矛盾。
• 建立以非余維數 2 平凡配置定義的 K-穩定性與僅使用正常測試配置定義的 K-穩定性之間的等價性，與 Li 和 Xu [1] 的定義一致。

实验结果

研究问题

• RQ1 為何標準 K-穩定性定義未能排除 Donaldson-Futaki 不變量為零但非真正非平凡的測試配置？
• RQ2 何種幾何與代數條件可區分「真正非平凡」的測試配置與在余維數 2 下平凡的配置？
• RQ3 對具有有限自同構群的 cscK 流形，K-穩定性定義的修正如何影響其證明？
• RQ4 是否可僅以正常測試配置定義 K-穩定性，且此定義是否與修訂後的定義一致？
• RQ5 僅使用 $L^2$ 范數為正的測試配置測試 K-穩定性是否足夠，如 Székelyhidi 所建議？

主要发现

• 標準 K-穩定性定義存在錯誤，因其要求對在余維數 2 下平凡的測試配置也需 Donaldson-Futaki 不變量為正，而此類配置可能具有零不變量卻非平凡。
• 提出新的 K-穩定性定義：$F(\mathcal{X},\mathcal{L}) > 0$ 對所有在余維數 2 下不平凡的測試配置成立。
• 修復 [2] 中定理 1.2（cscK 流形的 K-穩定性）的證明，排除了映射 $\rho: \mathcal{X}_1 \to \mathcal{X}^\mathrm{red}_0$ 為一般性單射的情形，此即余維數 2 平凡的情形。
• 在修正的證明中，截面 $x_{r+i}$ 在 $\mathcal{X}^\mathrm{red}_0$ 上非平凡限制，使權重 $w(k)$ 的關鍵上界 (3.7) 成立，從而確保 $F(\mathcal{X},\mathcal{L}) > 0$。
• 證明僅以正常測試配置測試 K-穩定性已足夠，因為歸一化保持 Donaldson-Futaki 不變量的符號，且余維數 2 平凡性在歸一化下不變。
• 修訂後的定義與 Li 和 Xu 提出的定義等價，且所有已知的 K-穩定性結果在修正後仍成立。