[论文解读] A quantization proof of the uniform Yau-Tian-Donaldson conjecture

Kewei Zhang|arXiv (Cornell University)|Feb 4, 2021

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

一句话总结

该论文通过证明Fujita-Odaka的代数$δ$-不变量与控制Ding泛函强制性的分析$δ^A$-不变量相等，建立了扭曲凯勒爱因斯坦度量的统一Yau-Tian-Donaldson猜想。利用量化技术与全纯势论——完全不依赖Cheeger-Colding-Tian理论或非阿基米德几何——该文为任意正线丛（包括非有理极化）的规范度量存在性提供了简洁证明。

ABSTRACT

Using quantization techniques, we show that the $δ$-invariant of Fujita-Odaka coincides with the optimal exponent in certain Moser-Trudinger type inequality. Consequently we obtain a uniform Yau-Tian-Donaldson theorem for the existence of twisted Kähler-Einstein metrics with arbitrary polarizations. Our approach mainly uses pluripotential theory, which does not involve Cheeger-Colding-Tian theory or the non-Archimedean language. A new computable criterion for the existence of constant scalar curvature Kähler metrics is also given.

研究动机与目标

• 在任意（甚至非有理）极化下，为射影流形上扭曲凯勒爱因斯坦度量的存在性建立统一的Yau-Tian-Donaldson猜想。
• 证明代数$δ$-不变量（Fujita-Odaka）与分析$δ^A$-不变量（Moser-Trudinger不等式中的最优指数）相等，后者刻画了Ding泛函的强制性。
• 仅使用全纯势论与量化技术等分析工具，避免使用非阿基米德或Cheeger-Colding-Tian方法，为统一YTD猜想提供一种新且简化的证明。
• 基于$δ$-不变量，推导出常数量曲率凯勒（cscK）度量存在性的新可计算判别准则。
• 将该方法推广至耦合凯勒爱因斯坦与孤立子情形，表明该方法可超越标准设定进行推广。

提出的方法

• 在有限维Bergman空间中使用量化技术，将每一层级$m$的代数$δ_m$-不变量与分析$δ_m^A$-不变量关联，证明$\delta_m = \delta_m^A$。
• 应用Berndtsson的量化最大值原理，控制Bergman空间中的上确界范数估计。
• 利用Tian的Bergman核渐近展开与Demailly-Kollár的下半连续性，将$\delta_m$与全局$\delta$-不变量关联。
• 采用Berman-Boucksom-Eyssidieux-Guedj-Zeriahi的变分方法，将Ding泛函的强制性与分析$\delta^A$-不变量联系起来。
• 依赖凯勒度量空间中弱测地线的存在性，以及耦合情形下加权Bergman核的渐近展开。
• 在命题4.2中建立关键估计，通过Bergman投影将指数权的$L^1$-范数有界，从而实现从有限维到无限维的过渡。

实验结果

研究问题

• RQ1 Fujita-Odaka的代数$\delta$-不变量是否与通过Moser-Trudinger型不等式定义的分析$\delta^A$-不变量一致？
• RQ2 能否仅使用分析与量化工具证明统一Yau-Tian-Donaldson猜想，而无需依赖非阿基米德几何或Cheeger-Colding-Tian理论？
• RQ3 在极化扰动（包括非有理极化）下，$\delta = \delta^A$的等式是否稳定？
• RQ4 K-能量的强制性阈值能否通过$\delta$-不变量代数刻画？
• RQ5 该方法能否在仅作少量调整的情况下推广至耦合凯勒爱因斯坦与孤立子情形？

主要发现

• 对任意正的$\mathbb{R}$-线丛$L$，有$\delta(L) = \delta^A(L)$成立，解决了作者此前的猜想，并完成了前期工作的研究计划。
• 该证明以远比以往方法更简洁的方式建立了扭曲凯勒爱因斯坦度量的统一Yau-Tian-Donaldson猜想，仅依赖于全纯势论与量化技术。
• 证明表明分析$\delta^A$-不变量是Moser-Trudinger型不等式中的最优指数，该指数刻画了Ding泛函的强制性，从而决定了扭曲凯勒爱因斯坦度量的存在性。
• 推导出常数量曲率凯勒度量存在性的新可计算判别准则：$\delta(L) = \sup\left\{\lambda > 0 \mid \exists C_\lambda > 0 \text{ s.t. } H(\phi) \geq \lambda(I-J)(\phi) - C_\lambda \text{ for all } \phi \in \mathcal{H}(X,\omega)\right\}$。
• 该方法可推广至耦合凯勒爱因斯坦与孤立子情形，仅需对泛函与核渐近展开作微小调整，证实了量化框架的鲁棒性。
• 该证明避免使用非阿基米德几何与扭曲K-能量的凸性，因此在稳定性阈值超过 nef 阈值$s$时依然适用。