1. 引言
20世纪80年代,Hamilton [1] 提出了Ricci流的概念,实际上Ricci流的最初引进是为了解决3维流形著名的Poincaré猜想(任意单连通的3维完备闭流形同胚于3维闭球面)。Ricci孤立子是Ricci流的自相似解 [2] 且经常出现在Ricci流方程的奇异点经伸缩变换后的极限中 [3] [4] [5] [6] 。一方面,Ricci孤立子的研究有助于更好的理解Ricci流的奇异结构,从而结合几何手术的方法可以得到一些重要的几何和拓扑结构。另一方面,Ricci孤立子是爱因斯坦度量的自然推广也称为quasi-Einetein度量,在规范场论与超弦理论中有重要的应用,因此Ricci孤立子的几何性质及几何不变量对于数学及物理学的发展均具有重要的研究意义。
Ricci孤立子介绍
黎曼度量
,若其Ricci张量满足
(
为常数),则称
为爱因斯坦度量。一个光滑流形
带有爱因斯坦度量,则称该流形为爱因斯坦流形,Ricci孤立子是爱因斯坦度量的自然推广。
光滑流形上的一个完备度量
称为Ricci孤立子,若存在光滑向量场
使其Ricci张量满足
为常数。此外,若
为一个梯度向量场,对光滑函数
满足
则称
为梯度Ricci孤立子。光滑函数
称为Ricci孤立子的势函数。当
时称为稳定Ricci孤立子,
为收缩Ricci孤立子,
时称为扩张Ricci孤立子。
由于
为度量
在方向
上的Lie导数,故上述Ricci方程分别可以写作
和
。注意到
(即
为常函数)的情况即
为爱因斯坦度量,因此Ricci孤立子为爱因斯坦度量的自然推广,且经过适当的伸缩变换可标准化令
,
,
。
2. 梯度收缩Ricci孤立子的分类
梯度Ricci孤立子为Hamilton-Ricci流的自相似解且对应于奇异模型,因而对于研究Ricci流至关重要。完备梯度收缩Ricci孤立子对应于Ricci流的第I类奇点模型,因此理解梯度收缩Ricci孤立子的几何性质有助于我们理解Ricci流古典解的渐近行为。Ricci孤立子的分类对数学及物理的研究与发展都具有重要的意义,对Ricci孤立子进行分类的关键是结合孤立子方程运用微分几何与几何分析的方法寻找和构造其上一些重要的几何不变量,建立一些有意义的几何估计、几何比较定理并计算一些拓扑不变量,最终结合黎曼几何与拓扑学的重要定理给出其分类结果。Ricci孤立子的研究主要分为紧致与非紧致两大部分,在流形紧致的条件下,Perelman [2] 证明了Ricci孤立子一定是梯度孤立子,因此对紧致Ricci孤立子的研究可转化为对梯度Ricci孤立子的研究。特别地,紧致稳定或扩张Ricci孤立子必为爱因斯坦度量 [8] [9] ,且2、3维紧致收缩Ricci孤立子也是爱因斯坦度量。类似的结论在高维情形未必成立,但对于具有正曲率算子的紧致收缩Ricci孤立子,Hamilton [5] (维数为3的情况), [10] (维数为4)及Böhm-Wilking [11] (维数大于4)证明了它一定是球面的有限商空间。Hamilton还证明了任意2维Ricci流的完备非平坦古典解若具有有界曲率,则必为
,
或cigar孤立子,2维Ricci孤立子的分类已经十分完善且有很多非常好的结果。在流形完备非紧致的条件下,又可以分为收缩、稳定、扩张的情形进行研究。其中关于收缩孤立子有很多经典且重要的结果: [12] 中证明了完备收缩Ricci孤立子为紧致的当且仅当其上的向量场有界;在具有有界非负截面曲率的3维流形上,Perelman [3] 给出了
-非坍塌的非平坦梯度收缩Ricci孤立子的完全分类;后来Ni-Wallach [13] 给出了去掉
-非坍塌条件并将有界非负截面曲率条件减弱为满足一定增长非负曲率条件从而得到了同Perelman同样的结论;4维情况下,Naber [14] 给出了具有有界非负曲率算子的收缩Ricci孤立子的分类并证明了具有有界曲率算子的完备非紧致收缩Ricci孤立子必为梯度孤立子且为非坍塌的;另一方面,Hamilton-Ivey拼挤估计表明3维完备收缩Ricci孤立子具有非负截面曲率,因此Ricci曲率满足一定增长条件的3维梯度收缩Ricci孤立子一定是
,
或
的有限商空间;特别地,Cao-Chen-Zhu [7] 得到了没有任何曲率条件的收缩Ricci孤立子的完全分类结果(3维完备梯度收缩Ricci孤立子必为
,
或
的有限商空间);高维情形下,Petersen-Wylie [15] 证明了Weyl张量为零的
维梯度收缩Ricci孤立子若Ricci曲率有下界且满足一定的增长条件则一定是
,
或
的有限商空间;利用局部化的,Hamilton-Ivey拼挤估计,Zhang [16] 将此结果改进为任意张量为零的维收缩梯度孤立子必为
,
或
的有限商空间。
2.1. 三维梯度收缩Ricci孤立子的分类
3维梯度收缩Ricci孤立子作为最简单的孤立子,由于维数的特殊性已得到的结论及分类相对完善。
定理2.1.1:(Perelman)不存在具有有界正截面曲率的3维完备非紧致
-非坍塌梯度收缩Ricci孤立子。
由梯度收缩Ricci孤立子方程及Hamilton最大值原理,Perelman [3] 还证明了:
定理2.1.2:令
为3维流形上的一个非平坦的梯度收缩Ricci孤立子,具有有界非负截面曲率且对于
为
-非坍塌的。则
为以下情况之一:
a) 3维球面
或其有限商空间;b) 柱面
或其
商空间。
随后Cao [17] 概括总结了Perelman的结果并证明了具有有界非负截面曲率的3维完备非紧致的
-非坍塌梯度收缩Ricci孤立子为
或
的商空间。
通过去掉
-非坍塌假设并用非负Ricci曲率代替非负截面曲率,上述结果由Ni-Wallach [13] 和Naber [14] 进一步优化:
定理2.1.3令
为一个Ricci曲率非负且满足
的梯度收缩Ricci孤立子,
,
为到流形上固定点的距离函数,则流形
为紧致的。
推论2.1.4:任意3维完备非紧致的梯度收缩Ricci孤立子
,若具有非负Ricci曲率
且满足
,则
为
或
的一个商空间。
在没有假设
-非坍塌及曲率一致有界的情况下,他们还给出了3维梯度收缩孤立子分类的一般结果:
推论2.1.5:令
为一个完备梯度收缩Ricci孤立子,截面曲率非负且其Ricci曲率满足
,
,
,任意
,
,则
必为
的商空间。
推论2.1.6:令
为一个完备梯度收缩Ricci孤立子,若Ricci曲率非负且满足
,
,
,任意
,
,则其万有覆盖为
为
,
或
。
利用Hamilton最值原理,Naber [14] 证明了具有有界曲率
的3维梯度收缩Ricci孤立子为
,
或
的有限商空间。在不需曲率有界的条件下,Cao-Chen-Zhu [7] 证明了任意3维完备非平坦梯度收缩Ricci孤立子为
或
的一个商空间;任意3维完备非紧致非平坦的梯度收缩Ricci孤立子为
的一个商空间。
由此拓展到非梯度Ricci孤立子的情况,有:
推论2.1.7:令
为一个3维完备非紧致收缩Ricci孤立子,其曲率有界且
时有
,则
等距于
,
或
的一个有限商空间。
2.2. N维梯度收缩Ricci孤立子曲率条件下的分类
经典的高维(
)收缩孤立子分类定理表明任意维非平坦
-非坍塌的旋转对称收缩Ricci孤立子若具有有界非负截面曲率则必为
或
的一个有限商空间。随后,Kotschwar [18] 改进该定理并证明了任意完备旋转对称梯度收缩Ricci孤立子为
,
或
的一个有限商空间。Hamilton球面定理与Hamilton强极值原理的结合给出了具有非负Ricci曲率的3维紧致收缩Ricci孤立子的一个完整分类。利用最值原理,将维数推广到4维情形时,Hamilton [10] 给出了一个4维微分球面定理:
定理2.2.1:一个具有正曲率算子的4维紧致流形微分同胚于球面
或实射影空间
。
进一步Hamilton概括证明了具有正曲率算子的紧致4维流形微分同胚于球面
,
,
或空间
,
,
,
,
,
的一个有限商空间。显然我们会问:一个具有正曲率算子的紧致黎曼流形
(
)是否也微分同胚于一个空间形式?事实上,Hamilton首先提出该猜想,Böhm-Wilking [11] 通过构造闭凸集的方法证明了一个具有双曲率算子的
维(
)黎曼流形
微分同胚于一个球形空间形式。1988年,Micallef-Moore [19] 证明了任意具有正各向同性曲率的
维紧致单连通流形同构于
维球面
,显然正各向同性曲率的条件弱于正曲率算子。
最近,曲率条件假设下的梯度收缩Ricci孤立子的分类又有了许多新的结果。
时,Ni-Wallach [20] 证明了4维完备收缩Ricci孤立子若具有非负曲率算子、正各向同性曲率及其他条件,则为
或
的一个商空间。在Hamilton [10] 及Ni-Wallach [20] 工作的基础上,Naber [14] 证明了任意4维具有有界非负曲率算子的完备非紧致的收缩Ricci孤立子等距于
或为
,
的一个有限商空间。接着Naber还证明了具有有界非负曲率算子的非平坦的4维完备非紧致收缩Ricci孤立子等距于
或
的一个有限商空间。更高维情况下,Gu-Zhu [21] 证明任意
维完备非平坦旋转对称的
-非坍塌梯度收缩Ricci孤立子若具有有界非负截面曲率则必为球面
或柱面
。
定理2.2.2:(Petersen-Wylie [22] )令
为一个梯度收缩Ricci孤立子,若具有非负截面曲率且数量曲率满足
,则
的万有覆盖等距于
或
。
定理2.2.3:令
为一个局部共形平坦的完备非紧致的梯度收缩Ricci孤立子,Ricci曲率满足
,则
的万有覆盖为
或
。
推论2.2.4:(Munteanu [23] )令
为一个梯度收缩Ricci孤立子,若
,则
等距于Gaussian孤立子。
推论2.2.5:(Cai [24] )令
为一个完备非紧致的梯度收缩Ricci孤立子,设其具有有界非负
截面曲率且存在
使得
,则
等距于
,其中
为紧致爱因斯坦流形。
上述定理为高维情况下第一个不需要满足Weyl张量条件的刚性定理。已知势函数相对于距离函数呈二次方形式增长,因此
条件表明它以指数方式衰减。
推论2.2.6:(Cai [24] )令
为一个具有有界非负截面曲率的完备梯度收缩Ricci孤立子,设
的最小值为一个光滑紧致的临界子流形,
与
在其最小值点上为零,则
为非紧致的且等距于
,其中
为一个紧致爱因斯坦流形。
定理2.2.7:令
为4维梯度收缩Ricci孤立子,若
,则
为爱因斯坦流形,或为Gaussian收缩孤立子
,
或柱面
的一个有限商空间。
进一步结合梯度估计及Weyl张量,Zhang [16] 还证明了4维梯度收缩Ricci孤立子若满足
或
则为爱因斯坦流形或为
,
,
的一个有限商空间。一般地,结合刚性性质可知4维刚性的梯度收缩Ricci孤立子为爱因斯坦流形或为
,
,
的一个有限商空间。
2.3. N维梯度收缩Ricci孤立子Weyl张量条件下的分类
时,Weyl张量定义为:
Cotton张量定义为:
Schouten张量定义为:
Bach张量定义为:
Weyl张量满足曲率张量的对称性,且其度量的迹为零。若Weyl张量为零,则该黎曼流形为局部共形平坦的。Ricci孤子可视为Ricci张量的规定条件,即黎曼张量的取迹的部分。因此,我们可以只考虑黎曼张量取迹部分的条件对孤立子分类结果的影响,
时,即Weyl张量的影响。高维情形下,结合一定的Weyl张量条件,已知完备局部共形平坦的梯度收缩Ricci孤立子为
,
或
的一个有限商空间。进一步,在更弱的调和Weyl张量条件假设下,
维完备收缩Ricci孤立子为爱因斯坦流形或为
的一个有限商空间,其中
,
为一个具有正数量曲率的
维爱因斯坦流形。
定理2.3.1:任意局部共形平坦的
维Ricci孤立子为
,
或
的商空间。
Ktoschwar [18] 通过关于旋转不变的梯度收缩Ricci孤立子的研究证明了
(
)维局部平坦的梯度
收缩Ricci孤立子为球面
,Gaussian孤立子或
的商空间,其中该Gaussian孤立子为
,
为实常数。
不需要假设曲率一致有界,甚至也不需要满足
-非坍塌条件,只需控制黎曼曲率满足适当的增长条件下Ni-Wallach [13] 还给出了一个分类定理:
定理2.3.2:令
为一个具有非负Ricci曲率的梯度收缩Ricci孤立子,维数
,设
局部共形平坦,且
,常数
,
为距离函数,则
的万有覆盖为
,
或
。
接着,Ni-Wallach还证明了局部共形平坦的完备非紧致梯度收缩Ricci孤立子若其Ricci曲率满足
则为
或
的一个商空间。在不需假设梯度收缩Ricci孤立子为非坍塌或曲率一致有界时,Ni-Wallach [13] 还给出了依赖于距离函数的曲率的相关分类。
推论2.3.3:令
为一个局部共形平坦的梯度收缩Ricci孤立子,设Ricci曲率非负且满足
,
,
,任意
及
,则
的万有覆盖为
,
或
。
推论2.3.4:(Catino-Mantegazza [25] )任意
维(
)具有常数量曲率的局部共形平坦Ricci孤立子
为
,
,
,
或
的一个商空间。
同时,对于Ricci张量满足一定条件时,他们 [25] 还证明了任意
维(
)具有非负Ricci张量的局部共形平坦Ricci孤立子为
,
或
的一个商空间。
基于高维情形下的Hamilton-Ivey型估计:
,其中
,且
。在没有任何曲率假设条件下,利用局部化的Hamilton-Ivey拼挤估计Zhang [16] 证明了如下定理:
定理2.3.5:任意满足Weyl张量为零(
)的完备梯度收缩Ricci孤立子必为
,
或
的一个有限商空间。
众所周知,完备局部共形平坦即
,且任意旋转对称度量的Weyl张量也为零。结合Ricci曲率及Weyl张量条件,Petersen-Wylie [15] 证明了
维(
)完备收缩Ricci孤立子若满足
及
,则
为
,
或
的一个有限商空间。
不需要假设孤立子的度量为局部共形平坦(
)的情形下,Catino [26] 给出了具有非负Ricci曲率并满足一定Weyl张量估计条件的完备梯度收缩Ricci孤立子的分类定理。
定理2.3.6:任意
维具有非负曲率的完备梯度收缩Ricci孤立子
若满足
则
为
,
或
的一个有限商空间,其中
。
对于一般孤立子,Catino-Mastrolia-Monticelli-Rigoli [27] 对上述定理进行推广得:
推论2.3.7:令
(
)为一个一般的完备收缩Ricci孤立子,若
非紧致,设其曲率有界且当
时,
。若
,常数
,且其Weyl张量满足
则
等距于
,
或
的一个有限商空间。
维数更高时,Fu- Xiao [28] 利用比上述定理中积分曲率条件更弱的条件也得到了有关梯度收缩Ricci孤立子的一个分类定理(时,Cation [26] 曾给出过类似结论)。
推论2.3.8:令
(
)为一个完备收缩Ricci孤立子,设
其中
,则
等距于球面
的一个商空间。
Munteanu-Sesum [29] 首先给出了有调和Weyl张量的梯度收缩Ricci孤立子的分类:
定理2.3.9:任意具有调和Weyl张量的完备梯度收缩Ricci孤立子
必为
,
或
的一个有限商空间。
进一步给出Weyl张量及Cotton张量的相关定义:
,
由此可知
时,
当且仅当
。随后,Catino-Mastrolia-Monticell [30] 根据上述公式改进了满足具有调和Weyl张量的梯度收缩Ricci孤立子的分类定理。
推论2.3.10:任意完备梯度收缩Ricci孤立子
(
)若满足
,则
为爱因斯坦流形或等距于
的一个有限商空间,其中
为爱因斯坦流形,
(
)为Gaussian孤立子。
2.4. 四维梯度收缩Ricci孤立子的分类
4维孤立子是
时的最低维数,因此某些分类结论可单独进行研究。4维情况下,由Hodge分裂可将2-微分形式所在空间分为自对偶和反自对偶部分,且曲率张量和Weyl张量分别对应该分裂。自然可以考虑Weyl张量的自对偶和反自对偶部分
,称为半Weyl张量。Chen-Wang [31] 首先证明了半共形平坦(
)的4维梯度收缩Ricci孤立子为
,
,
或
的一个有限商空间,其中半共形平坦也称
和
。Chen-Wang还证明了任意4维具有有界曲率且
的完备梯度收缩Ricci孤立子必等距于
,
,
或
的有限商空间。
众所周知,一个具有正数量曲率的4维紧致半共形爱因斯坦流形为
或
。在此基础上,Chen-Wang [31] 证明了任意4维紧致半共形平坦的梯度收缩Ricci孤立子等距于
或
。Kähler-Einstein流形上的4维紧致的梯度收缩Ricci孤立子若
且各具有非负曲率算子,则为
的一个有限商空间。随后Wu-Wu-Wylie [32] 完善了具有调和半Weyl张量的4维梯度收缩Ricci孤立子的分类。
推论2.4.1:满足
的4维梯度收缩Ricci孤立子为爱因斯坦流形或为
,
或
的一个有限商空间。
2.5. Bach平坦Ricci孤立子的分类
任意
维流形
,
,Bach张量定义为:
其中
为Weyl张量。显然若
为局部共形平坦(i.e.
)或为爱因斯坦流形时,
为Bach平坦的(即
),可以看作有关Weyl张量中二阶和零阶项的消失条件。另外,一个4维流形是半共形平坦的或为局部共形平坦的那么也是Bach平坦的。最近,Cao-Chen [33] 证明了Bach平坦的梯度收缩Ricci孤立子为爱因斯坦流形或
为或
的一个有限商空间,其中
为
维的爱因斯坦流形。
定理2.5.1:令
(
)为完备Bach平坦的梯度收缩Ricci孤立子,则
为爱因斯坦流形,或Gaussian孤立子
的一个有限商空间,或
的一个有限商空间,其中
为具有正数量曲率的爱因斯坦流形。
对于4维情况,Cao-Chen还证明了完备的Bach平坦梯度收缩孤立子为爱因斯坦流形或为
、
的一个有限商空间。在研究局部共形平坦及Bach平坦梯度孤立子时,他们还引进了一个有关势函数水平面几何性质的3维张量
:
其中
为Schouten张量,
为爱因斯坦张量。并由此得到一个新的分类结果:
推论2.5.2:令
(
)为一个完备的梯度收缩Ricci孤立子,若
,则
1)
为爱因斯坦流形或为
或
的一个有限商空间;
2) 若
,则
为爱因斯坦流形或为
或
的一个有限商空间,其中
为爱因斯坦流形。
完备梯度收缩Ricci孤立子的分类有非常多的结论。在微分几何的发展过程中,拓扑学与复数分析结合起来以后产生了复几何,对应黎曼流形的Ricci孤立子,自然有相应复流形上的Kähler-Ricci孤立子。未来,复几何必定为微分几何研究的主流,因此关于Kähler-Ricci孤立子的分类及其几何性质与几何不变量也是几何学研究的重点,我们期待能够得到更多更好的对于收缩Kähler-Ricci孤立子的分类结果。
基金项目
本文由山东省自然科学基金(ZR2018MA006)及山东省研究生导师指导能力提升项目(SDYY17009)支持。
NOTES
*通讯作者。