[论文解读] Convexity of the K-energy on the space of Kahler metrics and uniqueness of extremal metrics

Robert J. Berman, Bo Berndtsson|arXiv (Cornell University)|May 2, 2014

Geometry and complex manifolds被引用 15

一句话总结

该论文证明了在紧致凯勒流形上凯勒度量空间中的弱测地线路径上，Mabuchi K-能量泛函的凸性，证实了陈的猜想。作者利用Bergman核的拟凸变分，建立了这一凸性，从而推出极小凯勒度量（包括常数量曲率度量）在微分同胚群作用下的唯一性。

ABSTRACT

We establish the convexity of Mabuchi's K-energy functional along weak geodesics in the space of Kahler potentials on a compact Kahler manifold thus confirming a conjecture of Chen and give some applications in Kahler geometry, including a proof of the uniqueness of constant scalar curvature metrics (or more generally extremal metrics) modulo automorphisms. The key ingredient is a new local positivity property of weak solutions to the homogenuous Monge-Ampere equation on a product domain, whose proof uses plurisubharmonic variation of Bergman kernels.

研究动机与目标

• 确认陈的猜想：Mabuchi能量在凯勒势空间的弱测地线上是凸的。
• 在恒同连通分支的微分同胚群作用下，建立给定上同调类中极小凯勒度量的唯一性。
• 将K-能量的凸性推广至乘积域上齐次蒙日-安培方程的弱解。
• 通过凸性与稳定性论证，为Yau-Tian-Donaldson猜想提供几何与分析基础。
• 通过引入与极小向量场相关的能量项，推广唯一性结果至极小度量。

提出的方法

• 将弱测地线定义为复齐次蒙日-安培方程在 $X \times D$ 上的解，其中 $D$ 是 $\mathbb{C}$ 中的区域，且 $\pi^*\omega + dd^c U$ 是 $L^\infty$ 中的正当前趋。
• 应用从Bergman核的拟凸变分导出的弱解齐次蒙日-安培方程的新局部正则性性质。
• 使用通过能量项与熵定义的Mabuchi泛函 $\mathcal{M}$，其可延拓至 $L^\infty$-正当前趋空间 $\mathcal{H}_{1,1}$。
• 通过添加与极小向量场 $V$ 相关的能量项 $\mathcal{E}_V$ 来修改Mabuchi泛函，形成 $\mathcal{M}_V$，以稳定临界点。
• 在修改后的泛函 $\mathcal{M}_V + s\mathcal{F}_\mu$ 上使用次调和性与凸性论证，求解线性化方程 $-D_{v_0}d\mathcal{M}_V|_{u_0} = \mu - \omega_0^n$。
• 应用 $\text{Aut}_0(X,V)$ 的群作用，使 $\mathcal{F}_\mu$ 在轨道上最小化，确保解在由 $\text{Im}\,V$ 生成的环面 $T$ 下不变。

实验结果

研究问题

• RQ1 Mabuchi能量在凯勒势空间的弱测地线上是否具有凸性？
• RQ2 在给定上同调类中，极小凯勒度量在微分同胚群作用下的唯一性是否可建立？
• RQ3 Mabuchi泛函在齐次蒙日-安培方程的弱解路径上是否保持凸性或次调和性？
• RQ4 当 $\omega$ 为极小度量时，线性化方程 $-D_v d\mathcal{M}_V = \mu - \omega^n$ 是否可在 $T$-不变函数中求解？
• RQ5 Mabuchi泛函在弱测地线上具有凸性，是否意味着两个极小度量必通过一个微分同胚相关联？

主要发现

• Mabuchi泛函 $\mathcal{M}$ 沿任意连接 $\mathcal{H}(X,\omega)$ 中两个凯勒势的弱测地线 $u_t$ 是凸的，从而证实了陈的猜想。
• 当解属于 $L^\infty$ 时，泛函 $\mathcal{M}$ 沿满足复蒙日-安培方程 $ (\pi^*\omega + dd^c U)^{n+1} = 0 $ 的曲线是弱次调和的。
• 在给定上同调类中，极小凯勒度量在 $\text{Aut}_0(X)$ 作用下的唯一性成立，即任意两个极小度量必通过一个微分同胚关联。
• 对于具有相同极小向量场 $V$ 的极小度量，修改后的泛函 $\mathcal{M}_V = \mathcal{M} + \mathcal{E}_V$ 的两个度量均为临界点，且其扰动的线性化方程可在 $T$-不变子空间中求解。
• $\mathcal{E}_V$ 的二阶导数在 $\mathcal{C}^\infty_V$ 上为零，因此 $\mathcal{M}_V$ 的Hessian与 $\mathcal{M}$ 相同，保持其凸性性质。
• 扰动度量 $\omega_{u_0^s}$ 与 $\omega_{u_1^s}$ 之间的距离为 $s$ 阶，经微分同胚作用后可推出 $\omega_0 = \omega_1$，从而证明唯一性。