[论文解读] Geodesic Rays and Kähler-Ricci Trajectories on Fano Manifolds

Tamás Darvas, Weiyong He|arXiv (Cornell University)|Nov 4, 2014

Geometry and complex manifolds参考文献 23被引用 7

一句话总结

本文在法诺流形上构造了与发散的凯勒-里奇轨迹弱渐近的有界测地线射线，证明了χ-泛函沿其递减。在无全纯向量场的条件下，证明了χ-泛函的测地线稳定性等价于凯勒-爱因斯坦度量的存在性，从而证实了凯勒几何中的一个关键猜想。

ABSTRACT

Suppose $(X,J,ω)$ is a Fano manifold and $t o r_t$ is a diverging Kähler-Ricci trajectory. We construct a bounded geodesic ray $t o u_t$ weakly asymptotic to $t o r_t$, along which Ding's $\mathcal F$-functional decreases, partially confirming a folklore conjecture. In absence of non-trivial holomorphic vector fields this proves the equivalence between geodesic stability of the $\mathcal F$-functional and existence of Kähler-Einstein metrics. We also explore applications of our construction to Tian's $α$-invariant.

研究动机与目标

• 在法诺流形上构造与发散的凯勒-里奇轨迹弱渐近的有界测地线射线。
• 证明χ-泛函沿这些测地线射线递减，支持凯勒几何中的一个民间猜想。
• 在不存在非平凡全纯向量场的条件下，建立χ-泛函的测地线稳定性与凯勒-爱因斯坦度量存在性之间的等价性。
• 探讨该构造在田α-不变量及相关不变量中的应用。

提出的方法

• 利用凯勒势空间$\mathcal{H}$上的$L^p$-芬斯勒度量结构，定义路径长度距离$d_p$。
• 通过逼近和极限过程，在度量完备化$\overline{(\mathcal{H}, d_p)} = (\mathcal{E}^p(X,\omega), d_p)$中构造弱测地线射线。
• 应用复化狄利克雷问题求解复蒙日-安培方程，以弱意义定义测地线，确保与$d_p$-度量相容。
• 利用$\mathcal{E}^2(X,\omega)$的$d_2$-CAT(0)性质，证明$d_2$-测地线射线也是$d_1$-测地线射线。
• 利用$\mathcal{F}$-泛函沿$d_p$-测地线的凸性，结合Futaki不变量与$\epsilon(\omega)$的估计，证明其严格递减。
• 依赖$\partial\bar{\partial}$-引理，通过光滑势函数参数化固定上同调类中的凯勒度量。

实验结果

研究问题

• RQ1 能否在法诺流形上构造一条有界测地线射线，使其弱渐近于发散的凯勒-里奇轨迹？
• RQ2 即使存在全纯向量场，$\mathcal{F}$-泛函是否仍沿此类测地线射线严格递减？
• RQ3 在无非平凡全纯向量场的条件下，$\mathcal{F}$-泛函的测地线稳定性是否等价于凯勒-爱因斯坦度量的存在性？
• RQ4 与Futaki不变量相关的不变量$\epsilon(\omega)$如何控制$\mathcal{F}$-泛函沿测地线射线的递减速率？
• RQ5 田α-不变量在测地线稳定性和凯勒-里奇轨迹的背景下起什么作用？

主要发现

• 构造了一条有界测地线射线$t \mapsto u_t$，其弱渐近于法诺流形上的发散凯勒-里奇轨迹$t \mapsto r_t$。
• 即使存在全纯向量场，只要$\epsilon(\omega) > 0$，$\mathcal{F}$-泛函沿所构造的测地线射线仍严格递减。
• 当$\epsilon(\omega) > 0$时，$\mathcal{F}$-泛函线性递减：存在$C > 0$，使得$\mathcal{F}(u_t) \leq \mathcal{F}(u_0) - C t$。
• 在无非平凡全纯向量场的条件下，凯勒-爱因斯坦度量的存在性等价于不存在任何沿$\mathcal{F}(u_t)$严格递减的$d_p$-测地线射线（$p=1,2$）。
• 由于$\mathcal{E}^2(X,\omega)$的$CAT(0)$性质，$d_2$-测地线射线也是$d_1$-测地线射线，从而可应用$d_1$-正规性结果。
• 当且仅当存在凯勒-爱因斯坦度量时，$\mathcal{F}$-泛函在所有$d_2$-测地线射线上最终严格递增。