為何普通的導數會失靈
本級第一篇給了你 M 上的一個黎曼度量 g，並以一個承諾作結——黎曼幾何基本定理保證恰有一種守規矩的方式可微分向量場。這篇指南就是要打開那個盒子。但我們得先誠實地感受到問題所在，因為唯有撞上那堵牆，這套解法才會顯得理所當然。
牆在這裡。取 M 上的一個向量場 Y，試著問它在某點 p 沿另一向量 X 的方向變化得多快——天真的答案是對各分量取方向導數。但 Y(p) 住在 T_p M 裡，而 Y 在鄰近點 q 的值住在另一個向量空間 T_q M 裡。把它們相減——差商暗地裡做的正是這件事——等於拿這間房裡的蘋果去比那間房裡的蘋果。在平坦的 R^n 上我們從未察覺，因為每個切空間都被默默等同於 R^n 本身；在彎曲的 M 上，沒有這種免費的等同。
在坐標下你立刻就能看見它的破綻。把 Y = Y^i d/dx^i 逐分量微分，所得結果在換坐標卡時帶有一個多餘的項——坐標變換的二階導數滲了進來，於是這個天真的「導數」並非張量。它依賴於坐標卡，意即它不是幾何。聯絡正是那個加上一個修正項以抵消這個滲漏的裝置，從而還原出一個在每個坐標系裡都相同的導數。
聯絡究竟是什麼
暫且把度量擱在一旁。M 上的一個仿射聯絡是一條規則 nabla，它吃進一個方向 X 與一個向量場 Y，吐出一個新的向量場 nabla_X Y——讀作「Y 沿 X 方向的協變導數」。它被要求在 X 槽上對函數線性（故 nabla_(fX) Y = f nabla_X Y，意即它對 X 真的只在該點上依賴）、在 Y 上可加，並在 Y 上遵守萊布尼茲乘積律：nabla_X (fY) = (Xf) Y + f nabla_X Y。那條萊布尼茲律就是聯絡的全部靈魂——它說 nabla 在第二個參數上像個導數，而非像個張量。
在給定的流形上有無窮多個仿射聯絡——這個選擇是真正額外的資料，並非由光滑結構所強制。聯絡的幾何內涵是 平行移動：它告訴你如何沿一條曲線滑動一個向量，同時讓它「盡可能保持不變」，也就是使它沿曲線的協變導數為零。不同的聯絡給出不同的「保持平行」的概念，而這正是關鍵所在。度量將會從中挑出唯一的一個。
兩個條件釘住唯一的答案
在所有仿射聯絡之中，列維-奇維塔聯絡是唯一同時滿足兩項自然要求的那一個。其一，與度量相容：平行移動應保長度與角度，等價地寫成 X(g(Y,Z)) = g(nabla_X Y, Z) + g(Y, nabla_X Z)——聯絡與度量交換，就如同普通導數尊重乘積一樣。其二，無撓：nabla_X Y − nabla_Y X = [X, Y]，其中 [X, Y] 是李括號。第二個條件使得混合的二階協變導數對稱，正是「偏導數可交換」的幾何回響。
這個奇蹟——正是黎曼幾何基本定理的內容——在於這兩個條件合起來恰有唯一解。你不能獨立地同時挑選一個聯絡與一個度量；一旦 g 定下，nabla 就被決定了。它的證明是構造性的，值得親見一次：把與度量相容寫三遍、指標循環置換，兩個相加減去第三個，無撓性讓不想要的括號塌縮掉。倖存下來的是 科斯居爾公式，一個純粹用 g 與括號表出 g(nabla_X Y, Z) 的顯式表達式。
克里斯多福符號：坐標中的聯絡
在以坐標場 d/dx^1, ..., d/dx^n 為基底的坐標卡裡，聯絡完全由它如何讓基底場彼此微分所編碼。克里斯多福符號 Gamma^k_ij 由 nabla_(d/dx^i) (d/dx^j) = Gamma^k_ij d/dx^k 定義——它們是那 n^3 個數（其實是函數），說的是「當你沿第 i 個方向移動時，第 j 個基底場旋轉的速率，再以該基底表出」。它們斬釘截鐵地不是某個張量的分量：第一節那個殘留的非張量變換律，正是它們所攜帶的東西，也正是它讓 nabla 本身成為張量性的。
對列維-奇維塔聯絡而言，科斯居爾公式塌縮成一個乾淨的閉式：Gamma^k_ij 完全由度量分量 g_ij 及其一階偏導數構成。要背的形狀是二分之一，乘以逆度量，再乘以 g 的三個一階導數的循環和。兩個事實直接掉出來：無撓性表現為下指標的對稱 Gamma^k_ij = Gamma^k_ji，而這些符號在某點為零，恰當度量的一階導數在該點為零——這正是第三篇裡「一階意義下平坦」的意涵。
Gamma^k_ij = (1/2) g^kl ( d_i g_jl + d_j g_il - d_l g_ij ) d_i = partial derivative in x^i, g^kl = inverse metric symmetry: Gamma^k_ij = Gamma^k_ji (torsion-free) Sphere of radius 1, coords (theta, phi), ds^2 = dtheta^2 + sin^2(theta) dphi^2 Gamma^theta_phiphi = - sin(theta) cos(theta) Gamma^phi_thetaphi = Gamma^phi_phitheta = cot(theta) all other Gamma = 0
協變微分的實際操作
現在你可以真正地微分任何向量場了。把 Y = Y^j d/dx^j 寫出，套用萊布尼茲律連同符號的定義。分量答案分成你天真期望的那一部分，加上克里斯多福修正——而那個修正正是抵消我們一開始揭露的坐標依賴性的那一項。以下是慢慢算一遍的過程，每位幾何學者腦中都跑過這一遍。
- 令 X = d/dx^i，依萊布尼茲展開：nabla_(d/dx^i) (Y^j d/dx^j) = (d_i Y^j) d/dx^j + Y^j nabla_(d/dx^i)(d/dx^j)。
- 用符號替換第二項：nabla_(d/dx^i)(d/dx^j) = Gamma^k_ij d/dx^k。把第一項的啞指標由 j 重新標為 k，使一切都落在 d/dx^k 槽中。
- 收攏：第 k 個分量為 (nabla_i Y)^k = d_i Y^k + Gamma^k_ij Y^j。第一塊是普通偏導；第二塊是幾何修正。
- 在笛卡兒坐標下的平坦 R^n 上做合理性檢查：每個 Gamma 都為零，故公式退化為單純的逐分量偏導——正是你在遇見流形之前一直信賴的那個答案。
同一台機器藉由要求在張量積上遵守萊布尼茲、且函數的 nabla 即其普通微分，便延伸到每一個張量。每個上指標貢獻一個 +Gamma 項，每個下指標貢獻一個 −Gamma 項，並把適當的槽縮並。於是兩個結構性事實從與度量相容免費得來：nabla g = 0（度量是協變常數——你可以自由地穿過協變導數來升降指標），以及一條曲線「在幾何允許的範圍內盡可能地直」，恰當它的速度沿自身的 nabla 為零之時，而這展開即為開啟第三篇的測地線方程。
為何這是通往曲率的門戶
本級下游的一切都流經 nabla。平行移動是方程「向量沿曲線的 nabla 為零」的積分；而這個移動在繞一個小迴圈後未能使向量回到自身的那份失敗，正是曲率的首度現身。事實上黎曼張量直接由 nabla 構築，方法是量度二階協變導數交換失敗得多嚴重：R(X,Y)Z = nabla_X nabla_Y Z − nabla_Y nabla_X Z − nabla_([X,Y]) Z。這個交換子在平坦空間上恆為零，而恰當流形彎曲時才非零。
一幅生動的合理性圖像就活在那個算過的球面例子上。把一個向量沿球面三角形平行移動——比方說沿一條經線上行、沿赤道而走、再沿另一條經線下行——它回來時旋轉了一個角，其大小等於所圍的面積。這個向量在它自己的標架裡從未「轉動」過；它每一刻都保持平行。這份旋轉是純粹的曲率，完全由 nabla 偵測。同一個向量在平坦平面裡繞任何迴圈一圈回家時，分毫未變。
在第三篇接手之前，一則誠實的提醒。我們是由一個度量構築出 nabla 的，但聯絡的概念嚴格來說更為一般——仿射聯絡可以活在任何流形上、根本不需要度量，而黎曼幾何基本定理是那個特殊而優美的事實：度量正典地挑出唯一的一個。在更廣的纖維叢理論裡，聯絡是主叢上的資料，而列維-奇維塔聯絡是那套機器的一個實例；若你在本冊別處遇過聯絡形式，那是同一個概念穿著不同的記號。把這兩幅圖像連結起來，你便能流暢地閱讀兩邊的文獻。