為何要二階導數：從極短到二階變分
第一篇留給你一幅清晰的圖像：極短測地線是能量泛函 E(c) = (1/2) integral of g(c', c') dt 的一個臨界點，而一階變分公式說，能量在一階上停止變化，恰好發生在加速度 nabla_{c'} c' 消失之時——這就是測地線方程。但一個函數的臨界點未必是極小：它可能是鞍點或極大。要分辨是哪一種，你在無窮維裡所做的事，正是單變數微積分所做的——你去看二階導數。能量的二階變分就是 f''(x_0) 在彎曲空間裡的對應物，它的符號決定了一條測地線在鄰近處是否真正使長度極小，還是已經悄悄不再如此。
誠實地把變分設好。固定一條從 p 到 q 的測地線 gamma: [0, L] -> M，並讓它在一族共享同樣端點的曲線 gamma_s 中擺動。這無窮小的擺動就是一個變分場 V(t) = d/ds gamma_s(t)（取 s = 0）——它是沿 gamma 的一個向量場，且在兩端皆消失，V(0) = V(L) = 0，因為端點被釘住了。把能量對 s 微分兩次，並在測地線處取值。經過一次分部積分（用上前一級的度量相容性），那雜亂的公式便坍縮成一個關於 V 的乾淨而對稱的表達式——而關鍵在於，曲率張量不請自來，卻無可迴避地現身。
指標形式：把二階變分寫下來
這就是整篇所環繞的對象。能量在測地線 gamma 處、對在端點消失的變分場 V 的二階變分，就是指標形式 I(V, V) = integral from 0 to L of [ g(V', V') - g(R(V, gamma') gamma', V) ] dt，其中 V' = nabla_{gamma'} V 是 V 沿 gamma 的協變導數。把這兩項照物理讀。第一項 g(V', V') 是一種「彎折的代價」之動能——推動曲線要耗能量，就像拉伸一根彈簧，它恆為非負。第二項是曲率項，攜帶著黎曼曲率張量 R；當截面曲率為正時，它使積分變「小」，竭力去破壞測地線的穩定，而負曲率則使它變大，反過來鞏固極小性。
雅可比場：鄰近測地線的影子
現在問那個自然的極小化問題：在所有變分場 V 之中，哪一個使指標形式駐定？把 I 的一階變分置零（又一次分部積分），就得到指標形式的歐拉-拉格朗日方程，即雅可比方程：V'' + R(V, gamma') gamma' = 0，其中 V'' = nabla_{gamma'} nabla_{gamma'} V。它的一個解就是一個雅可比場。在概念上它一點也不抽象：雅可比場恰恰是一族測地線的變分場——通往另一條同樣始於 p 的鄰近測地線的無窮小位移。它是一條測地線投在鄰居身上的影子，而雅可比方程說的，正是曲率如何掌控那道影子。
常曲率的情形把這件事說得活靈活現，你應當把它們當作試金石牢記。取一個滿足 V(0) = 0 的雅可比場 V，並以 J(t) = |V(t)| 記其增長中的長度。在平坦的 R^n（K = 0）上，雅可比方程是 V'' = 0，所以 J(t) = t 線性增長——過一點的鄰近直線以定速分離。在曲率 K = 1 的球面上，它成為 J'' + J = 0，所以 J(t) = sin(t)：影子先增長、達到峰值，再於 t = pi 處回到零，因為過北極的大圓全在南極重新會合。在曲率 K = -1 的雙曲空間上，它是 J'' - J = 0，所以 J(t) = sinh(t) 指數爆炸——負曲率裡的測地線彼此逃離。正曲率聚焦，負曲率散焦；這一句話便是比較幾何的大半。
Jacobi equation: V'' + R(V, gamma') gamma' = 0 ( V'' = nabla_{gamma'} nabla_{gamma'} V )
constant curvature K, with J(t) = |V(t)|, V(0)=0:
K = 0 (flat R^n): J'' = 0 -> J(t) = t (linear, never returns)
K = 1 (sphere S^n): J'' + J = 0 -> J(t) = sin(t) (zero again at t = pi)
K = -1 (hyperbolic): J'' - J = 0 -> J(t) = sinh(t) (exponential blow-up)共軛點：測地線不再為最短之處
球面的例子標示出某種戲劇性的東西：一個始於零的雅可比場可以回到零。當沿 gamma 的一個非平凡雅可比場 V 對某個 t_0 > 0 同時滿足 V(0) = 0「且」V(t_0) = 0，我們便說 gamma(t_0) 是 p 沿 gamma 的一個共軛點。在幾何上它意味著，無窮多條以幾乎相同方向離開 p 的測地線，在一階上於 gamma(t_0) 重新聚焦——球面的北極與南極是最乾淨的例子，那裡每條經線都重新會合。指數映射 exp_p 在分析上講著同一個故事：gamma(t_0) 共軛於 p，恰好發生在微分 d(exp_p) 於該處奇異之時，於是 exp_p 把切向量摺疊到一起，不再是局部微分同胚。
其回報是一條精確的極小化法則，而它值得謹慎陳述，因為那句口號很容易被誇大。測地線在抵達第一個共軛點之前都使長度極小；越過第一個共軛點之後，它連局部極小都不再可能——附近總有一條嚴格更短的曲線。在球面上，從北極出發的大圓弧一直是最短的，直到你抵達南極（距離 pi 處的共軛點）；越過之後，繞另一側的「短路」便勝過它。但要當心：一條測地線可能在抵達共軛點「之前」就已不再極小，只要另一條等長的測地線抵達同一點——這正是共軛軌跡與割跡的差別，而整體極小化實際上是在割跡處終止的。
莫爾斯指標定理：清點失效的方向
我們現在能把「一條測地線使極小化失效得有多嚴重」變成一個數。測地線 gamma 的指標，就是把指標形式 I 視為端點消失的變分場所構成的無窮維空間上的對稱雙線性形式時，它的指標——也就是使 I(V, V) < 0 的子空間的最大維數。它清點的是你能朝多少個獨立方向推動測地線，使其能量嚴格下降。指標為零意味著 I 是正的（一個貨真價實的局部極小）；指標為正則意味著這條測地線是能量的鞍點，在那麼多個獨立方向上被勝過。這就是道路空間的莫爾斯理論，與組織任何函數臨界點的那個指標是同一個，只是如今住在曲線的空間上。
連起分析（指標）與幾何（共軛點）的橋樑，就是莫爾斯指標定理：測地線 gamma 的指標等於其起點在開區間 (0, L) 內共軛點的數目，每個按重數計（即兩端皆消失的雅可比場所構成空間的維數）。指標是有限的，所以一條有界測地線上只出現有限多個共軛點。這正是讓先前一切變得嚴謹的乾淨記帳恆等式：「在第一個共軛點之前都極小」如今真切地成為「在第一個共軛點之前指標為零，而每越過一個就按其重數跳升」。一個算過的核對：在 S^2 上，一條長度略過 pi 的大圓弧恰有一個內部共軛點，故指標為 1——只有一個獨立的方式可使它變短，那就是把它從對蹠點滑開。
你已建起什麼，以及接下來什麼將在其上運轉
退一步，看看組裝好的這部機器。從二階變分你抽出一個對稱形式，即指標形式 I；它的臨界場是雅可比場，受曲率驅動的雅可比方程支配；它們的重新會合標示出共軛點，局部的極小化在那裡終止；而莫爾斯指標定理把那些點的數目繫於 I 的指標。整套裝置只為一個目的而存在：把曲率的一個界轉換為測地線行為的一個界，繼而轉換為拓樸。常曲率的三分律——sin(t)、t、sinh(t)——正是每一條比較定理用來衡量真實流形的範本。
- 第三篇（正曲率）把里奇曲率的一個正下界餵入指標形式，逼出在某固定距離內必有共軛點，從而證明博內-邁爾斯定理（流形緊緻且基本群有限）與辛格定理。
- 第四篇（非正曲率）以相反的符號運轉同一個形式：永無共軛點，故 exp_p 是覆蓋映射，給出卡坦-阿達瑪定理與可縮的萬有覆蓋。
- 第五篇把雅可比比較推廣到曲率僅介於兩個界之間的流形——勞赫比較定理比較雅可比場的增長，而托波諾戈夫比較整個三角形，導向球面定理與分裂定理。