規範化的Ricci流,指數速度收斂
來自專欄數學討論小組38 人贊了文章
這篇文章是 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.
推薦閱讀:
※Ricci流解的長時間存在性,有限時間奇點的分析
※為什麼是復坐標
※一些微分幾何的初步知識
TAG:微分幾何 |