[论文解读] Infinite geodesic rays in the space of Kahler potentials

Claudio Arezzo, Gang Tian|ArXiv.org|Oct 24, 2002

Geometry and complex manifolds参考文献 19被引用 48

一句话总结

本文通过将紧致凯勒流形上复结构的非平凡特殊退化与凯勒势空间中的无限长测地线联系起来，构建了该空间中的无限长测地线射线。利用退化复蒙日-安培方程的解，作者证明了当退化是非平凡时，此类测地线存在且具有无限长度，从而为测地线方程的非平凡解提供了新的几何构造方法。

ABSTRACT

In this paper we explore the connection between special degenerations of algebraic manifolds and geodesics in the space of Kahler metrics. We provide a new and general geometric construction of nontrivial solutions for the geodesic equation. We show how to associate to any special nontrivial degeneration a geodesic of inifite length.

研究动机与目标

• 为凯勒势空间中测地线方程的非平凡解提供一种通用的几何构造方法。
• 探讨复结构的特殊退化与凯勒度量空间中无限长测地线之间的关系。
• 理解测地线如何与代数流形的稳定性性质相关联，特别是K-稳定性以及极小/凯勒爱因斯坦度量的存在性。
• 研究Mabuchi（K-）能量沿测地线的行为及其对稳定性与退化的影响。
• 识别与无限长测地线射线相关的几何不变量，如广义Futaki不变量。

提出的方法

• 作者利用特殊退化复流形上的一参数群作用，在凯勒势空间中构造测地线射线。
• 他们在一个实参数 x ∈ (−∞, ∞) 参数化的凯勒度量族上求解退化复蒙日-安培方程，以模拟向中心纤维的退化。
• 测地线方程由路径 φ(t) 满足 φ''(t) − ½||∇tφ'(t)||² = 0 的条件导出，其中度量通过光滑函数上的 L² 内积定义。
• 该构造依赖于以下事实：若退化是非平凡的且中心纤维的重数为一，则当 x → ∞ 时，∂Φ/∂x 的 C⁰ 范数发散。
• 该方法基于全纯映射的极大值原理，采用反证法：若 ∂Φ/∂x 有界，则会推出一个全纯极限映射，与退化的非平凡性矛盾。
• 分析将测地线的渐近行为与凯勒度量的收敛性以及K-能量泛函的极限联系起来。

实验结果

研究问题

• RQ1 在何种条件下，凯勒流形的特殊退化会在凯勒势空间中诱导出无限长测地线射线？
• RQ2 退化的非平凡性如何反映在相关测地线射线的几何与解析性质上？
• RQ3 广义Futaki不变量是否可与无限长测地线相关联？这对极小度量存在性的稳定性障碍意味着什么？
• RQ4 对于蒙日-安培方程，初始数据的最小正则性或相容性条件是什么，才能保证解的收敛性及无限长测地线的存在？
• RQ5 若测地线的K-能量时间导数存在极限，是否能刻画出由复结构退化产生的测地线？

主要发现

• 若特殊退化 π: V → Δ 是非平凡的，且中心纤维光滑且各分支重数为一，则通过退化蒙日-安培方程构造的测地线射线具有无限长度。
• 当参数 x → ∞ 时，测地线射线的长度发散，因为 ∂Φ/∂x 的 C⁰ 范数无界，这与有界极限映射的存在性矛盾。
• 若 ∂Φ/∂x 有界，则会存在一个全纯极限映射 τ: M → Y，但这样的映射不可能存在而不成为双全纯映射，从而与退化的非平凡性矛盾。
• 测地线射线沿时间方向的K-能量导数在 t → ∞ 时具有极限，表明此类测地线与复结构退化具有内在联系。
• 该构造提供了一种新方法来生成非平凡测地线，无需依赖自守群，从而扩展了对 S² 和典型簇上已知例子的推广。
• 结果支持一个猜想：无限长测地线是研究K-稳定性和极小度量存在性的关键对象。