線索:搬不回原樣的平行移動
上一篇導引給了我們一個方法,沿一條路徑移動一個切向量,而不讓它相對於空間本身「轉動」:平行移動,由列維–奇維塔聯絡掌管。在平坦的平面上,這做的是你預期中那件無趣的事——把一支箭頭沿任意迴圈滑動,始終讓它指向同一方向,它回來時與離開時分毫不差。曲率的全部戲劇性就在於,在彎曲的空間上這件事會失敗。把一個向量繞一個封閉迴圈搬一圈,它回來時可能轉了角度,儘管每一小步你都發誓自己沒有轉動它。那份轉動,純粹生自這趟旅程、而非你額外加進的任何扭轉,正是我們即將捕捉的指紋。
最乾淨的圖像住在球面上——一個地球儀。站在赤道上,讓一支箭頭指向正北。沿經線往北走到極點,一路讓箭頭嚴格保持自身平行;它仍沿你的子午線指向「前方」。現在轉身,沿另一條經線往回走,繞了 90 度,同樣始終不轉動箭頭。當你抵達赤道、行軍回到起點,箭頭已不再指北——它整整擺了 90 度。沒人轉動它;是在彎曲曲面上的這趟旅程轉動了它。它所獲得的角度,等於高斯曲率在你所圍的球面三角形上的積分——我們將看到,這絕非巧合。
把迴圈變成機器:R(u, v)w
讓我們建造那台在單一點 P 報出轉動的裝置。在 P 的切空間裡挑兩個方向,叫它們 u 與 v;它們張出一個微小的座標平行四邊形。取任意第三個向量 w,沿那平行四邊形的邊界把它平行移動一圈:沿 u 出去,再沿 v,沿 u 反向回來,再沿 v 反向,回到原處。被搬回的 w 改變了一個微小的量。把這改變除以平行四邊形的面積,再讓平行四邊形縮到零——存活下來的,是一個線性的配方,它吃進 u、v、w,吐出一個向量。那個配方就是黎曼曲率張量,記作 R(u, v)w。
把 R(u, v)w 當成一句話念出來:「在 u 與 v 張成的平面裡,平行移動不可交換的失效程度,作用在向量 w 上」。張量這個詞,不過是說 R 對它三個槽位各自分別都是線性的——把 u 加倍,輸出就加倍;把兩個 w 相加,輸出就相加。正是這份線性,使得點上的單一物件能一次捕捉所有迴圈:任何迴圈都由這些無窮小的 u-v 平行四邊形拼成,而線性讓 R 把它們的效應組裝起來。曲率之所以配得上是一個整潔的張量、而非一團特例的糾結,最深層的原因正是這個對易子結構。
R(u, v)w = D_u (D_v w) - D_v (D_u w) - D_[u,v] w D_u = covariant derivative along u (the connection) [u,v] = Lie bracket of the vector fields flat space: D_u D_v = D_v D_u ==> R = 0 (transport commutes) curved: they DISAGREE ==> R =/= 0
把它煮成數字:截面、里奇、純量
完整的張量 R 內容豐富——在 n 維裡它有許多獨立分量——而要建立直覺,我們通常把它蒸餾成較樸素的數。最具幾何意味的蒸餾,是截面曲率 K(u, v):在切空間裡挑一個由 u 與 v 張成的二維平面,問那個由此平面內測地線掃出的小曲面的高斯曲率是多少。它是每個平面對應一個數,由 R 算出,正是你早已從曲面認得的高斯曲率在高維的直系後裔。截面曲率處處為正之處,空間像球面般捲起來;處處為負之處,它像馬鞍般張開。
把那些截面曲率對所有包含某固定方向的平面取平均,你就得到該方向上的里奇曲率——一個告訴你:沿該方向平行射出的一小束測地線,傾向於匯聚(里奇為正,聚焦,像經線奔向極點),還是散開(里奇為負)的數。它掌管一個小球的體積偏離平坦答案多少。再平均一次,現在對所有方向,整個張量就在每一點塌縮成單一個數,即純量曲率——對此處空間彎曲程度最粗略的概括。
彼此漂離的測地線:你能感覺到的曲率
同一個張量還有第二張、同樣鮮明的面孔,而它正是旅人真正感覺得到的那一張。回想上一篇導引:測地線是盡可能最直的路徑。從相鄰的兩點各射出一條測地線,瞄成平行。在平坦的平面上,它們永遠保持固定的間距——「平行」一向就是這個意思。在彎曲的空間上,它們偏不肯。兩艘船從赤道上相鄰兩點都朝正北全速前進,各自都走測地線,卻穩定地越靠越近,最終在極點相撞。它們從未朝彼此轉向;是地球的曲率把它們拉到了一起。
這就是測地線偏離,而鄰近測地線朝彼此靠近或遠離的加速率,恰恰由曲率張量 R 掌管。截面曲率為正,意味起初平行的測地線彎向彼此(球面);為負,意味它們比在平坦空間裡更快地散開(馬鞍,雙曲幾何);為零,意味它們維持平坦空間中的間距。注意我們從不必離開這個空間、或從某個嵌入維度去看它——偏離純粹是藉追蹤空間之內的距離來量度的。曲率是內在的,從內部就可偵測,就這麼定了。
為何這是對的物件——以及它通向何方
退一步,看看曲率張量如何自然地從你早已擁有的零件中落出。度量給了你長度與角度;聯絡給了你平行移動;而曲率不過是「那份移動有多不可交換」的誠實量度。我們沒有發明新的小器具——我們對聯絡問了一個尖銳的問題(「次序要緊嗎?」),而答案就是那個張量。平坦的情形 R = 0,恰恰是共變微分的次序從不要緊的情形,是空間的一小片與一塊尋常歐氏空間真正無法區分的情形。
不過,要對規模誠實。在座標中計算 R,意味著對克里斯多福符號微分再加以組合,而三維或四維裡的記帳工夫實在沉重——這正是完整課程的指標記法值回票價之處,我們不會假裝一句口訣就能取代它。一個入門階段能誠實交付的,是它的意義:R 是繞無窮小迴圈作平行移動時,每單位面積的轉動,等價地也是測地線偏離的加速度,而其餘一切都只是建立在這一個念頭之上的忠實記帳。
兩個壯麗的目的地此刻映入眼簾。其一,純量曲率,尤其是里奇張量,正是愛因斯坦令其正比於某區域內物質與能量的那些量——曲率就是重力,而那是本階最後一篇導引的全部故事。其二,把曲率在整個封閉曲面上積分,高斯–博內定理便重現,將你方才所學的幾何,繫上那由內在而生的洞與柄的拓樸。你如今握有了那個物件,它讓「彎曲」一詞有了精確、可計算、且能從內部感覺得到的意義。