曲線作為無窮維空間中的點
前一級把測地線方程 nabla_(gamma') gamma' = 0 交給了你——一條速度沿自身平行移動的曲線，是度量所允許的最直路徑。我們當時是以「零加速度」推導出它的。本篇揭示那條方程真正從何而來，而答案重整了一切：測地線是曲線空間上某個泛函的臨界點。這個觀點的轉移，就是幾何分析這門學問的縮影——別再盯著單一一條曲線，而要把兩點之間整個曲線空間，當成彷彿一個單一流形來看，把長度與能量當作其上的函數。
在黎曼流形 M 中固定兩點 p、q，考慮所有滿足 gamma(0) = p、gamma(1) = q 的光滑曲線 gamma: [0,1] -> M。這個路徑空間是流形的無窮維類比。在某條特定曲線 gamma 處，它的切向量是什麼？是一個變分場：沿 gamma 的一個向量場 V(t)，告訴你如何推移曲線上的每一點。要擾動曲線，就造一個變分——一族光滑曲線 gamma_s(t)，使 gamma_0 = gamma——而它在 s = 0 處的無窮小速度恰是 V(t) = (d/ds) gamma_s(t)（在 s = 0 處）。固定端點意味著 V(0) = V(1) = 0。於是沿 V 方向對泛函求導，不過是尋常的微積分，一次處理一個變數 s。
第一變分：對能量求一次導
現在在 s = 0 處計算 dE/ds。這個計算是你上一級所建立的動標架技術的一個小傑作：對 |gamma_s'|^2 = g(gamma_s', gamma_s') 沿 s 求導，用列維-奇維塔聯絡的度量相容性把 nabla 移過 g，再交換 d/ds 與 d/dt 兩個導數——這是合法的，因為聯絡無撓，於是映射 (s,t) -> gamma_s(t) 的混合協變導數可交換。對 t 作一次分部積分，把導數從 V 上剝下、落到 gamma' 上。邊界項因 V 在端點消失而死去，於是落下了第一變分公式。
First variation of energy (endpoints fixed, V(0)=V(1)=0): d/ds E(gamma_s) = - integral_0^1 g( V(t) , nabla_(gamma') gamma'(t) ) dt at s=0 Vanishes for ALL admissible V <=> nabla_(gamma') gamma' = 0 (geodesic equation) With FREE endpoints, the surviving boundary term is [ g( V , gamma' ) ]_0^1 (this forces the transversality / Neumann condition)
把這條公式當作梯度來讀。被積函數把你推的方向 V 與向量 nabla_(gamma') gamma'——曲線的加速度——配對。所以加速度場「就是」路徑空間上能量的梯度——當你把曲線往其加速度的反方向推、把彎曲拉直時，能量下降得最快。一條曲線是臨界的（對每個 V 都 dE = 0），若且唯若它的加速度恆等於零，這又是測地線方程，如今作為歐拉-拉格朗日方程誕生，而非被硬性規定。這是對「測地線為何是直的？」最乾淨的回答：它是任何彎曲都救不了的那條曲線。
第二變分：曲率登場之處
一個臨界點可以是極小、鞍點，或更糟——要分辨它們，你需要二階導數，即能量的海森矩陣。求兩次導並「在」測地線 gamma 上求值（於是一階的加速度項消失）。同樣那套導數可交換的帳目又跑了一遍，但如今 d/ds 與 d/dt 第二次交錯，而交換一對協變導數不再是免費的：它們的對易子正是黎曼曲率張量本身，R(V, gamma')gamma'。這是整級的決定性時刻——曲率恰恰是二階導數不可交換的障礙，所以你一對能量求兩次導，它就被逼著現身。第二變分公式便是結果。
由此得到的二次形式稱為指標形式 I(V, V) = integral_0^1 [ |nabla_(gamma') V|^2 - g(R(V, gamma')gamma', V) ] dt，而讀它的符號便承載著幾何。第一項 |nabla_(gamma') V|^2 永遠非負——它是讓變分場擺動的代價。曲率項是被「減」去的，而對與 gamma' 正交的 V，它等於截面曲率 K 乘以 |V|^2。所以正曲率與你作對：它壓低第二變分，而若你能找到一個 V 使 I(V,V) < 0，那條測地線就不是局部極小——你可以靠彎曲把它縮短。
這正是你一向憑直覺所知之事背後的精確機制：在球面上，比半圈更長的大圓弧是測地線，卻「不是」最短的。兩個對徑點之間有無窮多條最短弧相連，而剛越過對徑點，正曲率就把繞遠路那一條弄失穩了。同一個指標形式，拿來與常曲率模型比較，正是本級稍後將驅動勞赫比較定理的東西——所以這個小小的二次泛函，是整套比較工具的種子。
雅可比場與共軛點
指標形式 I(V,V) 是一個二次泛函，而正如在有限維中，尋找它的臨界方向會給出一條歐拉-拉格朗日方程。令 I 的第一變分為零，得到沿測地線的一條線性二階常微分方程：nabla_(gamma') nabla_(gamma') J + R(J, gamma')gamma' = 0。它的解是雅可比場，而它們有一個美妙而具體的意義——一個雅可比場恰恰是 gamma「穿過測地線」的某個變分的速度場。等價地說，它是從一點以略微不同方向發射的一族測地線的無窮小展開或聚焦。雅可比方程是測地線方程的線性化，以曲率作為回復（或反回復）力。
畫面很生動。在平坦空間中，R = 0，雅可比方程是 J'' = 0，從一點發射的測地線永遠線性地分開——平行線保持平行。有正曲率時，方程變成 J'' = -K J，即簡諧振子方程：鄰近的測地線朝彼此擺盪回來並重新聚焦。在單位球面上，從北極出發的所有測地線恰在南極重新會合。那個重聚之點是一個共軛點：當一個非零雅可比場在兩端都消失時，q 沿 gamma 共軛於 p。一個共軛點是從 p 出發、無窮接近的一族測地線再次穿過 gamma 之處——是以略微不同方向出發的測地線回頭相遇的地方。
莫爾斯指標定理
現在一切匯聚成一句乾淨的帳目陳述。一條測地線 gamma 的指標，是使指標形式 I(V,V) 負定的變分場所構成的極大子空間的維數——非正式地說，就是你能把 gamma 弄短的獨立方式的數目，是能量在這個臨界點處「下坡方向」的計數。莫爾斯指標定理把這個本來神秘的分析數字純幾何地算出來：gamma 的指標等於沿 gamma 共軛於起點的點的數目，每個按其重數計算（在該處消失的雅可比場所構成空間的維數）。
- 從那個分析對象出發：gamma 的指標，定義為使第二變分指標形式 I(V,V) 為負的、固定端點的獨立變分場 V 的最大數目——即獨立的縮短方向的計數。
- 辨認那個幾何對象：從起點沿 gamma 行走，標出每一個共軛點，每個都帶其重數（有多少個獨立的雅可比場在該點與起點都消失）。
- 定理把它們等同起來：index(gamma) = （內部共軛點的數目，按重數計算）。一個有限、取整數值的分析量，是靠清點幾何交叉而算出的。
- 在球面 S^n 上作健全性檢查：南極以重數 n-1 共軛於北極，所以一條大圓測地線一旦衝過南極，它的指標就跳升 n-1——正好對應於把過長的大圓弧縮短的 n-1 種獨立方式。
為何這超出一個漂亮的計數而要緊？三個理由為幾何分析的其餘部分定下框架。第一，它是一個有限維的奇蹟：定義在無窮維路徑空間上的指標，永遠有限且可計算——這是莫爾斯理論的種子，該理論從測地線的指標讀出整個路徑空間的拓樸。第二，它把曲率假設化成拓樸：若 Ric > 0 且有一致下界，共軛點必在有界距離內出現，逼得每條長測地線都有正指標、因而不極小化——這正是博內-邁爾斯定理內部的引擎，該定理斷言這樣的流形是緊的、且基本群有限。第三，同一個指標形式，拿來與常曲率模型比較，正是後面幾篇中驅動勞赫比較定理的東西。誠實地說：這裡的定理確實是從第二變分公式證明出來的，但它在博內-邁爾斯、辛格與球面定理中的運用，是一連串進一步的論證，每個都自成一個貨真價實的證明——我們是在勘測這條路，而非把它壓平。