[论文解读] On the Critical Points of the E_k Functionals in Kahler Geometry

Valentino Tosatti|Jun 1, 2005

Hermeneutics and Narrative Identity参考文献 8被引用 3

一句话总结

本文证明了在反canonical类中，任何作为 $E_k$ 泛函临界点且具有非负 Ricci 曲率的 Kähler 度量，必为 Kähler-Einstein 度量，从而为 X.X. Chen 关于 $E_1$ 泛函的一个问题提供了部分肯定答案。该结果依赖于对 Ricci 曲率的对称函数应用最小值原理，并推广了此前对 $E_n$ 和 $E_0$ 泛函的研究。

ABSTRACT

We prove that a Kahler metric in the anticanonical class which is a critical point of the functional E_k and has nonnegative Ricci curvature, is necessarily Kahler-Einstein. This partially answers a question of X.X.Chen.

研究动机与目标

• 确定在非负 Ricci 曲率条件下，Kähler 几何中 $E_k$ 泛函的临界点是否必为 Kähler-Einstein。
• 将此前关于 $E_0$（Mabuchi 能量）和 $E_n$ 的结果推广至一般 $E_k$ 泛函，其中 $0 < k < n$。
• 研究 $E_k$ 临界点与 Kähler-Einstein 度量之间的关系，特别是在反canonical 类中的情形。
• 为 Chen 的猜想提供证据，即在适度曲率假设下，反canonical 类中 $E_1$ 临界点必为 Kähler-Einstein。
• 建立一个通用框架，利用 Ricci 曲率的对称函数与最小值原理，分析临界度量。

提出的方法

• 通过在 Kähler 潜势路径上的积分定义 $E_k$ 泛函，其依赖于 Ricci 曲率与体积形式。
• 将临界点方程表示为 $\sigma_{k+1}(\omega_\phi) - \triangle_\phi \sigma_k(\omega_\phi) = \binom{n}{k+1} \mu_k$，其中 $\sigma_k$ 为 Ricci 特征值的初等对称函数。
• 在 $\Sigma_k$ 的最小值点处对归一化的对称函数 $\Sigma_k(\omega) = \sigma_k(\omega)/\binom{n}{k}$ 应用最小值原理。
• 利用经典不等式 $\Sigma_k^{k+1} \geq \Sigma_{k+1}^k$，从 $\Sigma_{k+1} \geq 1$ 逐步传播下界至 $\Sigma_k \geq 1$，最终得到 $\Sigma_1 \geq 1$。
• 将 $\Sigma_1(\omega) = R/n$ 与标量曲率关联，并由 $\Sigma_1 \geq 1$ 推出 $R \geq n$，从而得出 $\mathrm{Ric}(\omega) = \omega$。
• 在 $k=1$ 情形下，通过证明在最小值点处有 $R^2 \geq n^2$，利用 $R > -n$ 的条件，强制得出 $R \geq n$，从而推出 $\mathrm{Ric}(\omega) = \omega$。

实验结果

研究问题

• RQ1 在反canonical 类中，具有非负 Ricci 曲率的 $E_k$ 泛函临界点是否必为 Kähler-Einstein？
• RQ2 在条件 $R > -n$ 下，$E_1$ 泛函的临界点是否与 Kähler-Einstein 度量重合？
• RQ3 是否可利用最小值原理与对称函数不等式，证明 $E_k$ 临界度量为 Kähler-Einstein？
• RQ4 在第一陈类为正的几何中，$E_k$ 泛函如何与稳定性及极值度量的存在性相关联？
• RQ5 在何种程度上可减弱或移除 $E_k$ 临界度量的 Ricci 曲率非负性假设，而仍能保持其 Kähler-Einstein 性质？

主要发现

• 对于 $0 < k < n$，任何在反canonical 类中具有非负 Ricci 曲率的 $E_k$-临界 Kähler 度量必为 Kähler-Einstein。
• 即使 Ricci 曲率仅非负（非必正），该结果仍成立，原因在于最小值点处 $\Sigma_{k+1}$ 的正性。
• 在 $k = 1$ 情形下，条件 $R > -n$ 足够保证 $E_1$-临界度量为 Kähler-Einstein，从而将结果推广至非正 Ricci 曲率情形。
• $k=1$ 时的临界方程可化为 $R^2 - |\mathrm{Ric}|^2 - 2\triangle R = n(n-1)$，而最小值原理强制得出 $R \geq n$。
• 归一化标量曲率 $\Sigma_1(\omega) \geq 1$ 暗示 $R \geq n$，从而强制 $\mathrm{Ric}(\omega) = \omega$，证明了 Kähler-Einstein 性质。
• 该证明可推广至 $k = n$ 的情形，其中 $\triangle \sigma_n = 0$ 推出 $\sigma_n = 1$，且相同的不等式链可导出 $\mathrm{Ric}(\omega) = \omega$。