[论文解读] The continuity method on minimal elliptic Kähler surfaces

Yashan Zhang, Zhenlei Zhang|arXiv (Cornell University)|Oct 25, 2016

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

一句话总结

本文建立了在极小椭圆 Kähler 曲面（Kodaira 维数为一）上连续方法的收敛性，证明了演化 Kähler 度量在 Gromov-Hausdorff 拓扑下收敛于典范模型上广义 Kähler-Einstein 当量的度量完备化。该方法从任意初始 Kähler 度量出发，实现了在正则点集上对典范度量的拉回的局部 $C^{1,\alpha}$ 收敛，以及在椭圆纤维上纤维度量的光滑收敛至平坦度量。

ABSTRACT

We prove that, on a minimal elliptic Kähler surface of Kodaira dimension one, the continuity method introduced by La Nave and Tian in \cite{LT} starting from any initial Kähler metric converges in Gromov-Hausdorff topology to the metric completion of the generalized Kähler-Einstein metric on its canonical model constructed by Song and Tian in \cite{ST06}.

研究动机与目标

• 在 Kodaira 维数为一的极小椭圆 Kähler 曲面上建立连续方法的几何收敛性。
• 确认在具有非平凡椭圆纤维结构的曲面中，解析极小模型程序的预期行为。
• 分析连续方法在度量收敛与纤维逐点退化方面的极限行为。
• 将对 Kähler-Ricci 流与连续方法中度量退化现象的理解，从 Calabi-Yau 与一般型情形扩展至更广泛情形。

提出的方法

• 通过一族背景度量 $\omega_t = \frac{1}{1+t}\omega_0 + \frac{t}{1+t}f^*\chi$，将连续方法方程约化为复 Monge-Ampère 方程。
• 使用势函数 $\varphi(t)$ 将演化度量表示为 $\omega(t) = \omega_t + \sqrt{-1}\partial\bar{\partial}\varphi(t)$。
• 通过对势函数及其导数施加一致估计，证明在正则点集 $X_{\text{reg}}$ 上的局部 $C^{1,\alpha}$ 收敛。
• 通过将演化度量空间 $(X, \omega(t))$ 与典范模型的度量完备化 $(X_\infty, d_\infty)$ 进行比较，应用 Gromov-Hausdorff 收敛技术。
• 利用在基曲线 $\Sigma$ 上的广义 Kähler-Einstein 当量 $\chi_\infty$，其满足 $\text{Ric}(\chi_\infty) = -\chi_\infty + \omega_{WP} + 2\pi\sum \frac{m_i-1}{m_i}[s_i]$，来定义极限空间。
• 通过控制 $(1+t)\omega(t)|_{X_s}$ 在每条纤维 $X_s$ 上收敛于类 $[\omega_0|_{X_s}]$ 中唯一的平坦度量，来调控纤维的几何结构。

实验结果

研究问题

• RQ1 在 Kodaira 维数为一的极小椭圆 Kähler 曲面上，连续方法是否在 Gromov-Hausdorff 拓扑下收敛于典范模型？
• RQ2 演化度量在正则纤维上的行为如何？是否光滑收敛于平坦度量？
• RQ3 典范模型 $(X_\infty, d_\infty)$ 的度量完备化是否与基曲线 $\Sigma$ 同胚？
• RQ4 极限空间 $(X_\infty, d_\infty)$ 是否可实现为演化度量空间 $(X, \omega(t))$ 的 Gromov-Hausdorff 极限？
• RQ5 度量 $\omega(t)$ 向广义 Kähler-Einstein 当量的拉回 $f^*\chi_\infty$ 的正则性与收敛速率为何？

主要发现

• 当 $t \to \infty$ 时，$\omega(t) \to f^\ast\chi_\infty$ 在 $C^{1,\alpha_V}(V, \omega_0)$-拓扑下收敛，其中任意紧子集 $V \subset X_{\text{reg}}$，且 $\alpha_V \in (0,1)$。
• 对每条正则纤维 $X_s$，$(1+t)\omega(t)|_{X_s}$ 在 $C^\infty(X_s, \omega_0|_{X_s})$-拓扑下收敛于类 $[\omega_0|_{X_s}]$ 中唯一的平坦度量。
• $(\Sigma_{\text{reg}}, \chi_\infty)$ 的度量完备化 $(X_\infty, d_\infty)$ 是一个与 $\Sigma$ 作为射影代数曲线同胚的紧致长度度量空间。
• 当 $t \to \infty$ 时，$(X, \omega(t))$ 与 $(X_\infty, d_\infty)$ 之间的 Gromov-Hausdorff 距离趋于零，确认了完全收敛。
• 收敛在正则点集的紧子集上是一致的，且尊重纤维结构，对纤维的直径与曲率具有控制。