[论文解读] Extremal Kähler metrics

Gábor Székelyhidi|arXiv (Cornell University)|May 19, 2014

Geometry and complex manifolds参考文献 39被引用 21

一句话总结

本文综述了 Calabi 极值凯勒度量的最新进展，建立了此类度量的存在性与代数几何稳定性（K-稳定性和 $̂{K}$-稳定性）之间猜想性的联系。通过测试配置，证明了在纤维化曲面情形下，Calabi 泛函下确界的等式成立，表明极小化序列可分解为完全的极值度量或坍缩的纤维化结构，且极限滤子实现了最大程度的不稳定化。

ABSTRACT

This paper is a survey of some recent progress on the study of Calabi's extremal Kähler metrics. We first discuss the Yau-Tian-Donaldson conjecture relating the existence of extremal metrics to an algebro-geometric stability notion and we give some example settings where this conjecture has been established. We then turn to the question of what one expects when no extremal metric exists.

研究动机与目标

• 阐明极值凯勒度量的存在性与代数几何稳定性条件（如 K-稳定性和 $̂{K}$-稳定性）之间的关系。
• 研究当不存在极值度量时，Calabi 泛函极小化序列的行为。
• 理解凯勒流形在不稳定情形下的几何分解，类比于三维流形的几何化。
• 通过测试配置及其极限，建立 Calabi 泛函下确界公式的等式。

提出的方法

• 使用 Calabi 泛函 $\mathrm{Cal}(\omega) = \int_M (S(\none) - \underline{S})^2 \omega^n$ 衡量与常数量曲率的偏离程度。
• 应用动量构造法，在亏格为 2 的曲线上的纤维化曲面 $M = \mathbb{P}(\mathcal{O} \oplus \mathcal{O}(1))$ 上显式构造度量的极小化序列。
• 构造一系列测试配置 $\chi_i$，其指数递增，以实现 Calabi 泛函的下确界。
• 分析度量的标定点极限，识别出在 $M \setminus S_0$ 和 $M \setminus S_\infty$ 上的完全极值度量，或坍缩的圆纤维化结构。
• 引入极限滤子 $\chi$ 作为测试配置 $\chi_i$ 的极限，该滤子在稳定性不等式中达到上确界。
• 依赖公式 $\lim_{i\to\infty} \|S(\omega_i) - \underline{S}\|_{L^2} = \lim_{i\to\infty} -c_n \frac{\mathrm{Fut}(\chi_i)}{\|\chi_i\|}$ 证明稳定性猜想中的等式成立。

实验结果

研究问题

• RQ1 在何种代数几何稳定性条件下，凯勒类会允许存在极值度量？
• RQ2 当不存在极值度量时，Calabi 泛函的极小化序列会发生什么？
• RQ3 能否通过测试配置实现 Calabi 泛函的下确界？稳定性猜想中的等式是否成立？
• RQ4 在不稳定情形下，几何分解或坍缩现象如何出现？
• RQ5 在测试配置的极限中是否存在一个最大程度的不稳定化滤子？它在稳定性猜想中扮演何种角色？

主要发现

• 对于亏格为 2 的曲线上的纤维化曲面 $M = \mathbb{P}(\mathcal{O} \oplus \mathcal{O}(1))$，所有极化 $L$ 下，下确界公式（23）均成立。
• 当 $m < k_1$ 时，极小化序列收敛于凯勒类 $\Omega_m$ 中的极值度量。
• 当 $k_1 \leq m \leq k_2$ 时，标定点极限在 $M \setminus S_0$ 和 $M \setminus S_\infty$ 上产生完全的极值度量，且满足体积可加性。
• 当 $m > k_2$ 时，极限包含坍缩的圆纤维化结构和完全的极值度量，总度量体积严格小于原始值。
• 测试配置 $\chi_i$ 的指数趋于无穷，表明其退化为 $M$ 的多个副本构成的链，且退化程度不断加剧。
• 极限滤子 $\chi$ 存在，为 $\chi_i$ 的极限，其在稳定性不等式中达到上确界，其作用类似于哈德勒-纳拉辛汉滤子。