这篇文章是 Ricci曲率张量大于0的3维闭流形上的Ricci流 的第五部分,也是最后一部分。这篇文章的主要内容有三部分:第一部分,介绍规范化的Ricci流的一些基本性质;第二部分,证明在Ricci曲率大于0的三维闭流形上,规范化的Ricci流按照指数速度收敛于常曲率度量;第三部分,完成一开始 Ricci曲率张量大于0的3维闭流形上的Ricci流 中主要定理的证明。
这篇文章主要参考了 [1]。
一、规范化的Ricci流的一些基本性质
我们所说的Ricci流一般是指 ,也就是非规范化的Ricci流(unnormalized Ricci flow)。规范化的Ricci流(normalized Ricci flow)是指方程 ,其中 为流形 的维数, 为数量曲率的积分平均值。
规范化的Ricci流的特点是保持体积不变,原因如下:在局部坐标系 下看,体积元 ,利用对行列式求导的公式可计算得 ,即 ,因此 。这说明体积在规范化得Ricci流下是不变的。
同时非规范化的Ricci流 的解在经过一个空间上的伸缩(rescaling)和时间上的重新参数化(reparametrization)后能变成规范化的Ricci流 的解,具体如下:设 满足方程 ,取一个只跟时间有关的函数 ,使得 对应的体积恒为 ,即 。注意,在局部坐标系 下看 ,因此 ,从而 可由等式 完全确定。对时间上来说,则令 。
我们将证明 :首先考察各种几何量在空间伸缩下的变化, ,因此Christoffel符号的变化为 (其中 只与时间有关,因此对空间方向求导为0, ),即Christoffel符号是不变的。利用黎曼曲率张量的计算公式可得 ,因此 。最后计算 , ,利用 得 。
现在,利用求导的链式法则, ,因此只需计算 。对 两边取 得 ,因此只需计算 。由 及行列式得求导公式得 ,因此 ,故 。最终 ,于是我们证明了 满足规范化Ricci流的方程。
二、指数速度收敛
现在我们回到Ricci曲率大于0的三维闭流形上,设 为非规范化Ricci流的解, 为解的最大存在时间,则 为上述时空变化后得到的对应的规范化Ricci流的解, 为对应的解的最大存在时间。
小结一下上面得到的各种几何量在空间伸缩下的变化, 。根据变化后出现的 的次数,我们可以称 的次数为 , 的次数为 , 的次数为 。于是,我们可以把之前文章里得到的、在非规范化Ricci流的情形下、关于次数为 的几何量的定理直接搬过来。
以下,经过时空变化后的几何量上面都加上了波浪号。
【命题1】在Ricci曲率大于0的三维闭流形 上,设 为上述时空变化后得到的对应的规范化Ricci流的解, 为对应的解的最大存在时间,则有如下命题成立:
1.存在与时间无关的常数 ,使得 对于任意 都成立。
2.
3. ,其中 。
【证明】注意到命题中涉及到的所有几何量的次数都为0,即 ,并且 。因此,第一个命题即由 Ricci曲率张量大于0的3维闭流形上的Ricci流 中的结果得到,第二、三个命题即由 Ricci流解的长时间存在性,有限时间奇点的分析 中的结果得到,证毕。
【命题2】在命题1的条件下, 。其中 为不依赖于时间的常数。
【证明】在此命题的证明中, 代表与时间无关的常数。注意,我们已证明过在非规范化Ricci流下 是保持的,又因为 ,故变化后对应的 。
由命题1中的 可知Ricci曲率下界 ,由Myers定理得直径 ,由 时的体积比较定理得体积 。从而 ,但是我们知道上述时空变化后得到的对应的规范化Ricci流的解的体积 ,故 。再由命题1, 时 ,因此我们得到 ,命题得证。
【命题3】在命题1的条件下, 。
【证明】 。由 Ricci流解的长时间存在性,有限时间奇点的分析 中的结果可知 ,故 。由命题2知 ,故要使上述积分为 只有 ,证毕。
【命题4】在命题1的条件下,存在与时间无关的常数 ,使得
【证明】在此命题的证明中, 代表与时间无关的常数。
由命题1的结果 ,可知 ,这说明当 时,对任意 ,都有 一致趋近于0,从而一点 处各方向 的Ricci曲率与 的比值一致趋趋近于1。又利用命题1的结果 可知不同点处的数量曲率与 的比值都一致趋近于1,从而不同点处不同方向的Ricci曲率与 的比值都一致趋近于1。由于在三维流形上, 决定了 ,也决定了截面曲率 ,此时截面曲率与Ricci曲率的比值有不依赖于时间的双边控制,因此截面曲率与 的比值也有不依赖于时间的双边控制。因此存在 ,使得对于任意 都有 ,即流形 的截面曲率介于 和 之间,且 。在 的万有覆盖空间 中也有同样的曲率条件,因此由Klingenberg定理知,单射半径 。考虑半径为 的测地球 ,注意到 ,故Ricci曲率 ,因此可得体积估计 ,其中 为三维常截面曲率为 的空间中半径为 的球的体积,可计算出它的值为 ,因此 。注意到 ,且在 时 上有Ricci曲率 的度量,由Myers定理可知 为有限群,故 。由此即得 。再根据命题1, ,故 在充分大的时间后有一致的下界控制。所以,我们便可找到与时间无关的常数 ,使得 ,命题得证。
最后为了证明指数速度收敛,我们还要考察在规范化Ricci流下,各种几何量的发展方程。
【引理1】在 维流形 中,设 为非规范化Ricci流下几何量 的发展方程,其中 的次数为 , 的次数为 ,则在上述时空变化后得到的对应的规范化Ricci流的解之下,对应的几何量 的发展方程为 。
【证明】 。 , 的次数为 故 ,从而 。 的次数为 故 。最后,算子 ,而算子 只与Christoffel符号以及空间方向的偏导数有关,因此在上述时空变化下是不变的,故算子 ,从而 。因此 ,命题得证。
我们现在可以证明指数速度收敛了。
【定理1】在命题1的条件下, ,其中 为不依赖于时间的常数。
【证明】令 。利用 Ricci曲率张量的夹挤估计 中的计算结果,在非规范化Ricci流下,对于 ,我们有 ,其中 ,张量 。令 ,我们得到对于 ,有 。注意到这里 的次数为 , 和 的次数为 ,因此可以用引理1中的转换方法得到 。
由命题1中的结论 ,并且仿照 Ricci曲率张量的夹挤估计 的计算过程可知,存在不依赖于时间的常数 使得 。因此 。注意到 ,其中这里用到了 。利用命题4知, 。令 ,则 与时间无关,且 。由函数的最大值原理知, 的上界可被ODE 的解控制,因此 , 为与时间无关的常数。最后 ,再利用命题2的结论 即可。命题得证。
【定理2】在命题1的条件下, ,其中 为不依赖于时间的常数。
【证明】在此命题的证明中, 代表与时间无关的常数。
由 数量曲率的梯度估计,曲率张量高阶协变微分的估计 可知,对于非规范化的Ricci流, 满足 。由于 的次数为 ,因此利用引理1的中的转换方法可得, 。利用定理1可知 ,再利用 可知 。令 为与时间无关的常数,则 ,即 。由函数的最大值原理知, ,即 。把 适当调小为 , 适当调大,我们得到 ,从而 。注意 为紧致的,故完备;设 ,则存在连接 到 的最短测地线 , 。因此, 。注意到在命题2中我们指出 的直径 ,同时由命题4我们有 ,因此 ,从而 ,命题得证。
【推论1】在命题1的条件下, ,其中 为不依赖于时间的常数。
【证明】定理1即 ,由定理2有 ,因此 ,命题得证。
三、完成一开始 Ricci曲率张量大于0的3维闭流形上的Ricci流 中主要定理的证明
【注1】我们还应该证明 在 时 收敛于 上的一个 度量 ,按照 Ricci流解的长时间存在性,有限时间奇点的分析 中的方法,我们应该证明对于
的曲率张量的高阶协变微分估计: 。这也属于 数量曲率的梯度估计,曲率张量高阶协变微分的估计 的一部分,有机会再补充完整。下面我们就在 收敛于 上的一个 度量 的基础上完成主要定理的证明。
【定理3】(主要定理)Ricci曲率张量大于0的3维连通闭流形 微分同胚于三维球面 商掉一个有限群。
【证明】由于 收敛于 ,那么 在 时也分别光滑收敛于 。由推论1, ,令
得 。注意到 在空间上为常数,因此 为Einstein流形;而 是三维的,故 为常截面曲率流形。由命题4知 ,令 得 ,从而 的截面曲率为正的。设 为 的万有覆盖空间,则 为单连通、常正曲率的黎曼流形,由Myers定理它还是紧的,因而是完备的,因此 等距同构于三维球面 ,所以 微分同胚于 ,其中 为覆盖变换群。由于 是紧的,所以 是有限群,于是 微分同胚于 商掉一个有限群 ,定理得证。
参考文献
[1] Hamilton, Richard S. Three-manifolds with positive Ricci curvature. J. Differential Geom. 17 (1982), no. 2, 255–306.
来源:知乎 www.zhihu.com
作者:知乎用户(登录查看详情)
【知乎日报】千万用户的选择,做朋友圈里的新鲜事分享大牛。 点击下载
没有评论:
发表评论