[论文解读] Dynamical construction of Kähler-Einstein metrics

Hajime Tsuji|arXiv (Cornell University)|Jun 25, 2006

Geometry and complex manifolds被引用 4

一句话总结

本论文通过取高阶 pluricanonical 系统相关 Bergman 核的极限，提出了一类光滑射影代数簇上 Kähler-Einstein 度量的动力构造方法，其 canonical bundle 为 ample。关键结果表明，缩放后的 Bergman 核极限可产生一个 Kähler-Einstein 当量，从而通过基于 $L^2$-正交基与曲率估计的迭代动力过程，建立起 Bergman 度量与 Kähler-Einstein 几何之间的自然联系。

ABSTRACT

In this paper, I give a new construction of a Kähler-Einstein metrics on a smooth projective variety with ample canonical bundle. This result can be generalized to the construction of a singular Kähler-Einstein metric on a smooth projective variety of general type which gives an AZD of the canonical bundle. Also the variation of Bergman kernels and Kähler-Einstein volume form have been considered.

研究动机与目标

• 在具有 ample canonical bundle 的光滑射影代数簇上，建立 Kähler-Einstein 度量的新动力构造方法。
• 通过解析 Zariski 分解，将该构造推广至一般型代数簇上的奇异 Kähler-Einstein 度量。
• 证明在纤维为一般型的投影态射 $f_*\mathcal{O}_X(mK_{X/S})$ 上，存在具有半正曲率的典范奇异 Hermitian 度量。
• 通过迭代度量构造，将 Bergman 核的渐近行为与 Kähler-Einstein 几何联系起来。

提出的方法

• 通过 $L^2$-正交基关联的 Bergman 核 $K_m$ 的逆，迭代定义 $mK_X$ 上的一系列光滑 Hermitian 度量 $h_m$。
• 利用前一 $h_m$ 作为 $L^2$ 内积权重，定义下一步的正交基，以确保曲率控制。
• 构造 $K_X$ 上的极限度量 $h_\infty = \liminf_{m\to\infty} \sqrt[m]{(m!)^n \cdot h_m}$，从而得到 Kähler-Einstein 当量。
• 应用 Fujita 定理与渐近体积估计，将 $K_m$ 的增长与 canonical 体积 $\mu(X,K_X)$ 关联。
• 证明 $\limsup_{m\to\infty} \frac{1}{(m!)^{n/m}} (K_m)^{1/m}$ 的上下界，以证明其收敛于 Kähler-Einstein 体积形式。
• 通过纤维上的 Bergman 核在一般型纤维上的构造，将该方法推广至相对情形，证明直接像层上曲率当量的半正性。

实验结果

研究问题

• RQ1 能否通过 Bergman 核极限的动力方法，在 canonical bundle 为 ample 的代数簇上构造 Kähler-Einstein 度量？
• RQ2 pluricanonical 系上 Bergman 核的渐近行为如何与 Kähler-Einstein 几何相关联？
• RQ3 在基上为一般型代数簇族的投影态射下，直接像层 $f_*\mathcal{O}_X(mK_{X/S})$ 的曲率性质为何？
• RQ4 一般型代数簇上最大 Kähler-Einstein 当量是否唯一？
• RQ5 Kähler-Einstein 度量的动力构造方法能否推广至一般型代数簇上的奇异度量？

主要发现

• 在 $K_X$ 上，极限度量 $h_\infty = \liminf_{m\to\infty} \sqrt[m]{(m!)^n \cdot h_m}$ 定义了一个 Kähler-Einstein 当量 $\omega_\infty = \sqrt{-1} \partial\bar\partial \log h_\infty$。
• 对 $K_m$ 的渐近增长满足 $\limsup_{m\to\infty} \frac{1}{(m!)^{n/m}} \int_X (K_m)^{1/m} = (2\pi)^{-n} \int_X dV_E$，与 Kähler-Einstein 体积形式一致。
• 上界 $\limsup_{m\to\infty} \frac{1}{(m!)^{n/m}} (K_m)^{1/m} \leq \frac{1}{n!} \mu(X,K_X)$ 成立，且在极限下取等。
• 光滑一般型射影代数簇上的最大 Kähler-Einstein 当量是唯一的。
• 直接像层 $f_*\mathcal{O}_X(mK_{X/S})$ 允许存在一个典范奇异 Hermitian 度量 $h_{E,m}$，其曲率当量在 Nakano 意义下为半正。
• 该构造可推广至族情形：$K_{X/S}$ 上的极限度量在每个 $m$ 下诱导出 $f_*\mathcal{O}_X(mK_{X/S})$ 上的半正曲率当量。