承接第二篇的線索：指標形式就是那把武器
本級的第一、二篇打造了我們此刻要發射的兩件工具。第一篇給了完備性與霍普夫-里諾定理：在完備流形中，任意兩點都由一條極小測地線相連，所以距離是被真正實現的，而非僅僅被逼近。第二篇給了弧長的二階變分——指標形式 I(V, V)——連同雅可比場與共軛點：一條測地線一旦越過共軛點便不再是長度極小的，因為過了那裡指標形式轉負，附近真有一條更短的曲線。整個正曲率的故事就是這句話：正性讓指標形式很快變負，這逼著共軛點儘早出現，從而限住一條極小測地線能有多長。
回想這把武器的確切形貌。沿著單位速率測地線 gamma，對一個在兩端點都消失的向量場 V，指標形式是 I(V, V) = ( |nabla_t V|^2 - g(R(V, gamma')gamma', V) ) dt 之積分，其中曲率項承載著幾何。此處的符號約定是：正的截面曲率 K 讓 g(R(V, gamma')gamma', V) 一項為正——所以它被「減去」，把指標形式往下拉。各家對 R 的符號並不一致；我們固定自己的約定，使得圓球的 K = +1、且曲率項有助於產生共軛點。引用任何不等式之前都要先聲明你的約定，因為相反的選擇會把下文每一個符號都翻過來。
博內-邁爾斯：里奇下界使流形變小
這就是第一條偉大的定理。博內-邁爾斯定理說：若 (M, g) 完備，且其里奇曲率滿足 Ric >= (n-1)/r^2 g（對某個常數 r > 0）——一個均勻的正下界——那麼 M 是緊的，其直徑至多為 pi r，而其基本群 pi_1(M) 有限。一個前提，三個結論。請注意被下界界住的是里奇曲率，而非完整的截面曲率：里奇曲率是截面曲率對各方向取的「平均」，所以前提更弱、定理也相應更強。「正曲率意味著緊」這句口號，唯有配上這個精確的里奇下界才正確；去掉均勻性，結論就垮——平坦的 R^n（Ric = 0，非緊）便是明證。
為何成立？在一條極小測地線 gamma（長度 L）上跑指標形式。造 n-1 個試驗場：把一組垂直於 gamma' 的單位正交標架平行移動過去，再各自乘上 sin(pi t / L)，使它們在兩端都消失。把 I 對這 n-1 個場求和，那些 |nabla_t V|^2 項加總為 (n-1)(pi/L)^2 乘上 cos^2 的一個積分，而曲率項則恰好加總為行進方向上的里奇曲率 Ric(gamma', gamma')，並以 sin^2 加權。里奇前提把這個和從下方界住；若 L 超過 pi r，總二階變分就轉「負」，意味著 gamma 根本不是極小的——矛盾。所以沒有任何極小測地線比 pi r 長，於是 diam(M) <= pi r，而一個完備且有界的流形是緊的。
辛格：正截面曲率藉奇偶性約束拓樸
辛格定理把指標形式用在一條「閉」測地線上，而非極小弧段，且其結論對維數的奇偶性敏感——一個確實出人意表的轉折。其陳述：若 M 緊且具正截面曲率 K > 0，那麼當 dim M 為偶且 M 可定向時，M 單連通（pi_1 = 0）；而當 dim M 為奇時，M 可定向。從一個曲率符號擠出兩個乾淨的拓樸判決，依維數的奇偶分流。偶維的球面 S^2（單連通）與奇維的實射影空間 RP^3（可定向），正是本定理為之而設、要去解釋的邊界情形。
證明是一顆小寶石。設 pi_1 非平凡；在緊流形中，每個迴圈的自由同倫類都含有一條最短者，它必是一條閉測地線 gamma。現在取沿 gamma 繞行一圈的平行移動：它是垂直空間的一個旋轉（一個 (n-1) 維空間的正交映射），且保持 gamma'。當 n 為偶且 M 可定向時，這個對「奇」維垂直空間的旋轉必固定某個非零向量 V——一個沿 gamma 的平行場。把這個 V 餵進指標形式：|nabla_t V|^2 = 0，因為 V 是平行的；而曲率項 -g(R(V, gamma')gamma', V) 嚴格為負，因為 K > 0。所以 I(V, V) < 0——這條閉測地線可以被縮短，與它在其類中最短相矛盾。於是不存在非平凡的類：pi_1 = 0。
博赫納技巧：一台截然不同的引擎
博內-邁爾斯與辛格是變分式的——它們藉著擾動測地線來論證。博赫納技巧抵達同一風味的結論（正曲率扼殺拓樸），走的卻是一條全然不同的路：它對一條逐點的恆等式積分。出發點是博赫納-魏岑伯克公式，它把作用在張量或形式上的兩個自然拉普拉斯算子聯繫起來。對一個 1-形式 omega，它略寫成（霍奇拉普拉斯）omega =（粗糙／聯絡拉普拉斯）omega + Ric(omega)，其中曲率以里奇項代數地作用而進入。兩個二階算子恰好相差一個曲率項——這就是全部內容，而且它是一條恆等式，每一點都成立，視野裡半條測地線也沒有。
Bochner-Weitzenbock for a 1-form omega on (M^n, g):
Delta_H omega = nabla* nabla omega + Ric(omega)
Delta_H = Hodge Laplacian (d delta + delta d)
nabla* nabla = connection (rough) Laplacian, >= 0 after integrating
Ric(omega) = Ricci curvature acting on omega (algebraic, 0th order)
Pair with omega and integrate over a CLOSED M:
integral |nabla omega|^2 + integral Ric(omega, omega) = integral |Delta_H-part|
If omega is harmonic (Delta_H omega = 0) and Ric > 0:
0 = integral |nabla omega|^2 + integral Ric(omega,omega)
both terms >= 0 ==> both = 0 ==> omega = 0看這台引擎轉動。設 omega 是緊流形 M 上的一個調和 1-形式，於是 Delta_H omega = 0。把博赫納公式與 omega 配對並對 M 積分。霍奇項消失（因調和），而分部積分把聯絡拉普拉斯項化為 integral |nabla omega|^2 >= 0，一個非負的量。剩下的是 0 = integral |nabla omega|^2 + integral Ric(omega, omega)。若處處 Ric > 0，則第二個積分嚴格為正，除非 omega = 0——但總和為零、第一項也非負，所以兩者都「必須」消失，逼出 omega = 0。結論：一個 Ric > 0 的緊流形沒有非零的調和 1-形式，於是其第一貝蒂數 b_1 = 0（由霍奇理論）。拓樸量消失了，整個證明從未挪動過一條曲線。
兩台引擎，一個寓意——以及誠實的界限
退一步比較這兩台機器，因為這對比正是要旨。變分引擎（博內-邁爾斯、辛格）擾動測地線並讀出「二階」變分；正曲率讓指標形式變負，於是候選的極小者失格，拓樸量被幾何地擠了出去。博赫納引擎則對著調和對象，對一條曲率恆等式積分；正曲率讓一堆平方加上一個正項等於零，於是那調和對象必須消失，拓樸量被分析地榨了出來。同一個寓意——正曲率是強而有力的約束，它禁止龐大的基本群與豐富的上同調——卻經由兩條互不相干的路徑抵達。兩者都懂，才能為某條定理挑出對的工具。
現在說誠實的告誡，那些在興奮中最易遺失的。其一，這些都是拓樸量的「上界」結果，不是分類：博內-邁爾斯說 pi_1 有限，沒說是哪個有限群；博赫納說 b_1 = 0，沒說整個上同調。其二，前提既尖銳又不留情——博內-邁爾斯需要一個「均勻」的里奇下界（逐點 Ric > 0 不夠；拋物面處處正曲率卻非緊，因為曲率衰減了），而辛格需要緊性與「奇偶－可定向」這整套配備。其三，何謂「正曲率」會分岔：里奇正比截面正弱得多，定理在兩者之間並不能互換。本篇之外那片著名的未知之地——究竟哪些流形容許正截面曲率，至今除一份簡短名單外仍大半未明——提醒我們：我們勘測的是那些容易的蘊含，而非完整的分類。
- 當你握有均勻里奇下界、想要緊性、直徑上界 pi r、或 pi_1 的有限性時，就取用博內-邁爾斯——其證明是把指標形式對一組垂直標架求和。
- 當曲率為正「截面」曲率、流形緊、而你關心 pi_1（偶維、可定向）或可定向性（奇維）時，就取用辛格——其證明是把指標形式用在一條最短閉測地線上。
- 當你想在某個里奇或曲率算子符號下扼殺調和形式（使貝蒂數消失）時，就取用博赫納技巧——其證明是對一個調和對象積分博赫納-魏岑伯克恆等式。
- 第四篇把每個符號翻到非正的一側（卡當-阿達瑪，那裡曲率 K <= 0 使萬有覆蓋微分同胚於 R^n），而第五篇則造出完整的比較機器——勞赫、托波諾戈夫、球面定理與分裂定理。