[论文解读] Stability and coercivity for toric polarizations

Tomoyuki Hisamoto|arXiv (Cornell University)|Oct 25, 2016

Geometry and complex manifolds参考文献 36被引用 33

一句话总结

本文为一般极化流形上的等变极化建立了统一的稳定性条件，通过将范数约化至约化自伴群的中心，推广了统一K-稳定性。证明了在环面情形下，K-能量（或Fano情形下的D-能量）的强制性等价于统一稳定性，并表明D-能量的强制性蕴含Kähler-Einstein度量的存在，通过群论约化将Yau-Tian-Donaldson猜想推广至非有限自伴群的情形。

ABSTRACT

We introduce uniform K-stability and its relationship with the coercivity property of the K-energy functional, for general polarized manifolds. Since the automorphism groups are not necessarily finite, size of the norm measuring uniformity should be reduced with respect to the group action. About this point we explain that it is enough to take the reduced norm for a single sub-torus, actually the center, in the cscK problem. Our main theorem then describes the slope of the reduced J-functional along any torus-equivariant test configuration. In the toric case it is shown that the uniform stability is indeed equivalent to the coercivity of the K-energy. In the Fano manifolds case existence of the KE metric implies the uniform stability.

研究动机与目标

• 通过将范数约化至约化群的中心，将统一K-稳定性推广至自伴群非有限的极化流形。
• 在环面等变测试配置上，建立约化J-泛函的斜率公式。
• 证明在环面情形下，K-能量（或Fano情形下的D-能量）的强制性蕴含统一稳定性。
• 证明若对约化子群G的D-能量具有强制性，则在Fano流形上存在G-不变的Kähler-Einstein度量。
• 通过在连续对称存在时关联强制性与统一稳定性，推广Yau-Tian-Donaldson猜想。

提出的方法

• 通过在固定环面T的有理一参数子群上取下确界，引入约化非阿基米德J-泛函 $ J_T^{ ext{NA}} $。
• 将泛函 $ F $ 的 $ G $-强制性定义为 $ F(\varphi) \geq \varepsilon \inf_{g \in C(G)} J(\varphi_g) - C $，其中 $ C(G) $ 为约化群 $ G $ 的中心。
• 利用环面等变测试配置上约化J-泛函的斜率公式，将代数稳定性与解析能量增长联系起来。
• 应用Berman-Berndtsson等人的变分法，证明在K-不变度量上D-能量的强制性蕴含最小化子存在，该最小化子为光滑Kähler-Einstein度量。
• 利用沿一参数子群的D-能量斜率对应Futaki特征量的事实，并结合全纯调和性与群作用下的不变性，证明临界点为光滑。
• 证明若对 $ G = K^\mathbb{C} \subseteq \operatorname{Aut}(X, -K_X) $ 的D-能量具有强制性，则最小化子为K-不变的Kähler-Einstein度量。

实验结果

研究问题

• RQ1 能否通过将范数约化至群的中心，将统一K-稳定性推广至自伴群为无限的极化流形？
• RQ2 在环面情形下，K-能量泛函的强制性是否等价于统一稳定性？
• RQ3 若对约化子群 $ G $ 的D-能量具有强制性，是否意味着在Fano流形上存在 $ G $-不变的Kähler-Einstein度量？
• RQ4 能否显式计算约化J-泛函沿 $ T $-等变测试配置的斜率，并用于表征稳定性？
• RQ5 在 $ G $ 不是完整自伴群时，中心 $ C(G) $ 是否仍足以控制cscK问题中的强制性条件？

主要发现

• 在环面流形中，统一K-稳定性等价于K-能量泛函的强制性。
• 在Fano情形下，若对约化子群 $ G = K^\mathbb{C} $ 的D-能量具有强制性，则存在 $ K $-不变的Kähler-Einstein度量。
• 约化非阿基米德J-泛函 $ J_T^{\text{NA}} $ 定义为对 $ \mu \in N_\mathbb{Q} $ 取下确界，从而实现群约化下的稳定性分析。
• 沿 $ T $-等变测试配置的约化J-泛函斜率通过非阿基米德能量泛函计算得出。
• D-能量的强制性意味着相关泛函在群 $ G $ 上为常数，从而通过变分法得到光滑最小化子。
• 中心 $ C(G) $ 足以控制强制性条件，因为D-能量斜率仅依赖于中心，且最小化子在 $ G $ 作用下不变。