[论文解读] A new formula for the energy functionals E_k and its applications

Haozhao Li|ArXiv.org|Sep 26, 2006

Geometry and complex manifolds参考文献 8被引用 4

一句话总结

本文提出了一种陈-田能量泛函 $E_k$ 的新公式，通过曲率形式与里奇势的组合来表达。关键贡献是一个将 $E_k$ 与凯勒势和里奇曲率联系起来的通用恒等式，该恒等式使得所有与 $E_k$ 相关的全纯不变量等于福塔基不变量的全新证明成为可能，并在曲率条件下建立了 $E_k$ 的下界。

ABSTRACT

We give a new formula for the energy functionals E_k defined by Chen-Tian, and discuss the relations between these functionals. We also apply our formula to give a new proof of the fact that the holomorphic invariants corresponding to the E_k functionals are equal to the Futaki invariant.

研究动机与目标

• 推导出陈和田引入的能源泛函 $E_k$ 的新显式公式。
• 阐明 $E_k$ 泛函之间的结构性关系及其在曲率约束下的行为。
• 证明与 $E_k$ 相关的全纯不变量全部等于福塔基不变量。
• 在里奇曲率条件下建立 $E_k$ 的下界，推广先前的结果。
• 利用推导出的公式，为 $E_k$-不变量与福塔基不变量之间的等价性提供新的证明。

提出的方法

• 将 $E_{k,\rho}^0(\rho)$ 定义为一个涉及里奇势 $h_\omega$、曲率形式 $Ric_\varphi^i$ 和凯勒形式 $\omega_\varphi^{n-k}$ 的泛函。
• 通过时间积分差值 $\omega_{\varphi(t)}^{k+1} - \omega^{k+1}$ 引入校正项 $J_{k,\omega}(\varphi)$。
• 将完整泛函定义为 $E_k = E_{k,\omega}^0 - J_{k,\omega}$，以确保规范不变性并保持与已知情形的一致性。
• 推导出一个通用恒等式：$\sum_{i=0}^k (-1)^i \binom{k+1}{i+1} E_i = \frac{1}{V} \int_M u (\sqrt{-1}\partial\bar{\partial}u)^k \wedge \omega_\varphi^{n-k} + \frac{1}{V} \int_M h_\omega (-\sqrt{-1}\partial\bar{\partial}h_\omega)^k \wedge \omega^{n-k}$，其中 $u = \log\frac{\omega_\varphi^n}{\omega^n} + \varphi - h_\omega$。
• 利用推导出的恒等式，在曲率假设 $Ric_\varphi \geq -\frac{2}{k-1}\omega_\varphi$ 下证明 $E_k$ 的下界。
• 将公式应用于重新推导全纯不变量 $\mathcal{F}_k = (k+1)\mathcal{F}_0$，确认它们全部等于福塔基不变量。

实验结果

研究问题

• RQ1 陈-田能量泛函 $E_k$ 之间在结构上如何关联？
• RQ2 能否推导出一个统一公式，用曲率和势数据表达 $E_k$？
• RQ3 与 $E_k$ 相关的全纯不变量 $\mathcal{F}_k$ 是否与经典的福塔基不变量一致？
• RQ4 在何种曲率条件下 $E_k$ 可以被从下方有界？
• RQ5 能否从 $E_0$ 的有界性推导出 $E_k$ 的有界性？

主要发现

• 推导出一个新通用公式，将线性组合 $\sum_{i=0}^k (-1)^i \binom{k+1}{i+1} E_i$ 用曲率形式 $\sqrt{-1}\partial\bar{\partial}u$ 和里奇势 $h_\omega$ 表示。
• 该公式推广了帕利对 $k=1$ 的结果，恢复了已知恒等式 $2E_0 - E_1 = -\frac{1}{V}\int_M \sqrt{-1}\partial u\wedge\bar{\partial}u\wedge\omega_\varphi^{n-1} + c_1$。
• 对于 $k \geq 2$，在曲率条件 $Ric_\varphi \geq -\frac{2}{k-1}\omega_\varphi$ 下，泛函满足 $E_k(\varphi) \geq (k+1)E_0(\varphi) + c_k$，其中 $c_k$ 是依赖于 $h_\omega$ 和 $\omega$ 的常数。
• 证明了与 $E_k$ 相关的全纯不变量 $\mathcal{F}_k$ 满足 $\mathcal{F}_k = (k+1)\mathcal{F}_0$，从而证明它们全部等于福塔基不变量。
• 该不变量的证明是全新的，直接依赖于推导出的公式，为刘的早期证明提供了一种替代方法。
• 本文证明了 $E_1$ 从下方有界当且仅当 $E_0$ 从下方有界，将早期工作中关于 $E_0$ 的结果推广至整个 $E_k$ 家族。