6.2 Riemann 曲率張量#
導言:把「交換求導的缺陷」變成張量#
Levi-Civita 聯絡使向量場可以求導;但兩次求導一般不可交換——交換子不是零,而是一個新的張量:Riemann 曲率張量。它編碼了流形彎曲的全部資訊( \(n = 4\) 時 20 個獨立分量),是 Gauss 絕妙定理的高維推廣,也是廣義相對論場方程的幾何核心。本節給出定義、對稱性、分解(Ricci + Weyl)與經典計算。
歷史#
- Riemann(1854):斷言曲率有 \(\frac{n^2(n^2-1)}{12}\) 個獨立分量(未給公式)。
- Christoffel(1869):首次寫出曲率分量的顯式表達(經 Christoffel 符號)。
- Ricci–Levi-Civita(1900):張量演算使其可操作。
- Weyl(1918):無跡分解(Weyl 張量);Bianchi(1902):兩條恆等式。
定義#
交換協變導數#
對向量場 \(X\) :
\(R\) 是 \((1,3)\) 型張量( \(R(u,v)\) 是 \(T_pM\) 上的線性算子)。在座標中:
檢驗張量性: \(\Gamma\) 的非齊次變換項(5.3 節)在 \(\partial_\mu\Gamma - \partial_\nu\Gamma\) 與 \(\Gamma\Gamma\) 項中恰好相消——組合後 \(R\) 按(1,3)張量律變換。Christoffel 符號「非張量性」正是為此補償而設計。
內蘊直觀:測地偏離#
沿測地線族的分離向量 \(J\) (Jacobi 場方程,3.1 節):
曲率 = 相鄰測地線的相對加速度。廣義相對論中這正是潮汐力方程:自由落體隊伍的拉伸/擠壓由 \(R\) 決定(8.1、8.2 節)——「重力 = 曲率」的精確數學化。
holonomy 的無窮小版本#
6.1 節:閉路平行移動的偏轉 = 曲率的積分。一階近似:
曲率算子 \(R(u,v)\) = 繞面元的 holonomy 生成元——Ambrose–Singer 定理(holonomy 代數 = 曲率算子的張成)是兩者的精確聯繫。
對稱性與分量計數#
四個代數性質(全由定義 + 無撓 + 度量化推出)#
以 \(R_{ijkl} = g(R(\partial_k, \partial_l)\partial_j, \partial_i)\) 記全協變形式:
- 反對稱: \(R_{ijkl} = -R_{jikl} = -R_{ijlk}\) (後者由「平行移動保內積」);
- 對稱交換: \(R_{ijkl} = R_{klij}\) (深層對稱性);
- 第一 Bianchi 恆等式: \(R_{i[jkl]} = 0\) ,即 \(R_{ijkl} + R_{iklj} + R_{iljk} = 0\) ;
- 第二 Bianchi 恆等式(微分): \(\nabla_m R_{ijkl} + \nabla_k R_{ijlm} + \nabla_l R_{ijmk} = 0\) 。
分量計數(5.1 節 Riemann 斷言的兌現)#
| \(n\) | 獨立分量 | 對應 |
|---|---|---|
| 2 | 1 | \(K\) (Gauss 曲率) |
| 3 | 6 | Ricci 完全決定 \(R\) (無 Weyl) |
| 4 | 20 | 廣義相對論的宇宙 |
** \(n = 3\) 的特殊性**:Weyl 張量恆為零 ⟹ 三維曲率由 Ricci 完全決定——這是三維重力(拓樸重力)沒有引力波的數學原因(9.2 節對照:四維有波,因為 Weyl 非零)。
Ricci 分解:Ricci + Weyl#
分解#
其中
- Ricci 張量: \(\mathrm{Ric}_{jl} = R^i{}_{jil}\) (縮併; \(n\) 維有 \(\frac{n(n+1)}{2}\) 個分量; \(n = 4\) 時 10 個——Einstein 方程的左邊正是它);
- 純量曲率: \(S = g^{jl}\mathrm{Ric}_{jl}\) (一個數; \(K\) 的 \(n\) 維平均推廣);
- Weyl 張量:所有跡的無跡部分( \(n = 4\) 時 10 個分量)。
物理解讀(廣義相對論預告)#
- Ricci:該點「體積元被曲率改變」的速率(測地偏離的體積效應)——物質直接產生的曲率;
- Weyl:體積保持但形狀扭曲的部分——「自由重力場」,可以在真空中傳播(引力波!9.2 節);
- 真空: \(R_{\mu\nu} = 0\) (8.2 節)但 \(W \neq 0\) :太陽外部時空有 Weyl 曲率(重力透鏡、潮汐)而無 Ricci。
記憶口訣:Ricci 管「胖瘦」,Weyl 管「歪斜」。
截面曲率#
對二維平面 \(\Pi = \mathrm{span}(u, v)\) :
定理(Riemann):截面曲率作為所有平面的函數完全決定 \(R\) 。常曲率 ⟺ \(K \equiv c\) ⟺
Schur 定理(1886): \(n \geq 3\) 時,若每點所有截面曲率相等(逐點各向同性),則 \(c\) 與點無關——逐點各向同性 ⟹ 常曲率( \(n = 2\) 不成立!這解釋了為何二維可以有「逐點球面但全域變曲率」的曲面)。宇宙學原理(空間各向同性)+ Schur ⟹ 空間是常曲率模型(FLRW 度量)——現代宇宙學的幾何根據(9.2 節)。
例題#
例題 1:球面的 Riemann 張量#
單位球面( \(n = 2\) ),由 5.3 節 Christoffel 符號( \(R = 1\) ):
唯一的獨立分量 \(R^\theta{}_{\phi\theta\phi}\) :
降指標: \(R_{\theta\phi\theta\phi} = g_{\theta\theta}R^\theta{}_{\phi\theta\phi} = \sin^2\theta\) 。
截面曲率:
✓ 常曲率 \(+1\) ,與法映射計算(2.3)、內蘊公式(3.2)三法一致。Ricci: \(R_{\theta\theta} = K g_{\theta\theta} = 1\) ( \(n=2\) 時 \(\mathrm{Ric} = K g\) ),純量 \(S = 2\) 。
例題 2:Schwarzschild 度量的曲率預覽(詳細見 8.3)#
Schwarzschild 度量( \(c = G = 1\) ):
計算 Riemann 張量( \(r^2 d\Omega^2\) 部分是單位球面 \(S^2\) 的貢獻),關鍵結果:
但 Kretschmann 純量不為零:
在 \(r = 2M\) (事件視界)有限、在 \(r = 0\) 發散——視界是座標奇點(可消除), \(r=0\) 是真奇點(曲率無界)。這個對比是 8.3 節黑洞理論的核心,而判別工具正是本節的純量(張量縮併——座標不變!)。
表格:曲率層級#
| 對象 | 分量數( \(n=4\) ) | 幾何意義 | 物理對應 |
|---|---|---|---|
| \(R^\rho{}_{\sigma\mu\nu}\) | 20 | 全部彎曲資訊 | 潮汐力(完整) |
| \(\mathrm{Ric}_{\mu\nu}\) | 10 | 體積變化率 | 物質分佈(場方程左邊) |
| \(S\) | 1 | 平均曲率 | 宇宙的拉格朗日密度項 |
| \(W_{\mu\nu\rho\sigma}\) | 10 | 無跡扭曲 | 引力波、真空重力場 |
| \(K(\Pi)\) | 函數 | 各截面高斯曲率 | 各向同性 ⟹ 常曲率(Schur) |
與其他領域的關聯#
微積分#
\(R\) 的座標公式是「二階偏導 + 乘積項」;交換偏導不成立的程度 = 曲率——Clairaut–Schwarz 定理( \(\partial_{xy} = \partial_{yx}\) )在彎曲空間的失效程度。這使「曲率」成為對任何「微分結構不交換」的通用概念:算子的對易子 \([A, B] = AB - BA\) (量子力學、矩陣力學)與 \([\nabla_i, \nabla_j]\) 同構。
算子理論#
- Riemann 張量作為 \(T_pM \to T_pM\) 的算子(對 \((u,v)\) 固定);其對稱性 = 自伴性(譜實的幾何版本);
- Laplace 算子的 Weitzenböck 公式: \(\Delta\) 在形式上的曲率修正項(Bochner 技巧)——用曲率證明調和形式的消失(Hodge 理論),進而得到拓樸約束。
量子力學/規範理論#
- 場強 \(F_{\mu\nu} = [\nabla_\mu, \nabla_\nu]\) (9.3 節):電磁與楊–Mills 的「曲率」——量子場論的力 = 交換子的失效;
- 測地偏離方程的量子版:費曼圖中引力子傳播的頂點由 \(R\) 的展開決定;
- 曲率誘導的粒子產生(Hawking 輻射的數學工具之一:彎曲時空量子場論)。
宇宙學#
FLRW 度量 + Schur 定理 + 天空各向同性 ⟹ 空間常曲率;微波背景的精密測量(Planck 衛星 2018: \(|K| \lesssim 10^{-4}\) )——宇宙幾乎平坦,暗能量使膨脹加速(1998 超新星觀測,2011 諾貝爾獎)——廣義相對論 + 本節的曲率語言成為描述整個宇宙的工具。
小結#
- \([\nabla_u, \nabla_v]X - \nabla_{[u,v]}X = R(u,v)X\) ;曲率 = 交換求導的缺陷 = 測地偏離的加速度。
- 對稱性給 \(\frac{n^2(n^2-1)}{12}\) 個分量( \(n=4\) : 20);第一/第二 Bianchi 恆等式。
- 分解: \(R = \mathrm{Ricci}\) (體積/物質) \(+ \mathrm{Weyl}\) (扭曲/真空傳播波) \(+ \text{純量}\) 。
- 截面曲率決定 \(R\) ;Schur 定理:各向同性 ⟹ 常曲率(宇宙學的根據)。
- Schwarzschild:真空 \(R_{\mu\nu} = 0\) 但 \(W \neq 0\) ;Kretschmann 純量判別真奇點。
下一節聚焦 Ricci 與 Einstein 張量——場方程的直接材料。