[论文解读] Subharmonicity of conic Mabuchi's functional, I

Long Li|arXiv (Cornell University)|Oct 31, 2015

Geometry and complex manifolds参考文献 11被引用 5

一句话总结

本文在锥状奇点沿光滑除子的背景下，建立了在 $Χ^{1,\bar{1}}_{β}$ 测地线上的锥状 Mabuchi 泛函的凸性与连续性，将 Mabuchi 的经典凸性结果推广至锥状情形。作者提出了一套新的锥状 cscK 度量框架，将其定义为该泛函的临界点，并通过在锥状测地线正则化过程中精细平衡三种近似方法，证明了当 $β < 1/2$ 时的凸性。该结果将经典度量的唯一性理论扩展至锥状情形。

ABSTRACT

The purpose of this paper is to generalize the convexity of Mabuchi's functional to the conic setting. We first established a frame to study conic cscK metrics, and then the conic Mabuchi functional was introduced in such a way that conic cscK metrics are its critical points. Finally we proved the convexity of the conic Mabuchi functional along any conic geodesics.

研究动机与目标

• 将 Mabuchi 泛函的凸性推广至沿光滑除子具有锥状奇点的锥状设置。
• 定义一致的锥状 cscK 度量概念，解决先前表述中楔积未定义的问题。
• 引入并研究锥状 Mabuchi 泛函，其临界点即为锥状 cscK 度量。
• 证明锥状 Mabuchi 泛函在锥状 Kähler 潜势空间中沿 $Χ^{1,\bar{1}}_{β}$ 测地线的凸性与连续性。
• 建立锥状典型度量唯一性的基础工具，将无穷维 Riemann 几何框架扩展至锥状情形。

提出的方法

• 基于 pluripotential 理论与曲率条件，引入三种新的锥状 cscK 度量概念——弱、锥状与强。
• 通过推广经典 Mabuchi 泛函至锥状情形的积分公式，定义锥状 Mabuchi 泛函。
• 使用 Blocki-Kolodziej 正则化技术逼近锥状测地线，并控制除子附近的曲率估计。
• 在具有锥状奇点的 Monge-Ampère 方程正则化过程中，精细平衡三种独立近似（索引为 $ε$、$δ$ 和 $ε'$），以确保可比性。
• 应用 log-Bergman 核的次调和性与 $L^2$-估计，控制泛函的复 Hessian。
• 在约束 $β < 1/2$ 下，建立逼近 Monge-Ampère 方程的 $C^2$ 估计，此时曲率下界未受控制。

实验结果

研究问题

• RQ1 如何将 Mabuchi 泛函推广至沿光滑除子具有锥状奇点的锥状 Kähler 设置？
• RQ2 是否存在一种一致且几何意义明确的锥状 cscK 度量定义，可避免先前表述中未定义的楔积？
• RQ3 锥状 Mabuchi 泛函是否在 $Χ^{1,\bar{1}}_{β}$ 测地线上对 $β < 1/2$ 具有凸性与连续性？
• RQ4 当 $β > 1/2$ 时，由于缺乏曲率下界，是否仍可证明锥状 Mabuchi 泛函的凸性？
• RQ5 该方法在多大程度上可推广至 $klt$（Kawamata 对数终端）情形，以及在不依赖光滑 psh 度量的半正线丛情形下？

主要发现

• 对于 $β < 1/2$ 的角度，锥状 Mabuchi 泛函沿任意 $Χ^{1,\bar{1}}_{β}$ 测地线具有凸性与连续性，推广了 Chen、Berman-Berndtsson 的经典结果以及作者先前的工作。
• 锥状 Mabuchi 泛函被证明其临界点为锥状 cscK 度量，通过积分形式的 Euler-Lagrange 方程得到验证。
• 提出一种新的正则化方法，通过精细平衡三种近似（$ε$、$δ$、$ε'$）控制复 Hessian 中曲率项的增长，从而实现凸性证明。
• 在 $β < 1/2$ 条件下，建立了锥状 Monge-Ampère 方程的 $C^2$ 估计，此时曲率下界未受控制，从而解决了关键的技术障碍。
• 证明依赖于卷积势函数与其极限之间差值的 Hölder 估计，表明当 $δ$ 较小时有 $|\partial v_{\alpha,\beta,\delta}|^2 \leq C\u03b5^2$，从而确保二阶项的收敛性。
• 该结果表明，锥状 Mabuchi 泛函在锥状 Kähler 潜势空间中任意两点之间具有凸性，支持在给定正则性与角度约束下锥状 cscK 度量的唯一性。