二階導數不可交換的失效
在第二篇中你建立了列維-奇維塔聯絡 nabla，也就是唯一一種既與度量相容又無撓的向量場微分方式。它讓你能寫下 nabla_X Y，即沿著 X 移動時 Y 變化的速率。接下來自然要問次序是否重要：先沿 X 再沿 Y 微分，與反過來是否相同？對 R^n 上的普通偏導數，答案是無趣的「是」——混合偏導可交換。但在彎曲流形上，答案是斬釘截鐵的「不」，而這道瑕疵正是本篇的全部主題。
把黎曼曲率張量定義成恰恰是這份不可交換的阻礙：R(X,Y)Z = nabla_X nabla_Y Z - nabla_Y nabla_X Z - nabla_[X,Y] Z。前兩項比較兩種次序的微分；最後一項帶有李括號 [X, Y]，是一個修正，扣掉那份僅僅來自 X 與 Y 作為流不可交換的差異。剩下的就是貨真價實的曲率——是流形本身的彎曲，而非你所選座標網格的彎曲。
同一道瑕疵，看作繞迴圈的和樂
有一幅圖能讓你永遠記住 R。取 p 處的一個向量，沿著由 X 與 Y 張成的一個小閉迴圈做平行移動。在平直空間中它原封不動地回來；在彎曲流形上它轉了一個角回來，而每單位迴圈面積的無窮小轉動恰好就是 R(X,Y)。這就是和樂的讀法：曲率度量的是第二篇所許諾「會依賴路徑」的平行移動，究竟有多依賴路徑。交換子的定義與這幅迴圈圖，是同一件事的兩個面。
在半徑為 1 的球面 S^2 上把它具體化。站在北極，手持一支箭。向下走到赤道，沿赤道滑行四分之一圈，再走回極點，全程做平行移動，使箭相對於你的路徑從不轉向。你回到家時箭轉了 90 度——恰好等於你所描出的球面三角形的面積 pi/2，因為球面有常值曲率 1。那看得見、假不了的轉動，正是曲率張量在做它的工作；你的路線毫無特別之處，虧損角等於所圍住的曲率。
用度量把上指標降下來，得到全協變的張量 R_ijkl = g(R(e_i, e_j) e_k, e_l)，在這個形式下對稱性變得乾淨俐落：R 在前一對 (i,j) 反對稱、在後一對 (k,l) 反對稱、在交換兩對時對稱，並滿足第一比安基恆等式（對後三個指標的循環和為零）。這些對稱性把 R 的獨立分量數從 n^4 砍到 n^2(n^2 - 1)/12——在二維是 1、在四維是 20，後者正是廣義相對論裡關鍵的那個數。
第一級：截面曲率，最具幾何意味的一塊
原始的張量 R 分量眾多卻少有直觀。解法是餵給它幾何的輸入。在切空間 T_p M 中挑一個由兩向量 u 與 v 張成的二維平面 sigma。該平面的截面曲率就是這個數：K(sigma) = g(R(u,v)v, u) / (g(u,u) g(v,v) - g(u,v)^2)。分母不過是 u 與 v 所張平行四邊形面積的平方，放進來是為了讓答案只依賴於平面 sigma，而不依賴你替它選了哪組基。
讓 K 配得上其名的是它的意義，而非公式。把平面 sigma 指數化——掃出由那些自 p 沿 sigma 內各方向射出的測地線所描出的、M 中的小曲面。那曲面是一個如假包換的二維子流形，而它在 p 處的高斯曲率（你在曲線曲面那一級已熟悉的彎曲）恰好就是 K(sigma)。所以截面曲率，就是在所選二維平面方向上那片測地切片的內蘊高斯曲率。K 為正，切片像球面般捲起；K 為負，像鞍面般張開；為零則局部平直。
第二與第三級：取平均得到里奇與純量
截面曲率豐富卻笨重——它是 2 維平面叢上的一個函數。藉由取平均，我們得到更易處理的不變量。在單位方向 v 上的里奇曲率，差一個常數，就是所有含 v 的平面 sigma 之截面曲率 K(sigma) 的平均。形式上它是 R 的一個跡：對一組單範正交基 e_i，Ric(v,v) = sum over i of g(R(e_i, v)v, e_i)。它是一個對稱 2 張量，與度量 g 自己同型，正因如此它才能拿來與 g 比較。
里奇有一個鮮明的意義：Ric(v,v) 掌管著沿方向 v 射出的一束細測地線錐的體積，相較於平直空間是收縮還是擴張。里奇為正，意味著鄰近的測地線重新匯聚、體積落後於歐氏增長——那份聚焦正是博內-邁爾斯定理背後的引擎，該定理說：里奇有正常數下界的完備流形必為緊緻且直徑有限。要老實陳述其假設：那是對里奇的正下界，而非對截面曲率的；一旦拿掉它（平直的 R^n 有 Ric = 0），流形就能一路奔向無窮。
再取一次平均，你就抵達最底層。純量曲率 S 是里奇的跡，S = sum over i of Ric(e_i, e_i)——每一點上的單一個數，是最被壓縮的曲率不變量。它掌管著一個小測地球的體積偏離同半徑歐氏球多少：vol(B_r) = omega_n r^n (1 - S r^2 / (6(n+2)) + ...)，故 S 為正，意味著小球所容納的體積比在平直空間中要少。把 R 一路壓縮到一個數會丟失很多——S 看不見方向上的聚焦——但對最簡單的整體陳述而言，它正是恰當的對象。
R_ijkl (1,3)-tensor, full curvature ~ n^2(n^2-1)/12 components
| fix a 2-plane sigma = span(u,v), normalize by area
v
K(sigma) = g(R(u,v)v,u) / area(u,v)^2 one number per 2-plane
| average over all planes through v (trace once)
v
Ric(v,v) = sum_i g(R(e_i,v)v, e_i) symmetric 2-tensor, same type as g
| average over all directions v (trace again)
v
S = sum_i Ric(e_i,e_i) a single scalar at each point
dim 2: R, Ric, S all carry the SAME info (R_1212 = K = S/2)為何分三種，以及它們帶你去哪裡
問為何我們保留三種曲率而非一種，是公道的。誠實的答案是：它們承載的資訊量確實不同，而該用哪一種取決於定理。在二維中這份區別坍塌了——R、里奇與純量全都化約成單一的高斯曲率，且 S = 2K。從三維往上它們便分了家：存在純量曲率為正、卻在某方向里奇為負的流形，也存在里奇為正、卻有某些截面曲率為負的流形。截面 > 里奇 > 純量這道階層，在每一步取平均時都是資訊的嚴格流失。
每一種都錨定著自己的天地。截面曲率的界推動下一級的比較幾何——勞赫與托波諾戈夫定理，以及著名的球面定理（夾擠的正截面曲率迫出一個球面）。里奇是畢曉普-格羅莫夫體積比較與分裂定理的樞紐，也是在里奇流 dg/dt = -2 Ric 下演化的那個量——裴瑞爾曼證明幾何化時所用的那道似熱的演化。純量曲率則掌管正質量定理與山邊問題的存在性。
在你繼續往上爬之前，兩點老實的提醒。其一，符號慣例因書而異：許多教科書以相反符號定義 R，有些則把截面曲率的分子寫成 g(R(u,v)u, v)；在信任任何公式之前，務必檢查你的來源讓圓球有正的還是負的 K。我們採用「單位球面 K = +1」的慣例。其二，愛因斯坦流形（Ric = lambda g）在四維或更高維時，並不等同於常值截面曲率——愛因斯坦是較弱的、里奇層級的條件，把兩者混為一談是初學者常犯的錯。手握這個張量及其三道蒸餾之後，第五篇將轉向外部，走向子流形——在那裡，這份內蘊曲率將與第二基本形式的外蘊彎曲相遇。