平行移動(parallel transport)
在平桌上,你可以把一支箭頭從一處滑到另一處而保持它指向不變——讓它平行於自身地移動毫無歧義。在彎曲曲面上這突然變得微妙:兩個相距的點處不存在「同一方向」的整體概念,因為中間的曲面在傾斜。平行移動就是那條謹慎的規則:沿選定路徑攜帶一個向量,同時只在彎曲幾何所允許的範圍內盡量少地轉動它——一步一步地,讓它盡曲面所許地平行於自身。
精確定義用到協變導數:當一個向量 V 沿曲線的協變導數在每點都為零、即 nabla_(切向) V = 0 時,它就被沿該曲線平行移動。用分量寫,這是一組常微分方程 dV^k/dt + Gamma^k_{ij} (dx^i/dt) V^j = 0,你沿路徑對它積分;克里斯托費爾項持續轉動分量,恰好補償轉動的基,所以向量自身從不作「真正的」轉動。平行移動保持向量的長度,以及一起攜帶的任意兩向量之間的夾角(度規相容性的推論)。驚人的事實是結果依賴路徑:在彎曲曲面上把一個向量繞閉環攜帶一周,它一般回來時已轉了角度,儘管每一步你都盡量少地轉動它。這一失配的角度,是該環所圍曲率的直接、可上手的量度。
平行移動是曲率的操作核心,也是通往黎曼張量的橋樑:向量繞無窮小環所受的轉動,除以環的面積,就是作用在該向量上的黎曼曲率。它解釋了繞地球軌道運行的陀螺儀的進動(由引力探測器 B 測得)、地球自轉時傅科擺擺動平面的轉動(球面上的平行移動和樂),以及量子力學中的貝里幾何相位。誠實而難忘的要點:在彎曲空間上,不存在與路徑無關的方式來比較分隔點處的方向——答案取決於你走的路線,而這一路徑依賴性就是曲率的可觸化身。
從北極出發握著一支箭頭,保持平行地走到赤道,沿赤道走四分之一圈,再走回北極——始終作平行移動。箭頭回來時指向與出發時偏了 90 度,儘管你從未刻意轉動它。這 90 度的虧量等於所圍面積乘以球面的高斯曲率:球面的曲率,從一趟步行中讀出。
繞球面三角形攜帶的向量回來時已轉動——轉角就是所圍的曲率。
彎曲空間上的平行移動依賴路徑:同一向量沿兩條不同路線被攜帶到同一終點,一般會以不同指向到達。這不是步驟裡的錯誤——這一差異恰是曲率的標誌,且只在平直空間中才消失。