[论文解读] Complex optimal transport and the pluripotential theory of Kähler-Ricci solitons

Robert J. Berman, David Witt Nyström|arXiv (Cornell University)|Jan 31, 2014

Geometry and complex manifolds参考文献 43被引用 54

一句话总结

本文通过在极化复射影簇的 $T$-不变度量上引入广义 Monge-Ampère 测度 $MA_g(\phi)$，提出了一套复杂的最优传输框架，将全纯势论与最优传输统一起来。它证明了在自同构作用下奇异 Kähler-Ricci 孤子的唯一性，并将其存在性与修正 K-稳定性联系起来，从而在环状与非环状情形下扩展了 Donaldson 的量化程序。

ABSTRACT

Let (X,L) be a (semi-) polarized complex projective variety and T a real torus acting holomorphically on X with moment polytope P. Given a probability density g on P we introduce a new type of Monge-Ampere measure on X, defined for singular T-invariant metrics on the line bundle L, generalizing the ordinary Monge-Ampere of global pluripotential theory, which corresponds to the case when T is trivial (or g=1). In the opposite extreme case when T has maximal rank, i.e. (X,L,T) is a toric variety, the solution of the corresponding Monge-Ampere equation with right hand side μcorresponds to the convex Kantorovich potential for the optimal transport map in the Monge-Kantorovich transport problem betweeen μand g (for a quadratic cost function). Accordingly, our general setting can be seen as a complex version of optimal transport theory. Our main complex geometric applications concern the pluripotential study of singular (shrinking) Kahler-Ricci solitons. In particular, we establish the uniqueness of such solitons, modulo automorphisms, and explore their relation to a notion of modified K-stability inspired by the work of Tian-Zhu. The quantization of this setup, in the sense of Donaldson, is also studied.

研究动机与目标

• 为极化簇上 $T$-不变度量构造广义 Monge-Ampère 测度 $MA_g(\phi)$，扩展经典全息势论。
• 通过将 $MA_g(\phi)$ 与环状情形下的 Kantorovich 势函数关联，建立复几何中最优传输的类比。
• 利用全息势论与变分方法，证明在自同构作用下奇异 Kähler-Ricci 孤子的唯一性。
• 将 Kähler-Ricci 孤子的存在性与受 Tian-Zhu 启发的修正 K-稳定性概念联系起来。
• 研究 Donaldson 意义下的设定量化，并建立量化泛函的半经典渐近行为。

提出的方法

• 为线丛 $L$ 上的 $T$-不变度量 $\phi$ 在 $X$ 上引入带权重 $g$ 的 Monge-Ampère 测度 $MA_g(\phi)$，推广标准复 Monge-Ampère 算子。
• 利用正当前沿的非全纯积定义 $MA_g(\phi)$，适用于奇异度量，扩展全息势论框架。
• 在环状情形下，建立 $MA_g(\phi) = \mu$ 的解与最优传输映射之间的对应关系，其中 $\phi$ 对应 Kantorovich 势函数。
• 对泛函 $\mathcal{D}_g(\phi)$ 应用变分方法，证明其恰当性与严格凸性，以确保极小化子的存在性与唯一性。
• 通过 Fubini-Study 映射与 Hilbert 映射，将 Kähler 度量 $\phi_k = \mathrm{FS}(H_k)$ 与量化设定关联，实现半经典分析。
• 采用渐近展开与一致收敛，将量化泛函 $\mathcal{D}_g^{(k)}(H_k)$ 与经典泛函 $\mathcal{D}_g(\phi)$ 关联，证明极小化子的收敛性。

实验结果

研究问题

• RQ1 在环作用下，如何将经典复 Monge-Ampère 方程推广，以在多面体 $P$ 上引入权重函数 $g$？
• RQ2 在复几何中，特别是环状情形下，广义 Monge-Ampère 测度 $MA_g(\phi)$ 以何种方式对应于最优传输？
• RQ3 修正 K-稳定性在奇异 Kähler-Ricci 孤子的存在性与唯一性中起什么作用？
• RQ4 在半经典极限下，Kähler-Ricci 孤子问题的量化行为如何？相关泛函的收敛性如何？
• RQ5 能否证明泛函 $\mathcal{D}_g(\phi)$ 在自同构作用下恰当且严格凸，以确保极小化子的唯一性？

主要发现

• 广义 Monge-Ampère 测度 $MA_g(\phi)$ 对于 $L$ 上的奇异 $T$-不变度量 $\phi$ 是良定义的，扩展了经典全息势论。
• 在环状情形下，$MA_g(\phi) = \mu$ 的解对应于二次代价最优传输映射的 Kantorovich 势函数，将复几何与最优传输联系起来。
• 泛函 $\mathcal{D}_g(\phi)$ 在自同构作用下严格凸，确保极小化子的唯一性，其极小化子对应 Kähler-Ricci 孤子。
• 量化泛函 $\mathcal{D}_g^{(k)}(H_k)$ 的极小化子在 $L^1$ 与能量范数下收敛至 $\mathcal{D}_g(\phi)$ 的极小化子，当 $k \to \infty$，确立了半经典收敛性。
• 在高阶修正 Futaki 不变量消失的假设下，Kähler-Ricci 孤子的存在性等价于 $\mathcal{D}_g(\phi)$ 在自同构作用下的恰当性。
• 通过泛函 $\mathcal{D}_g(\phi)$ 的严格凸性与恰当性，确立了在自同构作用下奇异 Kähler-Ricci 孤子的唯一性。