[论文解读] A characterization of Koiso's typed solitons

Bo Yang|ArXiv.org|Feb 4, 2008

Geometry and complex manifolds参考文献 6被引用 9

一句话总结

本文将 Koiso 的紧致 Kähler-Ricci 孤子构造推广至非紧致情形，证明了在紧致 Kähler-Einstein 流形上的全纯线丛上，于线丛的 Ricci 形式满足曲率条件时，存在完备的梯度 Kähler-Ricci 孤子——收缩型、膨胀型或平稳型。此外，本文还建立了统一化定理：若平稳孤子具有非负 Ricci 曲率，且标量曲率在余维数为一的子流形上取最大值，则该孤子双全纯微分同构于该子流形上的全纯线丛。

ABSTRACT

By extending Koiso's examples to the non-compact case, we construct complete gradient Kahler-Ricci solitons of various types on certain holomorphic line bundles over compact Kahler-Einstein manifolds. Moreover, a uniformization result on steady gradient Kahler-Ricci solitons with non-negative Ricci curvature is obtained under additional assumptions.

研究动机与目标

• 将 Koiso 的紧致 Kähler-Ricci 孤子构造推广至紧致 Kähler-Einstein 流形上的非紧致全纯线丛情形。
• 在全纯线丛的 Ricci 形式满足曲率条件时，构造此类线丛上的完备梯度 Kähler-Ricci 孤子，包括收缩型、膨胀型和平稳型。
• 刻画具有非负 Ricci 曲率且标量曲率在余维数为一的紧致复子流形上取最大值的平稳梯度 Kähler-Ricci 孤子的几何结构。
• 证明一个统一化结果：此类孤子双全纯微分同构于标量曲率最大子流形上的全纯线丛。

提出的方法

• 通过一种翘曲积 ansatz 构造全纯线丛 $L^*$ 上的 Kähler 度量：$\tilde{g} = \pi^*g_t + dt^2 + (dt \circ \tilde{J})^2$，其中 $g_t$ 随 $t$ 演化。
• 对线丛的 Ricci 形式施加条件，以确保该度量满足梯度 Kähler-Ricci 孤子方程。
• 应用 Bryant 的关于全纯向量场奇点的引理，分析零截面附近的结构，并构造局部全纯坐标。
• 利用由 $-\nabla f$ 生成的全纯流，证明点收敛至标量曲率取最大值的紧致子流形 $K$。
• 通过流和法坐标 $w^n$ 的标度行为，从每个 $W_p$ 定义到 $\mathbb{C}$ 的全局全纯映射，从而建立与线丛的双全纯微分同构。
• 依赖于线丛的 Ricci 形式相对于基度量的特征值在基流形上为常数这一假设。

实验结果

研究问题

• RQ1 在紧致 Kähler-Einstein 流形上的全纯线丛的 Ricci 形式满足何种条件时，其全纯空间上存在完备的梯度 Kähler-Ricci 孤子？
• RQ2 Koiso 的紧致孤子构造方法能否推广至非紧致情形，特别是全纯线丛上？
• RQ3 具有非负 Ricci 曲率且标量曲率在余维数为一的子流形上取最大值的平稳梯度 Kähler-Ricci 孤子具有何种几何结构？
• RQ4 是否唯一满足曲率与最大性条件的此类平稳孤子双全纯微分同构于标量曲率最大子流形上的全纯线丛？

主要发现

• 对于一个 $(n-1)$-维紧致 Kähler-Einstein 流形，满足 $Ric(g_0) = g_0$，以及一个全纯线丛 $L$，其 Ricci 形式的特征值 $\lambda_i$ 为常数，则当对所有 $i$ 有 $-1 < \lambda_i < 0$ 时，存在一个完备的收缩型梯度 Kähler-Ricci 孤子。
• 若对所有 $i$ 有 $\lambda_i < -1$，则在 $L$ 上存在一个一维参数族的完备膨胀型梯度 Kähler-Ricci 孤子。
• 当 $L$ 为典范线丛时，在 $L$ 上存在一个一维参数族的完备平稳型梯度 Kähler-Ricci 孤子。
• 这些平稳孤子在零截面上具有非负 Ricci 曲率，而在其外则具有正 Ricci 曲率。
• 在标量曲率于紧致复子流形 $K$（余维数为一）上取正值最大值，且在 $K$ 外 Ricci 曲率为正的假设下，平稳孤子双全纯微分同构于 $K$ 上的全纯线丛。
• 证明依赖于 Bryant 的引理，用于在梯度向量场奇点附近构造局部全纯坐标，并通过全纯流将这些坐标全局延拓，从而建立双全纯微分同构。