[论文解读] Some Geometry and Analysis on Ricci Solitons

Aaron Naber|ArXiv.org|Dec 18, 2006

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

一句话总结

本论文证明了具有均匀正Bakry-Émery Ricci曲率的完备度量测度空间具有有限f-体积和有限基本群。此外，在势函数f具有凸性或凹性条件下，对坍缩Ricci孤立子进行了分类，证明其必为E×ℝᵏ的有限商，其中E为紧致单连通Einstein流形，ℝᵏ配备平凡孤立子结构。

ABSTRACT

The Bakry-Emery Ricci tensor of a metric-measure space (M,g,e^{-f}dv_{g}) plays an important role in both geometric measure theory and the study of Hamilton's Ricci flow. Under a uniform positivity condition on this tensor and with bounded Ricci curvature we show the underlying space has finite f-volume. As a consequence such manifolds, including shrinking Ricci solitons, have finite fundamental group. The analysis can be extended to classify shrinking solitons under convexity or concavity assumptions on the measure function.

研究动机与目标

• 建立具有均匀正Bakry-Émery Ricci曲率的度量测度空间的Myers型定理，证明其具有有限f-体积和有限基本群。
• 在势函数f的凸性或凹性假设下，对坍缩Ricci孤立子进行分类。
• 分析f-Laplacian的行为，并在Rc_f为正时推导Liouville型定理。
• 通过构造反例，证明仅非负Rc_f不足以保证Harnack型估计成立。

提出的方法

• 将f-Laplacian Δ_f 定义为在测度 e^{-f}dv_g 下与梯度算子相伴的伴随算子。
• 利用弧长的二阶变分和比较几何方法，在Rc_f ≥ λg条件下，对测地线上f的下界进行推导。
• 应用加权Bochner公式，在Rc_f = λg的假设下，分析Δ_fR 和 Δ_f|Rc|²。
• 利用de Rham分裂定理，推导出万有覆盖空间的等距分裂为E×N，其中E为Einstein流形，N为Ricci平坦流形。
• 通过证明f必须为二次型且Rm = 0，分析Ricci平坦因子N上的孤立子结构，从而推出N ≅ ℝᵏ。
• 构造显式反例，其满足Rc_f ≥ 0但存在非平凡常数的正解满足Δ_f u = 0，表明Harnack估计不成立。

实验结果

研究问题

• RQ1 在Bakry-Émery Ricci曲率Rc_f满足何种几何条件时，完备度量测度空间具有有限f-体积和有限基本群？
• RQ2 当势函数f为凸或凹时，能否对坍缩Ricci孤立子进行分类？
• RQ3 在非负Rc_f条件下，f-Laplacian的Harnack型估计在多大程度上成立？
• RQ4 当Rc_f ≥ 0，即使Rm非负，f-Laplacian是否可能具有非平凡有界解？
• RQ5 在f凸性条件下，坍缩孤立子分裂中的Ricci平坦因子具有何种结构？

主要发现

• 若Rc_f ≥ λg且λ > 0，|Rc| ≤ C，则f-体积∫_M e^{-f} dv_g有限，从而M具有有限基本群。
• 在Rc_f = λg且λ > 0，Rc ≥ 0，f为凸或凹的条件下，(M,g)同构于E×ℝᵏ的有限商，其中E为紧致、单连通且Ricci曲率为λ的Einstein流形。
• 在Rc_f = λg且Rc ≥ 0的坍缩孤立子上，标量曲率R为常数，且Ricci曲率仅取特征值0或λ。
• 此类孤立子的万有覆盖空间等距分裂为E×N，其中E的Einstein常数为λ，N为Ricci平坦且单连通的流形。
• 在Ricci平坦因子N上，f必须为二次函数f(x) = (λ/2)d(x,p)² + f(p)，且Rm ≡ 0，故N ≅ ℝᵏ。
• 存在完备度量测度空间满足Rc_f ≥ 0且存在非平凡常数正解满足Δ_f u = 0，表明Rc_f ≥ 0不足以保证Harnack估计成立。