禁止重新會聚的那個正負號
本級的第三篇活在正曲率之下，那裡邦尼-邁爾斯定理把測地線拉回一起，並給直徑封了頂。現在把正負號翻過來，看相反的世界如何展開。我們假設截面曲率 K 處處非正——在每個切空間的每個 2 維平面上都有 K <= 0——且流形是完備的。整篇指南的口號就一句話：非正曲率意謂測地線彼此散開、永不重新會聚。底下的一切，都是這一個事實，穿上越來越有力的衣裳。
回想第二篇的引擎：沿測地線 gamma 的雅可比場 J 度量鄰近平行測地線的漂移程度，它服從雅可比方程 J'' + R(J, gamma')gamma' = 0。取模長平方並微分兩次。曲率項帶進一個截面曲率因子，而當 K <= 0 時，你會在精確的意義下得到 (|J|^2)'' >= 0——鄰近測地線之間的分離量，是弧長的一個凸函數。一個從零出發、初始斜率為正的凸函數，只能往上長。所以一旦兩條從共同點出發的測地線開始分離，它們就持續分離：沒有回頭路。
沒有共軛點，於是指數映射攤開一切
共軛點是某個在 p 處為零的非平凡雅可比場再次歸零之處——也就是從 p 出發的鄰近測地線重新聚焦的地方。但我們剛論證過，在 K <= 0 之下分離量是凸的、且一旦離開零便嚴格遞增，所以一個從零出發、導數非零的雅可比場永遠回不到零。結論：曲率 K <= 0 的流形完全沒有共軛點。這是技術上的核心，並透過第二篇的指標形式直接轉化：沒有共軛點，能量的二次變分便為正，於是每條測地線都是局部極小，而非一個雅可比場能往下擾動的臨界點。
現在回想共軛點妨礙了什麼：指數映射 exp_p: T_p M -> M 恰好在共軛點所在處失去局部微分同胚的性質（依 d(exp_p) 的雅可比場詮釋，其微分在該處退化）。沒有共軛點，意謂 d(exp_p) 處處非奇異，於是 exp_p 在整個 T_p M 上都是局部微分同胚。把這點與完備性結合——由第一篇的霍普夫-里諾定理，完備性讓 exp_p 在整個切空間上有定義——你便得到一個從向量空間到 M 的光滑滿射局部微分同胚。卡坦-阿達瑪定理把它升級為一個覆蓋映射。
K <= 0 ==> (separation of geodesics is convex) ==> no conjugate points
==> d(exp_p) nonsingular everywhere
complete + no conjugate points
|
v
exp_p : T_p M --> M is a smooth COVERING map
|
v
universal cover ~= R^n (diffeomorphic) [Cartan-Hadamard]卡坦-阿達瑪定理究竟說了什麼
這是要牢牢記住的完整陳述。卡坦-阿達瑪定理：若 M 是處處 K <= 0 的完備黎曼 n 維流形，則對每個點 p，指數映射 exp_p: T_p M -> M 是一個光滑覆蓋映射。因此 M 的萬有覆蓋微分同胚於 R^n，特別地 M 是非球面的：所有高階同倫群都消失，對 k >= 2 有 pi_k(M) = 0。exp_p 是覆蓋的證明，用到它是一個局部微分同胚、同時又不縮短距離（仍來自雅可比場的凸性），而一個不從完備空間縮短距離的局部微分同胚，便是覆蓋映射。
讀懂它的代價與它買到的東西。它並不說 M 本身就是 R^n——一個平坦環面與一個緊緻的雙曲曲面都有 K <= 0，卻都是緊緻的，與平面毫不相像。攤開的是萬有覆蓋。所以 M 的全部拓樸，都集中在覆蓋變換群裡，亦即基本群 pi_1(M)：M 是 R^n（或雙曲空間）對一個自由作用的離散等距群的商。環面是 R^2 / Z^2；虧格 2 的曲面是雙曲圓盤對一個曲面群取商。非正曲率把所有高維拓樸，換成單一個群論不變量。
凸性：K <= 0 的幾何超能力
非正曲率最深刻的實用後果，是距離函數的凸性。在卡坦-阿達瑪流形上，固定一點 q；函數 p -> d(p, q)^2 沿每條測地線都是凸的。等價地，給定兩條測地線 gamma_1 與 gamma_2，函數 t -> d(gamma_1(t), gamma_2(t)) 是凸的。拿一個小小的具體圖像來對照：在歐氏平面上，兩條從共同點出發的測地線以線性速率分離（間距恰好是角度乘以距離）；在 K <= 0 之下間距至少長得這麼快，而在嚴格負的 K 之下它呈指數增長。距離只會變得比平坦更凸，絕不更不凸。
凸性不是趣聞；它正是讓這些空間溫馴的關鍵。凸的距離函數意謂球是凸的、兩點間的測地線唯一，而且——至關緊要地——沒有圍出圓盤的閉測地線、沒有聚焦、沒有困在內部的極小曲面氣泡。它也給出不動點定理：卡坦-阿達瑪流形的一個緊緻等距群，必定固定某一點（任一軌道的外心，之所以定義良好，正因為 d^2 是凸的）。這單一個不動點事實，正是剛性結果背後、以及非正曲率群為何如此規矩背後的幾何種子。
從光滑到綜合：CAT(0) 空間
上面的一切都用了光滑的機器——雅可比場、指數映射、指標形式。但結論都是度量性的：細瘦的三角形、凸的距離、唯一的測地線。這提示我們：剝去流形，只留下度量的內容，而這恰是 CAT(0) 的構想。一個測地度量空間是 CAT(0)，若它的每個測地三角形都至少和它在歐氏平面中的比較三角形一樣細瘦：造一個三邊長相同的平坦三角形，則真實三角形上的每條弦，都不長於平坦模型上對應的弦。不需要曲率張量——只需要距離。
這是整篇指南的綜合式總結，且它的推廣遠超流形——進入亞歷山德羅夫空間、樹，以及幾何群論的多面體複形，這些都不帶度量張量。一個完備且單連通、K <= 0 的流形是 CAT(0)，於是卡坦-阿達瑪成了一個更廣原理的特例：細瘦的三角形強制出凸的距離、唯一的測地線與可縮性（CAT(0) 空間是可縮的，這是 pi_k = 0 的度量回聲）。反過來，格羅莫夫雙曲空間在粗略尺度上捕捉了嚴格負的情形，那裡三角形不只細瘦，還均勻地細瘦到一個常數以內。
誠實的限制與通往第五篇的路
把假設牢牢握住，因為每一條都承重。去掉完備性，exp_p 可能根本沒在整個 T_p M 上有定義，覆蓋論證就垮了——一個挖了洞的非正曲率圓盤，沒有卡坦-阿達瑪結論。把截面的界減弱成單純的里奇界，你便失去對個別雅可比場的控制，於是共軛點可能重現。把 K <= 0 加強為 K < 0（嚴格），你會得到更多——指數發散、雙曲性、無窮遠處的視界邊界——但那是一種加強，不是免費午餐。每一次都把「K <= 0、完備」說清楚；單憑口號會誤導你。
把這篇放進本級的弧線裡。第三篇處理 K > 0，那裡測地線重新會聚，流形是緊緻的、基本群有限（邦尼-邁爾斯、辛格）。這一篇處理 K <= 0，那裡測地線發散，流形攤開（卡坦-阿達瑪）。兩者隔著平坦情形 K = 0，互為鏡像。剩下的，是它們之間的定量橋樑：勞赫定理從任一側拿常曲率模型來比較雅可比場的增長，而托波諾戈夫定理則用整個三角形做同一件事——把第三、四篇的定性圖像，化為鋭利的不等式。
關於深度，一個誠實的告誡。我們在其真正想法的層次上證明了卡坦-阿達瑪——凸的雅可比場、無共軛點、exp_p 是覆蓋——但分裂定理與完整的 CAT(0) 理論在此只是概覽，並未證明。分裂定理（含有一條直線、且 Ric >= 0 的完備流形，會等距地分裂出一個 R 因子）確實屬於第五篇，是一段透過測地線方程與調和函數的艱難分析論證。把你在此擁有的，當作承重的地基，下一篇再迎接那套鋭利的比較機器。