[论文解读] The Metric Completion Of The Riemannian Space Of K\"{A}Hler Metrics

Vincent Guedj|arXiv (Cornell University)|Jan 30, 2014

Geometry and complex manifolds参考文献 25被引用 29

一句话总结

本文证明了在固定凯勒类中，配备Mabuchi L²度量的凯勒度量空间的度量完备化，与该类中的有限能量当前（E²(α)）等距。通过度量几何与复蒙日-安培理论的技术，作者证明该完备化构成一个CAT(0)的哈达姆空间；在环形情形下，他们进一步证明环形凯勒度量的完备化与E²_tor(α)等距，且测地线在德尔查诺多面体上对应于直线，这通过勒让德对偶性实现。

ABSTRACT

Let X be a compact K ̈ahler manifold and α ∈ H 1 , 1 ( X, R ) a K ̈ahler class. We study the metric completion of the space H α of K ̈ahler metrics in α , when endowed with the Mabuchi L 2 -metric d . Using recent ideas of Darvas, we show that the metric complet ion ( H α , d ) of ( H α , d ) is a CAT(0) space which can be identified with E 2 ( α ), a subset of the class E 1 ( α ) of positive closed currents with finite energy. We further prove, in the toric setting, that H α,tor = E 2 tor ( α ).

研究动机与目标

• 确定在固定凯勒类中，凯勒度量空间在Mabuchi L²度量下的度量完备化。
• 证明该完备化为非正曲率空间（即CAT(0)空间），并将其识别为已知的有限能量类E²(α)。
• 将理论拓展至环形情形，通过德尔查诺多面体上的勒让德对偶性简化几何结构。
• 证明完备化中的弱测地线是长度最小化路径，从而将度量几何与复蒙日-安培方程联系起来。
• 比较Mabuchi距离与其他拓扑（如Sobolev、L²）在有限能量类中的关系，明确其相对强度。

提出的方法

• 在凯勒势空间Hα上使用Mabuchi L²度量，通过在归一化体积形式MA(ϕ) = ωⁿϕ / Vα上积分来定义。
• 应用Darvas的关键洞见：在势函数上进行‘取小’运算时，Mabuchi距离减小，从而可控制路径极限的行为。
• 通过Aubin-Mabuchi泛函与能量类，将度量完备化(Hα, d)识别为具有有限能量的正闭当前空间E²(α)。
• 通过勒让德对偶性将问题约化至环形情形：凯勒度量对应于德尔查诺多面体P上的凸函数，测地线对应于P中的直线。
• 利用勒让德变换将Mabuchi距离转化为多面体上的L²范数，证明对环形势函数有d(ϕ,ψ) = ||Gϕ - Gψ||_{L²(P)}。
• 通过拓扑比较证明：在Mabuchi距离下收敛等价于P上勒让德变换的L²收敛。

实验结果

研究问题

• RQ1 在固定凯勒类中，光滑凯勒度量空间在Mabuchi L²度量下的度量完备化是什么？
• RQ2 该完备化是否为非正曲率（CAT(0)）空间？能否与已知的当前类相识别？
• RQ3 在环形情形下，环形凯勒度量上的Mabuchi距离是否对应于德尔查诺多面体上勒让德变换的L²范数？
• RQ4 完备化中的弱测地线是否为长度最小化路径？它们与复蒙日-安培方程解有何关系？
• RQ5 Mabuchi距离与有限能量类中的其他拓扑（如Sobolev、L¹、L∞）相比如何？

主要发现

• 在类α中，凯勒度量空间的度量完备化(Hα, d)与有限能量当前空间E²(α)等距，且构成一个CAT(0)的哈达姆空间。
• 在环形情形下，H_tor的完备化与E²_tor(α)等距，Mabuchi距离对应于德尔查诺多面体上勒让德变换的L²范数。
• 完备化中的弱测地线为长度最小化路径，且对应于具有有限能量端点的齐次复蒙日-安培方程的广义解。
• 当n=1时，Mabuchi度量强于Sobolev空间W¹,²范数；序列在W¹,²中收敛可能在Mabuchi度量下不收敛，表明后者严格更强。
• Mabuchi距离d满足d ≤ 2I₂，且在ϕ ≤ ψ时有I₂ ≤ cₙd，其中cₙ = 2²⁺ⁿᐟ²，表明d与I₂拓扑之间存在拟等价关系。
• 在环形情形下，Mabuchi距离满足d(ϕ,ψ)² = ∫_P |Gϕ - Gψ|² ds，其中Gϕ为凸势函数的勒让德变换，从而显式证明了等距性。