[论文解读] A note on the $K$-stability on toric manifolds

Xiaohua Zhu, Zhu, Xiaohua|ArXiv.org|Jun 4, 2007

Geometry and complex manifolds参考文献 8被引用 6

一句话总结

本文证明了在极小化度量存在的极化toric流形上，相对于toric退化，相对K-稳定性是必要条件，并且在存在极小化度量的toric曲面上，证明了$G_0$-不变凯勒度量空间中修正K-能量的适当性。结果通过Legendre变换和多面体上修正Futaki不变量的分析获得，将Donaldson的框架扩展至相对稳定性与能量适当性的情形。

ABSTRACT

In this note, we prove that on polarized toric manifolds the relative $K$-stability with respect to Donaldson's toric degenerations is a necessary condition for the existence of Calabi's extremal metrics, and also we show that the modified $K$-energy is proper in the space of $G_0$-invariant Kähler metrics for the case of toric surfaces which admit the extremal metrics.

研究动机与目标

• 确立在极化toric流形上极小化度量存在的前提下，相对于toric退化，相对K-稳定性是必要条件。
• 证明在存在极小化度量的toric曲面的$G_0$-不变凯勒度量空间中，修正K-能量泛函的适当性。
• 将Donaldson关于$K$-稳定性与$K$-能量分析的框架，扩展至toric流形上的相对$K$-稳定性情形。
• 通过分段线性函数与Legendre对偶性，分析修正Futaki不变量及其与矩多面体几何的关系。

提出的方法

• 利用矩多面体$P$上的有理分段线性函数诱导的toric退化，将其与极小化向量场相容的测试配置联系起来。
• 应用Legendre对偶性，将凯勒度量$\theta_\theta$转化为多面体$P$上的凸函数$u$，从而通过泛函$\mathcal{F}(u) = -\int_P \log(\det D^2u)\,dx + L(u)$分析修正$K$-能量。
• 通过修正Futaki不变量$F_{\tilde{\beta}}(\tilde{\alpha}) = F(\tilde{\alpha}) - \frac{(\tilde{\alpha},\tilde{\beta})}{(\tilde{\beta},\tilde{\beta})}F(\tilde{\beta})$定义相对$K$-稳定性，并分析其在中心纤维上的非正性。
• 通过分部积分和$\delta \to 0$的极限论证，推导出恒等式$\int_P \sum_{i,j} u^{ij}_{ij} f\,dx = -\int_{\partial P} f\,d\sigma + \sum_{\lambda<\mu} \int_{\partial P^\lambda \cap \partial P^\mu} \frac{\sum_{i,j} u^{ij}(c^{\alpha_\lambda}_i - c^{\alpha_\mu}_i)(c^{\alpha_\lambda}_j - c^{\alpha_\mu}_j)}{\sqrt{\sum_l (c^{\alpha_\lambda}_l - c^{\alpha_\mu}_l)^2}}\,d\sigma_0$，该式蕴含$L(f) \geq 0$。
• 通过反证法，利用存在非仿射凸函数$u_\infty \in \mathcal{C}_1$满足$L(u_\infty) = 0$，与命题2.3矛盾，从而证明$L(u) \geq \lambda \int_{\partial P} u\,d\sigma$对某$\lambda > 0$成立，进而蕴含修正$K$-能量的适当性。
• 依赖于修正$K$-能量$\mu(\phi)$与$\mathcal{F}(u)$成比例，利用$L(u)$的下界推导出$\mu(\phi) \geq \delta \inf_{\sigma \in T} I(\phi_\sigma) - C$，从而证明其在$G_0$-不变情形下的适当性。

实验结果

研究问题

• RQ1 在极化toric流形上，相对于toric退化，相对$K$-稳定性是否为极小化度量存在的必要条件？
• RQ2 在存在极小化度量的toric曲面中，修正$K$-能量泛函在$G_0$-不变凯勒度量空间中是否仍保持适当性？
• RQ3 修正Futaki不变量能否通过多面体几何与分段线性函数，在toric情形下表征稳定性条件？
• RQ4 对于矩多面体上的凸函数，泛函$L(u)$与边界积分$\int_{\partial P} u\,d\sigma$之间有何关系？
• RQ5 在何种条件下$L(u) = 0$蕴含$u$为仿射函数？这与修正$K$-能量的适当性有何关联？

主要发现

• 在极化toric流形上，对所有toric退化，相对$K$-稳定性是极小化度量存在的必要条件。
• 在存在极小化度量的toric曲面中，修正$K$-能量在$G_0$-不变凯勒度量空间中是适当的，其依据为存在某$\lambda > 0$使得$L(u) \geq \lambda \int_{\partial P} u\,d\sigma$。
• 通过多面体边界及其余维数一面积分定义的泛函$L(f)$，对所有分段线性函数$f$满足$L(f) \geq 0$，且等号成立当且仅当$f$为仿射函数。
• 存在非仿射凸函数$u_\infty$满足$L(u_\infty) = 0$，与命题2.3矛盾，从而证明$L(u)$的严格下界。
• 修正$K$-能量$\mu(\phi)$满足$\mu(\phi) \geq \delta \inf_{\sigma \in T} I(\phi_\sigma) - C$，其中$\delta, C > 0$，确认其在$G_0$-不变情形下的适当性。
• 证明依赖于Legendre变换，将凯勒势$φ$与矩多面体上的凸函数$u$联系起来，从而在稳定性分析中应用凸分析与多面体几何。