1. 引言
20世纪80年代,Hamilton [1] 提出了Ricci流的概念,实际上Ricci流最初的引进是为了解决3维流形著名的Poincaré猜想。Ricci孤立子是Ricci流的自相似解 [2] 且经常出现在Ricci流方程的奇异点经伸缩变换后的极限中 [3] [4] [5] [6] 。一方面,Ricci孤立子的研究有助于更好的理解Ricci流的奇异结构,从而结合几何手术的方法可以得到一些重要的几何和拓扑结构。另一方面,Ricci孤立子是爱因斯坦度量的自然推广,也被称为quasi-Einetein度量,在规范场论与超弦理论中有重要的应用,因此Ricci孤立子的几何性质及几何不变量对于数学及物理发展均具有重要的研究意义。
1.1. Ricci孤立子介绍
对于黎曼度量
,若其Ricci张量满足
(
为常数),则称
为爱因斯坦度量。一个光滑流形
带有爱因斯坦度量,则称该流形为爱因斯坦流形,Ricci孤立子是爱因斯坦度量的自然推广。
光滑流形上的一个完备度量
称为Ricci孤立子,若存在光滑的向量场
使得其Ricci张量满足
为常数。此外,若
为一个梯度向量场,对光滑函数
满足
则称
为梯度Ricci孤立子。光滑函数
称为Ricci孤立子的势函数。当
时称为稳定Ricci孤立子,
为收缩Ricci孤立子,
时称为扩张Ricci孤立子。
由于
为度量
在方向
上的Lie导数,故上述Ricci方程分别可以写作
和
。注意到
(即
为常函数)的情况即
为爱因斯坦度量,因此Ricci孤立子为爱因斯坦度量的自然推广,且经过适当的伸缩变换可标准化令
,
,
。
1.2. 典型的Ricci孤立子
众所周知,
时存在非平凡的紧致梯度收缩孤立子。同样的,也存在非爱因斯坦度量的完备非紧致的Ricci孤立子(稳定,收缩或扩张),下面给出一些完备非紧致Ricci孤立子的典型的例子 [7] 。
例1.1:(cigar孤立子) 2维流形上,Hamilton引进了第一个完备非紧致的稳定孤立子,称为cigar孤
立子,其度量为
,势函数为
。特别地,cigar孤立子有正高斯曲率及线性的体积增长。
例1.2:(Bryant孤立子)黎曼流形
的情况下,高维完备非紧致的梯度稳定孤立子由Bryant引进,Bryant孤立子为旋转对称的且具有正截面曲率且以
为半径的测地球
体积增长率为
。
例1.3:(Warped积)应用两倍及多倍warped乘积,Ivey对Bryant孤立子进行推广,并构造了完备非紧致的稳定孤立子。同时,Gastel-Kronz构造了
上梯度扩张Ricci孤立子的乘积度量,其中
为带有正数量曲率的爱因斯坦流形。
例1.4:(Gaussian孤立子)具有平坦欧几里得度量的
也可以包含收缩及扩张Ricci孤立子,称为Gaussian收缩孤立子或扩张孤立子。
1)
为带有势函数
的梯度收缩Ricci孤立子,
。
2)
为势函数是
的梯度扩张Ricci孤立子,
。
2. 数量曲率,Ricci曲率及曲率算子的估计
梯度Ricci孤立子为Hamilton-Ricci流的自相似解且对应于奇异模型,因而对于研究Ricci流至关重要。由Hamilton及Perelman的证明可知,任意紧致的Ricci孤立子必为梯度孤立子且任意紧致的稳定或扩张Ricci孤立子必为爱因斯坦的。因此,梯度Ricci孤立子对于研究流形的几何性质也非常重要,本文我们将重点研究梯度Ricci孤立子的几何量。在研究微分流形及Ricci孤立子的几何性质时,自然会想到研究极其重要的几何不变量:曲率及势函数的估计。
梯度Ricci孤立子的曲率对于理解并最终对Ricci孤立子进行分类十分重要。Ricci孤立子的很多分类都是在控制曲率条件下进行的,而且Ricci曲率控制曲率张量,曲率算子也是高维孤立子的分类最有利工具之一,逐点的曲率影响着整体的微分结构。因此我们将分别研究Ricci孤立子的数量曲率、Ricci曲率及曲率算子的估计。
数量曲率作为Ricci曲率的迹是最简单的曲率之一,也是最简单的几何不变量之一。若能得到较好的数量条件将极大简化关于孤立子的研究,首先我们将给出数量曲率的估计结果。数量曲率在无穷远处消失这一特点对于研究奇数维梯度孤立子极为重要。
定理2.1 (Chu [8] ):设
为具有正截面曲率的梯度Ricci孤立子,且其数量曲率在原点
处能达到最大值,则数量曲率在无穷远处趋于0。
定理2.2 (Chen [9] ):令
为非紧致流形上Ricci流的完备古典解,则
的数量曲率对任意
均非负。
同时,他证明了完备收缩Ricci孤立子有非负数量曲率
。作为对 [9] 中推论2.3的推广,Zhang [10] 也有一些关于Ricci流及其解的数量曲率的下界估计:
推论2.3:设
,
为Ricci流的一个完备解,则在
上有:
通过对时间
做推广,设
,
为Ricci流的一个完备解,则在
上有:
。
梯度收缩Ricci孤立子曲率满足一定条件时数量曲率也可以为常数,Naber [11] 证明了满足
的梯度收缩Ricci孤立子数量曲率为常数。在此基础上,Petersen-Wylie [12] 证明了具有非负(或非正) Ricci曲率的梯度Ricci孤立子有常数量曲率当且仅当
。
推论2.4 (Löpez-Río [13] ):令
为一个
维完备梯度收缩Ricci孤立子,则:
1)
有常数量曲率当且仅当
,常数
。
2)
等距于
当且仅当
,常数
且
。
定理2.5 ( [9] ):令为一个完备非紧致的梯度Ricci孤立子,则:
1) 若梯度孤立子为稳定或收缩的,则
。
2) 若该梯度孤立子为扩张的,则存在仅取决于维数的正常数
使得
。
同理,Petersen-Wylie [12] 还证明了具有常数量曲率的梯度收缩(扩张)孤立子满足
(
)。作为推广,Naber [11] 证明了若其数量曲率有界,则
。此外,若
,则
为爱因斯坦流形。
推论2.6 (Chow-Lu-Yang [14] ):令
为完备的梯度稳定Ricci孤立子,假设
且
。若
且
,则
推论2.7 (Munteanu-Wang [15] ):令
为一个具有有界数量曲率的4维梯度收缩Ricci孤立子,则存在常数
使得在
上有:
推论2.8 ( [10] ):令
为一个完备非紧致的梯度Ricci孤立子,则:
1) 若
为稳定或收缩孤立子,则
;
2) 若
为扩张Ricci孤立子,则
。此外,若其数量曲率在某点处达到最小值
,则
为爱因斯坦流形。
对于完备梯度扩张Ricci孤立子,则有
。此外,若存在点
使得
,则
为爱因斯坦流形;Löpez-Río [13] 中证明了具有非负Ricci张量的完备梯度扩张Ricci孤立子,若
,则数量曲率满足
。对于稳定Ricci孤立子,Löpez-Río [13] 还证明了完备的梯度稳定Ricci孤立子满足
。
定理2.9 (Ni [16] ):令
为一个完备稳定梯度Ricci孤立子,设其Ricci曲率满足
,
且数量曲率
,则存在常数
,
使得
其中
为到定点
的距离函数。
推论2.10 ( [9] ):令
为一个完备梯度收缩Ricci孤立子,设其满足
及
,则:
其中
为到定点
的距离函数。
最近,根据维数及势函数 [14] 中给出了梯度稳定Ricci孤立子的数量曲率的一个下界,但是由于稳定孤立子的势函数估计暂时没有很好的估计结果,因此该估计结果不能直接用距离函数表示。然而由距离函数,Lόpez-Río [17] 证明了如下结果:
定理2.11:令
为一个完备稳定Ricci孤立子,且
,则:
其中
为到点
的距离函数,且
为仅取决于
及
的常数。
推论2.12:令
为一个具有非负Ricci曲率的完备稳定梯度Ricci孤立子,则:
其中
为到点
的距离函数,且
为仅取决于
及
的常数。
Ricci曲率条件是研究Ricci孤立子分类的最有力工具之一,通过对Ricci曲率条件的控制可以得到诸多关于孤立子的分类,因此对研究流形的几何性质及拓扑性质都至关重要。另一方面Ricci曲率与黎曼曲率及数量曲率紧密相关,研究Ricci曲率对于研究整体微分流形也有极其重要的意义。
定理2.13 (Zhang [18] ):任意Weyl张量为零的梯度收缩Ricci孤立子(不必具有有界曲率)满足
及
,常数
。
推论2.14 ( [15] ):令
为一个具有有界数量曲率
的4维梯度收缩Ricci孤立子,则:
常数
且仅取决于
及
。
曲率算子相比于数量曲率及Ricci曲率较为复杂,其估计需要满足其他的条件。对于曲率算子,考虑Weyl张量为零时,Zhang [18] 证明了任意Weyl张量为零的梯度收缩孤立子(不需要具有有界曲率)必有非负曲率算子。
推论2.15 (Cai [19] ):令
为一个完备稳定梯度Ricci孤立子,使得
或
时
均为局部共形平坦的,则对常数
,
具有有界非负的曲率算子
Munteanu-Wang [20] 证明了任意具有有界Ricci曲率的梯度收缩Ricci孤立子其黎曼曲率张量增长至多为距离函数的多项式形式即对常数
满足:
维数为3时,曲率算子有界且非负。当维数为4维时,曲率算子不再具有固定的符号,Munteanu-Wang [15] 证明该结果同样成立。特别地,这表明曲率算子必有界。
定理2.16:令
为一个具有有界数量曲率的4维梯度收缩Ricci孤立子,则存在常数
使得在流形
上有:
作为Hamilton在3维情况下曲率逐点估计结果的延伸,他们还得到了具有有界数量曲率的4维梯度收缩Ricci孤立子其曲率算子满足
,其中
为到
上定点的距离函数。
定理2.17:令
为一个4维梯度收缩Ricci孤立子,则对任意常数
,在
上曲率算子满足:
对于稳定Ricci孤立子使用类似的方法,由
替换
得同样的结果:完备非紧致的4维梯度稳定Ricci孤立子,存在常数
使得
推论2.18 ( [17] ):令
为一个完备非紧致的4维梯度稳定Ricci孤立子,具有正Ricci曲率且数量曲率
能达到最大值,则存在常数
使得曲率算子满足:
Munteeanu-Wang [15] 又证明了具有有界数量曲率的4维梯度收缩Ricci孤立子的曲率算子也有上界。
定理2.19:令
为一个4维梯度收缩Ricci孤立子,其数量曲率有界即满足
。则其黎曼曲率张量及协变导数模的形式也有界,即存在仅取决于
和
的常数
使得:
作为推论,他们还证明了4维梯度收缩Ricci孤立子若其数量曲率有界满足
,则存在仅取决于
和
的常数
使得
且
。
对曲率算子的协变导数也有类似的估计结果:
推论2.20:令
为一个具有有界数量曲率的4维梯度收缩Ricci孤立子,则存在常数
使得:
对于梯度稳定Ricci孤立子,Cao-Cui [21] 得到了一些类似的结果。
推论2.21:令
为一个完备非紧致的4维梯度稳定Ricci孤立子,设其具有正Ricci曲率
且数量曲率在
点
处达到最大值,则
有有界黎曼曲率张量,即存在常数
,满足:
推论2.22 ( [17] ):令
为一个非Ricci平坦的4维完备非紧致的梯度稳定Ricci孤立子,假设
,则对任意
,存在常数
使得:
且
进一步若数量曲率至多多项式型衰退,则对任意
,存在常数
使得
。
对于复流形上的Kähler-Ricci孤立子
也会有对应的的曲率估计,很多结果有待于进一步的证明。同时,在Ricci孤立子上建立较弱曲率条件下一些有意义的几何估计与应用范围更广的几何不变量可以更好的分类一些重要的Ricci孤立子。
3. 势函数估计
爱因斯坦流形是Ricci孤立子的势函数为常函数时的特例,因此也称为平凡Ricci孤立子。势函数影响着体积估计,势函数的水平集是研究体积增长估计的重要工具,完备非紧致Ricci孤立子的分类问题到目前结果不是很多,其主要困难之一在于体积与直径的无限增长性,因此解决分类问题依赖于一定条件下势函数精确的上下界增长估计,从而可以将其与距离函数建立一定的等价关系,进而结合余面积公式通过研究势函数水平集的几何性质来研究Ricci孤立子的分类;同时利用势函数上下界的增长估计可以建立Ricci孤立子较弱条件下的等周不等式、平均值不等式、Sobolev不等式以及一些重要的几何积分不等式,并通过研究等号成立条件与不等式的稳定性可以得到一些Ricci孤立子的刚性结果。可见势函数增长估计对于研究Ricci孤立子的体积估计与分类等具有十分重要的作用。典型的势函数上下界估计由距离函数
表示,故本节我们主要总结Ricci孤立子的势函数由距离函数表示的估计结果。
Perelman [22] 证明了典型的梯度收缩Ricci孤立子的势函数的上下界估计结果:
定理3.1:令
为一个具有有界Ricci曲率的完备非紧致的梯度收缩Ricci孤立子,且满足
及
。令
表示到定点
的距离函数,则存在正常数
及
使得当
充分大时势函数满足:
及
根据该结果,数学家们拓展延伸并改变曲率条件等得到了一些更加完善的估计结果。
推论3.2 ( [23] ):令
为一个完备非紧致的梯度收缩Ricci孤立子,设其Ricci曲率有下界并
满足
,常数
,则对任意
,
,存在常数
及
使得:
且有
其中
,
为距离函数。
在没有假设任何曲率有界的条件时, [24] 中证明了一个更为精确的估计结果:
推论3.3:令
为一个完备非紧致的梯度收缩Ricci孤立子,满足
及
,则有:
及
推论3.4 ( [25] ):令
为一个完备非紧致的梯度收缩Ricci孤立子,满足
,则其势函数满足:
其中
为到定点
的距离函数,
及
为仅取决于维数
及单位球
上的度量
的常数。
同时,假设
时,Ni [16] 证明了
。此外,对于扩张Ricci孤立子,也有一些关于势函数的估计。
推论3.5 ( [26] ):令
为一个完备的梯度扩张Ricci孤立子,则对于定点
,存在常数
使得:
且
推论3.6:令
为一个具有非负Ricci曲率的完备梯度扩张Ricci孤立子,则存在常数
及
使得势函数满足:
定理3.7 (Chen [27] ):令
为一个完备的梯度扩张Ricci孤立子,若
,
,常数
,则存在点
及常数
使得:
且势函数满足:
其中
。从而有:
若
的Ricci曲率非负,对梯度稳定孤立子有:
定理3.8 ( [28] ):令
为一个具有非负Ricci曲率的完备梯度稳定Ricci孤立子,设其数量曲率
在点
处能达到最大值,则存在常数
及
使得势函数满足:
其中
为到定点
的距离函数,且常数
满足
。
定理3.9 (Munteanu [29] ):令
为一个非平坦的梯度稳定Ricci孤立子,则存在
及
使得对于任意
,有:
结合方程,运用梯度估计、Morse迭代及向量场积分的方法,在一定几何条件下可以建立完备非紧致的稳定与扩张孤立子势函数较为精确的正的上下界增长,并应用其水平集的相关性质将会得到其渐近体积比与曲率渐近估计。同时,由于Bakry-Emery Ricci张量
或其他曲率条件的引进,势函数的估计将会有许多新的证明方法及更精确的结果。
基金项目
本文由山东省自然科学基金(ZR2018MA006)及山东省研究生导师指导能力提升项目(SDYY17009)支持。
NOTES
*通讯作者。