[论文解读] On the Yau-Tian-Donaldson conjecture for singular Fano varieties

Chi Li, Gang Tian+1 more|arXiv (Cornell University)|Nov 27, 2017

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

一句话总结

本文通过证明K-多稳定性蕴含凯勒-爱因斯坦度量的存在性，将丘-田-唐纳森猜想推广至具有可接受奇点的广义${\mathbb{Q}}$-法诺簇——具体而言，即那些具有可接受奇点的${\mathbb{Q}}$-法诺簇。证明构造了一族在对数解析上的锥形凯勒-爱因斯坦度量，并表明其在Gromov-Hausdorff极限下收敛于奇异簇上的真实凯勒-爱因斯坦度量，从而将光滑情形的结果推广至具有受控奇点的${\mathbb{Q}}$-法诺簇，并满足例外除子的相对正性条件。

ABSTRACT

We prove the Yau-Tian-Donaldson's conjecture for any $\mathbb{Q}$-Fano variety that has a log smooth resolution of singularities such that the discrepancies of all exceptional divisors are non-positive. In other words, if such a Fano variety is K-polystable, then it admits a Kähler-Einstein metric. This extends the previous result for smooth Fano varieties to this class of singular $\mathbb{Q}$-Fano varieties, which include those admitting crepant log resolutions.

研究动机与目标

• 将丘-田-唐纳森猜想从光滑法诺簇推广至一大类具有受控奇点的奇异${\mathbb{Q}}$-法诺簇。
• 在奇异情形下建立K-多稳定${\mathbb{Q}}$-法诺簇上凯勒-爱因斯坦度量的存在性，即使其具有奇点。
• 将存在性结果推广至超越${\mathbb{Q}}$-可光滑化簇的范畴，涵盖那些对数解析满足特定正性与分歧条件的簇。
• 提供一个统一框架，通过锥形度量与Gromov-Hausdorff极限在奇异法诺簇上构造凯勒-爱因斯坦度量。

提出的方法

• 在可接受${\mathbb{Q}}$-法诺簇$X$的对数解析$\mu: Y \to X$上构造一族参数为$\epsilon \in [0,1]$的锥形凯勒-爱因斯坦度量。
• 利用Monge-Ampère方程框架，在例外除子$E = \sum E_i$上求解具有圆锥奇点的凯勒-爱因斯坦度量。
• 应用统一的$L^\infty$-估计与梯度估计，控制锥形度量的势函数并确保其正则性。
• 建立锥形度量族的Gromov-Hausdorff紧致性，并证明极限度量与原始奇异簇$X$等距。
• 利用代数极限与特殊测试配置，证明极限度量为弱凯勒-爱因斯坦度量，借助乘子理想与对数分歧度的连续性。
• 通过非阿基米德泛函与非阿基米德$L^\infty$-范数的渐近分析导出矛盾，从而确认极限度量确为凯勒-爱因斯坦度量。

实验结果

研究问题

• RQ1 K-多稳定性是否蕴含在具有可接受奇点的奇异${\mathbb{Q}}$-法诺簇上存在凯勒-爱因斯坦度量？
• RQ2 丘-田-唐纳森猜想是否可超越光滑法诺簇，推广至具有受控对数解析的奇异${\mathbb{Q}}$-法诺簇？
• RQ3 对数解析中例外除子需满足何种条件，才能保证奇异法诺簇上凯勒-爱因斯坦度量的存在性？
• RQ4 如何利用解析上的锥形凯勒-爱因斯坦度量在基空间上构造真正的凯勒-爱因斯坦度量？
• RQ5 在K-多稳定性下，解析上一族锥形度量的Gromov-Hausdorff极限是否与原始奇异法诺簇等距？

主要发现

• 对于任意具有可接受奇点的${\mathbb{Q}}$-法诺簇，丘-田-唐纳森猜想成立：K-多稳定性蕴含凯勒-爱因斯坦度量的存在性。
• 在对数解析$Y$上的锥形凯勒-爱因斯坦度量族在Gromov-Hausdorff拓扑下收敛于奇异簇$X$上的真实凯勒-爱因斯坦度量。
• 极限度量与$X$等距，收敛性通过梯度估计、Gromov-Hausdorff紧致性及锥形情形下的规范固定得以确立。
• 证明依赖于非阿基米德泛函$L_B^{\rm NA}$及其渐近行为，若极限非凯勒-爱因斯坦度量，则导致矛盾。
• 该结果推广了先前关于${\mathbb{Q}}$-可光滑化法诺簇的工作，并涵盖所有具有创痕解析的${\mathbb{Q}}$-因子法诺簇。
• 关键技术步骤在于证明非阿基米德$L^\infty$-范数满足$\lim_{m\to\infty} L_B^{\rm NA}(\phi_m) = \lim_{s\to\infty} \frac{L_B(\varphi_s)}{s}$，这对矛盾论证至关重要。