[论文解读] Existence of Gradient Kahler-Ricci Solitons

Huai-Dong Cao|arXiv (Cornell University)|Mar 21, 2012

Geometric Analysis and Curvature Flows参考文献 3被引用 61

一句话总结

本文通过将问题约化为非线性常微分方程，证明了在复欧几里得空间 $\mathbb{C}^n$ 和 $\mathbb{P}^{n-1}$ 上的反 canonical 线丛的全空间上，存在且唯一存在完备的旋转对称梯度 Kähler-Ricci 孤子。关键成果是构造了具有正曲率的新显式非紧致梯度 Kähler-Ricci 孤子例子，将哈密顿的雪茄孤子推广至高维，并首次在非平凡复线丛上实现了此类孤子。

ABSTRACT

This is the original paper appeared in the book "Elliptic and Parabolic Methods in Geometry (Minneapolis, MN,1994), A K Peters, Wellesley, MA, (1996)" (p.1-16), except with a few minor modifications as described at the end of the paper (on p.14). Due to frequent requests for the article, we decided to post it on the arXiv.

研究动机与目标

• 在非紧致 Kähler 流形上构造梯度 Kähler-Ricci 孤子的新显式例子，扩展已知的孤子例子（如雪茄孤子）。
• 对所有 $n \geq 1$，在 $\mathbb{C}^n$ 上建立旋转对称梯度 Kähler-Ricci 孤子的存在性，推广哈密顿的一维雪茄孤子。
• 在 $\mathbb{P}^{n-1}$ 上的反 canonical 线丛的全空间上构造此类孤子，并给出其显式曲率与几何性质。
• 证明在 $\mathbb{C}^n$ 上以及某些紧化后的射影线丛上，孤子在缩放与伸缩变换下唯一。
• 解决一个开放问题：所有 $\mathbb{C}^n$ 上的完备梯度 Kähler-Ricci 孤子是否必须是旋转对称的？对 $n=1$ 给出肯定回答，并为更高维提供证据。

提出的方法

• 通过假设旋转对称性并使用径向 Kähler 潜势 $\Phi(z, \bar{z}) = w(|z|^2)$，将梯度 Kähler-Ricci 孤子方程约化为一组非线性常微分方程（ODE）。
• 引入变量替换 $t = \log|z|^2$，将 Kähler 潜势表示为 $u(t)$，从而将度量与曲率方程转化为关于 $t$ 的常微分方程。
• 推导孤子方程 $R_{i\bar{j}} = f_{,i\bar{j}}$ 和 $f_{,ij} = 0$（其中 $f$ 为实函数），该方程在径向变量下约化为二阶常微分方程。
• 在紧化情形下，考虑射影线丛 $\mathbb{P}(L^k \oplus L^{-k}) \to \mathbb{P}^{n-1}$ 上的 $U(n)$-不变度量，将孤子方程约化为径向坐标上的非线性常微分方程。
• 通过渐近展开与符号分析研究该常微分方程，证明解的存在性与唯一性，即特征函数 $h(x)$ 在 $(-1, 0)$ 内存在唯一负根。
• 利用幂级数分析与符号变化论证，证明由 $h(x)$ 导出的函数 $g(y)$ 在 $(0, \infty)$ 内恰好有一个零点，从而推出孤子的唯一性。

实验结果

研究问题

• RQ1 在 $n \geq 2$ 时，$\mathbb{C}^n$ 上是否存在完备的旋转对称梯度 Kähler-Ricci 孤子？
• RQ2 在 $\mathbb{C}^n$ 上，此类孤子是否在缩放与伸缩变换下唯一？
• RQ3 是否可以在 $\mathbb{P}^{n-1}$ 上的非平凡复线丛上构造梯度 Kähler-Ricci 孤子？
• RQ4 孤子度量在 $\mathbb{C}^n$ 和反 canonical 线丛上的曲率行为如何？
• RQ5 所有 $\mathbb{C}^n$ 上的完备梯度 Kähler-Ricci 孤子是否必然为旋转对称？

主要发现

• 对每个 $n \geq 1$，在 $\mathbb{C}^n$ 上存在唯一一个完备的旋转对称梯度 Kähler-Ricci 孤子，且具有正截面曲率。
• 在 $\mathbb{C}^n$ 上的孤子度量中，测地球体积随 $\rho \to \infty$ 的渐近增长率为 $\rho^n$。
• 在 $\mathbb{C}^n$ 上的孤子度量的标量曲率随 $\rho \to \infty$ 的渐近衰减率为 $1/\rho$。
• 在 $\mathbb{P}^{n-1}$ 上的反 canonical 线丛的全空间上，对 $n \geq 2$，存在完备的旋转对称梯度 Kähler-Ricci 孤子。
• 在 $M_k = \mathbb{P}(L^k \oplus L^{-k}) \to \mathbb{P}^{n-1}$ 上，对每个满足 $1 \leq k \leq n-1$ 的 $k$，孤子度量存在且唯一，且其 Ricci 曲率为正当且仅当 $k=1$。
• 在 $M_1$ 上的孤子具有正 Ricci 曲率，且其在每个纤维上的限制与 $\mathbb{C}$ 上的雪茄孤子拟等距。