[论文解读] $\cF$-functional and geodesic stability

Weiyong He|arXiv (Cornell University)|Aug 5, 2012

Geometry and complex manifolds参考文献 30被引用 16

一句话总结

本文在法诺流形上引入了一个 $H$-泛函，其临界点为凯勒-里奇孤立子，表明凯勒-里奇流是其约化梯度流。证明了若凯勒-里奇孤立子存在，则其最大化佩雷尔曼的 $\mu$-泛函，并利用修正的 $\mathcal{F}$-泛函提出了凯勒-里奇孤立子的测地线稳定性猜想。

ABSTRACT

We consider canonical metrics on Fano manifolds. First we introduce a norm-type functional on Fano manifolds, which has Kahler-Einstein or Kahler-Ricci soliton as its critical point and the Kahler-Ricci flow can be viewed as its (reduced) gradient flow. We then obtain a natural lower bound of this functional. As an application, we prove that Kahler-Ricci soliton, if exists, maximizes Perelman's $μ$-functional without extra assumptions. Second we consider a conjecture proposed by S.K. Donaldson in terms of $\cK$-energy. Our simple observation is that $\cF$-functional, as $\cK$-energy, also integrates Futaki invariant. We then restate geodesic stability conjecture on Fano manifolds in terms of $\cF$-functional. Similar pictures can also be extended to Kahler-Ricci soliton and modified $\cF$-functional.

研究动机与目标

• 建立一个 $H$-泛函，其临界点对应于法诺流形上的凯勒-里奇孤立子。
• 表明凯勒-里奇流是 $H$-泛函的约化梯度流。
• 证明若凯勒-里奇孤立子存在，则其最大化佩雷尔曼的 $\mu$-泛函，从而提供一种变分刻画。
• 利用修正的 $\mathcal{F}$-泛函，将唐纳森关于测地线稳定性的猜想推广至凯勒-里奇孤立子。
• 基于修正的 $\mathcal{F}$-泛函沿测地线射线的导数，提出凯勒-里奇孤立子的测地线稳定性猜想。

提出的方法

• 将 $H$-泛函定义为 $H(\omega) = \int_M h e^h \omega^n$，其中 $h$ 是 $\omega$ 的里奇势。
• 利用马布奇空间中的凯勒势及测地线段/射线，分析泛函在变分下的行为。
• 借助贝尔恩斯坦对测地线射线上 $\mathcal{F}$-泛函的凸性结果，处理测地线的弱正则性问题。
• 为 $\operatorname{Im}(X)$-不变度量引入修正的 $\mathcal{F}_X$-泛函，其中 $X$ 为极值全纯向量场。
• 应用 Csiszár-Kullback-Pinsker 不等式，得到以 $H$-不变量表示的 $H$-泛函的下界。
• 利用哈密顿-雅可比方程解的唯一性，识别出当 $\omega_0$ 为凯勒-里奇孤立子时，$f = -h_0$ 为最小化子。

实验结果

研究问题

• RQ1 能否通过法诺流形上的新泛函，给出凯勒-里奇孤立子的变分刻画？
• RQ2 凯勒-里奇流是否对应于该泛函的梯度流？若是，其意义为何？
• RQ3 $H$-泛函是否由与全纯向量场相关的不变量有下界？这又意味着什么？
• RQ4 凯勒-里奇孤立子是否最大化佩雷尔曼的 $\mu$-泛函？该结论在无对称性假设下是否仍成立？
• RQ5 能否利用修正的 $\mathcal{F}$-泛函，将唐纳森的测地线稳定性猜想推广至凯勒-里奇孤立子？

主要发现

• 该 $H$-泛函的临界点恰好为凯勒-里奇孤立子，其梯度流在微分同胚意义下即为凯勒-里奇流。
• $H$-泛函在 $H$-不变量 $N_X$ 下有下界，该不变量与修正的 Futaki 不变量相关。
• 若凯勒-里奇孤立子存在，则其最大化佩雷尔曼的 $\mu$-泛函，且 $\mu(\omega_0) = nV - N_X$。
• 对于 $\operatorname{Im}(X)$-不变度量，$\mu$-泛函有上界 $nV - N_X$，且在孤立子处取等。
• 测地线稳定性猜想被推广至凯勒-里奇孤立子：当且仅当存在一条测地线射线，其修正的 $\mathcal{F}_X$-泛函的导数严格递减时，孤立子不存在。
• 在弱正则性的测地线射线上，修正的 $\mathcal{F}_X$-泛函是凸的，从而可在分析中应用贝尔恩斯坦的凸性结果。