訣竅：把三角形拿去和模型比較
在第一篇裡，你學會了僅憑一個距離 d 來做幾何，並且要求最短曲線真的存在——也就是測地空間。現在我們加進那個缺席的成分：曲率，卻不帶任何光滑性、沒有截面曲率張量，甚至連切空間都沒有。這想法簡單得令人意外。在你的空間裡挑三個點，把每一對用一條最短路徑連起來；你便得到一個測地三角形。現在，在一個熟悉的、常曲率為 k 的模型曲面上，畫出第二個三角形，使它的三邊長與你的恰好相同。那個模型三角形就是比較三角形，而把你的三角形拿去和它比，正是曲率偷偷溜回來的方式。
這三個模型曲面，正是你早已熟知的常曲率空間形式。對 k = 0，模型是平坦的歐氏平面。對 k > 0，它是半徑為 1/sqrt(k) 的圓球，球面上的三角形是胖的——它們的內角和「大於」pi。對 k < 0，它是曲率為 k 的雙曲平面，那裡的三角形又瘦又癟，內角和「小於」pi。把這個模型曲面叫做 M_k。給定任意三個邊長（若 k > 0，要小到真能擺進球面上），M_k 裡都存在一個以這些為邊的三角形，且在合同的意義下唯一。正是這份唯一性，讓比較三角形得以充當一把固定的量尺。
CAT(k)：三角形至少和模型一樣瘦
這就是那個精確的比較。取一個頂點為 p、q、r 的測地三角形，在 q 到 r 的那條邊上挑一點 x。在 M_k 中的比較三角形裡，對應頂點 p-bar、q-bar、r-bar 在 q-bar-r-bar 邊上有一個對應點 x-bar，它沿邊走的距離與 x 「相同」。一個空間是 CAT(k) 空間，若對每一個這樣的三角形、每一個這樣的點，真正的距離 d(p, x) 都不超過模型距離 d(p-bar, x-bar)。換句話說：你三角形裡的弦不會比模型裡相應的弦更長。你的三角形是被掐瘦的、纖細的，不比那個平坦（或球面、或雙曲）的參照物更胖。這幾個字母是為了向卡坦、亞歷山德羅夫與托波諾戈夫致敬。
geodesic triangle p, q, r comparison triangle in M_k: p-bar, q-bar, r-bar
x on side [q, r] x-bar on [q-bar, r-bar], same edge-distance
CAT(k): d(p, x) <= d(p-bar, x-bar) ( your triangle is no fatter )
sides match: d(p,q) = d(p-bar,q-bar), d(q,r) = d(q-bar,r-bar), d(r,p) = d(r-bar,p-bar)當 k > 0 時，尺寸的上限是內建的：半徑為 1/sqrt(k) 的球面上，三角形的周長不可能超過 2 pi / sqrt(k)，所以 CAT(k) 條件只施加在小到根本存在比較三角形的那些三角形上。對 k <= 0，並無這樣的天花板——每一個三角形，無論多大，都要被拿去比較。這就是為什麼 CAT(0) 與 CAT(-1) 是整體條件，而 k > 0 的 CAT(k) 在尺度上本質是局部的。一個曲面可以在小範圍內是 CAT(1)，卻在大範圍裡做出狂野的事。
CAT(0)：非正曲率的幾何，以粗略的眼光
k = 0 這個情形是主力，所以它有自己的名字：CAT(0) 空間是一個測地空間，它所有的三角形都至少和平坦的歐氏三角形一樣瘦。光是這一個條件，就逼出一長串了不起的後果，而且全都僅憑比較不等式就能證明。兩點之間的測地線是「唯一的」。距離函數沿測地線是凸的，所以空間裡沒有「會分岔的捷徑」。沒有共軛點，也沒有圍出一個圓盤的閉測地線。最驚人的是，一個 CAT(0) 空間是可縮的——它藉由把一切沿著測地線朝一個固定中心滑去而形變收縮成一點。這一切都是非正曲率的度量投影。
這恰恰是你在比較幾何那一級遇過的一條定理的度量空間面孔。卡坦-阿達瑪定理說：一個完備、單連通、非正截面曲率的黎曼流形，透過指數映射微分同胚於 R^n。它的度量版重述把「黎曼」與「微分同胚」整個丟掉：一個完備、單連通、且「局部 CAT(0)」的空間，自動「整體 CAT(0)」，因而可縮。局部的非正曲率加上單連通便整體化——同一個卡坦-阿達瑪奇蹟，如今的陳述裡看不見任何流形，對樹與立方複形這類根本不是流形的奇異空間也成立。
亞歷山德羅夫空間：曲率被另一個方向限制住
把每一個不等號翻過來，你就得到對偶的理論。一個「曲率下有界於 k」的亞歷山德羅夫空間是一個測地空間，其中三角形至少和 M_k 裡的一樣「胖」：如今對每一個三角形、每一個邊上的點，d(p, x) 都「至少」是 d(p-bar, x-bar)。三角形向外鼓起，內角比模型的更寬，測地線傾向於緩慢地彼此散開。這是「曲率下界」的度量化身，也是你在「截面曲率有下界」的黎曼流形上見過的托波諾戈夫比較定理的嫡傳後裔。
為什麼要把下界這一側單獨費心對待？因為它恰恰是「在取極限時能存活下來」的那一類空間。這正是第一篇格羅莫夫-豪斯多夫距離的深層回報：若一列黎曼流形的截面曲率全都至少為 k，並在格羅莫夫-豪斯多夫意義下收斂，那麼極限是一個曲率至少為 k 的亞歷山德羅夫空間——即便這個極限可以是一個錐、可以有尖角、可以降維。曲率下界在格羅莫夫-豪斯多夫收斂下是「穩定的」；這份穩定性正是格羅莫夫緊緻性定理與塌縮流形結構理論背後的引擎。相形之下，當你想要的是唯一性與可縮性、而非極限時，CAT(k) 才是對的概念。
一幅具體的圖像把這個不對稱性釘牢。一個實心立方體的表面是一個曲率下有界於 0 的亞歷山德羅夫空間：它在每一個面上是平的，卻在每個角落集中了一個正的角虧，那裡一個橫跨頂點的小三角形比平坦更胖。它「不是」CAT(0) 空間——正是這些角落讓某些三角形太胖，違反了上界。圓上的錐也是同樣的行為：在錐點處於下界意義下是正曲的，在那裡卻從不是上界空間。錐、角落與稜邊是亞歷山德羅夫幾何的天然棲地，也是這套理論真正比光滑理論更普遍的所在。
不靠微積分的角度，以及這裡誠實地難在哪
有一個微妙之處值得講明白：在一個赤裸的度量空間裡並沒有內積，那麼從一點 p 出發的兩條測地線之間，「角度」是什麼？比較的框架給出一個乾淨的答案。對從 p 出發的兩條測地線，沿著它們各取一個鄰近點 x 與 y，在平坦平面上為 p、x、y 作比較三角形，讀出它在 p-bar 處的角；比較角就是這個歐氏角。兩條測地線之間誠實的亞歷山德羅夫角，是當 x 與 y 滑回 p 時這些比較角的極限。在 CAT(k) 空間裡，這些極限存在且行為良好（角是良定義的，且三角形的內角和服從模型的界）；它們究竟存不存在本身就是一個小定理，而不是一個定義。
對這一切的邊界要誠實。第一，這裡每一個定義都「預設」一個測地空間——最短路徑必須存在，而依第一篇這需要完備性與（局部的）緊緻性；在一個僅僅是長度空間的地方，比較這場遊戲根本開不了局。第二，比較給你的是曲率的「界」、一個不等式，而絕非曲率的「值」：CAT(0) 說的是「在這個綜合意義下曲率至多為 0」，它並不像截面曲率那樣對每一點指派一個數。第三，對 k > 0 你必須時時留意直徑限制，否則你就在和一個並不存在的三角形比較。這些不是可以揮手帶過的技術細節；它們正是嚴謹證明所棲身之處。
為什麼這一切配得上它的份量，而不只是為抽象而抽象？因為它讓曲率得以觸及微積分碰不到的空間。任何黎曼對稱空間的邊界、一座建築（building）、一棵無窮樹、一個群的凱萊圖、一個由平坦片塊黏起的多面體複形——這些沒有一個是光滑流形，但每一個都可以恰好是 CAT(0) 或 CAT(-1)，而光是這一個事實就操控了它們的大尺度幾何。這就是通往本級其餘部分的橋樑：下一篇裡，格羅莫夫雙曲空間把 CAT(-1) 粗化成一個在擬等距下穩定的條件，接著群本身就成了幾何對象，連同它們的胖三角形與瘦三角形一起。